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

Class GeneralInformationJTextPaneDisplay

java.lang.Object

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

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

All Implemented Interfaces:

NotificationAction

public class GeneralInformationJTextPaneDisplay
extends ShowDisplayPane

Displays a string in a JOptionPane information 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
GeneralInformationJTextPaneDisplay(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

GeneralInformationJTextPaneDisplay

public GeneralInformationJTextPaneDisplay(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

See Also:

NotificationAction.execute(NotificationEvent)