json_arrayt Class Reference

#include <json.h>

Inheritance diagram for json_arrayt:

Collaboration diagram for json_arrayt:

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 ()
Public Member Functions inherited from jsont
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

Additional Inherited Members
Public Types inherited from jsont
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
Static Public Member Functions inherited from jsont
static jsont	json_boolean (bool value)
Public Attributes inherited from jsont
kindt	kind
arrayt	array
objectt	object
std::string	value
Protected Member Functions inherited from jsont
void	output_rec (std::ostream &, unsigned indent) const
	jsont (kindt _kind)
	jsont (kindt _kind, const std::string &_value)
Static Protected Member Functions inherited from jsont
static void	escape_string (const std::string &, std::ostream &)
Static Protected Attributes inherited from jsont
static const jsont	null_json_object

Detailed Description

Definition at line 140 of file json.h.

Constructor & Destructor Documentation

json_arrayt()

json_arrayt::json_arrayt ( )

inline

Definition at line 143 of file json.h.

Member Function Documentation

push_back() [1/2]

jsont& json_arrayt::push_back ( const jsont &  json )

inline

Definition at line 157 of file json.h.

References jsont::array, and json().

Referenced by add_to_json(), convert(), show_goto_functions_jsont::convert(), json_irept::convert_sub_tree(), bmct::error_trace(), json(), json_output_function(), static_analyzert::json_report(), 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(), bmc_all_propertiest::report(), symex_parse_optionst::report_cover(), show_loop_ids_json(), show_properties_json(), and bmct::show_vcc_json().

push_back() [2/2]

jsont& json_arrayt::push_back ( )

inline

Definition at line 163 of file json.h.

References jsont::array, and jsont::jsont().

resize()

void json_arrayt::resize ( std::size_t  size )

inline

Definition at line 147 of file json.h.

References jsont::array, and size().

size()

std::size_t json_arrayt::size ( ) const

inline

Definition at line 152 of file json.h.

References jsont::array.

Referenced by resize().

---

The documentation for this class was generated from the following file:

• util/json.h