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: // This file is part of KeY - Integrated Deductive Software Design
10: // Copyright (C) 2001-2004 Universitaet Karlsruhe, Germany
11: // Universitaet Koblenz-Landau, Germany
12: // Chalmers University of Technology, Sweden
13: //
14: // The KeY system is protected by the GNU General Public License.
15: // See LICENSE.TXT for details.
16: package de.uka.ilkd.key.java.recoderext;
17:
18: import recoder.java.Identifier;
19:
20: /**
21: * subclasses the recoder Identifier in order to allow fields with special
22: * characters. For example, these are used to distinct between implicit and
23: * customary class fields.
24: */
25: public class ImplicitIdentifier extends Identifier {
26:
27: public ImplicitIdentifier(String id) {
28: super (id);
29: }
30:
31: protected void setText(String text) {
32: id = text.intern();
33: }
34:
35: /**
36: * Deep clone.
37: * @return the object.
38: */
39:
40: public Object deepClone() {
41: return new ImplicitIdentifier(id);
42: }
43:
44: }
|