CBMC
structured_data.h File Reference
#include "json.h"
#include <string>
#include <vector>
+ Include dependency graph for structured_data.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Function Documentation

◆ to_pretty()

std::string to_pretty ( const structured_datat data)

Convert the structured_data into plain text.

For the example structured data, this will produce:

My data:
My number: 10
My string: hi

Definition at line 149 of file structured_data.cpp.