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.
|
DecreaseFontSizeAction | |
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
IssueDialog to open the source file containing an error
for editing. |
EnsureSourceConsistencyToggleAction |
Toggles the flag to ensure consistency between source code and saved proof.
|
ExitMainAction | |
GoalBackAction |
This action is one part of the previous UndoLastStepAction:
It undoes the last rule application on the currently selected branch.
|
GoalSelectAboveAction | |
GoalSelectBelowAction | |
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.ProveAndAddTaclets | |
LemmaGenerationAction.ProveKeYTaclets | |
LemmaGenerationAction.ProveUserDefinedTaclets | |
LemmaGenerationBatchModeAction | |
LicenseAction |
Shows the license dialog.
|
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
|
OpenSingleJavaFileAction |
Offers a loading of a single Java file, without considering the folder as part of a classpath.
|
PrettyPrintToggleAction | |
ProofManagementAction |
Shows the proof management dialog
|
ProofScriptFromFileAction |
The Class ProofScriptFromFileAction.
|
ProofScriptInputAction |
The Class ProofScriptInputAction.
|
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 |
Immediately saves the currently selected proof to a temporaly location.
|
RightMouseClickToggleAction | |
RunAllProofsAction |
This class provides an action for KeY UI which runs a set of specified proof files automatically.
|
SaveBundleAction |
Saves the currently selected proof as a zip archive with file extension "zproof".
|
SaveFileAction |
Saves the current selected proof.
|
SearchInProofTreeAction | |
SearchInSequentAction | |
SearchModeChangeAction | |
SearchNextAction | |
SearchPreviousAction | |
SendFeedbackAction |
Action that executes if "Send Feedback..." was pressed.
|
SettingsTreeModel |
A swing model for
ShowActiveSettingsAction . |
ShowActiveSettingsAction |
for debugging - opens a window with the settings from current Proof and the
default settings
|
ShowActiveTactletOptionsAction | |
ShowKnownTypesAction | |
ShowProofStatistics | |
ShowProofStatistics.Window |
Shows proof statistics and allows the user to save them as HTML or CSV.
|
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.
|
ToggleConfirmExitAction | |
ToggleSequentViewTooltipAction |
Toggles the tooltips on the sequent view.
|
ToggleSourceViewTooltipAction |
Toggles the tooltips of the source view.
|
ToolTipOptionsAction | |
UnicodeToggleAction |
Enum | Description |
---|---|
LemmaGenerationAction.Mode |
Copyright © 2003-2019 The KeY-Project.