Interface | Description |
---|---|
InterruptListener | |
KeYDesktop |
This is the interface to the desktop of the operating system.
|
KeYSelectionListener |
The KeYSelectionListener is notified if the proof or the node the
user works with has changed.
|
Class | Description |
---|---|
DefaultKeYDesktop |
The default
KeYDesktop implementation delegating all requests
to Desktop . |
KeYMediator |
The
KeYMediator provides control logic for the user interface
implemented in Swing. |
KeYSelectionEvent |
An event that indicates that the users focused node or proof has
changed
|
KeYSelectionModel | |
Main |
The main entry point for KeY
|
WebstartMain |
Copyright © 2003-2019 The KeY-Project.