cprover
|
Go to the source code of this file.
Functions | |
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, json_parsert::parse(), parsert::set_file(), messaget::set_message_handler(), json_parsert::stack, and jsont::swap().
Referenced by 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 parse_json().
json_parsert json_parser |
Definition at line 13 of file json_parser.cpp.
Referenced by parse_json(), yyjsonerror(), and yyjsonparse().