CBMC
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:

Public Member Functions

 
std::string  leaf_data () const
 
 
 

Static Public Member Functions

 
 

Private Member Functions

 
 

Private Attributes

 
 

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_entrytchildren )
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 jsontdata )
static

Definition at line 64 of file structured_data.cpp.

◆  entry()

structured_data_entryt structured_data_entryt::entry ( std::map< labelt, structured_data_entrytchildren )
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:

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