json_arrayt Class Reference

#include <json.h>

Inheritance diagram for json_arrayt:

Collaboration diagram for json_arrayt:

Public Types
typedef jsont	value_type
Public Types inherited from jsont
enum class	kindt {   J_STRING , J_NUMBER , J_OBJECT , J_ARRAY ,   J_TRUE , J_FALSE , J_NULL }

Public Member Functions
	json_arrayt ()
	json_arrayt (std::initializer_list< jsont > &&initializer_list)
template<typename begin_iteratort , typename end_iteratort >
	json_arrayt (begin_iteratort &&begin_iterator, end_iteratort &&end_iterator)
template<typename iteratort >
	json_arrayt (ranget< iteratort > &&range)
void	resize (std::size_t size)
std::size_t	size () const
bool	empty () const
jsont &	push_back (const jsont &json)
jsont &	push_back (jsont &&json)
jsont &	push_back ()
template<typename... argumentst>
void	emplace_back (argumentst &&... arguments)
arrayt::iterator	begin ()
arrayt::const_iterator	begin () const
arrayt::const_iterator	cbegin () const
arrayt::iterator	end ()
arrayt::const_iterator	end () const
arrayt::const_iterator	cend () const
Public Member Functions inherited from jsont
bool	is_string () const
bool	is_number () const
bool	is_object () const
bool	is_array () const
bool	is_boolean () 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 Public Member Functions inherited from jsont
static jsont	json_boolean (bool value)
static void	output_key (std::ostream &out, const std::string &key)
static void	output_object (std::ostream &out, const objectt &object, unsigned indent)
	Basic handling of the printing of a JSON object. More...
Public Attributes inherited from jsont
kindt	kind
std::string	value
Static Public Attributes inherited from jsont
static const jsont	null_json_object
Protected Types inherited from jsont
typedef std::vector< jsont >	arrayt
typedef std::map< std::string, jsont >	objectt
Protected Member Functions inherited from jsont
	jsont (kindt _kind)
	jsont (kindt _kind, std::string _value)
	jsont (kindt _kind, arrayt &&entries)
	jsont (kindt _kind, objectt &&objects)
Static Protected Member Functions inherited from jsont
static void	escape_string (const std::string &, std::ostream &)
Protected Attributes inherited from jsont
arrayt	array
objectt	object

Detailed Description

Definition at line 164 of file json.h.

Member Typedef Documentation

value_type

typedef jsont json_arrayt::value_type

Definition at line 266 of file json.h.

Constructor & Destructor Documentation

json_arrayt() [1/4]

json_arrayt::json_arrayt ( )

inline

Definition at line 167 of file json.h.

json_arrayt() [2/4]

json_arrayt::json_arrayt ( std::initializer_list< jsont > &&  initializer_list )

inlineexplicit

Definition at line 171 of file json.h.

json_arrayt() [3/4]

template<typename begin_iteratort , typename end_iteratort >

json_arrayt::json_arrayt ( begin_iteratort &&  begin_iterator, end_iteratort &&  end_iterator  )

inline

Definition at line 177 of file json.h.

json_arrayt() [4/4]

template<typename iteratort >

json_arrayt::json_arrayt ( ranget< iteratort > &&  range )

inlineexplicit

Definition at line 192 of file json.h.

Member Function Documentation

begin() [1/2]

arrayt::iterator json_arrayt::begin ( )

inline

Definition at line 236 of file json.h.

begin() [2/2]

arrayt::const_iterator json_arrayt::begin ( ) const

inline

Definition at line 241 of file json.h.

cbegin()

arrayt::const_iterator json_arrayt::cbegin ( ) const

inline

Definition at line 246 of file json.h.

cend()

arrayt::const_iterator json_arrayt::cend ( ) const

inline

Definition at line 261 of file json.h.

emplace_back()

template<typename... argumentst>

void json_arrayt::emplace_back ( argumentst &&...  arguments )

inline

Definition at line 231 of file json.h.

empty()

bool json_arrayt::empty ( ) const

inline

Definition at line 207 of file json.h.

end() [1/2]

arrayt::iterator json_arrayt::end ( )

inline

Definition at line 251 of file json.h.

end() [2/2]

arrayt::const_iterator json_arrayt::end ( ) const

inline

Definition at line 256 of file json.h.

push_back() [1/3]

jsont& json_arrayt::push_back ( )

inline

Definition at line 224 of file json.h.

push_back() [2/3]

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

inline

Definition at line 212 of file json.h.

push_back() [3/3]

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

inline

Definition at line 218 of file json.h.

resize()

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

inline

Definition at line 197 of file json.h.

size()

std::size_t json_arrayt::size ( ) const

inline

Definition at line 202 of file json.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/json.h