01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: /*
09: * Created on 17.03.2005
10: */
11: package de.uka.ilkd.key.gui.notification.events;
12:
13: import de.uka.ilkd.key.gui.notification.NotificationEventID;
14: import de.uka.ilkd.key.proof.Proof;
15:
16: /**
17: * NotificationEvent used to inform the user about a closed proof.
18: * @author bubel
19: */
20: public class ProofClosedNotificationEvent extends NotificationEvent {
21:
22: /** the closed proof */
23: private Proof proof;
24:
25: /**
26: * creates a proof closed notification event
27: */
28: public ProofClosedNotificationEvent(Proof proof) {
29: super (NotificationEventID.PROOF_CLOSED);
30: this .proof = proof;
31: }
32:
33: /**
34: * @return the proof that has been closed
35: */
36: public Proof getProof() {
37: return proof;
38: }
39:
40: }
|