CBMC
|
Statement List Language Entry Point. More...
Go to the source code of this file.
Functions | |
bool | statement_list_entry_point (symbol_table_baset &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_table_baset & | 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 191 of file statement_list_entry_point.cpp.