10 #ifndef CPROVER_UTIL_JSON_H 11 #define CPROVER_UTIL_JSON_H 102 objectt::const_iterator it=
object.find(key);
110 void output_rec(std::ostream &,
unsigned indent)
const;
111 static void escape_string(
const std::string &, std::ostream &);
159 array.push_back(json);
202 objectt::const_iterator it=
object.find(key);
240 #endif // CPROVER_UTIL_JSON_H std::ostream & operator<<(std::ostream &out, const jsont &src)
static jsont json_boolean(bool value)
static void escape_string(const std::string &, std::ostream &)
json_arrayt & make_array()
jsont & push_back(const jsont &json)
std::map< std::string, jsont > objectt
void output_rec(std::ostream &, unsigned indent) const
void output(std::ostream &out) const
const jsont & operator[](const std::string &key) const
jsont(kindt _kind, const std::string &_value)
const jsont & operator[](const std::string &key) const
json_stringt(const std::string &_value)
json_numbert(const std::string &_value)
jsont & operator[](const std::string &key)
static const jsont null_json_object
std::vector< jsont > arrayt
void resize(std::size_t size)
json_objectt & make_object()
json_objectt json(const source_locationt &location)