cprover
|
Statement List Language Parser. More...
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. | |
int | yystatement_listerror (const std::string &error) |
Forwards any errors that are encountered during the parse process. | |
void | statement_list_scanner_init () |
Defined in scanner.l. | |
Variables | |
statement_list_parsert | statement_list_parser |
Instance of the parser, used by other modules. | |
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.
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 343 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.
|
extern |
Instance of the parser, used by other modules.
Definition at line 24 of file statement_list_parser.cpp.