public class ImplicitIdentifier extends Identifier
ProgramElement.TreeStructure
SourceElement.Position
id, parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
ImplicitIdentifier(java.lang.String id) |
Modifier and Type | Method and Description |
---|---|
ImplicitIdentifier |
deepClone()
Deep clone.
|
protected void |
setText(java.lang.String text) |
accept, getASTParent, getParent, getText, setParent
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
protected void setText(java.lang.String text)
setText
in class Identifier
public ImplicitIdentifier deepClone()
deepClone
in interface SourceElement
deepClone
in class Identifier
Copyright © 2003-2019 The KeY-Project.