public class ExtendedIdentifier extends Identifier
ProgramElement.TreeStructure
SourceElement.Position
id, parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
ExtendedIdentifier(java.lang.String arg0) |
Modifier and Type | Method and Description |
---|---|
ExtendedIdentifier |
deepClone() |
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
public void setText(java.lang.String text)
setText
in class Identifier
public ExtendedIdentifier deepClone()
deepClone
in interface SourceElement
deepClone
in class Identifier
Copyright © 2003-2019 The KeY-Project.