de.uka.ilkd.key.java.recoderext

Class ImplicitIdentifier

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.Identifier

de.uka.ilkd.key.java.recoderext.ImplicitIdentifier

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ProgramElement, SourceElement, TerminalProgramElement, ModelElement

public class ImplicitIdentifier
extends Identifier

subclasses the recoder Identifier in order to allow fields with special characters. For example, these are used to distinct between implicit and customary class fields.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class recoder.java.Identifier

id, parent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Constructor and Description
ImplicitIdentifier(java.lang.String id)

Method Summary

Modifier and Type	Method and Description
ImplicitIdentifier	deepClone() Deep clone.
protected void	setText(java.lang.String text)

Methods inherited from class recoder.java.Identifier

accept, getASTParent, getParent, getText, setParent

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ImplicitIdentifier

public ImplicitIdentifier(java.lang.String id)

Method Detail

setText

protected void setText(java.lang.String text)

Overrides:

setText in class Identifier

deepClone

public ImplicitIdentifier deepClone()

Deep clone.

Specified by:

deepClone in interface SourceElement

Overrides:

deepClone in class Identifier

Returns:

the object.