cprover
|
Go to the source code of this file.
Classes | |
class | assembler_parsert |
Functions | |
int | yyassemblerlex () |
The main scanner function which does all the work. More... | |
int | yyassemblererror (const std::string &error) |
void | assembler_scanner_init () |
Variables | |
assembler_parsert | assembler_parser |
void assembler_scanner_init | ( | ) |
int yyassemblererror | ( | const std::string & | error | ) |
Definition at line 17 of file assembler_parser.cpp.
References assembler_parser, parsert::parse_error(), and yyassemblertext.
int yyassemblerlex | ( | ) |
The main scanner function which does all the work.
Definition at line 700 of file assembler_lex.yy.cpp.
References BEGIN, ECHO, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, GRAMMAR, INITIAL, LINE_COMMENT, PARSER, irept::set(), yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_try_NUL_trans(), yyassembler_create_buffer(), yyassembler_load_buffer_state(), yyassemblerensure_buffer_stack(), yyassemblerin, yyassemblerout, yyassemblertext, yyassemblerwrap(), yyless, yyterminate, and yytext_ptr.
Referenced by assembler_parsert::parse().
assembler_parsert assembler_parser |
Definition at line 13 of file assembler_parser.cpp.
Referenced by remove_asmt::process_instruction_gcc(), remove_asmt::process_instruction_msc(), and yyassemblererror().