A C D E F G H I L M N O P R S T U V

A

abstractStep - Variable in class edu.williams.cs.ljil.introspector.AbstractStepIntrospector

The step being introspected.

abstractStep - Variable in class edu.williams.cs.ljil.introspector.ItemIntrospector

The abstract step that this agenda item represents.

AbstractStepIntrospector - Class in edu.williams.cs.ljil.introspector

This class allows one to ask questions about a step and the process that it comes from.

AbstractStepIntrospector() - Constructor for class edu.williams.cs.ljil.introspector.AbstractStepIntrospector

Constructs an introspector for a step.

acquiresAgent() - Method in class edu.williams.cs.ljil.introspector.AbstractStepIntrospector

Method acquiresAgent.

Actionable - Class in edu.williams.cs.ljil.finitizer

Class implementing sub-actions for Issues and ResolutionActions

Actionable() - Constructor for class edu.williams.cs.ljil.finitizer.Actionable

ActionableStateListener - Interface in edu.williams.cs.ljil.finitizer

Interface for listening to actionable state changes.

actionStateChanged(Actionable) - Method in interface edu.williams.cs.ljil.finitizer.ActionableStateListener

actionStateChanged(Actionable) - Method in class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel

Notifies listeners to the tree model that the model has changed.

addDiagramChangeListener(DiagramChangeListener) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper

Adds a listener for changes to a diagram

addedBinding - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction

The binding connecting the root of the inlined subtree to the rest of the process.

addedStep - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction

The root of the tree that is inlined

addStateListener(ActionableStateListener) - Method in class edu.williams.cs.ljil.finitizer.Actionable

addStateListenerRecursively(ActionableStateListener) - Method in class edu.williams.cs.ljil.finitizer.Actionable

addSubAction(Actionable) - Method in class edu.williams.cs.ljil.finitizer.Actionable

add a subaction

addSubtreeToDiagram(AbstractStep, Diagram, AbstractBinding) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper

Utility method for adding a subtree to a diagram.

addTabForDiagram(Diagram) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Add a tab to the pane for a diagram.

addToolBarAction(String, Action) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar

Attaches an action to a button.

addTransformationListener(TransformationListener) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder

addTreeModelListener(TreeModelListener) - Method in class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel

Adds a listener for the TreeModelEvent posted after the tree changes.

applied - Variable in class edu.williams.cs.ljil.finitizer.actions.recursion.EliminateRecursionAction

applied(Transformation) - Method in interface edu.williams.cs.ljil.finitizer.TransformationListener

applied(Transformation) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Highlights steps that have had resolutions selected.

AppliedTransformation - Interface in edu.williams.cs.ljil.finitizer

AppliedTransformationAction - Class in edu.williams.cs.ljil.finitizer.actions

AppliedTransformationAction(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction

Creates a transformation action.

appliedTransformations - Variable in class edu.williams.cs.ljil.finitizer.FSPBuilder

Sequence of pending transformations.

apply() - Method in class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction

Applies a transformation

apply() - Method in class edu.williams.cs.ljil.finitizer.actions.PendingTransformationAction

apply() - Method in class edu.williams.cs.ljil.finitizer.actions.recursion.InlineRecursionAction

Inlines a step.

apply() - Method in class edu.williams.cs.ljil.finitizer.actions.ResolutionAction

Apply the action

apply() - Method in interface edu.williams.cs.ljil.finitizer.PendingTransformation

Apply transformation.