ExplorerTree.Rd
Explorer Tree
new(root_id = NULL, root_object = Object$new("/"))
Initialize a new explorer tree object.
root_id | Identifier of the root node. If NULL ,
this identifier is created internally. |
ExplorerTree
.get_node(id)
Get the node of the explorer tree with id == id
.
get_node_ids()
Get the ids of all nodes of the explorer tree as a
character
vector.
get_root_node()
Get the root node of the explorer tree, which is equivalent
to calling this$get_node(root_id)
, where root_id
is the id, which was
passed to this$new
.