cprover
Loading...
Searching...
No Matches
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
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
23int yyassemblerlex(void *);
25
27{
28 void *scanner;
29 yyassemblerlex_init_extra(this, &scanner);
30 yyassemblerlex(scanner);
32 return false;
33}
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 *)
bool parse() override
void parse_error(const std::string &message, const std::string &before)
Definition parser.cpp:30