de.uka.ilkd.key.gui.prooftree

Class GUIProofTreeNode

java.lang.Object

de.uka.ilkd.key.gui.prooftree.GUIAbstractTreeNode

de.uka.ilkd.key.gui.prooftree.GUIProofTreeNode

All Implemented Interfaces:

javax.swing.tree.TreeNode

class GUIProofTreeNode
extends GUIAbstractTreeNode

Field Summary

Fields

Modifier and Type	Field and Description
private GUIAbstractTreeNode[]	children

Constructor Summary

Constructors

Constructor and Description
GUIProofTreeNode(GUIProofTreeModel tree, Node node)

Method Summary

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()

Methods inherited from class de.uka.ilkd.key.gui.prooftree.GUIAbstractTreeNode

children, ensureBranchLabelIsSet, findBranch, findChild, getAllowsChildren, getIndex, getNode, getPath, getProofTreeModel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

children

private GUIAbstractTreeNode[] children

Constructor Detail

GUIProofTreeNode

public GUIProofTreeNode(GUIProofTreeModel tree,
                        Node node)

Method Detail

getChildAt

public javax.swing.tree.TreeNode getChildAt(int childIndex)

Specified by:

getChildAt in interface javax.swing.tree.TreeNode

Specified by:

getChildAt in class GUIAbstractTreeNode

getChildCount

public int getChildCount()

Specified by:

getChildCount in interface javax.swing.tree.TreeNode

Specified by:

getChildCount in class GUIAbstractTreeNode

getParent

public javax.swing.tree.TreeNode getParent()

Specified by:

getParent in interface javax.swing.tree.TreeNode

Specified by:

getParent in class GUIAbstractTreeNode

isLeaf

public boolean isLeaf()

Specified by:

isLeaf in interface javax.swing.tree.TreeNode

Specified by:

isLeaf in class GUIAbstractTreeNode

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

ensureChildrenArray

private void ensureChildrenArray()

Ensure that the children array is valid. Nodes may have children if they represent a One step simplification. If so, the array of children is read from the rule app object

flushCache

public void flushCache()

Specified by:

flushCache in class GUIAbstractTreeNode