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

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_datatdata )

Convert the structured_data into plain text.

For the example structured data, this will produce:

My data:
My number: 10
My string: hi
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566

Definition at line 149 of file structured_data.cpp.

AltStyle によって変換されたページ (->オリジナル) /