cprover
|
JAVA Bytecode Language Type Checking. More...
#include <set>
#include <map>
#include <util/symbol_table.h>
#include <util/typecheck.h>
#include <util/namespace.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/std_types.h>
Go to the source code of this file.
Classes | |
class | java_bytecode_typecheckt |
Functions | |
bool | java_bytecode_typecheck (symbol_tablet &symbol_table, message_handlert &message_handler, bool string_refinement_enabled) |
bool | java_bytecode_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns) |
JAVA Bytecode Language Type Checking.
Definition in file java_bytecode_typecheck.h.
bool java_bytecode_typecheck | ( | symbol_tablet & | symbol_table, |
message_handlert & | message_handler, | ||
bool | string_refinement_enabled | ||
) |
Definition at line 71 of file java_bytecode_typecheck.cpp.
References java_bytecode_typecheck().
Referenced by java_bytecode_typecheck(), java_bytecode_languaget::to_expr(), and java_bytecode_languaget::typecheck().
bool java_bytecode_typecheck | ( | exprt & | expr, |
message_handlert & | message_handler, | ||
const namespacet & | ns | ||
) |
Definition at line 81 of file java_bytecode_typecheck.cpp.
References java_bytecode_typecheck().