nit: Add incremental typing to interpretor

tests: Update test for Nit

Signed-off-by: Alexandre Terrasa <alexandre@moz-concept.com>

diff --git a/src/nit.nit b/src/nit.nit
index da185e7..059743c 100644 (file)
--- 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 (file)
--- 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)