Package | Description |
---|---|
de.uka.ilkd.key.gui.notification | |
de.uka.ilkd.key.gui.notification.events |
Modifier and Type | Method and Description |
---|---|
abstract NotificationEventID |
NotificationTask.getEventID() |
NotificationEventID |
ExitKeYNotification.getEventID() |
NotificationEventID |
GeneralInformationNotification.getEventID() |
NotificationEventID |
GeneralFailureNotification.getEventID() |
NotificationEventID |
ProofClosedNotification.getEventID() |
NotificationEventID |
ExceptionFailureNotification.getEventID() |
NotificationEventID |
AbandonNotification.getEventID() |
static NotificationEventID |
NotificationEventID.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static NotificationEventID[] |
NotificationEventID.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
NotificationTask |
NotificationManager.removeNotificationTask(NotificationEventID eventID)
Removes the
NotificationTask with the given NotificationEventID . |
Modifier and Type | Method and Description |
---|---|
NotificationEventID |
NotificationEvent.getEventID() |
Constructor and Description |
---|
GeneralFailureEvent(NotificationEventID id) |
NotificationEvent(NotificationEventID eventID)
creates an instance of this event
|
Copyright © 2003-2019 The KeY-Project.