|
CBMC
|
#include <json.h>
Inheritance diagram for json_nullt:
Collaboration diagram for json_nullt:Public Member Functions | |
| json_nullt () | |
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 | |
Public Types inherited from jsont | |
| enum | kindt { kindt::J_STRING, kindt::J_NUMBER, kindt::J_OBJECT, kindt::J_ARRAY, kindt::J_TRUE, kindt::J_FALSE, kindt::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. 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 |