randoop.types

Class ParameterizedType

java.lang.Object

randoop.types.Type

randoop.types.ReferenceType

randoop.types.ClassOrInterfaceType

randoop.types.ParameterizedType

All Implemented Interfaces:

java.lang.Comparable<Type>

Direct Known Subclasses:

GenericClassType, InstantiatedType

public abstract class ParameterizedType
extends ClassOrInterfaceType

Represents a parameterized type. A parameterized type is a type C<T1,...,Tk> where C<F1,...,Fk> is a generic class instantiated by a substitution [Fi:=Ti], and Ti is a subtype of the upper bound Bi of the type parameter Fi.

See Also:

GenericClassType, InstantiatedType

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.Map<java.lang.Class<?>,GenericClassType>	cache A cache of all ParameterizedTypes that have been created.

Fields inherited from class randoop.types.ClassOrInterfaceType

enclosingType

Constructor Summary

Constructors

Constructor and Description
ParameterizedType()

Method Summary

Modifier and Type	Method and Description
static GenericClassType	forClass(java.lang.Class<?> typeClass) Creates a GenericClassType for the given reflective Class object.
static ParameterizedType	forType(java.lang.reflect.Type type) Performs the conversion of java.lang.reflect.ParameterizedType to a ParameterizedType .
java.lang.String	getBinaryName() Returns the binary name of this type, including type arguments if this is a parameterized type (so, it isn't really a binary name).
java.lang.String	getFqName() Returns the fully-qualified name of this type, including type arguments if this is a parameterized type.
abstract GenericClassType	getGenericClassType() Returns the GenericClassType for this parameterized type.
java.lang.String	getUnqualifiedBinaryName() Returns the name of this type without package name, but with type arguments if parameterized, and enclosing class if a member class.
abstract ParameterizedType	substitute(Substitution substitution) Applies a substitution to a ReferenceType.

Methods inherited from class randoop.types.ClassOrInterfaceType

applyCaptureConversion, applyCaptureConversion, equals, getAllSupertypesInclusive, getCanonicalName, getImmediateSupertypes, getInstantiatingSubstitution, getInterfaces, getMatchingSupertype, getPackage, getPackagePrefix, getRawtype, getSimpleName, getSuperclass, getSuperTypes, getTypeArguments, getTypeParameters, hasCaptureVariable, hashCode, hasWildcard, isAbstract, isClassOrInterfaceType, isGeneric, isInstantiationOf, isMemberClass, isNestedClass, isParameterized, isStatic, isSubtypeOf, substitute

Methods inherited from class randoop.types.ReferenceType

getInstantiatingSubstitutionforTypeVariable, isAssignableFrom, isCaptureVariable, isReferenceType

Methods inherited from class randoop.types.Type

compareTo, forFullyQualifiedName, forName, forValue, getRuntimeClass, getTypeforFullyQualifiedName, isArray, isAssignableFromTypeOf, isBoxedPrimitive, isClass, isEnum, isGeneric, isInterface, isNonreceiverType, isObject, isPrimitive, isRawtype, isString, isVariable, isVoid, runtimeClassIs, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

cache

private static final java.util.Map<java.lang.Class<?>,GenericClassType> cache

A cache of all ParameterizedTypes that have been created.

Constructor Detail

ParameterizedType

public ParameterizedType()

Method Detail

forClass

public static GenericClassType forClass(java.lang.Class<?> typeClass)

Creates a GenericClassType for the given reflective Class object.

Parameters:

typeClass - the class type

Returns:

a generic class type for the given type

forType

public static ParameterizedType forType(java.lang.reflect.Type type)

Performs the conversion of java.lang.reflect.ParameterizedType to a ParameterizedType .

Parameters:

type - the reflective type object

Returns:

an object of type ParameterizedType

substitute

public abstract ParameterizedType substitute(Substitution substitution)

Description copied from class: ClassOrInterfaceType

Applies a substitution to a ReferenceType. If the type is parameterized then replaces type variables that occur, otherwise returns this type.

This abstract method forces typing of substitutions applied to ReferenceType objects without an explicit cast.

This abstract method allows substitutions to be applied to ClassOrInterfaceType objects without casting.

Specified by:

substitute in class ClassOrInterfaceType

Parameters:

substitution - the type substitution

Returns:

the type created by applying the substitution to this type

getGenericClassType

public abstract GenericClassType getGenericClassType()

Returns the GenericClassType for this parameterized type.

Returns:

the generic class type for this type

getFqName

public java.lang.String getFqName()

Description copied from class: Type

Returns the fully-qualified name of this type, including type arguments if this is a parameterized type. For java.util.List<T> return "java.util.List<T>".

Overrides:

getFqName in class ClassOrInterfaceType

Returns:

the fully-qualified type name for this type

getBinaryName

public java.lang.String getBinaryName()

Description copied from class: Type

Returns the binary name of this type, including type arguments if this is a parameterized type (so, it isn't really a binary name). For java.util.List<T> return "java.util.List<T>".

Overrides:

getBinaryName in class ClassOrInterfaceType

Returns:

the binary name for this type

getUnqualifiedBinaryName

public java.lang.String getUnqualifiedBinaryName()

Description copied from class: Type

Returns the name of this type without package name, but with type arguments if parameterized, and enclosing class if a member class. For instance, for java.util.List<T> would return "List<T>".

Overrides:

getUnqualifiedBinaryName in class ClassOrInterfaceType

Returns:

the unqualified name of this type