CBMC
|
Files | |
load_java_class.cpp | |
load_java_class.h | |
Utility for loading and parsing a specified java class file, returning the symbol table generated by this. | |
require_goto_statements.cpp | |
require_goto_statements.h | |
Utilties for inspecting goto functions. | |
require_parse_tree.cpp | |
require_parse_tree.h | |
Utilties for inspecting java_parse_treet. | |
require_type.cpp | |
require_type.h | |
Helper functions for requiring specific types If the type is of the wrong type, throw a CATCH exception Also checks associated properties and returns a casted version of the expression. | |