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
assembler_parsert
assembler_parser
;
12
13
extern
char
*
yyassemblertext
;
14
15
int
yyassemblererror
(
const
std::string &error)
16
{
17
assembler_parser
.
parse_error
(error,
yyassemblertext
);
18
return
0;
19
}
assembler_parsert
Definition:
assembler_parser.h:21
yyassemblertext
char * yyassemblertext
assembler_parser
assembler_parsert assembler_parser
Definition:
assembler_parser.cpp:11
yyassemblererror
int yyassemblererror(const std::string &error)
Definition:
assembler_parser.cpp:15
parsert::parse_error
void parse_error(const std::string &message, const std::string &before)
Definition:
parser.cpp:30
assembler_parser.h
src
assembler
assembler_parser.cpp
Generated by
1.8.17