de.uka.ilkd.key.gui.notification

Class ProofClosedNotification

java.lang.Object

de.uka.ilkd.key.gui.notification.NotificationTask

de.uka.ilkd.key.gui.notification.ProofClosedNotification

public class ProofClosedNotification
extends NotificationTask

The proof closed notification notifies the user about a successful attempt closing a proof.

Author:

bubel

Constructor Summary

Constructors

Constructor and Description
ProofClosedNotification() Creates a proof closed notification task.
ProofClosedNotification(javax.swing.JFrame comp)

Method Summary

Modifier and Type	Method and Description
protected boolean	automodeEnabledTask() returns if this task should be executed in auto mode
NotificationEventID	getEventID()

Methods inherited from class de.uka.ilkd.key.gui.notification.NotificationTask

addNotificationAction, execute, executeActions, getNotificationActions

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofClosedNotification

public ProofClosedNotification()

Creates a proof closed notification task.

ProofClosedNotification

public ProofClosedNotification(javax.swing.JFrame comp)

Method Detail

automodeEnabledTask

protected boolean automodeEnabledTask()

returns if this task should be executed in auto mode

Overrides:

automodeEnabledTask in class NotificationTask

Returns:

if true execute task even if in automode

getEventID

public NotificationEventID getEventID()

Specified by:

getEventID in class NotificationTask

Returns:

the event if of this task