cprover
Toggle main menu visibility
Loading...
Searching...
No Matches
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
13
int
yyassemblererror
(
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
22
int
yyassemblerlex_init_extra
(
assembler_parsert
*,
void
**);
23
int
yyassemblerlex
(
void
*);
24
int
yyassemblerlex_destroy
(
void
*);
25
26
bool
assembler_parsert::parse
()
27
{
28
void
*scanner;
29
yyassemblerlex_init_extra
(
this
, &scanner);
30
yyassemblerlex
(scanner);
31
yyassemblerlex_destroy
(scanner);
32
return
false
;
33
}
yyassemblerlex_init_extra
int yyassemblerlex_init_extra(assembler_parsert *, void **)
yyassemblerget_text
char * yyassemblerget_text(void *)
yyassemblererror
int yyassemblererror(assembler_parsert &assembler_parser, void *scanner, const std::string &error)
Definition
assembler_parser.cpp:13
yyassemblerlex
int yyassemblerlex(void *)
yyassemblerlex_destroy
int yyassemblerlex_destroy(void *)
assembler_parser.h
assembler_parsert
Definition
assembler_parser.h:21
assembler_parsert::parse
bool parse() override
Definition
assembler_parser.cpp:26
parsert::parse_error
void parse_error(const std::string &message, const std::string &before)
Definition
parser.cpp:30
assembler
assembler_parser.cpp
Generated by
1.17.0