this.initialSelection = initialSelection;
this.tree = createEmptyTree();
}
private CromTreeWidget createEmptyTree() {
CromTreeWidget tree = new CromTreeWidget();
tree.setSelectionMode(SelectionMode.SINGLE_TREE_SELECTION);
tree.setIncludeLeafNodes(false);
tree.setDisabledNodeCondition(CromPredicates.notOfType(CROM.CROM_t_Loop));
tree.addContextMenuAction(new SelectDerivedTypeAction(tree));
tree.addContextMenuAction(new SelectSubstitutionGroupAction(tree));
return tree;
}