Package | Description |
---|---|
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.gui.originlabels | |
de.uka.ilkd.key.gui.proofdiff | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
org.key_project.exploration.actions |
Modifier and Type | Class and Description |
---|---|
class |
AbandonTaskAction |
class |
AboutAction |
class |
AutoModeAction |
class |
AutoSave |
class |
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.
|
class |
DecreaseFontSizeAction |
class |
EditMostRecentFileAction
Opens the last opened file in an editor (well, it tries)
|
class |
EnsureSourceConsistencyToggleAction
Toggles the flag to ensure consistency between source code and saved proof.
|
class |
ExitMainAction |
class |
GoalBackAction
This action is one part of the previous UndoLastStepAction:
It undoes the last rule application on the currently selected branch.
|
class |
GoalSelectAboveAction |
class |
GoalSelectBelowAction |
class |
HeatmapSettingsAction
Action for invoking the heatmap options dialog.
|
class |
HeatmapToggleAction |
class |
HidePackagePrefixToggleAction |
class |
IncreaseFontSizeAction |
class |
KeYProjectHomepageAction
Open the KeY project homepage in the system default browser.
|
class |
LemmaGenerationAction |
static class |
LemmaGenerationAction.ProveAndAddTaclets |
static class |
LemmaGenerationAction.ProveKeYTaclets |
static class |
LemmaGenerationAction.ProveUserDefinedTaclets |
class |
LemmaGenerationBatchModeAction |
class |
LicenseAction
Shows the license dialog.
|
class |
MenuSendFeedackAction |
class |
OpenExampleAction
Opens a file dialog allowing to select the example to be loaded
|
class |
OpenFileAction |
class |
OpenMostRecentFileAction
Loads the last opened file
|
class |
OpenSingleJavaFileAction
Offers a loading of a single Java file, without considering the folder as part of a classpath.
|
class |
PrettyPrintToggleAction |
class |
ProofManagementAction
Shows the proof management dialog
|
class |
PruneProofAction
This action is one part of the previous UndoLastStepAction:
It prunes the proof tree below the selected node.
|
class |
QuickLoadAction
Load the file saved at the location described by
QuickSaveAction . |
class |
QuickSaveAction
Immediately saves the currently selected proof to a temporaly location.
|
class |
RightMouseClickToggleAction |
class |
RunAllProofsAction
This class provides an action for KeY UI which runs a set of specified proof files automatically.
|
class |
SaveBundleAction
Saves the currently selected proof as a zip archive with file extension "zproof".
|
class |
SaveFileAction
Saves the current selected proof.
|
class |
SearchInProofTreeAction |
class |
SearchInSequentAction |
class |
SearchModeChangeAction |
class |
SearchNextAction |
class |
SearchPreviousAction |
class |
ShowActiveSettingsAction
for debugging - opens a window with the settings from current Proof and the
default settings
|
class |
ShowActiveTactletOptionsAction |
class |
ShowKnownTypesAction |
class |
ShowProofStatistics |
class |
ShowUsedContractsAction |
class |
SMTOptionsAction
creates a menu allowing to choose the external prover to be used
|
class |
SyntaxHighlightingToggleAction |
class |
SystemInfoAction |
class |
TacletOptionsAction |
class |
ToggleConfirmExitAction |
class |
ToggleSequentViewTooltipAction
Toggles the tooltips on the sequent view.
|
class |
ToggleSourceViewTooltipAction
Toggles the tooltips of the source view.
|
class |
ToolTipOptionsAction |
class |
UnicodeToggleAction |
Modifier and Type | Field and Description |
---|---|
protected MainWindowAction |
KeYMenuCheckBox.mainWindowAction |
Modifier and Type | Class and Description |
---|---|
static class |
SequentViewDock.OpenCurrentNodeAction |
Modifier and Type | Class and Description |
---|---|
class |
ShowOriginAction
Opens a
OriginTermLabelVisualizer for the selected term. |
class |
ToggleOriginHighlightAction
Action to toggle
ViewSettings.isHighlightOrigin() . |
class |
ToggleTermOriginTrackingAction
Action to toggle
TermLabelSettings.getUseOriginLabels() . |
Modifier and Type | Class and Description |
---|---|
static class |
ProofDifferenceView.OpenDifferenceWithParent |
static class |
ProofDiffFrame.Action
The action to show a new frame of this class.
|
Modifier and Type | Class and Description |
---|---|
class |
CounterExampleAction |
class |
TestGenerationAction
Action which generates test cases for all open nodes.
|
Modifier and Type | Class and Description |
---|---|
class |
AddFormulaToAntecedentAction |
class |
AddFormulaToSuccedentAction |
class |
DeleteFormulaAction
Action for the user to visually delete formulas from the sequent (using hide)
|
class |
EditFormulaAction
Action to edit formulas in the actions mode
|
class |
ExplorationAction
Common functionalities for proof exploration actions.
|
Copyright © 2003-2019 The KeY-Project.