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.casetool.patternimplementor;
12:
13: import java.util.Observable;
14:
15: public abstract class PIParameter extends Observable {
16:
17: // public abstract String getValue();
18: // public abstract void setValue(String value);
19: private String name;
20:
21: private String internalName;
22:
23: /**
24: * PIParameter(String internalName, String name)
25: */
26: public PIParameter(String internalName, String name) {
27: setName(name);
28: setInternalName(internalName);
29: }
30:
31: public void setName(String name) {
32: this .name = name;
33: }
34:
35: public String getName() {
36: return name;
37: }
38:
39: public String getInternalName() {
40: return internalName;
41: }
42:
43: public void setInternalName(String internalName) {
44: this .internalName = internalName;
45: }
46:
47: public String getValue() {
48: return "<-getValue not defined for this type->";
49: }
50: }
|