public class NewArrayWrapper extends NewArray
ProgramElement.TreeStructure
SourceElement.Position
arrayInitializer, dimensions, referenceParent
typeReference
children, expressionParent, INFIX, POSTFIX, PREFIX
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
NewArrayWrapper(NewArray proto,
Identifier scope) |
Modifier and Type | Method and Description |
---|---|
NewArrayWrapper |
deepClone() |
Identifier |
getScope() |
accept, getArity, getArrayInitializer, getASTParent, getChildAt, getChildCount, getChildPositionCode, getDimensions, getExpressionAt, getExpressionContainer, getExpressionCount, getLastElement, getNotation, getPrecedence, getReferenceSuffix, makeParentRoleValid, replaceChild, setArrayInitializer, setDimensions, setExpressionContainer, setReferenceSuffix
getTypeReference, getTypeReferenceAt, getTypeReferenceCount, setTypeReference
getArguments, getFirstElement, isLeftAssociative, isToBeParenthesized, precedes, setArguments
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
public NewArrayWrapper(NewArray proto, Identifier scope)
public NewArrayWrapper deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
deepClone
in class NewArray
public Identifier getScope()
Copyright © 2003-2019 The KeY-Project.