de.uka.ilkd.key.java.recoderext

Class SpecialReferenceWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.reference.ThisReference

de.uka.ilkd.key.java.recoderext.SpecialReferenceWrapper

All Implemented Interfaces:

KeYRecoderExtension, java.io.Serializable, java.lang.Cloneable, Expression, NonTerminalProgramElement, ProgramElement, Reference, ReferencePrefix, ReferenceSuffix, TypeReferenceContainer, SourceElement, ModelElement

public class SpecialReferenceWrapper
extends ThisReference
implements Expression, KeYRecoderExtension, ReferencePrefix

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
protected ReferencePrefix	myprefix
private static long	serialVersionUID
protected StatementContainer	statementParent
protected TypeReference	typeRef

Fields inherited from class recoder.java.reference.ThisReference

expressionParent, prefix, referenceParent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Modifier	Constructor and Description
	SpecialReferenceWrapper()
protected	SpecialReferenceWrapper(SpecialReferenceWrapper proto)
	SpecialReferenceWrapper(TypeReference typeRef, ReferencePrefix myprefix)

Method Summary

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

Methods inherited from class recoder.java.reference.ThisReference

getChildAt, getChildCount, getChildPositionCode, getFirstElement, getReferenceSuffix, getTypeReferenceAt, getTypeReferenceCount, replaceChild, setReferenceSuffix

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.reference.ReferencePrefix

getReferenceSuffix, setReferenceSuffix

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

typeRef

protected TypeReference typeRef

myprefix

protected ReferencePrefix myprefix

statementParent

protected StatementContainer statementParent

Constructor Detail

SpecialReferenceWrapper

public SpecialReferenceWrapper()

SpecialReferenceWrapper

public SpecialReferenceWrapper(TypeReference typeRef,
                               ReferencePrefix myprefix)

SpecialReferenceWrapper

protected SpecialReferenceWrapper(SpecialReferenceWrapper proto)

Method Detail

makeParentRoleValid

public void makeParentRoleValid()

Make parent role valid.

Specified by:

makeParentRoleValid in interface NonTerminalProgramElement

Overrides:

makeParentRoleValid in class ThisReference

getASTParent

public NonTerminalProgramElement getASTParent()

Get AST parent.

Specified by:

getASTParent in interface ProgramElement

Overrides:

getASTParent in class ThisReference

Returns:

the non terminal program element.

getExpressionContainer

public ExpressionContainer getExpressionContainer()

Get expression container.

Specified by:

getExpressionContainer in interface Expression

Overrides:

getExpressionContainer in class ThisReference

Returns:

the expression container.

setExpressionContainer

public void setExpressionContainer(ExpressionContainer c)

Set expression container.

Specified by:

setExpressionContainer in interface Expression

Overrides:

setExpressionContainer in class ThisReference

Parameters:

c - an expression container.

accept

public void accept(SourceVisitor v)

Specified by:

accept in interface SourceElement

Overrides:

accept in class ThisReference

deepClone

public SpecialReferenceWrapper deepClone()

Specified by:

deepClone in interface Expression

Specified by:

deepClone in interface SourceElement

Overrides:

deepClone in class ThisReference

getStatementContainer

public StatementContainer getStatementContainer()

Get statement container.

Returns:

the statement container.

setStatementContainer

public void setStatementContainer(StatementContainer c)

Set statement container.

Parameters:

c - a statement container.

getTypeReference

public TypeReference getTypeReference()

setTypeReference

public void setTypeReference(TypeReference ref)

Set type reference

getReferencePrefix

public ReferencePrefix getReferencePrefix()

Specified by:

getReferencePrefix in interface ReferenceSuffix

Overrides:

getReferencePrefix in class ThisReference

setReferencePrefix

public void setReferencePrefix(ReferencePrefix myprefix)

Set reference suffix.

Overrides:

setReferencePrefix in class ThisReference

Parameters:

myprefix - a reference prefix.