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

Class GeneralFailureJTextPaneDisplay

java.lang.Object

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

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

All Implemented Interfaces:

NotificationAction

public class GeneralFailureJTextPaneDisplay
extends ShowDisplayPane

Displays a string in a JOptionPane error message window.

Author:

bubel

Field Summary

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

parentComponent

Constructor Summary

Constructors

Constructor and Description
GeneralFailureJTextPaneDisplay(java.awt.Frame parentComponent) generates an action used for displaying text

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

GeneralFailureJTextPaneDisplay

public GeneralFailureJTextPaneDisplay(java.awt.Frame parentComponent)

generates an action used for displaying text

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