#include <json.h>
|
enum class | kindt {
J_STRING
, J_NUMBER
, J_OBJECT
, J_ARRAY
,
J_TRUE
, J_FALSE
, J_NULL
} |
|
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...
|
|
kindt | kind |
|
std::string | value |
|
static const jsont | null_json_object |
|
typedef std::vector< jsont > | arrayt |
|
typedef std::map< std::string, jsont > | objectt |
|
| jsont (kindt _kind) |
|
| jsont (kindt _kind, std::string _value) |
|
| jsont (kindt _kind, arrayt &&entries) |
|
| jsont (kindt _kind, objectt &&objects) |
|
static void | escape_string (const std::string &, std::ostream &) |
|
arrayt | array |
|
objectt | object |
|
Definition at line 269 of file json.h.
◆ json_stringt() [1/3]
json_stringt::json_stringt |
( |
std::string |
_value | ) |
|
|
inlineexplicit |
◆ json_stringt() [2/3]
json_stringt::json_stringt |
( |
const irep_idt & |
_value | ) |
|
|
inlineexplicit |
◆ 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