CBMC
|
Go to the source code of this file.
Classes | |
struct | labelt |
struct | structured_data_entryt |
class | structured_datat |
A way of representing nested key/value data. More... | |
Functions | |
std::string | to_pretty (const structured_datat &) |
Convert the structured_data into plain text. More... | |
std::string to_pretty | ( | const structured_datat & | data | ) |
Convert the structured_data into plain text.
For the example structured data, this will produce:
Definition at line 149 of file structured_data.cpp.