fmrisc.ProgramExplorer.Tasks

Class TaskFolder

java.lang.Object

fmrisc.ProgramExplorer.Tasks.TaskBase

fmrisc.ProgramExplorer.Tasks.TaskFolder

All Implemented Interfaces:

Task

public class TaskFolder
extends TaskBase

A folder of verification tasks.

Nested Class Summary

Nested classes/interfaces inherited from interface fmrisc.ProgramExplorer.Tasks.Task

Task.Observer, Task.Status

Constructor Summary

Constructors

Constructor and Description
TaskFolder(Symbol symbol, java.lang.String name, java.io.File root) Construct root folder.
TaskFolder(Symbol symbol, java.lang.String name, TaskFolder parent) Construct sorted task folder with denoted name and parent
TaskFolder(Symbol symbol, java.lang.String name, TaskFolder parent, boolean sorted) Construct task folder with denoted name and parent

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Task task) Add task to folder.
void	clear() Clear content of task folder
void	computeStatus() Compute new folder status.
TaskFolder[]	getFolders() Get subfolders appropriately sorted for display.
Symbol	getSymbol() Get the symbol associated to the folder.
Task[]	getTasks() Get tasks appropriately sorted for display
void	remove(TaskFolder folder) Remove subfolder from folder.
void	setStatus(Task.Status status, java.lang.String evidence, java.lang.Object info) Set task status.

Methods inherited from class fmrisc.ProgramExplorer.Tasks.TaskBase

getDirectory, getEvidence, getInfo, getName, getParent, getParentDirectory, getPosition, getStatus, isFinal, isOptional, print, reset, resume, resumeOnNew, setDirectory, setObserver, setParent

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskFolder

public TaskFolder(Symbol symbol,
          java.lang.String name,
          java.io.File root)

Construct root folder.

Parameters:

symbol - the symbol associated to folder (may be null)

name - the name of the folder

root - a writable directory in which a directory for this task folder is created.

TaskFolder

public TaskFolder(Symbol symbol,
          java.lang.String name,
          TaskFolder parent,
          boolean sorted)

Construct task folder with denoted name and parent

Parameters:

symbol - the symbol associated to folder (may be null)

name - name of the folder (null, if none)

parent - the parent of the task

sorted - true iff the contents are to be sorted by name.

TaskFolder

public TaskFolder(Symbol symbol,
          java.lang.String name,
          TaskFolder parent)

Construct sorted task folder with denoted name and parent

Parameters:

symbol - the symbol associated to folder (may be null)

name - name of the folder (null, if none)

parent - the parent of the task

Method Detail

setStatus

public void setStatus(Task.Status status,
             java.lang.String evidence,
             java.lang.Object info)

Set task status.

Specified by:

setStatus in interface Task

Overrides:

setStatus in class TaskBase

Parameters:

evidence - the evidence for the status (may be null).

info - any additional information about the evidence (may be null).

status - the task status.

clear

public void clear()

Clear content of task folder

computeStatus

public void computeStatus()

Compute new folder status.

getFolders

public TaskFolder[] getFolders()

Get subfolders appropriately sorted for display.

Returns:

the subfolders.

getTasks

public Task[] getTasks()

Get tasks appropriately sorted for display

Returns:

the tasks.

add

public void add(Task task)

Add task to folder.

Parameters:

task - task to be added.

remove

public void remove(TaskFolder folder)

Remove subfolder from folder.

Parameters:

folder - subfolder to be removed.

getSymbol

public Symbol getSymbol()

Get the symbol associated to the folder.

Returns:

the associated symbol (may be null).