cprover
Loading...
Searching...
No Matches
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: