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: //
10:
11: package de.uka.ilkd.key.rule.metaconstruct;
12:
13: import de.uka.ilkd.key.java.statement.Break;
14: import de.uka.ilkd.key.logic.op.ProgramVariable;
15:
16: class BreakToBeReplaced {
17:
18: private Break brk;
19: private ProgramVariable pvar;
20:
21: public BreakToBeReplaced(Break brk, ProgramVariable pvar) {
22: this .brk = brk;
23: this .pvar = pvar;
24: }
25:
26: public BreakToBeReplaced(Break brk) {
27: this .brk = brk;
28: this .pvar = null;
29: }
30:
31: Break getBreak() {
32: return brk;
33: }
34:
35: ProgramVariable getProgramVariable() {
36: return pvar;
37: }
38:
39: void setProgramVariable(ProgramVariable pvar) {
40: this.pvar = pvar;
41: }
42:
43: }
|