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

#include <structured_data.h>

Collaboration diagram for structured_datat:

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;

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

Public Member Functions