public interface TypeReference extends TypeReferenceInfix, TypeReferenceContainer, PackageReferenceContainer, MemberReference, NonTerminalProgramElement, SourceElement
Type
s 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
.Modifier and Type | Method and Description |
---|---|
int |
getDimensions() |
KeYJavaType |
getKeYJavaType() |
java.lang.String |
getName()
Return the name of the model element.
|
ProgramElementName |
getProgramElementName()
Get identifier.
|
ReferencePrefix |
getReferencePrefix() |
getChildAt, getChildCount
getComments, match
getTypeReferenceAt, getTypeReferenceCount
getPackageReference
getExpressionAt, getExpressionCount
java.lang.String getName()
NamedModelElement
getName
in interface NamedModelElement
ProgramElementName getProgramElementName()
NamedProgramElement
getProgramElementName
in interface NamedProgramElement
ReferencePrefix getReferencePrefix()
getReferencePrefix
in interface ReferencePrefix
int getDimensions()
KeYJavaType getKeYJavaType()