|
cprover
|
Go to the source code of this file.
Classes | |
| class | json_parsert |
Functions | |
| int | yyjsonparse () |
| void | yyjsonrestart (FILE *input_file) |
| Immediately switch to a different input stream. More... | |
| int | yyjsonerror (const std::string &error) |
| bool | parse_json (std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest) |
| bool | parse_json (const std::string &filename, message_handlert &message_handler, jsont &dest) |
Variables | |
| json_parsert | json_parser |
| bool parse_json | ( | std::istream & | in, |
| const std::string & | filename, | ||
| message_handlert & | message_handler, | ||
| jsont & | dest | ||
| ) |
Definition at line 16 of file json_parser.cpp.
References json_parsert::clear(), parsert::in, json_parser, message_handler, json_parsert::parse(), parsert::set_file(), messaget::set_message_handler(), json_parsert::stack, and jsont::swap().
Referenced by linker_script_merget::add_linker_script_definitions(), java_bytecode_languaget::get_language_options(), parse_json(), java_class_loader_limitt::setup_class_load_limit(), and taint_parser().
| bool parse_json | ( | const std::string & | filename, |
| message_handlert & | message_handler, | ||
| jsont & | dest | ||
| ) |
Definition at line 40 of file json_parser.cpp.
References message_handler, and parse_json().
| int yyjsonerror | ( | const std::string & | error | ) |
Definition at line 125 of file json_y.tab.cpp.
References json_parser, parsert::parse_error(), and yyjsontext.
| int yyjsonparse | ( | void | ) |
Definition at line 1054 of file json_y.tab.cpp.
Referenced by json_parsert::parse().
| void yyjsonrestart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
| input_file | A readable stream. |
INITIAL . Definition at line 1246 of file json_lex.yy.cpp.
References YY_BUF_SIZE, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yyjson_create_buffer(), yyjson_init_buffer(), yyjson_load_buffer_state(), yyjsonensure_buffer_stack(), and yyjsonin.
Referenced by json_parsert::clear(), and yy_get_next_buffer().
| json_parsert json_parser |
Definition at line 13 of file json_parser.cpp.
Referenced by parse_json(), yyjsonerror(), and yyjsonparse().