CBMC
|
#include <json_parser.h>
Public Types | |
typedef std::stack< jsont, std::vector< jsont > > | stackt |
Public Member Functions | |
json_parsert (message_handlert &message_handler) | |
jsont & | top () |
bool | parse () override |
void | push (const jsont &x) |
void | pop (jsont &dest) |
Public Member Functions inherited from parsert | |
parsert (message_handlert &message_handler) | |
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 | |
stackt | stack |
Public Attributes inherited from parsert | |
std::istream * | in |
std::string | this_line |
std::string | last_line |
std::vector< exprt > | stack |
Additional Inherited Members | |
Protected Attributes inherited from parsert | |
messaget | log |
source_locationt | source_location |
unsigned | line_no |
unsigned | previous_line_no |
unsigned | column |
Definition at line 18 of file json_parser.h.
typedef std::stack<jsont, std::vector<jsont> > json_parsert::stackt |
Definition at line 26 of file json_parser.h.
|
inlineexplicit |
Definition at line 21 of file json_parser.h.
|
overridevirtual |
Implements parsert.
Definition at line 17 of file json_parser.cpp.
|
inline |
Definition at line 38 of file json_parser.h.
|
inline |
Definition at line 33 of file json_parser.h.
|
inline |
Definition at line 29 of file json_parser.h.
stackt json_parsert::stack |
Definition at line 27 of file json_parser.h.