ExplorerTree.RdExplorer 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.