Loading...

Searching...

No Matches

Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | List of all members

structured_data_entryt Struct Reference

#include <structured_data.h>

+ Collaboration diagram for structured_data_entryt:

[フレーム]

[legend]

Public Member Functions

bool is_leaf () const

std::string leaf_data () const

jsont leaf_object () const

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

Static Public Member Functions

static structured_data_entryt data_node (const jsont &data)

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

Private Member Functions

structured_data_entryt (jsont data)

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

Private Attributes

jsont data

std::map< labelt, structured_data_entryt > _children

Detailed Description

Definition at line 32 of file structured_data.h.

Constructor & Destructor Documentation

◆ structured_data_entryt() [1/2]

structured_data_entryt::structured_data_entryt ( jsont data )

explicitprivate

Definition at line 77 of file structured_data.cpp.

◆ structured_data_entryt() [2/2]

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

explicitprivate

Definition at line 82 of file structured_data.cpp.

Member Function Documentation

◆ children()

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

Definition at line 98 of file structured_data.cpp.

◆ data_node()

structured_data_entryt structured_data_entryt::data_node ( const jsont & data )

static

Definition at line 64 of file structured_data.cpp.

◆ entry()

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

static

Definition at line 72 of file structured_data.cpp.

◆ is_leaf()

bool structured_data_entryt::is_leaf ( ) const

Definition at line 88 of file structured_data.cpp.

◆ leaf_data()

std::string structured_data_entryt::leaf_data ( ) const

Definition at line 93 of file structured_data.cpp.

◆ leaf_object()

jsont structured_data_entryt::leaf_object ( ) const

Definition at line 103 of file structured_data.cpp.

Member Data Documentation

◆ _children

std::map<labelt, structured_data_entryt> structured_data_entryt::_children

private

Definition at line 49 of file structured_data.h.

◆ data

jsont structured_data_entryt::data

private

Definition at line 48 of file structured_data.h.

The documentation for this struct 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