| Interface | Description |
|---|---|
| NotificationAction |
this interface is implemented by notification actions
|
| Class | Description |
|---|---|
| AbandonNotification |
Notifies the user when a proof task is abandoned.
|
| ExceptionFailureNotification | |
| ExitKeYNotification |
This task takes care for a notification when exiting KeY.
|
| GeneralFailureNotification |
This task notifies the user about an unexpected error.
|
| GeneralInformationNotification |
This notification task is used to inform the user about a non-error
situation (e.g. statistics (how many goals have been closed) etc.)
|
| NotificationManager |
The notificatin manager controls the list of active notification tasks.
|
| NotificationTask |
A notification task maps a
NotificationEvent to a list
of actions to be performed when the event is encountered. |
| ProofClosedNotification |
The proof closed notification notifies the user about a successful attempt
closing a proof.
|
| Enum | Description |
|---|---|
| NotificationEventID |
This interface constants used to uniquely identify KeY system events
Refactored this type into an enum. // Kai Walisch 06/2015
|