cprover
Loading...
Searching...
No Matches
json_stringt Class Reference

#include <json.h>

Inheritance diagram for json_stringt:
Collaboration diagram for json_stringt:

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_arraytmake_array ()
json_objecttmake_object ()
const jsontoperator[] (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< jsontarrayt
typedef std::map< std::string, jsontobjectt
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: