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: public class PIParameterString extends PIParameter {
14:
15: private String value;
16:
17: public PIParameterString(String internalName, String name,
18: String value) {
19: super (internalName, name);
20: setValue(value);
21: }
22:
23: protected PIParameterString(String internalName, String name) {
24: super (internalName, name);
25: }
26:
27: public String getValue() {
28: return value;
29: }
30:
31: public void setValue(String value) {
32: this .value = value;
33:
34: //System.out.println("String -
35: // setValue(String)\t"+getInternalName()+"\t"+value);
36: setChanged();
37: notifyObservers(this);
38: }
39: }
|