10 #ifndef CPROVER_ASSEMBLER_ASSEMBLER_PARSER_H 11 #define CPROVER_ASSEMBLER_ASSEMBLER_PARSER_H 28 if(instructions.empty())
31 instructions.back().push_back(irep);
59 #endif // CPROVER_ASSEMBLER_ASSEMBLER_PARSER_H int yyassemblerlex()
The main scanner function which does all the work.
std::vector< irept > instructiont
Base class for tree-like data structures with sharing.
void assembler_scanner_init()
std::list< instructiont > instructions
assembler_parsert assembler_parser
int yyassemblererror(const std::string &error)
void add_token(const irept &irep)