class GUIProofTreeNode extends GUIAbstractTreeNode
Modifier and Type | Field and Description |
---|---|
private GUIAbstractTreeNode[] |
children |
Constructor and Description |
---|
GUIProofTreeNode(GUIProofTreeModel tree,
Node node) |
Modifier and Type | Method and Description |
---|---|
private void |
ensureChildrenArray()
Ensure that the children array is valid.
|
void |
flushCache() |
javax.swing.tree.TreeNode |
getChildAt(int childIndex) |
int |
getChildCount() |
javax.swing.tree.TreeNode |
getParent() |
boolean |
isLeaf() |
java.lang.String |
toString() |
children, ensureBranchLabelIsSet, findBranch, findChild, getAllowsChildren, getIndex, getNode, getPath, getProofTreeModel
private GUIAbstractTreeNode[] children
public GUIProofTreeNode(GUIProofTreeModel tree, Node node)
public javax.swing.tree.TreeNode getChildAt(int childIndex)
getChildAt
in interface javax.swing.tree.TreeNode
getChildAt
in class GUIAbstractTreeNode
public int getChildCount()
getChildCount
in interface javax.swing.tree.TreeNode
getChildCount
in class GUIAbstractTreeNode
public javax.swing.tree.TreeNode getParent()
getParent
in interface javax.swing.tree.TreeNode
getParent
in class GUIAbstractTreeNode
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
private void ensureChildrenArray()
public void flushCache()
flushCache
in class GUIAbstractTreeNode