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 |