12 #ifndef CPROVER_JSIL_JSIL_TYPECHECK_H 13 #define CPROVER_JSIL_JSIL_TYPECHECK_H 15 #include <unordered_set> 100 #endif // CPROVER_JSIL_JSIL_TYPECHECK_H virtual void typecheck_expr(exprt &expr)
void typecheck_expr_constant(exprt &expr)
The type of an expression.
jsil_typecheckt(symbol_tablet &_symbol_table, message_handlert &_message_handler)
void typecheck_expr_proto_obj(exprt &expr)
void typecheck_expr_unary_num(exprt &expr)
void typecheck_expr_base(exprt &expr)
void typecheck_expr_ref(exprt &expr)
void typecheck_expr_binary_arith(exprt &expr)
void typecheck_assign(code_assignt &code)
void typecheck_expr_main(exprt &expr)
void typecheck_function_call(code_function_callt &function_call)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void typecheck_expr_side_effect_throw(side_effect_expr_throwt &expr)
A side effect that throws an exception.
void typecheck_symbol_expr(symbol_exprt &symbol_expr)
void typecheck_exp_binary_equal(exprt &expr)
virtual std::string to_string(const exprt &expr)
irep_idt add_prefix(const irep_idt &ds)
Prefix parameters and variables with a procedure name.
void typecheck_expr_concatenation(exprt &expr)
void typecheck_code(codet &code)
void typecheck_non_type_symbol(symbolt &symbol)
typechecking procedure declaration; any other symbols should have been typechecked during typecheckin...
void typecheck_expr_unary_boolean(exprt &expr)
void typecheck_return(code_returnt &code)
void typecheck_type_symbol(symbolt &symbol)
void typecheck_expr_binary_boolean(exprt &expr)
void typecheck_expr_subtype(exprt &expr)
void typecheck_expr_proto_field(exprt &expr)
virtual ~jsil_typecheckt()
void typecheck_type(typet &type)
void make_type_compatible(exprt &expr, const typet &type, bool must)
void typecheck_expr_unary_string(exprt &expr)
void typecheck_block(codet &code)
Base class for all expressions.
void typecheck_expr_operands(exprt &expr)
bool jsil_typecheck(symbol_tablet &symbol_table, message_handlert &message_handler)
symbol_tablet & symbol_table
Expression to hold a symbol (variable)
void typecheck_expr_delete(exprt &expr)
goto_programt coverage_criteriont message_handlert & message_handler
A statement in a programming language.
void typecheck_expr_binary_compare(exprt &expr)
void typecheck_ifthenelse(code_ifthenelset &code)
void typecheck_expr_field(exprt &expr)
void typecheck_expr_has_field(exprt &expr)
std::unordered_set< irep_idt > already_typechecked
void typecheck_try_catch(code_try_catcht &code)
void update_expr_type(exprt &expr, const typet &type)
void typecheck_expr_index(exprt &expr)