de.uka.ilkd.key.gui.notification

Class AbandonNotification

java.lang.Object

de.uka.ilkd.key.gui.notification.NotificationTask

de.uka.ilkd.key.gui.notification.AbandonNotification

public class AbandonNotification
extends NotificationTask

Notifies the user when a proof task is abandoned.

Author:

bubel

Constructor Summary

Constructors

Constructor and Description
AbandonNotification()

Method Summary

Modifier and Type	Method and Description
NotificationEventID	getEventID()

Methods inherited from class de.uka.ilkd.key.gui.notification.NotificationTask

addNotificationAction, automodeEnabledTask, execute, executeActions, getNotificationActions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbandonNotification

public AbandonNotification()

Method Detail

getEventID

public NotificationEventID getEventID()

Specified by:

getEventID in class NotificationTask

Returns:

the event if of this task