Begin of new interpret with more imperative concepts. Scope activation 'n stuff.

1 files changed, 40 insertions, 2 deletions

diff --git a/interpret/ast_util.ml b/interpret/ast_util.ml
index db9a76f..e7428bd 100644
--- a/interpret/ast_util.ml
+++ b/interpret/ast_util.ml
@@ -5,7 +5,7 @@ open Util
 
 let find_const_decl p id =
   match List.find (function
-                   | AST_const_decl (c, _) when c.name = id -> true
+                   | AST_const_decl (c, _) when c.c_name = id -> true
                    | _ -> false) 
                   p with
   | AST_const_decl d -> d
@@ -13,7 +13,7 @@ let find_const_decl p id =
 
 let find_node_decl p id =
   match List.find (function
-                   | AST_node_decl (c, _) when c.name = id -> true
+                   | AST_node_decl (c, _) when c.n_name = id -> true
                    | _ -> false) 
                   p with
   | AST_node_decl d -> d
@@ -26,6 +26,44 @@ let extract_const_decls =
       | _ -> l)
     []
 
+
+(* Utility : find instances declared in an expression *)
+
+(* extract_instances :
+      prog -> expr ext -> (id * eqs * (var_def * expr ext) list) list
+*)
+let rec extract_instances p e = match fst e with
+  | AST_idconst _ | AST_identifier _
+  | AST_int_const _ | AST_real_const _ | AST_bool_const _ -> []
+  | AST_unary (_, e') | AST_pre (e', _) | AST_not e' -> extract_instances p e'
+  | AST_binary(_, e1, e2) | AST_binary_rel (_, e1, e2) | AST_binary_bool (_, e1, e2)
+  | AST_arrow(e1, e2) ->
+    extract_instances p e1 @ extract_instances p e2
+  | AST_if(e1, e2, e3) ->
+    extract_instances p e1 @ extract_instances p e2 @ extract_instances p e3
+  | AST_instance((f, _), args, id) ->
+    let more = List.flatten (List.map (extract_instances p) args) in
+    let (node, _) = find_node_decl p f in
+    let args_x = List.map2 (fun id arg -> id, arg) node.args args in
+    (id, node.body, args_x)::more
+
+(* Utility : find pre declarations in an expression *)
+
+(* extract_pre : expr ext -> (id * expr ext) list *)
+let rec extract_pre e = match fst e with
+  | AST_identifier _ | AST_idconst _
+  | AST_int_const _ | AST_real_const _ | AST_bool_const _ -> []
+  | AST_unary (_, e') | AST_not e' -> extract_pre e'
+  | AST_binary(_, e1, e2) | AST_binary_rel (_, e1, e2) | AST_binary_bool (_, e1, e2)
+  | AST_arrow(e1, e2) ->
+    extract_pre e1 @ extract_pre e2
+  | AST_if(e1, e2, e3) ->
+    extract_pre e1 @ extract_pre e2 @ extract_pre e3
+  | AST_instance((f, _), args, id) ->
+    List.flatten (List.map extract_pre args)
+  | AST_pre(e', n) ->
+    (n, e')::(extract_pre e')
+
 (* Some errors *)
 
 let combinatorial_cycle v = error ("Combinatorial cycle with variable: " ^ v)