Package | Description |
---|---|
de.uka.ilkd.key.core | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.notification | |
de.uka.ilkd.key.gui.notification.actions | |
de.uka.ilkd.key.gui.notification.events | |
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
void |
KeYMediator.notify(NotificationEvent event)
takes a notification event and informs the notification manager
|
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.notify(NotificationEvent event) |
void |
MainWindow.notify(NotificationEvent event)
informs the NotificationManager about an event
|
Modifier and Type | Method and Description |
---|---|
boolean |
NotificationAction.execute(NotificationEvent event)
executes the action
|
void |
NotificationTask.execute(NotificationEvent event,
NotificationManager manager)
called to execute the notification task, but this method
only takes care that we are in the even dispatcher thread
|
void |
ExitKeYNotification.execute(NotificationEvent event,
NotificationManager manager)
overwritten as invokeAndWait is taken called to execute the notification
task, but this method only takes care that we are in the even dispatcher
thread
|
protected void |
NotificationTask.executeActions(NotificationEvent event,
NotificationManager manager)
called to execute the notification task
|
void |
NotificationManager.handleNotificationEvent(NotificationEvent event)
dispatches the received notification event and triggers the corresponding
task
|
Modifier and Type | Method and Description |
---|---|
boolean |
ProofClosedJTextPaneDisplay.execute(NotificationEvent pcne)
Displays a JOptionPane informing the user about a closed proof.
|
boolean |
GeneralInformationJTextPaneDisplay.execute(NotificationEvent event) |
boolean |
GeneralFailureJTextPaneDisplay.execute(NotificationEvent event) |
boolean |
ExceptionFailureNotificationDialog.execute(NotificationEvent event) |
Modifier and Type | Class and Description |
---|---|
class |
AbandonTaskEvent
Emitted after removing a proof task
|
class |
ExceptionFailureEvent |
class |
ExitKeYEvent
An exit key event indicating that KeY is currently shut down.
|
class |
GeneralFailureEvent
A notification event caused by a general unexpected failure
(usually caused by a bug of the system)
|
class |
GeneralInformationEvent
If the system wants to inform the user it may emit this event.
|
class |
ProofClosedNotificationEvent
NotificationEvent used to inform the user about a closed proof.
|
Modifier and Type | Method and Description |
---|---|
void |
ConsoleUserInterfaceControl.notify(NotificationEvent event) |
abstract void |
AbstractMediatorUserInterfaceControl.notify(NotificationEvent event) |
Copyright © 2003-2019 The KeY-Project.