fmrisc.ProofNavigator.SWT
Class ProofTreeItem

java.lang.Object
  fmrisc.ProofNavigator.SWT.ProofTreeItem

All Implemented Interfaces:

ProofStateListener

public final class ProofTreeItem
extends java.lang.Object
implements ProofStateListener

Graphical representation of proof state.

Method Summary

ProofState	getState() Return proof state associated to item.
org.eclipse.swt.widgets.TreeItem	getTreeItem() Return tree item associated to item.
void	hasChanged() Signal that proof state has changed.
static void	setNodes(org.eclipse.swt.widgets.Tree tree, ProofState root) Set tree to visualize the state tree with the denoted root state.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

setNodes

public static void setNodes(org.eclipse.swt.widgets.Tree tree,
                            ProofState root)

Set tree to visualize the state tree with the denoted root state.

Parameters:

tree - the tree.

root - the root state.

getTreeItem

public org.eclipse.swt.widgets.TreeItem getTreeItem()

Return tree item associated to item.

Returns:

the associated tree item.

getState

public ProofState getState()

Return proof state associated to item.

Returns:

the associated proof state.

hasChanged

public void hasChanged()

Signal that proof state has changed.

Specified by:

hasChanged in interface ProofStateListener