fmrisc.ProgramExplorer.SWT

Class TaskList

java.lang.Object

fmrisc.ProgramExplorer.SWT.TaskList

public final class TaskList
extends java.lang.Object

A list displaying not done verification tasks.

Constructor Summary

Constructors

Constructor and Description
TaskList(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a list displaying all not done tasks from a folder (recursively).

Method Summary

Methods

Modifier and Type	Method and Description
org.eclipse.swt.widgets.Tree	getTree() Get the underlying tree representation.
void	redraw(TaskFolder folder) Redraw all not done tasks in folder.

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskList

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

Create a list displaying all not done tasks from a folder (recursively).

Parameters:

parent - the parent widget.

top - the top window.

Method Detail

getTree

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

Get the underlying tree representation.

Returns:

the tree representation.

redraw

public void redraw(TaskFolder folder)

Redraw all not done tasks in folder.

Parameters:

folder - the task folder.