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.rule.inst;
11:
12: import de.uka.ilkd.key.logic.Name;
13: import de.uka.ilkd.key.logic.op.SchemaVariable;
14:
15: /** This class is used to store the instantiation of a schemavarible
16: * if it is a name.
17: */
18:
19: public class NameInstantiationEntry extends InstantiationEntry {
20:
21: private final Name name;
22:
23: NameInstantiationEntry(SchemaVariable sv, Name name) {
24: super (sv);
25: this .name = name;
26: }
27:
28: /** returns the instantiation of the SchemaVariable
29: * @return the instantiation of the SchemaVariable
30: */
31: public Object getInstantiation() {
32: return name;
33: }
34:
35: /** toString */
36: public String toString() {
37: return "[" + getSchemaVariable() + ", " + name + "]";
38: }
39:
40: }
|