CBMC
|
#include <vector>
#include <map>
#include <iosfwd>
#include <string>
#include "irep.h"
#include "range.h"
Go to the source code of this file.
Classes | |
class | jsont |
class | json_arrayt |
class | json_stringt |
class | json_numbert |
class | json_objectt |
class | json_truet |
class | json_falset |
class | json_nullt |
Functions | |
std::ostream & | operator<< (std::ostream &out, const jsont &src) |
json_arrayt & | to_json_array (jsont &json) |
const json_arrayt & | to_json_array (const jsont &json) |
json_objectt & | to_json_object (jsont &json) |
const json_objectt & | to_json_object (const jsont &json) |
json_stringt & | to_json_string (jsont &json) |
const json_stringt & | to_json_string (const jsont &json) |
bool | operator== (const jsont &left, const jsont &right) |
jsont | to_json (const structured_datat &data) |
Convert the structured_datat into an json object. More... | |
|
inline |
jsont to_json | ( | const structured_datat & | data | ) |
Convert the structured_datat into an json object.
For example, the structured data: structured_datat data{ {{labelt{{"my", "data"}}, structured_data_entryt::entry( {{labelt{{"my", "number"}}, structured_data_entryt::data_node(json_numbert("10"))}, {labelt{{"my", "string"}}, structured_data_entryt::data_node(json_stringt("hi"))}})}}};
Will produce:
data | The structured data to convert. |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |