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: /**
11: * This class encapsulates some information which has been originally attached to
12: * node. As after three further add-ons made this way, Node would become unreadable
13: * they are now collected here and PRELIMINARY attached to NodeInfo. The storage of these
14: * objects have to be removed from there too. One has either to maintain a separate
15: * Node <-> VisualDebuggerState mapping in the visualdebugger package (attention: you have to
16: * keep track of added and _removed_ nodes in order to avoid memory leaks)
17: * or one has to add a general framework in order to attach additional infos on proof
18: * nodes.
19: */
20: public class VisualDebuggerState {
21:
22: private HashMapFromPosInOccurrenceToLabel labels = new HashMapFromPosInOccurrenceToLabel();
23:
24: private boolean looking = false;
25:
26: private int statementIdcount = -1;
27:
28: private int stepOver = -1;
29:
30: private int stepOverFrom = -1;
31:
32: public VisualDebuggerState() {
33:
34: }
35:
36: // ALL methods below are for the eclipse symbolic debugger plug-in
37: // THEY HAVE TO BE MOVED OUT TO THE DEBUGGER package
38: // where a separate mapping node <-> debugger status has to be maintained
39: public HashMapFromPosInOccurrenceToLabel getLabels() {
40: return this .labels;
41: }
42:
43: public int getStatementIdcount() {
44: return this .statementIdcount;
45: }
46:
47: public int getStepOver() {
48: return this .stepOver;
49: }
50:
51: public int getStepOverFrom() {
52: return stepOverFrom;
53: }
54:
55: public boolean isLooking() {
56: return looking;
57: }
58:
59: public void setLabels(HashMapFromPosInOccurrenceToLabel labels) {
60: this .labels = labels;
61: }
62:
63: public void setLooking(boolean looking) {
64: this .looking = looking;
65: }
66:
67: public void setStatementIdcount(int statementIdcount) {
68: this .statementIdcount = statementIdcount;
69: }
70:
71: public void setStepOver(int stepOver) {
72: this .stepOver = stepOver;
73: }
74:
75: public void setStepOverFrom(int stepOverFrom) {
76: this.stepOverFrom = stepOverFrom;
77: }
78:
79: }
|