You usually don't want to call this module explicitly.

explorer_body_ui(id)

explorer_body(input, output, session, .values, .children_r, .root_node_r,
  .explorer_classes, .explorer_class_returns, .explorer_rvs,
  .addable_explorer_classes_r, .visible_explorer_classes_r, .label_list)

Arguments

id

Module id.

input, output, session

Called by callModule.

.values

The .values list.

.children_r

reactive containing the child nodes of the current node.

.root_node_r

A reactive returning an object of class ExplorerNode. This needs not necessarily to be the root node of an object of class ExplorerTree.

.explorer_classes

A list of objects of class ExplorerClass.

.explorer_rvs

ReactiveValues.

.addable_explorer_classes_r

A reactive returning a character vector containing the ids of explorer classes that are addable to the explorer.

.visible_explorer_classes_r

A reactive returning a character vector containing the ids of explorer classes that are displayed to the user. Group nodes are always displayed.

.label_list

A list created with label_explorer containing labels for all buttons used inside the explorer module.

Details

#' .explorer_rvs must provide the following elements:

current_nodeExplorerNode, which is currently selected in explorer.
contextmenued_nodeExplorerNode, which has been last contextmenued.
module_idsList with one entry per unique explorer class.