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 30.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: * This notification task is used to inform the user about a non-error
19: * situation (e.g. statistics (how many goals have been closed) etc.)
20: * @author bubel
21: */
22: public class GeneralInformationNotification extends NotificationTask {
23:
24: /**
25: * @see NotificationTask#executeImpl(NotificationEvent, NotificationManager)
26: */
27: protected void executeImpl(NotificationEvent event,
28: NotificationManager manager) {
29: final Iterator actions = getActions();
30: while (actions.hasNext()) {
31: ((NotificationAction) actions.next()).execute(event);
32: }
33: }
34:
35: /**
36: * @return the event id of a general information event
37: * @see NotificationEventID
38: */
39: public int getEventID() {
40: return NotificationEventID.GENERAL_INFORMATION;
41: }
42:
43: }
|