cprover
|
Public Member Functions | |
jsil_convertt (symbol_tablet &_symbol_table, message_handlert &_message_handler) | |
bool | operator() (const jsil_parse_treet &parse_tree) |
Protected Member Functions | |
bool | convert_code (const symbolt &symbol, codet &code) |
Protected Attributes | |
symbol_tablet & | symbol_table |
Additional Inherited Members |
Definition at line 19 of file jsil_convert.cpp.
|
inline |
Definition at line 22 of file jsil_convert.cpp.
Definition at line 69 of file jsil_convert.cpp.
References code_try_catcht::add_catch(), exprt::add_source_location(), side_effect_expr_function_callt::arguments(), Forall_operands, side_effect_expr_function_callt::function(), codet::get_statement(), irept::id(), code_assignt::lhs(), code_function_callt::lhs(), exprt::op0(), exprt::op1(), code_assignt::rhs(), exprt::source_location(), irept::swap(), to_code(), to_code_assign(), to_side_effect_expr(), to_side_effect_expr_function_call(), to_symbol_expr(), and code_try_catcht::try_code().
Referenced by operator()().
bool jsil_convertt::operator() | ( | const jsil_parse_treet & | parse_tree | ) |
Definition at line 38 of file jsil_convert.cpp.
References symbol_table_baset::add(), convert_code(), messaget::eom(), messaget::error(), irept::id(), jsil_parse_treet::items, symbol_table_baset::lookup(), symbolt::name, symbol_table_baset::remove(), symbol_table, to_code(), and symbolt::value.
|
protected |
Definition at line 33 of file jsil_convert.cpp.
Referenced by operator()().