CBMC
|
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_listerror (statement_list_parsert &parser, void *scanner, const std::string &error) |
Forwards any errors that are encountered during the parse process. More... | |
Statement List Language Parser.
Definition in file statement_list_parser.h.
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.
parser | Parser object. |
scanner | Lexer state. |
error | Error message. |