| 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 |
|
| CounterExampleAction.NoMainWindowCounterExampleGenerator |
|
| DecreaseFontSizeAction |
|
| EditMostRecentFileAction |
Opens the last opened file in an editor (well, it tries)
|
| EditMostRecentFileAction.EditFileActionHandler |
|
| EditSourceFileAction |
Used by ExceptionDialog to open the source file containing an error
for editing. |
| ExitMainAction |
|
| GoalBackAction |
This action is one part of the previous UndoLastStepAction:
It undoes the last rule application on the currently selected branch.
|
| HeatmapSettingsAction |
Action for invoking the heatmap options dialog.
|
| HeatmapToggleAction |
|
| HidePackagePrefixToggleAction |
|
| IncreaseFontSizeAction |
|
| KeyAction |
|
| 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 |
|
| 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 is one part of the previous UndoLastStepAction:
It prunes the proof tree below the selected node.
|
| 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 |
|
| SettingsTreeModel |
|
| 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 |
|
| UnicodeToggleAction |
|