cprover
|
#include <mm_parser.h>
Public Member Functions | |
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 | |
irep_idt | model_name |
irept | instruction |
![]() | |
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 18 of file mm_parser.h.
|
inlinevirtual |
Reimplemented from parsert.
Definition at line 29 of file mm_parser.h.
References dstringt::clear(), irept::clear(), instruction, and model_name.
|
inlinevirtual |
Implements parsert.
Definition at line 24 of file mm_parser.h.
References yymmparse().
Referenced by mmcc_parse_optionst::convert().
irept mm_parsert::instruction |
Definition at line 22 of file mm_parser.h.
Referenced by clear(), and mmcc_parse_optionst::convert().
irep_idt mm_parsert::model_name |
Definition at line 21 of file mm_parser.h.
Referenced by clear(), and mmcc_parse_optionst::convert().