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