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:
15: /**
16: * A NotificationEvent is triggered if the system wants to notify the user
17: * about a certain situation. Each kind of event is assigned a unique id
18: * which are declared in {@link de.uka.ilkd.key.gui.notification.NotificationEventID}.
19: * @author bubel
20: */
21: public abstract class NotificationEvent {
22:
23: /** the unique id identifying the kind of this event */
24: private final int eventID;
25:
26: /**
27: * creates an instance of this event
28: * @param eventID the int identifying the kind of this event
29: * @see NotificationEventID
30: */
31: public NotificationEvent(int eventID) {
32: this .eventID = eventID;
33: }
34:
35: /**
36: * @return returns the eventID
37: * @see NotificationEventID
38: */
39: public int getEventID() {
40: return eventID;
41: }
42:
43: }
|