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() |
TreeNode |
getChildAt(int childIndex) |
int |
getChildCount() |
TreeNode |
getParent() |
boolean |
isLeaf() |
String |
toString() |
children, ensureBranchLabelIsSet, findBranch, findChild, getAllowsChildren, getIndex, getNode, getPath, getProofTreeModel
private GUIAbstractTreeNode[] children
public GUIProofTreeNode(GUIProofTreeModel tree, Node node)
public TreeNode getChildAt(int childIndex)
getChildAt
in interface TreeNode
getChildAt
in class GUIAbstractTreeNode
public int getChildCount()
getChildCount
in interface TreeNode
getChildCount
in class GUIAbstractTreeNode
public TreeNode getParent()
getParent
in interface TreeNode
getParent
in class GUIAbstractTreeNode
public boolean isLeaf()
isLeaf
in interface TreeNode
isLeaf
in class GUIAbstractTreeNode
private void ensureChildrenArray()
public void flushCache()
flushCache
in class GUIAbstractTreeNode