cprover
|
#include <json.h>
Public Types | |
typedef jsont | value_type |
![]() | |
enum | kindt { kindt::J_STRING, kindt::J_NUMBER, kindt::J_OBJECT, kindt::J_ARRAY, kindt::J_TRUE, kindt::J_FALSE, kindt::J_NULL } |
typedef std::vector< jsont > | arrayt |
typedef std::map< std::string, jsont > | objectt |
Public Member Functions | |
json_arrayt () | |
void | resize (std::size_t size) |
std::size_t | size () const |
jsont & | push_back (const jsont &json) |
jsont & | push_back () |
template<typename... argumentst> | |
void | emplace_back (argumentst &&... arguments) |
std::vector< jsont >::iterator | begin () |
std::vector< jsont >::const_iterator | begin () const |
std::vector< jsont >::const_iterator | cbegin () const |
std::vector< jsont >::iterator | end () |
std::vector< jsont >::const_iterator | end () const |
std::vector< jsont >::const_iterator | cend () const |
![]() | |
bool | is_string () const |
bool | is_number () const |
bool | is_object () const |
bool | is_array () const |
bool | is_true () const |
bool | is_false () const |
bool | is_null () const |
jsont () | |
void | output (std::ostream &out) const |
void | swap (jsont &other) |
void | clear () |
json_arrayt & | make_array () |
json_objectt & | make_object () |
const jsont & | operator[] (const std::string &key) const |
void | output_rec (std::ostream &, unsigned indent) const |
Recursive printing of the json object. More... | |
Additional Inherited Members | |
![]() | |
static jsont | json_boolean (bool value) |
static void | output_object (std::ostream &out, const objectt &object, unsigned indent) |
Basic handling of the printing of a JSON object. More... | |
static void | output_key (std::ostream &out, const std::string &key) |
![]() | |
kindt | kind |
arrayt | array |
objectt | object |
std::string | value |
![]() | |
static const jsont | null_json_object |
![]() | |
jsont (kindt _kind) | |
jsont (kindt _kind, std::string _value) | |
![]() | |
static void | escape_string (const std::string &, std::ostream &) |
typedef jsont json_arrayt::value_type |
|
inline |
Definition at line 181 of file json.h.
References jsont::array.
|
inline |
Definition at line 186 of file json.h.
References jsont::array.
|
inline |
Definition at line 191 of file json.h.
References jsont::array.
|
inline |
Definition at line 206 of file json.h.
References jsont::array.
|
inline |
Definition at line 176 of file json.h.
References jsont::array.
|
inline |
Definition at line 196 of file json.h.
References jsont::array.
|
inline |
Definition at line 201 of file json.h.
References jsont::array.
Definition at line 163 of file json.h.
References jsont::array, and json().
Referenced by add_to_json(), show_goto_functions_jsont::convert(), convert_input(), convert_output(), convert_properties_json(), json_irept::convert_sub_tree(), json(), json_output_function(), bmc_covert::operator()(), goto_inlinet::goto_inline_logt::output_inline_log_json(), dep_graph_domaint::output_json(), ai_baset::output_json(), goto_unwindt::unwind_logt::output_log_json(), show_loop_ids_json(), bmct::show_vcc_json(), and static_verifier().
|
inline |
Definition at line 169 of file json.h.
References jsont::array, and jsont::jsont().
|
inline |
Definition at line 153 of file json.h.
References jsont::array, and size().
|
inline |