| Class | Description |
|---|---|
| AbandonTaskEvent |
Emitted after removing a proof task
|
| ExceptionFailureEvent | |
| ExitKeYEvent |
An exit key event indicating that KeY is currently shut down.
|
| GeneralFailureEvent |
A notification event caused by a general unexpected failure
(usually caused by a bug of the system)
|
| GeneralInformationEvent |
If the system wants to inform the user it may emit this event.
|
| NotificationEvent |
A NotificationEvent is triggered if the system wants to notify the user
about a certain situation.
|
| ProofClosedNotificationEvent |
NotificationEvent used to inform the user about a closed proof.
|