|
CBMC
|
#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 |
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.