18 const std::string &filename,
41 const std::string &filename,
45 std::ifstream in(filename);
50 return parse_json(in, filename, message_handler, dest);
virtual bool parse() override
virtual void clear() override
virtual void set_message_handler(message_handlert &_message_handler)
void set_file(const irep_idt &file)
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)