10 #ifndef CPROVER_UTIL_JSON_H 11 #define CPROVER_UTIL_JSON_H 104 objectt::const_iterator it=
object.find(key);
111 void output_rec(std::ostream &,
unsigned indent)
const;
116 static void escape_string(
const std::string &, std::ostream &);
135 static void output_key(std::ostream &out,
const std::string &key);
175 template <
typename... argumentst>
178 array.emplace_back(std::forward<argumentst>(arguments)...);
181 std::vector<jsont>::iterator
begin()
183 return array.begin();
186 std::vector<jsont>::const_iterator
begin()
const 188 return array.begin();
191 std::vector<jsont>::const_iterator
cbegin()
const 193 return array.cbegin();
196 std::vector<jsont>::iterator
end()
201 std::vector<jsont>::const_iterator
end()
const 206 std::vector<jsont>::const_iterator
cend()
const 222 #ifndef USE_STD_STRING 258 objectt::const_iterator it=
object.find(key);
296 #endif // CPROVER_UTIL_JSON_H std::ostream & operator<<(std::ostream &out, const jsont &src)
const std::string & id2string(const irep_idt &d)
std::vector< jsont >::const_iterator cbegin() const
static void output_object(std::ostream &out, const objectt &object, unsigned indent)
Basic handling of the printing of a JSON object.
static void output_key(std::ostream &out, const std::string &key)
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
Recursive printing of the json object.
void output(std::ostream &out) const
const jsont & operator[](const std::string &key) const
json_stringt(const irep_idt &_value)
const jsont & operator[](const std::string &key) const
json_numbert(const std::string &_value)
std::vector< jsont >::iterator end()
jsont(kindt _kind, std::string _value)
std::vector< jsont >::const_iterator cend() const
std::vector< jsont >::const_iterator begin() const
jsont & operator[](const std::string &key)
json_stringt(const char *_value)
Constructon from string literal.
std::vector< jsont >::const_iterator end() const
static const jsont null_json_object
std::vector< jsont > arrayt
void resize(std::size_t size)
json_objectt & make_object()
json_stringt(std::string _value)
std::vector< jsont >::iterator begin()
json_objectt json(const source_locationt &location)
void emplace_back(argumentst &&... arguments)