public class Ghost extends Modifier
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
Ghost() |
protected |
Ghost(Ghost proto) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
Ghost |
deepClone() |
getASTParent, getParentDeclaration, 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 Ghost()
protected Ghost(Ghost proto)
public Ghost deepClone()
public void accept(SourceVisitor v)
Copyright © 2003-2019 The KeY-Project.