edu.williams.cs.ljil.finitizer.actions
Class ResolutionAction

java.lang.Object
  edu.williams.cs.ljil.finitizer.Actionable
      edu.williams.cs.ljil.finitizer.actions.ResolutionAction

Direct Known Subclasses:

AppliedTransformationAction, EliminateRecursionAction, PendingTransformationAction

public abstract class ResolutionAction
extends Actionable

Constructor Summary

ResolutionAction()

Method Summary

void	apply() Apply the action
void	ensureApplied() Ensure the action has been applied
void	ensureUnapplied() Ensure the action has been applied
abstract java.lang.String	getDescription() One-line description
boolean	isApplied() Has this action been applied?
java.lang.String	toString()
void	unapply() Undo the action

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

ResolutionAction

public ResolutionAction()

Method Detail

isApplied

public boolean isApplied()

Has this action been applied?

Specified by:

isApplied in class Actionable

ensureApplied

public void ensureApplied()

Ensure the action has been applied

Specified by:

ensureApplied in class Actionable

ensureUnapplied

public void ensureUnapplied()

Ensure the action has been applied

Specified by:

ensureUnapplied in class Actionable

apply

public void apply()
           throws java.lang.IllegalStateException

Apply the action

Throws:

java.lang.IllegalStateException

unapply

public void unapply()

Undo the action

getDescription

public abstract java.lang.String getDescription()

One-line description

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object