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

Class ShowDisplayPane

java.lang.Object

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

All Implemented Interfaces:

NotificationAction

Direct Known Subclasses:

ExceptionFailureNotificationDialog, GeneralFailureJTextPaneDisplay, GeneralInformationJTextPaneDisplay, ProofClosedJTextPaneDisplay

public abstract class ShowDisplayPane
extends java.lang.Object
implements NotificationAction

Actions which display a text should inherit from this abstract notification action.

Author:

bubel

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	message the message to be displayed
protected java.awt.Frame	parentComponent

Constructor Summary

Constructors

Constructor and Description
ShowDisplayPane(java.awt.Frame parentComponent) creates an instance of this action kind

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage() returns the text string displayed by this action
void	setMessage(java.lang.String message) sets the message to be displayed

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.gui.notification.NotificationAction

execute

Field Detail

message

private java.lang.String message

the message to be displayed

parentComponent

protected java.awt.Frame parentComponent

Constructor Detail

ShowDisplayPane

public ShowDisplayPane(java.awt.Frame parentComponent)

creates an instance of this action kind

Method Detail

setMessage

public void setMessage(java.lang.String message)

sets the message to be displayed

Parameters:

message - the String to be displayed

getMessage

public java.lang.String getMessage()

returns the text string displayed by this action