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