cprover
|
Jsil Language. More...
Go to the source code of this file.
Functions | |
bool | jsil_entry_point (class symbol_tablet &symbol_table, class message_handlert &message_handler) |
Jsil Language.
Definition in file jsil_entry_point.h.
bool jsil_entry_point | ( | class symbol_tablet & | symbol_table, |
class message_handlert & | message_handler | ||
) |
Definition at line 47 of file jsil_entry_point.cpp.
References exprt::add_source_location(), config, create_initialize(), goto_functionst::entry_point(), messaget::eom(), messaget::error(), forall_symbol_base_map, code_function_callt::function(), id2string(), INITIALIZE_FUNCTION, symbol_tablet::insert(), irept::is_nil(), code_function_callt::lhs(), symbolt::location, configt::main, irept::make_nil(), message_handler, exprt::move_to_operands(), symbolt::name, messaget::set_message_handler(), irept::swap(), symbol_table_baset::symbol_base_map, symbolt::symbol_expr(), symbol_table_baset::symbols, symbolt::type, and symbolt::value.
Referenced by jsil_languaget::generate_support_functions().