CBMC
assembler_parser.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #include "assembler_parser.h"
10 
11 char *yyassemblerget_text(void *);
12 
14  assembler_parsert &assembler_parser,
15  void *scanner,
16  const std::string &error)
17 {
18  assembler_parser.parse_error(error, yyassemblerget_text(scanner));
19  return 0;
20 }
21 
23 int yyassemblerlex(void *);
25 
27 {
28  void *scanner;
29  yyassemblerlex_init_extra(this, &scanner);
30  yyassemblerlex(scanner);
31  yyassemblerlex_destroy(scanner);
32  return false;
33 }
char * yyassemblerget_text(void *)
int yyassemblerlex_init_extra(assembler_parsert *, void **)
int yyassemblererror(assembler_parsert &assembler_parser, void *scanner, const std::string &error)
int yyassemblerlex(void *)
int yyassemblerlex_destroy(void *)
bool parse() override
void parse_error(const std::string &message, const std::string &before)
Definition: parser.cpp:30