public class KeYAnnotationUseSpecification extends AnnotationUseSpecification
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
elementValuePairs, parent, reference
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
KeYAnnotationUseSpecification() |
KeYAnnotationUseSpecification(TypeReference tr) |
Modifier and Type | Method and Description |
---|---|
KeYAnnotationUseSpecification |
deepClone() |
accept, getASTParent, getChildAt, getChildCount, getChildPositionCode, getElementValuePairs, getExpressionContainer, getParentDeclaration, getTypeReference, getTypeReferenceAt, getTypeReferenceCount, makeParentRoleValid, replaceChild, setElementValuePairs, setExpressionContainer, setParent, setParent, setTypeReference
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
public KeYAnnotationUseSpecification()
public KeYAnnotationUseSpecification(TypeReference tr)
public KeYAnnotationUseSpecification deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
deepClone
in class AnnotationUseSpecification