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

F

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

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

Notifies listeners that a step has been added to a diagram.

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

Notifies listeners that a step has been removed from a diagram.

followsChild(AbstractStep) - Method in class edu.williams.cs.ljil.introspector.ItemIntrospector

fspb - Variable in class edu.williams.cs.ljil.finitizer.actions.AppliedTransformationAction

The main controller

fspb - Variable in class edu.williams.cs.ljil.finitizer.actions.PendingTransformationAction

fspb - Variable in class edu.williams.cs.ljil.finitizer.FSPPathologist

fspb - Variable in class edu.williams.cs.ljil.finitizer.issues.RecursionIssue

The main controller object

fspb - Variable in class edu.williams.cs.ljil.finitizer.ui.IssuesListPane

The main controller for the program.

fspbLogic - Variable in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI

FSP Builder State

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

Primary class for FSP building logic: keeps track of the Little-JIL program and resolution actions.

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

Construct an FSP Builder Logic for the given file.

FSPBuilderToolbar - Class in edu.williams.cs.ljil.finitizer.ui

Class for the FSP builder's toolbar.

FSPBuilderToolbar(FSPBuilderUI) - Constructor for class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar

Creates the toolbar

FSPBuilderUI - Class in edu.williams.cs.ljil.finitizer.ui

Main class for the FSP builder UI.

FSPNullHandlerView - Class in edu.williams.cs.ljil.finitizer.ui

FSPNullHandlerView(StepView, HandlerBinding) - Constructor for class edu.williams.cs.ljil.finitizer.ui.FSPNullHandlerView

Create a null handler view

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

The FSP Pathologist diagnoses a process (in terms of its readiness for an FSP model).

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

FSPPostItView - Class in edu.williams.cs.ljil.finitizer.ui

FSPPostItView(PostIt) - Constructor for class edu.williams.cs.ljil.finitizer.ui.FSPPostItView

Creates a new view on a postit note

FSPViewFactory - Class in edu.williams.cs.ljil.finitizer.ui

FSPViewFactory(DiagramEditingView) - Constructor for class edu.williams.cs.ljil.finitizer.ui.FSPViewFactory