de.uka.ilkd.key.java.reference

Interface TypeReference

All Superinterfaces:

ExpressionContainer, MemberReference, ModelElement, NamedModelElement, NamedProgramElement, NameReference, NonTerminalProgramElement, PackageReferenceContainer, ProgramElement, Reference, ReferencePrefix, ReferenceSuffix, SourceElement, SVSubstitute, TypeReferenceContainer, TypeReferenceInfix

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, ConstructorCall, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, ForToWhile, InitArray, InitArrayCreation, IsStatic, MethodCall, MultipleVarDecl, PostWork, ProgramSV, ProgramTransformer, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SwitchToIf, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop

public interface TypeReference
extends TypeReferenceInfix, TypeReferenceContainer, PackageReferenceContainer, MemberReference, NonTerminalProgramElement, SourceElement

TypeReferences reference Types by name. A TypeReference can refer to an outer or inner type and hence can also be a MemberReference, but does not have to. A TypeReference can also occur as part of a reference path and as a prefix for types, too. As a possible suffix for types, it can have other TypeReferences as a prefix, playing the role of a TypeReferenceContainer.

Method Summary

Modifier and Type	Method and Description
int	getDimensions()
KeYJavaType	getKeYJavaType()
String	getName() Return the name of the model element.
ProgramElementName	getProgramElementName() Get identifier.
ReferencePrefix	getReferencePrefix()

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

getChildAt, getChildCount

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

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.reference.TypeReferenceContainer

getTypeReferenceAt, getTypeReferenceCount

Methods inherited from interface de.uka.ilkd.key.java.reference.PackageReferenceContainer

getPackageReference

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

getExpressionAt, getExpressionCount

Method Detail

getName

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.

getProgramElementName

ProgramElementName getProgramElementName()

Description copied from interface: NamedProgramElement

Get identifier.

Specified by:

getProgramElementName in interface NamedProgramElement

Returns:

the identifier.

getReferencePrefix

ReferencePrefix getReferencePrefix()

Specified by:

getReferencePrefix in interface ReferencePrefix

getDimensions

int getDimensions()

getKeYJavaType

KeYJavaType getKeYJavaType()