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

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.DeadlinePasses

public class DeadlinePasses
extends PendingTransformationAction

Author:

shimon fake a deadline passing

Field Summary

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

fspb, myPT, step

Constructor Summary

DeadlinePasses(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

DeadlinePasses

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

Method Detail

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.

getDescription

public java.lang.String getDescription()

Description copied from class: ResolutionAction

One-line description

Specified by:

getDescription in class ResolutionAction