|
CBMC
|
Statement List Language Entry Point. More...
This graph shows which files directly or indirectly include this file: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. | |
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.