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

P

paintComponent(Graphics) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPNullHandlerView

Draw the null handler.

paintComponent(Graphics) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPPostItView

Draws a postit note with a border around it.

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

The parent item

parentUi - Variable in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar

The main user interface class.

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

The resident doctor.

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

Computes the path from the root of the tree to some node in the tree.

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

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

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

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

Sequence of pending transformations.

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

Step afte the transformation is applied.

PrerequisiteFail - Class in edu.williams.cs.ljil.finitizer.actions.recursion

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

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

Step to which the transformation is applied

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

This all-static ProcessAnalysis class does various useful analyses on a process

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

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

UI Pane component for viewing (and light editing) of a process within the FSP Builder.

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

Create a JTabbedPane and a display a process in it.

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

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

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

The Little-JIL Program.

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

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

The panel in which the process is displayed.