edu.williams.cs.ljil.finitizer.actions.recursion
Class ResourceAcquireFail

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

public class ResourceAcquireFail
extends PendingTransformationAction

Field Summary

Fields inherited from class edu.williams.cs.ljil.finitizer.actions.PendingTransformationAction

fspb, myPT, step

Constructor Summary

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

Method Summary

java.lang.String	getDescription() One-line description
protected PendingTransformation	getPendingTransformation()

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

apply, unapply

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

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

Constructor Detail

ResourceAcquireFail

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

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from class: ResolutionAction

One-line description

Specified by:

getDescription in class ResolutionAction

getPendingTransformation

protected PendingTransformation getPendingTransformation()

Specified by:

getPendingTransformation in class PendingTransformationAction

Returns:

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