Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.gui.actions |
Classes used to invoke the different actions of the graphical user interface, e.g. load actions,
save action, ...
|
Modifier and Type | Method and Description |
---|---|
static MainWindow |
MainWindow.getWindow()
Returns an instance of the main window.
|
Constructor and Description |
---|
AddToRepositoryAction(MainWindow owner)
Creates an
Action for the addition of data to the repository. |
HelpAction(MainWindow owner)
Creates an
Action for providing the user with help. |
LoadAutomatonAction(MainWindow owner)
Creates an
Action for loading an automaton. |
LoadButtonAction(MainWindow owner)
Creates an
Action for the addition of data to the repository. |
LoadCospanAction(MainWindow owner)
Creates an
Action for loading a cospan. |
LoadDecompositionAction(MainWindow owner)
Creates an
Action for loading a decomposition. |
LoadGraphAction(MainWindow owner)
Creates an
Action for loading a graph. |
LoadSignatureAction(MainWindow owner)
Creates an
Action for loading a signature. |
SaveAutomatonAction(MainWindow owner)
Creates an
Action for saving an automaton. |
SaveButtonAction(MainWindow owner)
Creates an
Action for the addition of data to the repository. |
SaveCospanAction(MainWindow owner)
Creates an
Action for saving a graph. |
SaveDecompositionAction(MainWindow owner)
Creates an
Action for saving a decomposition. |
SaveGraphAction(MainWindow owner)
Creates an
Action for saving a graph. |
SaveSignatureAction(MainWindow owner)
Creates an
Action for saving a signature. |
VariablesAndPropertiesAction(MainWindow owner)
Creates an
Action for presenting versioning information. |
VersionAction(MainWindow owner)
Creates an
Action for presenting version information. |