diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
| commit | ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 (patch) | |
| tree | ea18aa2b09601987bf3f2978c4986679b80e47a7 /interpret/ast_util.ml | |
| parent | d57e3491720e912b4e2fd6c73f9d356901a42df5 (diff) | |
| download | scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.tar.gz scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.zip | |
Add bindings to apron. Next : work on abstract interpret.
Diffstat (limited to 'interpret/ast_util.ml')
| -rw-r--r-- | interpret/ast_util.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/interpret/ast_util.ml b/interpret/ast_util.ml index 80411d8..f5a1978 100644 --- a/interpret/ast_util.ml +++ b/interpret/ast_util.ml @@ -27,6 +27,17 @@ let extract_const_decls = [] +(* Utility : scopes *) + + +(* path to node * subscope prefix in node * equations in scope *) +type scope = id * id * eqn ext list + +let get_root_scope p root = + let (n, _) = find_node_decl p root in + ("", "", n.body) + + (* Utility : find instances declared in an expression *) (* extract_instances : |