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.
|