Loading...

Searching...

No Matches

Public Member Functions | List of all members

json_stringt Class Reference

#include <json.h>

+ Inheritance diagram for json_stringt:

[フレーム]

[legend]

+ Collaboration diagram for json_stringt:

[フレーム]

[legend]

Public Member Functions

json_stringt (std::string _value)

json_stringt (const irep_idt &_value)

json_stringt (const char *_value)

Constructon from string literal.

- 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

- Public Types inherited from jsont

enum class kindt {
J_STRING , J_NUMBER , J_OBJECT , J_ARRAY ,
J_TRUE , J_FALSE , J_NULL
}

- 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 269 of file json.h.

Constructor & Destructor Documentation

◆ json_stringt() [1/3]

json_stringt::json_stringt ( std::string _value )

inlineexplicit

Definition at line 272 of file json.h.

◆ json_stringt() [2/3]

json_stringt::json_stringt ( const irep_idt & _value )

inlineexplicit

Definition at line 277 of file json.h.

◆ json_stringt() [3/3]

json_stringt::json_stringt ( const char * _value )

inlineexplicit

Constructon from string literal.

Definition at line 283 of file json.h.

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

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