de.uka.ilkd.key.gui.notification.events

Class ProofClosedNotificationEvent

java.lang.Object

de.uka.ilkd.key.gui.notification.events.NotificationEvent

de.uka.ilkd.key.gui.notification.events.ProofClosedNotificationEvent

public class ProofClosedNotificationEvent
extends NotificationEvent

NotificationEvent used to inform the user about a closed proof.

Author:

bubel

Field Summary

Fields

Modifier and Type	Field and Description
private Proof	proof the closed proof

Constructor Summary

Constructors

Constructor and Description
ProofClosedNotificationEvent(Proof proof) creates a proof closed notification event

Method Summary

Modifier and Type	Method and Description
Proof	getProof()

Methods inherited from class de.uka.ilkd.key.gui.notification.events.NotificationEvent

getEventID

Methods inherited from class java.lang.Object

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

Field Detail

proof

private Proof proof

the closed proof

Constructor Detail

ProofClosedNotificationEvent

public ProofClosedNotificationEvent(Proof proof)

creates a proof closed notification event

Method Detail

getProof

public Proof getProof()

Returns:

the proof that has been closed