public class TypeRef extends TypeReferenceImp
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
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
Copyright © 2003-2019 The KeY-Project.