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
|