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 PCLabel implements Label {
11: private int id;
12:
13: private boolean looking = false;
14:
15: public PCLabel(int i, boolean looking) {
16: this .looking = looking;
17: id = i;
18: }
19:
20: public int getId() {
21: return id;
22: }
23:
24: public boolean isLooking() {
25: return looking;
26: }
27:
28: public void setLooking(boolean looking) {
29: this .looking = looking;
30: }
31:
32: public String toString() {
33: return "PC(" + id + "," + looking + ")";
34: }
35:
36: }
|