#include <parser.h>
Definition at line 23 of file parser.h.
◆ parsert()
◆ ~parsert()
virtual parsert::~parsert |
( |
| ) |
|
|
inlinevirtual |
◆ advance_column()
void parsert::advance_column |
( |
unsigned |
token_width | ) |
|
|
inline |
◆ eof()
◆ get_column()
unsigned parsert::get_column |
( |
| ) |
const |
|
inline |
◆ get_file()
◆ get_line_no()
unsigned parsert::get_line_no |
( |
| ) |
const |
|
inline |
◆ inc_line_no()
void parsert::inc_line_no |
( |
| ) |
|
|
inline |
◆ parse()
virtual bool parsert::parse |
( |
| ) |
|
|
pure virtual |
◆ parse_error()
void parsert::parse_error |
( |
const std::string & |
message, |
|
|
const std::string & |
before |
|
) |
| |
◆ read()
bool parsert::read |
( |
char & |
ch | ) |
|
|
inline |
◆ set_column()
void parsert::set_column |
( |
unsigned |
_column | ) |
|
|
inline |
◆ set_file()
void parsert::set_file |
( |
const irep_idt & |
file | ) |
|
|
inline |
◆ set_function()
void parsert::set_function |
( |
const irep_idt & |
function | ) |
|
|
inline |
◆ set_line_no()
void parsert::set_line_no |
( |
unsigned |
_line_no | ) |
|
|
inline |
◆ set_source_location()
void parsert::set_source_location |
( |
exprt & |
e | ) |
|
|
inline |
◆ column
◆ in
std::istream* parsert::in |
◆ last_line
std::string parsert::last_line |
◆ line_no
unsigned parsert::line_no |
|
protected |
◆ log
◆ previous_line_no
unsigned parsert::previous_line_no |
|
protected |
◆ source_location
◆ stack
std::vector<exprt> parsert::stack |
◆ this_line
std::string parsert::this_line |
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/util/parser.h
- /home/runner/work/cbmc/cbmc/src/util/parser.cpp