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

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

Direct Known Subclasses:

DeadlinePasses, OptOut, PrerequisiteFail, ResourceAcquireFail, ResourceIdentifyFail

public abstract class PendingTransformationAction
extends ResolutionAction

Author:

shimon Abstract superclass for actions that apply/unapply a particular PendingTransformation to a StepRef. Subclasses should provide a constructor and override the getDescription() and getPendingTransformation() methods.

Field Summary

protected FSPBuilder	fspb
protected PendingTransformation	myPT
protected edu.williams.cs.ljil.fsp.StepRef	step

Constructor Summary

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

Method Summary

void	apply() Apply the action
protected abstract PendingTransformation	getPendingTransformation()
void	unapply() Undo the action

Methods inherited from class edu.williams.cs.ljil.finitizer.actions.ResolutionAction

ensureApplied, ensureUnapplied, getDescription, 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

myPT

protected PendingTransformation myPT

step

protected edu.williams.cs.ljil.fsp.StepRef step

fspb

protected FSPBuilder fspb

Constructor Detail

PendingTransformationAction

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

Method Detail

apply

public void apply()

Description copied from class: ResolutionAction

Apply the action

Overrides:

apply in class ResolutionAction

unapply

public void unapply()

Description copied from class: ResolutionAction

Undo the action

Overrides:

unapply in class ResolutionAction

getPendingTransformation

protected abstract PendingTransformation getPendingTransformation()

Returns:

The pending transformation for this action. If this returns null, no action will occur.