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