| de.uka.ilkd.key.gui.notification.NotificationEventID
| NotificationEventID | | public interface NotificationEventID (Code) | | This interface constants used to uniquely identify
KeY system events
author:
bubel |
| EXIT_KEY | | int EXIT_KEY(Code) | | tasks notifying the user when KeY is shutdown have this ID
|
| GENERAL_FAILURE | | int GENERAL_FAILURE(Code) | | tasks notifying about general failures
|
| GENERAL_INFORMATION | | int GENERAL_INFORMATION(Code) | | tasks used to inform the user should have this ID
|
| PROOF_CLOSED | | int PROOF_CLOSED(Code) | | tasks notifying about proof closed events have this ID
|
| RESERVED | | int RESERVED(Code) | | reserved for dummy implementations
|
| TASK_ABANDONED | | int TASK_ABANDONED(Code) | | tasks notifying about abandoned tasks have this ID
|
|
|