CBMC
statement_list_parser.h File Reference

Statement List Language Parser. More...

+ 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_listerror (statement_list_parsert &parser, void *scanner, const std::string &error)
 Forwards any errors that are encountered during the parse process. More...
 

Detailed Description

Statement List Language Parser.

Definition in file statement_list_parser.h.

Function Documentation

◆ yystatement_listerror()

int yystatement_listerror ( statement_list_parsert parser,
void *  scanner,
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
parserParser object.
scannerLexer state.
errorError message.
Returns
Always 0.