CBMC
|
#include <structured_data.h>
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 |
Definition at line 32 of file structured_data.h.
|
explicitprivate |
Definition at line 77 of file structured_data.cpp.
|
explicitprivate |
Definition at line 82 of file structured_data.cpp.
const std::map< labelt, structured_data_entryt > & structured_data_entryt::children | ( | ) | const |
Definition at line 98 of file structured_data.cpp.
|
static |
Definition at line 64 of file structured_data.cpp.
|
static |
Definition at line 72 of file structured_data.cpp.
bool structured_data_entryt::is_leaf | ( | ) | const |
Definition at line 88 of file structured_data.cpp.
std::string structured_data_entryt::leaf_data | ( | ) | const |
Definition at line 93 of file structured_data.cpp.
jsont structured_data_entryt::leaf_object | ( | ) | const |
Definition at line 103 of file structured_data.cpp.
|
private |
Definition at line 49 of file structured_data.h.
|
private |
Definition at line 48 of file structured_data.h.