de.uka.ilkd.key.gui.notification

Class ExitKeYNotification

java.lang.Object

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

de.uka.ilkd.key.gui.notification.ExitKeYNotification

public class ExitKeYNotification
extends NotificationTask

This task takes care for a notification when exiting KeY.

Author:

bubel

Constructor Summary

Constructors

Constructor and Description
ExitKeYNotification()

Method Summary

Modifier and Type	Method and Description
void	execute(NotificationEvent event, NotificationManager manager) overwritten as invokeAndWait is taken called to execute the notification task, but this method only takes care that we are in the even dispatcher thread
NotificationEventID	getEventID()

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

addNotificationAction, automodeEnabledTask, executeActions, getNotificationActions

Methods inherited from class java.lang.Object

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

Constructor Detail

ExitKeYNotification

public ExitKeYNotification()

Method Detail

execute

public void execute(NotificationEvent event,
                    NotificationManager manager)

overwritten as invokeAndWait is taken called to execute the notification task, but this method only takes care that we are in the even dispatcher thread

Overrides:

execute in class NotificationTask

Parameters:

manager - the NotificationManager to which this tasks belongs to

event - the NotificationEvent triggering this task

getEventID

public NotificationEventID getEventID()

Specified by:

getEventID in class NotificationTask

Returns:

the event if of this task