de.uka.ilkd.key.gui.notification

Class GeneralFailureNotification

java.lang.Object

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

de.uka.ilkd.key.gui.notification.GeneralFailureNotification

public class GeneralFailureNotification
extends NotificationTask

This task notifies the user about an unexpected error.

Author:

bubel

Constructor Summary

Constructors

Constructor and Description
GeneralFailureNotification(javax.swing.JFrame comp)

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

GeneralFailureNotification

public GeneralFailureNotification(javax.swing.JFrame comp)

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 id of a general failure event

See Also:

NotificationEventID