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

S

setFrontend(InteractiveFrontend) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder

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

set this node's parent

setUp() - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPaneTest

showDefaultCursor() - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI

Displays the normal cursor that the user sees when the program is waiting for the user.

showWaitCursor() - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI

Displays a busy cursor.

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

UI elements we want to keep track of

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

The recursive step

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

statusMessage(String) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI

Set a message in the status bar.

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

stepAdded(AbstractStep, AbstractBinding, Diagram) - Method in interface edu.williams.cs.ljil.finitizer.DiagramChangeListener

Called AFTER the given step is added to a diagram.

stepAdded(AbstractStep, AbstractBinding, Diagram) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Adds a step to a diagram.

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

An introspector for the step to allow asking questions about the process definition.

stepRemoved(AbstractStep, AbstractBinding, Diagram) - Method in interface edu.williams.cs.ljil.finitizer.DiagramChangeListener

Called BEFORE a step is removed from a diagram.

stepRemoved(AbstractStep, AbstractBinding, Diagram) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

Removes a step from a diagram

stepToTabcomponent - Variable in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane

A mapping from steps to the tabs they are displayed on.