Serialized Form

Package edu.williams.cs.ljil.finitizer

Class edu.williams.cs.ljil.finitizer.TransformationFailure extends java.lang.RuntimeException implements Serializable

Package edu.williams.cs.ljil.finitizer.ui

Class edu.williams.cs.ljil.finitizer.ui.DiagramEditPane extends javax.swing.JScrollPane implements Serializable

Serialized Fields

view

edu.williams.cs.ljil.finitizer.ui.DiagramEditingView view

The component in which the diagram is displayed.

Class edu.williams.cs.ljil.finitizer.ui.FSPBuilderToolbar extends javax.swing.JToolBar implements Serializable

Serialized Fields

cmdToJButton

java.util.HashMap<K,V> cmdToJButton

Maps from button labels to buttons.

parentUi

FSPBuilderUI parentUi

The main user interface class.

Class edu.williams.cs.ljil.finitizer.ui.FSPNullHandlerView extends laser.littlejil.display.NullHandlerView implements Serializable

Serialized Fields

color

java.awt.Color color

The color for the background

Class edu.williams.cs.ljil.finitizer.ui.FSPPostItView extends laser.littlejil.display.PostItView implements Serializable

Serialized Fields

color

java.awt.Color color

The color to use for the background

Class edu.williams.cs.ljil.finitizer.ui.IssueDetailPane extends javax.swing.JTree implements Serializable

Class edu.williams.cs.ljil.finitizer.ui.IssuesListPane extends javax.swing.JPanel implements Serializable

Serialized Fields

fspb

FSPBuilder fspb

The main controller for the program.

pvp

ProcessViewPane pvp

The panel in which the process is displayed.

detailPanel

javax.swing.JPanel detailPanel

The panel in which details about an individual issue are displayed.

issueSelectionListener

edu.williams.cs.ljil.finitizer.ui.IssuesListPane.IssueSelectionListener issueSelectionListener

The listener to the issue list.

Class edu.williams.cs.ljil.finitizer.ui.IssuesViewPane extends javax.swing.JSplitPane implements Serializable

Class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane extends javax.swing.JTabbedPane implements Serializable

Serialized Fields

stepToTabcomponent

java.util.Map<K,V> stepToTabcomponent

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

diagramToTabcomponent

java.util.Map<K,V> diagramToTabcomponent

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

highlighted

java.util.Vector<E> highlighted

The list of all highlighted steps.

Package edu.williams.cs.ljil.introspector

Class edu.williams.cs.ljil.introspector.NoSuchSubstepException extends java.lang.Exception implements Serializable

Class edu.williams.cs.ljil.introspector.NullItemException extends java.lang.Exception implements Serializable

Class edu.williams.cs.ljil.introspector.NullStepException extends java.lang.IllegalStateException implements Serializable