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: package de.uka.ilkd.key.visualdebugger;
09:
10: public class DebuggerEvent {
11: public static final int EXEC_FINISHED = 8;
12:
13: public static final int EXEC_STARTED = 7;
14:
15: public static final int NODE_SELECTED = 1;
16:
17: public static final int PROJECT_LOADED_SUCCESSFUL = 5;
18:
19: public static final int RED_PC_REMOVED = 3;
20:
21: public static final int STATUS_EVENT = 4;
22:
23: public static final int TEST_RUN_FAILED = 6;
24:
25: public static final int TREE_CHANGED = 0;
26:
27: public static final int VIS_STATE = 2;
28:
29: private final Object subject;
30:
31: private final int type;
32:
33: public DebuggerEvent(int type, Object subject) {
34: this .type = type;
35: this .subject = subject;
36:
37: }
38:
39: public Object getSubject() {
40: return subject;
41: }
42:
43: public int getType() {
44: return type;
45: }
46: }
|