CBMC
|
Go to the source code of this file.
Functions | |
bool | jsil_convert (const jsil_parse_treet &parse_tree, symbol_tablet &symbol_table, message_handlert &message_handler) |
Jsil Language Conversion
Definition in file jsil_convert.h.
bool jsil_convert | ( | const jsil_parse_treet & | parse_tree, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 117 of file jsil_convert.cpp.