|
CBMC
|
#include <list>#include <map>#include <string>#include <iosfwd>
Include dependency graph for xml.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | xmlt |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const xmlt &xml) |
| bool | operator== (const xmlt &a, const xmlt &b) |
| bool | operator!= (const xmlt &a, const xmlt &b) |
| xmlt | to_xml (const structured_datat &data) |
| Convert the structured_datat into an xml object. More... | |
|
inline |
| xmlt to_xml | ( | const structured_datat & | data | ) |
Convert the structured_datat into an xml 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. |