de.uka.ilkd.key.java.reference

Class VariableReference

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.reference.VariableReference

All Implemented Interfaces:

Expression, ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, NameReference, ReferencePrefix, SourceElement, SVSubstitute

Direct Known Subclasses:

FieldReference

public class VariableReference
extends JavaNonTerminalProgramElement
implements NameReference, Expression, ReferencePrefix

Field Summary

Fields

Modifier and Type	Field and Description
protected ProgramVariable	variable

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	VariableReference()
	VariableReference(ExtList children)
	VariableReference(ProgramVariable variable)
	VariableReference(ProgramVariable variable, PositionInfo pi)

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
SourceElement	getFirstElement() Finds the source element that occurs first in the source.
ProgramElementName	getIdentifier()
KeYJavaType	getKeYJavaType()
KeYJavaType	getKeYJavaType(Services javaServ)
KeYJavaType	getKeYJavaType(Services javaServ, ExecutionContext ec) returns the KeYJavaType of an expression
java.lang.String	getName() Return the name of the model element.
ProgramElementName	getProgramElementName() Get identifier.
ProgramVariable	getProgramVariable()
ReferencePrefix	getReferencePrefix() We do not have a prefix, so fake it!
void	prettyPrint(PrettyPrinter p) Pretty printing the source element.
ReferencePrefix	setReferencePrefix(ReferencePrefix r)
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition

Field Detail

variable

protected final ProgramVariable variable

Constructor Detail

VariableReference

protected VariableReference()

VariableReference

public VariableReference(ExtList children)

VariableReference

public VariableReference(ProgramVariable variable,
                         PositionInfo pi)

VariableReference

public VariableReference(ProgramVariable variable)

Method Detail

getProgramElementName

public ProgramElementName getProgramElementName()

Description copied from interface: NamedProgramElement

Get identifier.

Specified by:

getProgramElementName in interface NamedProgramElement

Returns:

the identifier.

getChildCount

public int getChildCount()

Description copied from interface: NonTerminalProgramElement

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds

getIdentifier

public ProgramElementName getIdentifier()

getName

public final java.lang.String getName()

Description copied from interface: NamedModelElement

Return the name of the model element.

Specified by:

getName in interface NamedModelElement

Returns:

the name of the model element.

getProgramVariable

public ProgramVariable getProgramVariable()

getFirstElement

public SourceElement getFirstElement()

Description copied from class: JavaSourceElement

Finds the source element that occurs first in the source. The default implementation returns this element, which is correct for all terminal program elements, and many non terminals such as statements and prefixed operators.

Specified by:

getFirstElement in interface SourceElement

Overrides:

getFirstElement in class JavaSourceElement

Returns:

the first source element in the syntactical representation of this element, may be equals to this element.

See Also:

JavaSourceElement.toSource(), JavaSourceElement.getStartPosition()

prettyPrint

public void prettyPrint(PrettyPrinter p)
                 throws java.io.IOException

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Overrides:

prettyPrint in class JavaProgramElement

Parameters:

p - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Specified by:

visit in interface SourceElement

Parameters:

v - the Visitor

getReferencePrefix

public ReferencePrefix getReferencePrefix()

We do not have a prefix, so fake it! This way we implement ReferencePrefix

Specified by:

getReferencePrefix in interface ReferencePrefix

setReferencePrefix

public ReferencePrefix setReferencePrefix(ReferencePrefix r)

getKeYJavaType

public KeYJavaType getKeYJavaType(Services javaServ,
                                  ExecutionContext ec)

Description copied from interface: Expression

returns the KeYJavaType of an expression

Specified by:

getKeYJavaType in interface Expression

getKeYJavaType

public KeYJavaType getKeYJavaType(Services javaServ)

getKeYJavaType

public KeYJavaType getKeYJavaType()