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 
12 
13 extern char *yyassemblertext;
14 
15 int yyassemblererror(const std::string &error)
16 {
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