| Class | Description |
|---|---|
| AbandonTaskAction | |
| AboutAction | |
| AutoModeAction | |
| AutoSave | |
| CopyToClipboardAction |
Copy a term that is currently selected (i.e., under the mouse cursor) in the
current goal view to the default system clip board.
|
| CounterExampleAction | |
| CounterExampleAction.MainWindowCounterExampleGenerator |
Performs the
SemanticsBlastingMacro in a Proof registered
in the MainWindow and thus visible to the user. |
| CounterExampleAction.NoMainWindowCounterExampleGenerator |
Performs the
SemanticsBlastingMacro in a side proof hidden to the
user and shows the result with help of the SolverListener. |
| EditMostRecentFileAction |
Opens the last opened file in an editor (well, it tries)
|
| EditMostRecentFileAction.EditFileActionHandler |
The method
EditMostRecentFileAction.EditFileActionHandler.workWithFile(File) of the default instance
EditMostRecentFileAction.EditFileActionHandler.getInstance() is used by EditMostRecentFileAction
to edit the last opened file or to open the last used directory. |
| EditSourceFileAction |
Used by
ExceptionDialog to open the source file containing an error
for editing. |
| ExitMainAction | |
| FontSizeAction | |
| GoalBackAction |
This action is one part of the previous UndoLastStepAction: Only enabled when the last node is selected
The action is enabled if a goal is selected.
|
| HidePackagePrefixToggleAction | |
| KeYMenuCheckBox |
This class can be used for adding Checkboxes to the menu.
|
| KeYProjectHomepageAction |
Open the KeY project homepage in the system default browser.
|
| LemmaGenerationAction | |
| LemmaGenerationAction.AbstractLoaderListener | |
| LemmaGenerationAction.ProveAndAddTaclets | |
| LemmaGenerationAction.ProveKeYTaclets | |
| LemmaGenerationAction.ProveUserDefinedTaclets | |
| LemmaGenerationBatchModeAction | |
| LicenseAction | |
| MacroKeyBinding |
This class provides means to run macros with key bindings such that these can
be bound to the main window making them independent of any menu.
|
| MainWindowAction | |
| MenuSendFeedackAction | |
| MinimizeInteraction | |
| OneStepSimplificationToggleAction | |
| OpenExampleAction |
Opens a file dialog allowing to select the example to be loaded
|
| OpenFileAction | |
| OpenMostRecentFileAction |
Loads the last opened file
|
| PrettyPrintToggleAction | |
| ProofManagementAction |
Shows the proof management dialog
|
| ProofScriptAction | |
| PruneProofAction |
This action undoes the last rule application on the currently selected
branch (if not closed).
|
| QuickLoadAction |
Load the file saved at the location described by QuickSaveAction.
|
| QuickSaveAction |
Saves the current selected proof immediately to a temporaly location.
|
| RightMouseClickToggleAction | |
| SaveFileAction |
Saves the current selected proof.
|
| SearchInProofTreeAction | |
| SearchInSequentAction | |
| SendFeedbackAction |
AbstractAction used by ExceptionDialog in KeY report error
button was pressed. |
| SendFeedbackAction.JavaSourceItem | |
| SendFeedbackAction.LastLoadedProblemItem | |
| SendFeedbackAction.SendFeedbackFileItem | |
| SendFeedbackAction.SendFeedbackItem | |
| SendFeedbackAction.SettingsItem | |
| SendFeedbackAction.SystemPropertiesItem | |
| SendFeedbackAction.VersionItem | |
| ShowActiveSettingsAction |
for debugging - opens a window with the settings from current Proof and the
default settings
|
| ShowActiveTactletOptionsAction | |
| ShowKnownTypesAction | |
| ShowProofStatistics | |
| ShowUsedContractsAction | |
| SMTOptionsAction |
creates a menu allowing to choose the external prover to be used
|
| SyntaxHighlightingToggleAction | |
| SystemInfoAction | |
| TacletOptionsAction | |
| TermLabelMenu |
This menu can be used to toggle TermLabel visibility for the SequentView.
|
| TestGenerationAction |
Action which generates test cases for all open nodes.
|
| ToggleConfirmExitAction | |
| ToolTipOptionsAction | |
| UndoLastStepAction |
This action undoes the last rule application on the currently selected
branch (if not closed).
|
| UnicodeToggleAction |
| Enum | Description |
|---|---|
| FontSizeAction.Mode | |
| LemmaGenerationAction.Mode |