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: package de.uka.ilkd.key.java.recoderext;
11:
12: import recoder.java.SourceElement;
13: import recoder.java.SourceVisitor;
14: import de.uka.ilkd.key.logic.op.SchemaVariable;
15:
16: public class ExecCtxtSVWrapper extends ExecutionContext implements
17: KeYRecoderExtension, SVWrapper {
18:
19: SchemaVariable sv = null;
20:
21: public ExecCtxtSVWrapper(SchemaVariable sv) {
22: this .sv = sv;
23: }
24:
25: /**
26: * sets the schema variable of sort label
27: * @param sv the SchemaVariable
28: */
29: public void setSV(SchemaVariable sv) {
30: this .sv = sv;
31: }
32:
33: /**
34: * returns the schema variable of this type sv wrapper
35: */
36: public SchemaVariable getSV() {
37: return sv;
38: }
39:
40: public SourceElement getFirstElement() {
41: return this ;
42: }
43:
44: public Object deepClone() {
45: return new StatementSVWrapper(sv);
46: }
47:
48: //don't think we need it
49: public void accept(SourceVisitor v) {
50: }
51:
52: }
|