class GUIBranchNode extends GUIAbstractTreeNode implements TreeNode
Modifier and Type | Field and Description |
---|---|
private TreeNode[] |
childrenCache |
private Object |
label |
Constructor and Description |
---|
GUIBranchNode(GUIProofTreeModel tree,
Node subTree,
Object label) |
Modifier and Type | Method and Description |
---|---|
private void |
createChildrenCache() |
private void |
fillChildrenCache() |
void |
flushCache() |
TreeNode |
getChildAt(int childIndex) |
int |
getChildCount() |
private int |
getChildCountHelp() |
TreeNode |
getParent() |
boolean |
isClosed() |
boolean |
isLeaf() |
void |
setLabel(String s) |
String |
toString() |
children, ensureBranchLabelIsSet, findBranch, findChild, getAllowsChildren, getIndex, getNode, getPath, getProofTreeModel
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
children, getAllowsChildren, getIndex
public GUIBranchNode(GUIProofTreeModel tree, Node subTree, Object label)
private void createChildrenCache()
public TreeNode getChildAt(int childIndex)
getChildAt
in interface TreeNode
getChildAt
in class GUIAbstractTreeNode
private void fillChildrenCache()
public void flushCache()
flushCache
in class GUIAbstractTreeNode
public int getChildCount()
getChildCount
in interface TreeNode
getChildCount
in class GUIAbstractTreeNode
private int getChildCountHelp()
public TreeNode getParent()
getParent
in interface TreeNode
getParent
in class GUIAbstractTreeNode
public void setLabel(String s)
public boolean isLeaf()
isLeaf
in interface TreeNode
isLeaf
in class GUIAbstractTreeNode
public boolean isClosed()