de.uka.ilkd.key.gui.notification.actions

Class ExceptionFailureNotificationDialog

java.lang.Object

de.uka.ilkd.key.gui.notification.actions.ShowDisplayPane

de.uka.ilkd.key.gui.notification.actions.ExceptionFailureNotificationDialog

All Implemented Interfaces:

NotificationAction

public class ExceptionFailureNotificationDialog
extends ShowDisplayPane

Field Summary

Fields inherited from class de.uka.ilkd.key.gui.notification.actions.ShowDisplayPane

parentComponent

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	execute(NotificationEvent event) executes the action

Methods inherited from class de.uka.ilkd.key.gui.notification.actions.ShowDisplayPane

getMessage, setMessage

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionFailureNotificationDialog

public ExceptionFailureNotificationDialog(java.awt.Frame parentComponent)

Method Detail

execute

public boolean execute(NotificationEvent event)

Description copied from interface: NotificationAction

executes the action

Parameters:

event - the NotificationEvent triggering this action

Returns:

indicator if action has been executed successfully