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

Class ProofClosedJTextPaneDisplay

java.lang.Object

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

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

All Implemented Interfaces:

NotificationAction

public class ProofClosedJTextPaneDisplay
extends ShowDisplayPane

Displays a JOptionPane informing about a closed proof and gives some statistics.

Author:

bubel

Field Summary

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

parentComponent

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	execute(NotificationEvent pcne) Displays a JOptionPane informing the user about a closed proof.

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

ProofClosedJTextPaneDisplay

public ProofClosedJTextPaneDisplay(java.awt.Frame parentComponent)

Method Detail

execute

public boolean execute(NotificationEvent pcne)

Displays a JOptionPane informing the user about a closed proof. If available some statistics are displayed as well.

Parameters:

pcne - the NotificationEvent triggering this action

Returns:

indicator if action has been executed successfully