cprover
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 #include <iostream>
12 
14 
15 extern char *yyassemblertext;
16 
17 int yyassemblererror(const std::string &error)
18 {
20  return 0;
21 }
assembler_parsert
Definition: assembler_parser.h:20
yyassemblertext
char * yyassemblertext
Definition: assembler_lex.yy.cpp:720
assembler_parser
assembler_parsert assembler_parser
Definition: assembler_parser.cpp:13
yyassemblererror
int yyassemblererror(const std::string &error)
Definition: assembler_parser.cpp:17
parsert::parse_error
void parse_error(const std::string &message, const std::string &before)
Definition: parser.cpp:30
assembler_parser.h