CBMC
|
Go to the source code of this file.
Functions | |
bool | statement_list_entry_point (symbol_tablet &symbol_table, message_handlert &message_handler) |
Creates a new entry point for the Statement List language. More... | |
Statement List Language Entry Point
Definition in file statement_list_entry_point.h.
bool statement_list_entry_point | ( | symbol_tablet & | symbol_table, |
message_handlert & | message_handler | ||
) |
Creates a new entry point for the Statement List language.
[out] | symbol_table | Symbol table of the current TIA program. Gets filled with the symbols that are necessary for a proper entry point. |
message_handler | Handler that is responsible for error messages. |
Definition at line 198 of file statement_list_entry_point.cpp.