10#ifndef CPROVER_JSON_JSON_PARSER_H
11#define CPROVER_JSON_JSON_PARSER_H
24 typedef std::stack<jsont, std::vector<jsont> >
stackt;
60 const std::string &filename,
65 const std::string &filename,
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
std::stack< jsont, std::vector< jsont > > stackt
void push(const jsont &x)
virtual bool parse() override
virtual void clear() override
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
int yyjsonerror(const std::string &error)
void yyjsonrestart(FILE *input_file)
#define PRECONDITION(CONDITION)