18 const std::string &filename,
27 bool result=json_parser.
parse();
30 if(json_parser.
stack.size()==1)
41 const std::string &filename,
45 std::ifstream in(filename);
50 return parse_json(in, filename, message_handler, dest);
virtual bool parse() override
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
void set_file(const irep_idt &file)
virtual void set_message_handler(message_handlert &_message_handler)
virtual void clear() override