fmrisc.ProgramExplorer.SWT

Class TaskTree

java.lang.Object

fmrisc.ProgramExplorer.SWT.TaskTree

public final class TaskTree
extends java.lang.Object

A tree displaying verification tasks.

Constructor Summary

Constructors

Constructor and Description
TaskTree(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a tree displaying task structures.

Method Summary

Methods

Modifier and Type	Method and Description
void	close() Close all task folders that are done.
void	close(TaskFolder folder) Close task folder, if it is done.
void	display(Symbol symbol) Display task folder associated to symbol (if any).
org.eclipse.swt.widgets.Tree	getTree() Get visual representation of tree.
void	hide() Close all task folders.
void	redraw(TaskFolder root) Redraw task folder structures.

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskTree

public TaskTree(org.eclipse.swt.widgets.Composite parent,
        TopWindow top)

Create a tree displaying task structures.

Parameters:

parent - the parent widget.

top - the top window.

Method Detail

getTree

public org.eclipse.swt.widgets.Tree getTree()

Get visual representation of tree.

Returns:

the tree.

redraw

public void redraw(TaskFolder root)

Redraw task folder structures.

Parameters:

root - the root folder for display.

close

public void close(TaskFolder folder)

Close task folder, if it is done.

Parameters:

folder - the folder

hide

public void hide()

Close all task folders.

close

public void close()

Close all task folders that are done.

display

public void display(Symbol symbol)

Display task folder associated to symbol (if any).

Parameters:

symbol - a symbol whose tasks are to be displayed.