10 #ifndef CPROVER_JSON_JSON_PARSER_H
11 #define CPROVER_JSON_JSON_PARSER_H
26 typedef std::stack<jsont, std::vector<jsont> >
stackt;
31 bool parse()
override;
49 const std::string &filename,
54 const std::string &filename,
std::stack< jsont, std::vector< jsont > > stackt
void push(const jsont &x)
json_parsert(message_handlert &message_handler)
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
#define PRECONDITION(CONDITION)