10 #ifndef CPROVER_JSON_JSON_PARSER_H 11 #define CPROVER_JSON_JSON_PARSER_H 24 typedef std::stack<jsont, std::vector<jsont> >
stackt;
41 assert(!stack.empty());
42 dest.
swap(stack.top());
59 const std::string &filename,
64 const std::string &filename,
68 #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
message_handlert * message_handler