CBMC
structured_data.cpp File Reference
#include "structured_data.h"
#include "range.h"
#include "string_utils.h"
#include <algorithm>
+ Include dependency graph for structured_data.cpp:

Go to the source code of this file.

Functions

std::vector< std::string > pretty_node (const std::pair< labelt, structured_data_entryt > &entry)
 
std::string to_pretty (const structured_datat &data)
 Convert the structured_data into plain text. More...
 

Function Documentation

◆ pretty_node()

std::vector<std::string> pretty_node ( const std::pair< labelt, structured_data_entryt > &  entry)

Definition at line 115 of file structured_data.cpp.

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