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

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

Direct Known Subclasses:

RecursionIssue

public abstract class Issue
extends Actionable

An Issue describes part of a Little-JIL process that must be modified before FSP can be applied to it.

Author:

Shimon Rura

Constructor Summary

Issue()

Method Summary

void	ensureApplied() Does nothing for issues since they cannot be applied.
void	ensureUnapplied() Does nothing for issues since they cannot be applied.
abstract java.util.Iterator	getAbstractSteps() Return an iterator over the steps involved in the issue.
abstract java.lang.String	getDescription() Return a description of the issue to display to the user.
boolean	isApplied() Always returns true.
java.lang.String	toString() Return a string description of the issue.

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

Constructor Detail

Issue

public Issue()

Method Detail

getDescription

public abstract java.lang.String getDescription()

Return a description of the issue to display to the user.

Returns:

a description of the issue.

getAbstractSteps

public abstract java.util.Iterator getAbstractSteps()

Return an iterator over the steps involved in the issue.

Returns:

an iterator over the steps involved in the issue.

toString

public java.lang.String toString()

Return a string description of the issue.

Overrides:

toString in class java.lang.Object

Returns:

a description of the issue.

isApplied

public boolean isApplied()

Always returns true. Issues cannot be applied.

Specified by:

isApplied in class Actionable

Returns:

true

ensureApplied

public void ensureApplied()

Does nothing for issues since they cannot be applied.

Specified by:

ensureApplied in class Actionable

ensureUnapplied

public void ensureUnapplied()

Does nothing for issues since they cannot be applied.

Specified by:

ensureUnapplied in class Actionable