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;
12:
13: import java.util.Iterator;
14:
15: import de.uka.ilkd.key.gui.notification.events.NotificationEvent;
16:
17: /**
18: * The proof closed notification notifies the user about a successful attempt
19: * closing a proof.
20: * @author bubel
21: */
22: public class ProofClosedNotification extends NotificationTask {
23:
24: /**
25: * Creates a proof closed notification task.
26: */
27: public ProofClosedNotification() {
28: }
29:
30: /**
31: * returns if this task should be executed in auto mode
32: * @return if true execute task even if in automode
33: */
34: protected boolean automodeEnabledTask() {
35: return true;
36: }
37:
38: /**
39: * @return the event if of this task
40: */
41: public int getEventID() {
42: return NotificationEventID.PROOF_CLOSED;
43: }
44:
45: /**
46: * executes the proof closed notification task
47: */
48: public void executeImpl(NotificationEvent event,
49: NotificationManager manager) {
50: final Iterator actions = getActions();
51: while (actions.hasNext()) {
52: ((NotificationAction) actions.next()).execute(event);
53: }
54: }
55: }
|