42 std::vector<irep_idt> identifiers;
45 identifiers.push_back(s_it->first);
49 for(
const irep_idt &
id : identifiers)
60 for(
const irep_idt &
id : identifiers)
74 bool string_refinement_enabled)
77 symbol_table, message_handler, string_refinement_enabled);
91 java_bytecode_parse_tree, symbol_table,
109 catch(
const std::string &e)
void typecheck_non_type_symbol(symbolt &)
The type of an expression.
std::string type2java(const typet &type, const namespacet &ns)
#define forall_symbols(it, expr)
void typecheck_type(typet &)
exprt value
Initial value of symbol.
void typecheck_type_symbol(symbolt &)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
virtual std::string to_string(const exprt &expr)
JAVA Bytecode Language Type Checking.
bool java_bytecode_typecheck(symbol_tablet &symbol_table, message_handlert &message_handler, bool string_refinement_enabled)
virtual void typecheck_expr(exprt &expr)
symbol_tablet & symbol_table
typet type
Type of symbol.
Base class for all expressions.
std::string expr2java(const exprt &expr, const namespacet &ns)