de.uka.ilkd.key.gui.notification

Class NotificationTask

java.lang.Object

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

Direct Known Subclasses:

AbandonNotification, ExceptionFailureNotification, ExitKeYNotification, GeneralFailureNotification, GeneralInformationNotification, ProofClosedNotification

public abstract class NotificationTask
extends java.lang.Object

A notification task maps a NotificationEvent to a list of actions to be performed when the event is encountered.

Author:

bubel

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<NotificationAction>	notificationActions the list of actions associated with this task

Constructor Summary

Constructors

Constructor and Description
NotificationTask()

Method Summary

Modifier and Type	Method and Description
void	addNotificationAction(NotificationAction action) adds an notificatin action this task.
protected boolean	automodeEnabledTask() returns if this task should be executed in auto mode
void	execute(NotificationEvent event, NotificationManager manager) called to execute the notification task, but this method only takes care that we are in the even dispatcher thread
protected void	executeActions(NotificationEvent event, NotificationManager manager) called to execute the notification task
abstract NotificationEventID	getEventID()
java.util.List<NotificationAction>	getNotificationActions()

Methods inherited from class java.lang.Object

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

Field Detail

notificationActions

private java.util.List<NotificationAction> notificationActions

the list of actions associated with this task

Constructor Detail

NotificationTask

public NotificationTask()

Method Detail

getNotificationActions

public java.util.List<NotificationAction> getNotificationActions()

Returns:

returns the notification actions belonging to this task

addNotificationAction

public void addNotificationAction(NotificationAction action)

adds an notificatin action this task.

Parameters:

action - the NotificationAction to be added

execute

public void execute(NotificationEvent event,
                    NotificationManager manager)

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

Parameters:

event - the NotificationEvent triggering this task

manager - the NotificationManager to which this tasks belongs to

executeActions

protected void executeActions(NotificationEvent event,
                              NotificationManager manager)

called to execute the notification task

Parameters:

manager - the NotificationManager to which this tasks belongs to

event - the NotificationEvent triggering this task

getEventID

public abstract NotificationEventID getEventID()

Returns:

the event if of this task

automodeEnabledTask

protected boolean automodeEnabledTask()

returns if this task should be executed in auto mode

Returns:

if true execute task even if in automode