CBMC
Loading...
Searching...
No Matches
Classes | Functions
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
 
 
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_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 によって変換されたページ (->オリジナル) /