cprover
|
#include <parser.h>
Public Member Functions | |
virtual void | clear () |
parsert () | |
virtual | ~parsert () |
bool | read (char &ch) |
virtual bool | parse ()=0 |
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::istream * | in |
std::string | this_line |
std::string | last_line |
std::vector< exprt > | stack |
Protected Attributes | |
source_locationt | source_location |
unsigned | line_no |
unsigned | previous_line_no |
unsigned | column |
Additional Inherited Members |
Reimplemented in assembler_parsert, xml_parsert, ansi_c_parsert, cpp_parsert, jsil_parsert, json_parsert, and statement_list_parsert.
Implemented in assembler_parsert, xml_parsert, java_bytecode_parsert, ansi_c_parsert, cpp_parsert, jsil_parsert, json_parsert, and statement_list_parsert.
void parsert::parse_error | ( | const std::string & | message, |
const std::string & | before | ||
) |
Definition at line 30 of file parser.cpp.
|
protected |