cprover
json_numbert Class Reference

#include <json.h>

Inheritance diagram for json_numbert:
[legend]
Collaboration diagram for json_numbert:
[legend]

Public Member Functions

 json_numbert (const std::string &_value)
 
- Public Member Functions inherited from jsont
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_arraytmake_array ()
 
json_objecttmake_object ()
 
const jsontoperator[] (const std::string &key) const
 

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
}
 
typedef std::vector< jsontarrayt
 
typedef std::map< std::string, jsontobjectt
 
- Static Public Member Functions inherited from jsont
static jsont json_boolean (bool value)
 
- Public Attributes inherited from jsont
kindt kind
 
arrayt array
 
objectt object
 
std::string value
 
- Protected Member Functions inherited from jsont
void output_rec (std::ostream &, unsigned indent) const
 
 jsont (kindt _kind)
 
 jsont (kindt _kind, const std::string &_value)
 
- Static Protected Member Functions inherited from jsont
static void escape_string (const std::string &, std::ostream &)
 
- Static Protected Attributes inherited from jsont
static const jsont null_json_object
 

Detailed Description

Definition at line 179 of file json.h.

Constructor & Destructor Documentation

§ json_numbert()

json_numbert::json_numbert ( const std::string &  _value)
inlineexplicit

Definition at line 182 of file json.h.


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