fmrisc.ProgramExplorer.Tasks

Class FailedTask

java.lang.Object

fmrisc.ProgramExplorer.Tasks.TaskBase

fmrisc.ProgramExplorer.Tasks.FailedTask

All Implemented Interfaces:

Task

public final class FailedTask
extends TaskBase

An unconditionally failed task.

Nested Class Summary

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

Task.Observer, Task.Status

Constructor Summary

Constructors

Constructor and Description
FailedTask(java.lang.String tag, java.lang.String name, java.lang.String message, SourcePosition pos, java.io.File parent) Construct a failed task.

Method Summary

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, setStatus

Methods inherited from class java.lang.Object

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

Constructor Detail

FailedTask

public FailedTask(java.lang.String tag,
                  java.lang.String name,
                  java.lang.String message,
                  SourcePosition pos,
                  java.io.File parent)

Construct a failed task.

Parameters:

tag - the tag of the task.

name - the name of the task.

message - a message describing the failure.

pos - a source code position to which the task is attached.

parent - the location of the parent folder.