public class SpecialReferenceWrapper extends ThisReference implements Expression, KeYRecoderExtension, ReferencePrefix
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected ReferencePrefix |
myprefix |
private static long |
serialVersionUID |
protected StatementContainer |
statementParent |
protected TypeReference |
typeRef |
expressionParent, prefix, referenceParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
SpecialReferenceWrapper() |
protected |
SpecialReferenceWrapper(SpecialReferenceWrapper proto) |
|
SpecialReferenceWrapper(TypeReference typeRef,
ReferencePrefix myprefix) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
SpecialReferenceWrapper |
deepClone() |
NonTerminalProgramElement |
getASTParent()
Get AST parent.
|
ExpressionContainer |
getExpressionContainer()
Get expression container.
|
ReferencePrefix |
getReferencePrefix() |
StatementContainer |
getStatementContainer()
Get statement container.
|
TypeReference |
getTypeReference() |
void |
makeParentRoleValid()
Make parent role valid.
|
void |
setExpressionContainer(ExpressionContainer c)
Set expression container.
|
void |
setReferencePrefix(ReferencePrefix myprefix)
Set reference suffix.
|
void |
setStatementContainer(StatementContainer c)
Set statement container.
|
void |
setTypeReference(TypeReference ref)
Set type reference
|
getChildAt, getChildCount, getChildPositionCode, getFirstElement, getReferenceSuffix, getTypeReferenceAt, getTypeReferenceCount, replaceChild, setReferenceSuffix
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getReferenceSuffix, setReferenceSuffix
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
private static final long serialVersionUID
protected TypeReference typeRef
protected ReferencePrefix myprefix
protected StatementContainer statementParent
public SpecialReferenceWrapper()
public SpecialReferenceWrapper(TypeReference typeRef, ReferencePrefix myprefix)
protected SpecialReferenceWrapper(SpecialReferenceWrapper proto)
public void makeParentRoleValid()
makeParentRoleValid
in interface NonTerminalProgramElement
makeParentRoleValid
in class ThisReference
public NonTerminalProgramElement getASTParent()
getASTParent
in interface ProgramElement
getASTParent
in class ThisReference
public ExpressionContainer getExpressionContainer()
getExpressionContainer
in interface Expression
getExpressionContainer
in class ThisReference
public void setExpressionContainer(ExpressionContainer c)
setExpressionContainer
in interface Expression
setExpressionContainer
in class ThisReference
c
- an expression container.public void accept(SourceVisitor v)
accept
in interface SourceElement
accept
in class ThisReference
public SpecialReferenceWrapper deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
deepClone
in class ThisReference
public StatementContainer getStatementContainer()
public void setStatementContainer(StatementContainer c)
c
- a statement container.public TypeReference getTypeReference()
public void setTypeReference(TypeReference ref)
public ReferencePrefix getReferencePrefix()
getReferencePrefix
in interface ReferenceSuffix
getReferencePrefix
in class ThisReference
public void setReferencePrefix(ReferencePrefix myprefix)
setReferencePrefix
in class ThisReference
myprefix
- a reference prefix.