CBMC
|
Go to the source code of this file.
Functions | |
bool | operator== (const jsont &left, const jsont &right) |
jsont | json_node (const structured_data_entryt &entry) |
jsont | to_json (const structured_datat &data) |
Convert the structured_datat into an json object. More... | |
jsont json_node | ( | const structured_data_entryt & | entry | ) |
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. |