Loading...

Searching...

No Matches

Public Member Functions | Private Attributes | List of all members

structured_datat Class Reference

A way of representing nested key/value data. More...

#include <structured_data.h>

+ Collaboration diagram for structured_datat:

[フレーム]

[legend]

Public Member Functions

structured_datat (std::map< labelt, structured_data_entryt > data)

const std::map< labelt, structured_data_entryt > & data () const

Private Attributes

std::map< labelt, structured_data_entryt > _data

Detailed Description

A way of representing nested key/value data.

Used for logging on any message handler. Usage:

structured_datat data{

{{labelt{{"my", "data"}},

structured_data_entryt::entry(

{{labelt{{"my", "number"}},

structured_data_entryt::data_node(json_numbert("10"))},

{labelt{{"my", "string"}},

structured_data_entryt::data_node(json_stringt("hi"))}})}}};

message() << data << eom;

json_numbert

Definition json.h:289

json_stringt

Definition json.h:270

structured_datat

A way of representing nested key/value data.

Definition structured_data.h:74

structured_datat::data

const std::map< labelt, structured_data_entryt > & data() const

Definition structured_data.cpp:169

labelt

Definition structured_data.h:17

structured_data_entryt::data_node

static structured_data_entryt data_node(const jsont &data)

Definition structured_data.cpp:64

structured_data_entryt::entry

static structured_data_entryt entry(std::map< labelt, structured_data_entryt > children)

Definition structured_data.cpp:72

Then if the output dependending on the UI of the message handler, you'll get appropriately formatted data.

See to_xml(const structured_datat &), to_json(const structured_datat &), to_pretty(const structured_datat &) for details of the format.

Definition at line 73 of file structured_data.h.

Constructor & Destructor Documentation

◆ structured_datat()

structured_datat::structured_datat ( std::map< labelt, structured_data_entryt > data )

explicit

Definition at line 108 of file structured_data.cpp.

Member Function Documentation

◆ data()

const std::map< labelt, structured_data_entryt > & structured_datat::data ( ) const

Definition at line 169 of file structured_data.cpp.

Member Data Documentation

◆ _data

std::map<labelt, structured_data_entryt> structured_datat::_data

private

Definition at line 80 of file structured_data.h.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/src/util/structured_data.h
/home/runner/work/cbmc/cbmc/src/util/structured_data.cpp