cprover
|
#include <assembler_parser.h>
Public Types | |
typedef std::vector< irept > | instructiont |
Public Member Functions | |
void | add_token (const irept &irep) |
void | new_instruction () |
assembler_parsert () | |
virtual bool | parse () |
virtual void | clear () |
![]() | |
parsert () | |
virtual | ~parsert () |
bool | read (char &ch) |
bool | eof () |
void | parse_error (const std::string &message, const std::string &before) |
void | inc_line_no () |
void | set_line_no (unsigned _line_no) |
void | set_file (const irep_idt &file) |
irep_idt | get_file () const |
unsigned | get_line_no () const |
unsigned | get_column () const |
void | set_column (unsigned _column) |
void | set_source_location (exprt &e) |
void | set_function (const irep_idt &function) |
void | advance_column (unsigned token_width) |
Public Attributes | |
std::list< instructiont > | instructions |
![]() | |
std::istream * | in |
std::string | this_line |
std::string | last_line |
std::vector< exprt > | stack |
Additional Inherited Members | |
![]() | |
source_locationt | source_location |
unsigned | line_no |
unsigned | previous_line_no |
unsigned | column |
Definition at line 20 of file assembler_parser.h.
typedef std::vector<irept> assembler_parsert::instructiont |
Definition at line 23 of file assembler_parser.h.
|
inline |
Definition at line 39 of file assembler_parser.h.
|
inline |
Definition at line 26 of file assembler_parser.h.
References new_instruction().
|
inlinevirtual |
Reimplemented from parsert.
Definition at line 49 of file assembler_parser.h.
References assembler_parser, and parsert::clear().
Referenced by remove_asmt::process_instruction().
|
inline |
Definition at line 34 of file assembler_parser.h.
Referenced by add_token().
|
inlinevirtual |
Implements parsert.
Definition at line 43 of file assembler_parser.h.
References yyassemblerlex().
Referenced by remove_asmt::process_instruction().
std::list<instructiont> assembler_parsert::instructions |
Definition at line 24 of file assembler_parser.h.
Referenced by remove_asmt::process_instruction().