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: /**
14: * This interface constants used to uniquely identify
15: * KeY system events
16: * @author bubel
17: */
18: public interface NotificationEventID {
19:
20: /** reserved for dummy implementations */
21: int RESERVED = -1; // used by dummy implementation
22: /** tasks notifying about proof closed events have this ID */
23: int PROOF_CLOSED = 0;
24: /** tasks notifying about abandoned tasks have this ID */
25: int TASK_ABANDONED = 1;
26: /** tasks notifying about general failures */
27: int GENERAL_FAILURE = 2;
28: /** tasks notifying the user when KeY is shutdown have this ID */
29: int EXIT_KEY = 3;
30: /** tasks used to inform the user should have this ID */
31: int GENERAL_INFORMATION = 4;
32:
33: }
|