cprover
|
#include <json.h>
Public Member Functions | |
json_numbert (const std::string &_value) | |
![]() | |
bool | is_string () const |
bool | is_number () const |
bool | is_object () const |
bool | is_array () 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 |
Additional Inherited Members | |
![]() | |
enum | kindt { kindt::J_STRING, kindt::J_NUMBER, kindt::J_OBJECT, kindt::J_ARRAY, kindt::J_TRUE, kindt::J_FALSE, kindt::J_NULL } |
typedef std::vector< jsont > | arrayt |
typedef std::map< std::string, jsont > | objectt |
![]() | |
static jsont | json_boolean (bool value) |
![]() | |
kindt | kind |
arrayt | array |
objectt | object |
std::string | value |
![]() | |
void | output_rec (std::ostream &, unsigned indent) const |
jsont (kindt _kind) | |
jsont (kindt _kind, const std::string &_value) | |
![]() | |
static void | escape_string (const std::string &, std::ostream &) |
![]() | |
static const jsont | null_json_object |
|
inlineexplicit |