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 |
|