CBMC
statement_list_parser.h File Reference
+ Include dependency graph for statement_list_parser.h:
+ This graph shows which files directly or indirectly include this file:

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

Detailed Description

Statement List Language Parser

Definition in file statement_list_parser.h.

Function Documentation

◆ statement_list_scanner_init()

void statement_list_scanner_init ( )

Defined in scanner.l.

This function initialises the scanner by setting debug flags (if present) and its initial state.

◆ yystatement_listerror()

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.

Parameters
errorError message.
Returns
Always 0.

Definition at line 340 of file statement_list_parser.cpp.

◆ yystatement_listparse()

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.

Variable Documentation

◆ statement_list_parser

statement_list_parsert statement_list_parser

Instance of the parser, used by other modules.

Definition at line 21 of file statement_list_parser.cpp.