de.uka.ilkd.key.java.reference

Class TypeRef

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.TypeReferenceImp

de.uka.ilkd.key.java.reference.TypeRef

All Implemented Interfaces:

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

public class TypeRef
extends TypeReferenceImp

Field Summary

Fields

Modifier and Type	Field and Description
private KeYJavaType	kjt

Fields inherited from class de.uka.ilkd.key.java.reference.TypeReferenceImp

dimensions, name, prefix

Constructor Summary

Constructors

Constructor and Description
TypeRef(ExtList children, KeYJavaType kjt, int dim)
TypeRef(KeYJavaType kjt) creates a type reference for the given KeYJavaType with dimension 0 and creates a suitable package reference prefix from the KeYJavaType.
TypeRef(KeYJavaType kjt, int dim) creates a type reference for the given KeYJavaType and the given dimension and creates a suitable package reference prefix from the KeYJavaType.
TypeRef(ProgramElementName name, int dimension, ReferencePrefix prefix, KeYJavaType kjt)

Method Summary

Modifier and Type	Method and Description
KeYJavaType	getKeYJavaType()

Methods inherited from class de.uka.ilkd.key.java.reference.TypeReferenceImp

getChildAt, getChildCount, getDimensions, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getName, getPackageReference, getProgramElementName, getReferencePrefix, getTypeReferenceAt, getTypeReferenceCount, match, prettyPrint, visit

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

compatibleBlockSize, equals, equalsModRenaming, getArrayPos, hashCode, matchChildren

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

getComments, prettyPrintMain, reuseSignature

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

getEndPosition, 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

Field Detail

kjt

private KeYJavaType kjt

Constructor Detail

TypeRef

public TypeRef(KeYJavaType kjt)

creates a type reference for the given KeYJavaType with dimension 0 and creates a suitable package reference prefix from the KeYJavaType. If this is not desired use the constructor TypeRef(ProgramElementName, int, ReferencePrefix, KeYJavaType) and take null as last argument.

TypeRef

public TypeRef(KeYJavaType kjt,
               int dim)

creates a type reference for the given KeYJavaType and the given dimension and creates a suitable package reference prefix from the KeYJavaType. If this is not desired use the constructor TypeRef(ProgramElementName, int, ReferencePrefix, KeYJavaType) and take null as last argument.

TypeRef

public TypeRef(ExtList children,
               KeYJavaType kjt,
               int dim)

TypeRef

public TypeRef(ProgramElementName name,
               int dimension,
               ReferencePrefix prefix,
               KeYJavaType kjt)

Method Detail

getKeYJavaType

public KeYJavaType getKeYJavaType()

Specified by:

getKeYJavaType in interface TypeReference

Specified by:

getKeYJavaType in class TypeReferenceImp