#include "jsil_convert.h"#include <goto-programs/goto_instruction_code.h>#include <util/message.h>#include <util/symbol_table.h>#include "jsil_parse_tree.h"
Include dependency graph for jsil_convert.cpp:Go to the source code of this file.
Classes | |
| class | jsil_convertt |
Functions | |
| bool | jsil_convert (const jsil_parse_treet &parse_tree, symbol_tablet &symbol_table, message_handlert &message_handler) |
Detailed Description
Jsil Language Conversion
Definition in file jsil_convert.cpp.
Function Documentation
◆ jsil_convert()
| 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.
