fmrisc.ProofNavigator.SWT

Class ProofTree

java.lang.Object

fmrisc.ProofNavigator.SWT.ProofTree

public final class ProofTree
extends java.lang.Object

Graphical representation of proof.

Constructor Summary

Constructors

Constructor and Description
ProofTree(org.eclipse.swt.widgets.Composite parent) Construct proof tree for denoted parent component and with denoted style..

Method Summary

Modifier and Type	Method and Description
void	setProof(Proof proof) Change tree to visualize denoted proof.
void	setRunning(boolean running) Signal run status of background process.
void	setUnselected() Set all states in tree widget to unselected.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofTree

public ProofTree(org.eclipse.swt.widgets.Composite parent)

Construct proof tree for denoted parent component and with denoted style..

Parameters:

parent - the component to which the tree is attached.

Method Detail

setProof

public void setProof(Proof proof)

Change tree to visualize denoted proof.

Parameters:

proof - to be visualized.

setRunning

public void setRunning(boolean running)

Signal run status of background process.

Parameters:

running - if we are waiting for background process to complete.

setUnselected

public void setUnselected()

Set all states in tree widget to unselected.