cprover
Loading...
Searching...
No Matches
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.

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 kdev_t.h:24

Definition at line 149 of file structured_data.cpp.