This module defines commonly-used queries about C/C++/Objective C ASTs given in the TERMITE term representation as exported by SATIrE.
Depenedencies:
The user has to define the type predicates [type_info/3, type_interval/2]
Todo: rewrite this!
Use this with transformed_with/4
Scope statements are basic_block, catch_option_stmt, class_definition, do_while_stmt, for_statement,function_definition, global, if_stmt, namespace_definition_statment, switch_statement, while_stmt
annot.pl
!