Loading...

Searching...

No Matches

Public Types | Public Member Functions | List of all members

json_arrayt Class Reference

#include <json.h>

+ Inheritance diagram for json_arrayt:

[フレーム]

[legend]

+ Collaboration diagram for json_arrayt:

[フレーム]

[legend]

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.

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.

- 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