CBMC
structured_data_entryt Struct Reference

#include <structured_data.h>

+ Collaboration diagram for structured_data_entryt:

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: