From 6843df4c725a52f0ccd4b6880423c93c84165d10 Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Tue, 2 Oct 2012 12:12:27 -0400 Subject: [PATCH] nit: Add incremental typing to interpretor tests: Update test for Nit Signed-off-by: Alexandre Terrasa --- src/nit.nit | 1 + tests/sav/nit.sav | 20 ++++++++++++++++++++ 2 files changed, 21 insertions(+) diff --git a/src/nit.nit b/src/nit.nit index da185e7..059743c 100644 --- a/src/nit.nit +++ b/src/nit.nit @@ -20,6 +20,7 @@ module nit import modelbuilder import exprbuilder import naive_interpreter +import interpretor_type_test # Create a tool context to handle options and paths var toolcontext = new ToolContext diff --git a/tests/sav/nit.sav b/tests/sav/nit.sav index 56c1b37..24748f4 100644 --- a/tests/sav/nit.sav +++ b/tests/sav/nit.sav @@ -10,4 +10,24 @@ -I, --path Set include path for loaders (may be used more than once) --only-parse Only proceed to parse step of loaders --only-metamodel Stop after meta-model processing + --ic-typing-mode Incremental typing method. Possible values are: + - BM: binary matrix + - CL: coloration + - PHAND: perfect hashing whith AND + - PHMOD: perfect hashing whith MOD + --ic-load-mode Dynamic loading mode. Possible values are: + - type (default): load only the new type + - module: load the module of new type + --ic-bootstrap Bootstrap typing with standard library (default is no bootstrap) + --ic-recompute-mode When to recompute typing. Possible values are: + - always: recompute for each new type + - never (default): never recompute, use fallback instead + - threshold: recompute only when the threshold is reached, use fallback before + - increment: try to update structures instead of recompute + --ic-threshold-mode Threshold mode. Possible values are: + - increment: recompute when the number of new type reach the threshold count + -fallback: recompute when the use number of fallback use reach the threshold count + --ic-threshold-count Threshold count. Take an integer + --ic-cache-size Cache size. Take an integer + --ic-show-stats Show statistics about typing at the end of the interpretation -o compatibility (does noting) -- 1.7.9.5