json_parser.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_JSON_JSON_PARSER_H
#define CPROVER_JSON_JSON_PARSER_H
 
#include <stack>
 
#include <util/parser.h>
#include <util/json.h>
 
class json_parsert:public parsert
{
public:
  explicit json_parsert(message_handlert &message_handler)
    : parsert(message_handler)
  {
  }
 
  typedef std::stack<jsont, std::vector<jsont> > stackt;
  stackt stack;
 
  jsont &top() { return stack.top(); }
 
  bool parse() override;
 
  void push(const jsont &x)
  {
    stack.push(x);
  }
 
  void pop(jsont &dest)
  {
    PRECONDITION(!stack.empty());
    dest.swap(stack.top());
    stack.pop();
  }
};
 
// 'do it all' functions
bool parse_json(
  std::istream &in,
  const std::string &filename,
  message_handlert &message_handler,
  jsont &dest);
 
bool parse_json(
  const std::string &filename,
  message_handlert &message_handler,
  jsont &dest);
 
#endif // CPROVER_JSON_JSON_PARSER_H