fmrisc.ProgramExplorer.Tasks

Class FrameTask

java.lang.Object

fmrisc.ProgramExplorer.Tasks.TaskBase

fmrisc.ProgramExplorer.Tasks.FrameTask

All Implemented Interfaces:

Task

public final class FrameTask
extends TaskBase

The task of checking the frame condition

Nested Class Summary

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

Task.Observer, Task.Status

Field Summary

Fields

Modifier and Type	Field and Description
boolean	exceptionsOkay
boolean	executionOkay
boolean	variablesOkay

Constructor Summary

Constructors

Constructor and Description
FrameTask(ParamSymbol method) Construct the task of checking the frame condition.

Method Summary

Modifier and Type	Method and Description
void	print(java.io.PrintWriter out) Print linear representation of task.

Methods inherited from class fmrisc.ProgramExplorer.Tasks.TaskBase

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

Methods inherited from class java.lang.Object

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

Field Detail

executionOkay

public final boolean executionOkay

variablesOkay

public final boolean variablesOkay

exceptionsOkay

public final boolean exceptionsOkay

Constructor Detail

FrameTask

public FrameTask(ParamSymbol method)

Construct the task of checking the frame condition.

Parameters:

method - the method whose frame-condition is to be checked.

Method Detail

print

public void print(java.io.PrintWriter out)

Print linear representation of task.

Specified by:

print in interface Task

Overrides:

print in class TaskBase

Parameters:

out - the writer.