See: Description
Interface | Description |
---|---|
GUIListener |
GUIListener defines the interface for an object that listens to
actions of gui components, e.g.
|
InteractiveRuleApplicationCompletion |
Instances of class implementing this interface are able to complete rule applications.
|
KeYListener |
KeYListener is used for global changes that might affect most of
all KeY-Components.
|
NodeInfoVisualizerListener |
A listener to the
NodeInfoVisualizer class. |
Class | Description |
---|---|
ApplyTacletDialog | |
AutoDismissDialog | |
AuxiliaryContractConfigurator<T extends AuxiliaryContract> |
A window to contain a
AuxiliaryContractSelectionPanel . |
AuxiliaryContractSelectionPanel<T extends AuxiliaryContract> |
This panel used to select which
T (s) to use for a
AbstractAuxiliaryContractRule . |
BlockContractExternalCompletion |
Interactive completion for
BlockContractExternalBuiltInRuleApp . |
BlockContractInternalCompletion |
Interactive completion of
BlockContractInternalBuiltInRuleApp . |
BlockContractSelectionPanel |
This panel used to select which
BlockContract s to use for an
AbstractBlockContractBuiltInRuleApp . |
ClassTree | |
ContractConfigurator | |
ContractSelectionPanel |
A panel for selecting contracts.
|
DependencyContractCompletion |
This class completes the instantiation for a dependency contract
applications.
|
DependencyContractCompletion.TermStringWrapper | |
ExampleChooser | |
ExampleChooser.Example |
This class wraps a
File and has a special ExampleChooser.Example.toString() method
only using the short file name w/o path. |
ExceptionalHandler |
This is a handy class for tracing Exceptions that are otherwise lost in
the thread chaos.
|
ExceptionDialog | Deprecated
10/20/21, use new
IssueDialog instead |
FunctionalOperationContractCompletion |
This class completes the instantiation for a functional operation contract
applications.
|
GoalList | |
HeatmapOptionsDialog |
This Dialog contains options for highlighting sequent formulae or terms
according to their age, i.e., when they were first introduced into the proof.
|
InfoTree |
This class is used by
InfoView to display its contents. |
InfoTreeModel |
Extension of
DefaultTreeModel used by InfoTree . |
InfoTreeNode |
Every node of
InfoTree is an instance of this class. |
InfoView |
Class for info contents displayed in
MainWindow . |
InfoViewContentPane |
This class is used to display descriptions in
InfoView . |
InspectorForDecisionPredicates | |
InvariantConfigurator |
This class creates a dialog to input a user-defined invariant, variant and
modifies formula for a selected loop.
|
IssueDialog |
A dialog for showing (possibly multiple) issues with a preview window.
|
KeyboardTacletExtension |
TODO Add documentation!
|
KeYFileChooser |
Extends the usual Swing file chooser by a bookmark panel and predefined filters.
|
KeYFileChooserBookmarkPanel |
This is a Panel used as accessory for the JFileChooser.
|
LoopApplyHeadCompletion |
Interactive completion for
LoopApplyHeadBuiltInRuleApp . |
LoopContractExternalCompletion |
Interactive completion for
LoopContractExternalBuiltInRuleApp . |
LoopContractInternalCompletion |
Interactive completion for
LoopContractInternalBuiltInRuleApp . |
LoopContractSelectionPanel |
This panel used to select which
LoopContract s to use for an
AbstractLoopContractBuiltInRuleApp . |
LoopInvariantRuleCompletion |
This class completes the instantiations of the loop invariant rule
applications.
|
MainWindow | |
MainWindowTabbedPane | Deprecated |
MaxRuleAppSlider | |
NodeInfoVisualizer | |
ProofMacroMenu |
This class provides the user interface to the macro extensions.
|
ProofMacroWorker |
The Class ProofMacroWorker is a swing worker for the application of proof
macros.
|
ProofManagementDialog | |
ProofScriptWorker | |
ProofSelectionDialog |
This dialog allows the user to select the proof to load from a proof bundle.
|
RecentFileMenu |
This class offers a mechanism to manage recent files; it adds the
necessary menu items to a menu or even can provide that menu itself.
|
RecentFileMenu.RecentFileEntry | |
SearchBar | |
StrategySelectionView | |
TableRowResizer |
A mouse listener for resizing the height of the JTable rows.
|
TacletIfSelectionDialog |
this dialog appears if a rule is selected to be applied and the rule has an
if sequent.
|
TacletMatchCompletionDialog | |
TaskTree | |
WindowUserInterfaceControl |
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Copyright © 2003-2019 The KeY-Project.