edu.williams.cs.ljil.finitizer.issues
Class RecursionIssue

java.lang.Object
  edu.williams.cs.ljil.finitizer.Actionable
      edu.williams.cs.ljil.finitizer.issues.Issue
          edu.williams.cs.ljil.finitizer.issues.RecursionIssue

public class RecursionIssue
extends Issue

Describes an occurrence of recursion in a Little-JIL process that must be resolved before FSP can be used

Author:

Shimon Rura

Field Summary

protected java.lang.String	description A description of the issue to be displayed to the user.
protected FSPBuilder	fspb The main controller object
protected java.util.Vector	resActions The actions that have been taken to eliminate recursion
protected edu.williams.cs.ljil.fsp.StepRef	sr The recursive step

Constructor Summary

RecursionIssue(FSPBuilder f, edu.williams.cs.ljil.fsp.StepRef s)
Create an issue to record an instance of recursion and the actions that can be taken to remove the recursion.

Method Summary

java.util.Iterator	getAbstractSteps() Return an iterator over all the steps involved in the issue.
java.lang.String	getDescription() Create a short description of the issue.

Methods inherited from class edu.williams.cs.ljil.finitizer.issues.Issue

ensureApplied, ensureUnapplied, isApplied, toString

Methods inherited from class edu.williams.cs.ljil.finitizer.Actionable

addStateListener, addStateListenerRecursively, addSubAction, fireStateChanged, getParent, getSubActionAt, getSubActionCount, getSubActions, indexOf, isLeaf, isResolved, removeStateListener, setParent, unapplyAllSubActions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

fspb

protected final FSPBuilder fspb

The main controller object

resActions

protected final java.util.Vector resActions

The actions that have been taken to eliminate recursion

sr

protected final edu.williams.cs.ljil.fsp.StepRef sr

The recursive step

description

protected final java.lang.String description

A description of the issue to be displayed to the user.

Constructor Detail

RecursionIssue

public RecursionIssue(FSPBuilder f,
                      edu.williams.cs.ljil.fsp.StepRef s)

Create an issue to record an instance of recursion and the actions that can be taken to remove the recursion.

Parameters:

f - The main controller object.

s - The recursive step. This may not be null.

Method Detail

getDescription

public java.lang.String getDescription()

Create a short description of the issue.

Specified by:

getDescription in class Issue

Returns:

a short description of the issue.

getAbstractSteps

public java.util.Iterator getAbstractSteps()

Return an iterator over all the steps involved in the issue. For recursion issues, this is just the recursive step.

Specified by:

getAbstractSteps in class Issue

Returns:

an iterator over all the steps involved in the issue.