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.
bool jsil_convertt::operator() | ( | const jsil_parse_treet & | parse_tree | ) |
Definition at line 38 of file jsil_convert.cpp.
|
protected |
Definition at line 33 of file jsil_convert.cpp.