CBMC
|
Go to the source code of this file.
Classes | |
class | statement_list_parsert |
Responsible for starting the parse process and to translate the result into a statement_list_parse_treet. More... | |
Functions | |
int | yystatement_listparse () |
Defined in statement_list_y.tab.cpp. More... | |
int | yystatement_listerror (const std::string &error) |
Forwards any errors that are encountered during the parse process. More... | |
void | statement_list_scanner_init () |
Defined in scanner.l. More... | |
Variables | |
statement_list_parsert | statement_list_parser |
Instance of the parser, used by other modules. More... | |
Statement List Language Parser
Definition in file statement_list_parser.h.
void statement_list_scanner_init | ( | ) |
Defined in scanner.l.
This function initialises the scanner by setting debug flags (if present) and its initial state.
int yystatement_listerror | ( | const std::string & | error | ) |
Forwards any errors that are encountered during the parse process.
This function gets called by the generated files of flex and bison.
error | Error message. |
Definition at line 340 of file statement_list_parser.cpp.
int yystatement_listparse | ( | ) |
Defined in statement_list_y.tab.cpp.
Main function for the parse process generated by bison, performs all necessary steps to fill the parse tree.
statement_list_parsert statement_list_parser |
Instance of the parser, used by other modules.
Definition at line 21 of file statement_list_parser.cpp.