| AboutWindow |
An AboutWindow displays information about GOAL.
|
| AbstractSimulationRelationDialog |
This is a dialog displaying the simulation relations of an automaton.
|
| AutomatonHighlighter |
This is a utility for temporarily highlighting some graphic components in an
automaton by changing the color of the highlighted components and making
other components more transparent.
|
| AutomatonSearchDialog |
An AutomatonSearchDialog is a dialog for searching states in an
automaton by keywords.
|
| Browser |
This is a very simple browser.
|
| ColorLabel |
This class provides a label for the selection of a color on a mouse click.
|
| ControllableTab |
|
| DelayedSimulationRelationDialog |
This is a dialog displaying the delayed simulation relation of an automaton.
|
| EditorTab |
An EditorTab is a tab containing only one editor.
|
| FairSimulationRelationDialog |
This is a dialog displaying the fair simulation relation of an automaton.
|
| GeneratorRepository |
This class provides a repository for generators of random editable objects.
|
| ImageGlassPane |
This is a glass pane that can display an image.
|
| IndexedListCellRender |
This is a ListCellRender that displays the index of an element in the
list.
|
| InputSimulatorTab |
This class provides a tab for displaying an input simulator for an automaton
on a word.
|
| LabelArea |
A LabelArea is a panel with scroll bars and a text area that looks
like a JLabel.
|
| LineLayout |
This class provides a layout manager that puts components in a line.
|
| MacOSJavaAwtDesktop |
|
| MenuBar |
A MenuBar is a menu bar of a GOAL window.
|
| NewDialog |
A NewDialog is a dialog for creating a new editable object.
|
| PreviewFileChooser |
This is a file chooser with a preview area.
|
| ProgressDialog |
A ProgressDialog displays the progress of an algorithm with a
measurable progress or output messages of the algorithm.
|
| PromelaDialog |
This is a dialog for displaying the Promela code of a Büchi automaton.
|
| PropertyNamesSelector |
This class provides a dialog for selecting property names.
|
| RandomEditableCreator |
This is a creator for creating random editable objects.
|
| RandomFSACreator |
This is a creator for creating random FSA.
|
| RandomGameCreator |
This is a creator for creating random games.
|
| RandomQPTLCreator |
This is a creator for creating random QPTL formulae.
|
| RecentFilesDialog |
This is a dialog that displays the list of recent files.
|
| RunDagTab |
This class provides a tab for displaying a run dag.
|
| RunTreeTab |
This class provides a tab for displaying a run tree.
|
| SearchDialog<T extends Editable> |
A SearchDialog is a dialog for searching elements in an editable
object.
|
| SimulationRelationDialog |
This is a dialog displaying the simulation relations of an automaton.
|
| SplitTreeTab |
This class provides a tab for displaying a split tree.
|
| StartupDialog |
A StartupDialog is a dialog displayed in startup.
|
| StatusBar |
A StatusBar is at the bottom of a GOAL window.
|
| Tab |
A Tab is a tab in a GOAL window.
|
| TabbedPane |
This is a drag-and-drop enabled JTabbedPane.
|
| TabSelectionPanel |
This class provides a panel for the selection of a tab.
|
| TemporalHierarchyComponent |
This class provides a graphical component for displaying the Temporal
Hierarchy.
|
| TwoListSelector<T> |
This class provides a dialog with two lists for selecting objects from the
left list to the right list.
|
| UIDialog |
A UIDialog extends a JDialog by some utility methods.
|
| UIFileHandler |
This class provides methods for opening/saving files in a window with the
help of a file selection dialog.
|
| UIPlugin |
This is the plugin of the GOAL GUI package.
|
| UIUtil |
This class provides several utilities methods.
|
| URILabel |
A URILabel is a label containing a URI.
|
| Window |
A Window is a top frame of GOAL.
|
| WindowHandler |
A WindowHandler displays a GOAL window as the GUI handler.
|