de.uka.ilkd.key.gui.notification

Class ExceptionFailureNotification

java.lang.Object

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

de.uka.ilkd.key.gui.notification.ExceptionFailureNotification

public class ExceptionFailureNotification
extends NotificationTask

Constructor Summary

Constructors

Constructor and Description
ExceptionFailureNotification(java.awt.Frame parentComponent)

Method Summary

Modifier and Type	Method and Description
protected boolean	automodeEnabledTask() returns if this task should be executed in auto mode
NotificationEventID	getEventID()

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

addNotificationAction, execute, executeActions, getNotificationActions

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionFailureNotification

public ExceptionFailureNotification(java.awt.Frame parentComponent)

Method Detail

automodeEnabledTask

protected boolean automodeEnabledTask()

returns if this task should be executed in auto mode

Overrides:

automodeEnabledTask in class NotificationTask

Returns:

if true execute task even if in automode

getEventID

public NotificationEventID getEventID()

Specified by:

getEventID in class NotificationTask

Returns:

the event if of this task