Class and Description |
---|
GUIListener
GUIListener defines the interface for an object that listens to
actions of gui components, e.g.
|
Class and Description |
---|
ApplyTacletDialog |
AuxiliaryContractSelectionPanel
This panel used to select which
T (s) to use for a
AbstractAuxiliaryContractRule . |
DependencyContractCompletion.TermStringWrapper |
ExampleChooser.Example
This class wraps a
File and has a special ExampleChooser.Example.toString() method
only using the short file name w/o path. |
InfoTreeNode
Every node of
InfoTree is an instance of this class. |
InteractiveRuleApplicationCompletion
Instances of class implementing this interface are able to complete rule applications.
|
InvariantConfigurator
This class creates a dialog to input a user-defined invariant, variant and
modifies formula for a selected loop.
|
KeYFileChooser
Extends the usual Swing file chooser by a bookmark panel and predefined filters.
|
MainWindow |
NodeInfoVisualizer |
NodeInfoVisualizerListener
A listener to the
NodeInfoVisualizer class. |
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 |
TacletMatchCompletionDialog |
TaskTree |
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
GoalList |
InfoView
Class for info contents displayed in
MainWindow . |
MainWindow |
StrategySelectionView |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
InteractiveRuleApplicationCompletion
Instances of class implementing this interface are able to complete rule applications.
|
Class and Description |
---|
MainWindow |
SearchBar |
Class and Description |
---|
MainWindow |
NodeInfoVisualizer |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
MainWindow |
Class and Description |
---|
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Class and Description |
---|
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Class and Description |
---|
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Copyright © 2003-2019 The KeY-Project.