CBMC
statement_list_entry_point.h File Reference

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. More...
 

Detailed Description

Statement List Language Entry Point.

Definition in file statement_list_entry_point.h.

Function Documentation

◆ statement_list_entry_point()

bool statement_list_entry_point ( symbol_table_baset symbol_table,
message_handlert message_handler 
)

Creates a new entry point for the Statement List language.

Parameters
[out]symbol_tableSymbol table of the current TIA program. Gets filled with the symbols that are necessary for a proper entry point.
message_handlerHandler that is responsible for error messages.

Definition at line 191 of file statement_list_entry_point.cpp.