10 #ifndef CPROVER_JSON_JSON_PARSER_H 11 #define CPROVER_JSON_JSON_PARSER_H 25 typedef std::stack<jsont, std::vector<jsont> >
stackt;
42 assert(!
stack.empty());
61 const std::string &filename,
66 const std::string &filename,
70 #endif // CPROVER_JSON_JSON_PARSER_H virtual bool parse() override
std::stack< jsont, std::vector< jsont > > stackt
void push(const jsont &x)
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
int yyjsonerror(const std::string &error)
virtual void clear() override
void yyjsonrestart(FILE *input_file)
Immediately switch to a different input stream.