public class TypeRef extends TypeReferenceImp
Modifier and Type | Field and Description |
---|---|
private KeYJavaType |
kjt |
dimensions, name, prefix
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) |
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getKeYJavaType() |
getChildAt, getChildCount, getDimensions, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getName, getPackageReference, getProgramElementName, getReferencePrefix, getTypeReferenceAt, getTypeReferenceCount, match, prettyPrint, visit
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
private KeYJavaType kjt
public TypeRef(KeYJavaType kjt)
public TypeRef(KeYJavaType kjt, int dim)
public TypeRef(ExtList children, KeYJavaType kjt, int dim)
public TypeRef(ProgramElementName name, int dimension, ReferencePrefix prefix, KeYJavaType kjt)
public KeYJavaType getKeYJavaType()
getKeYJavaType
in interface TypeReference
getKeYJavaType
in class TypeReferenceImp