de.uka.ilkd.key.gui.prooftree

Class GUIBranchNode

java.lang.Object

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

de.uka.ilkd.key.gui.prooftree.GUIBranchNode

All Implemented Interfaces:

javax.swing.tree.TreeNode

class GUIBranchNode
extends GUIAbstractTreeNode
implements javax.swing.tree.TreeNode

Field Summary

Fields

Modifier and Type	Field and Description
private javax.swing.tree.TreeNode[]	childrenCache
private java.lang.Object	label

Constructor Summary

Constructors

Constructor and Description
GUIBranchNode(GUIProofTreeModel tree, Node subTree, java.lang.Object label)

Method Summary

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

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

Methods inherited from interface javax.swing.tree.TreeNode

children, getAllowsChildren, getIndex

Field Detail

label

private java.lang.Object label

childrenCache

private javax.swing.tree.TreeNode[] childrenCache

Constructor Detail

GUIBranchNode

public GUIBranchNode(GUIProofTreeModel tree,
                     Node subTree,
                     java.lang.Object label)

Method Detail

createChildrenCache

private void createChildrenCache()

getChildAt

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

Specified by:

getChildAt in interface javax.swing.tree.TreeNode

Specified by:

getChildAt in class GUIAbstractTreeNode

fillChildrenCache

private void fillChildrenCache()

flushCache

public void flushCache()

Specified by:

flushCache in class GUIAbstractTreeNode

getChildCount

public int getChildCount()

Specified by:

getChildCount in interface javax.swing.tree.TreeNode

Specified by:

getChildCount in class GUIAbstractTreeNode

getChildCountHelp

private int getChildCountHelp()

getParent

public javax.swing.tree.TreeNode getParent()

Specified by:

getParent in interface javax.swing.tree.TreeNode

Specified by:

getParent in class GUIAbstractTreeNode

setLabel

public void setLabel(java.lang.String s)

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

isClosed

public boolean isClosed()