de.uka.ilkd.key.gui.prooftree

Class GUIOneStepChildTreeNode

java.lang.Object

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

de.uka.ilkd.key.gui.prooftree.GUIOneStepChildTreeNode

All Implemented Interfaces:

TreeNode

public class GUIOneStepChildTreeNode
extends GUIAbstractTreeNode

A special kind of gui proof tree node to show intermediate intermediate steps of the OneStepSimplifier. These nodes are leaves.

Field Summary

Fields

Modifier and Type	Field and Description
private RuleApp	app
private GUIAbstractTreeNode	parent

Constructor Summary

Constructors

Constructor and Description
GUIOneStepChildTreeNode(GUIProofTreeModel tree, GUIAbstractTreeNode parent, RuleApp app)

Method Summary

Modifier and Type	Method and Description
void	flushCache()
TreeNode	getChildAt(int childIndex)
int	getChildCount()
TreeNode	getParent()
boolean	isLeaf()
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

app

private final RuleApp app

parent

private final GUIAbstractTreeNode parent

Constructor Detail

GUIOneStepChildTreeNode

public GUIOneStepChildTreeNode(GUIProofTreeModel tree,
                               GUIAbstractTreeNode parent,
                               RuleApp app)

Method Detail

getChildAt

public TreeNode getChildAt(int childIndex)

Specified by:

getChildAt in interface TreeNode

Specified by:

getChildAt in class GUIAbstractTreeNode

getChildCount

public int getChildCount()

Specified by:

getChildCount in interface TreeNode

Specified by:

getChildCount in class GUIAbstractTreeNode

getParent

public TreeNode getParent()

Specified by:

getParent in interface TreeNode

Specified by:

getParent in class GUIAbstractTreeNode

isLeaf

public boolean isLeaf()

Specified by:

isLeaf in interface TreeNode

Specified by:

isLeaf in class GUIAbstractTreeNode

toString

public String toString()

Overrides:

toString in class Object

flushCache

public void flushCache()

Specified by:

flushCache in class GUIAbstractTreeNode