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 18.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: * Notifies the user when a proof task is abandoned.
19: * @author bubel
20: */
21: public class AbandonNotification extends NotificationTask {
22:
23: /* (non-Javadoc)
24: * @see de.uka.ilkd.key.gui.notification.NotificationTask#executeImpl(de.uka.ilkd.key.gui.notification.NotificationEvent, de.uka.ilkd.key.gui.notification.NotificationManager)
25: */
26: protected void executeImpl(NotificationEvent event,
27: NotificationManager manager) {
28: final Iterator actions = getActions();
29: while (actions.hasNext()) {
30: ((NotificationAction) actions.next()).execute(event);
31: }
32: }
33:
34: /* (non-Javadoc)
35: * @see de.uka.ilkd.key.gui.notification.NotificationTask#getEventID()
36: */
37: public int getEventID() {
38: return NotificationEventID.TASK_ABANDONED;
39: }
40:
41: }
|