Package | Description |
---|---|
de.uka.ilkd.key.gui.notification |
Modifier and Type | Class and Description |
---|---|
class |
AbandonNotification
Notifies the user when a proof task is abandoned.
|
class |
ExceptionFailureNotification |
class |
ExitKeYNotification
This task takes care for a notification when exiting KeY.
|
class |
GeneralFailureNotification
This task notifies the user about an unexpected error.
|
class |
GeneralInformationNotification
This notification task is used to inform the user about a non-error
situation (e.g.
|
class |
ProofClosedNotification
The proof closed notification notifies the user about a successful attempt
closing a proof.
|
Modifier and Type | Method and Description |
---|---|
NotificationTask |
NotificationManager.removeNotificationTask(NotificationEventID eventID)
Removes the
NotificationTask with the given NotificationEventID . |
Modifier and Type | Method and Description |
---|---|
void |
NotificationManager.addNotificationTask(NotificationTask task)
adds a notification task to this manager
|
void |
NotificationManager.removeNotificationTask(NotificationTask task)
removes the given notification task from the list of active tasks
|
Copyright © 2003-2019 The KeY-Project.