CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
assembler_parser.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "assembler_parser.h"
10
11char *yyassemblerget_text(void *);
12
15 void *scanner,
16 const std::string &error)
17{
18 assembler_parser.parse_error(error, yyassemblerget_text(scanner));
19 return 0;
20}
21
23int yyassemblerlex(void *);
25
int yyassemblerlex_init_extra(assembler_parsert *, void **)
char * yyassemblerget_text(void *)
int yyassemblererror(assembler_parsert &assembler_parser, void *scanner, const std::string &error)
int yyassemblerlex(void *)
int yyassemblerlex_destroy(void *)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
bool parse() override