randoop.types

Class GenericClassType

java.lang.Object

randoop.types.Type

randoop.types.ReferenceType

randoop.types.ClassOrInterfaceType

randoop.types.ParameterizedType

randoop.types.GenericClassType

All Implemented Interfaces:

java.lang.Comparable<Type>

public class GenericClassType
extends ParameterizedType

Represents the type of a generic class. The type parameters are all type variables. Related to concrete InstantiatedType by instantiating with a Substitution.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<TypeVariable>	parameters The type parameters of the generic class.
private java.lang.Class<?>	rawType The rawtype of the generic class.

Fields inherited from class randoop.types.ClassOrInterfaceType

enclosingType

Constructor Summary

Constructors

Constructor and Description
GenericClassType(java.lang.Class<?> rawType) Creates a GenericClassType for the given raw type.

Method Summary

Modifier and Type	Method and Description
GenericClassType	applyCaptureConversion() Applies a capture conversion to this type.
boolean	equals(@Nullable java.lang.Object obj)
GenericClassType	getGenericClassType() Returns the GenericClassType for this parameterized type.
java.util.List<ClassOrInterfaceType>	getInterfaces() Returns the interface types directly implemented by this class or interface type.
(package private) java.util.List<ClassOrInterfaceType>	getInterfaces(Substitution substitution) Return the directly-implemented interface types for this generic class type, instantiated by the given type Substitution.
NonParameterizedType	getRawtype() Returns the rawtype Type for this generic class.
java.lang.Class<?>	getRuntimeClass() Returns the runtime Class object for this type.
ClassOrInterfaceType	getSuperclass() Return the type for the superclass for this class.
(package private) ClassOrInterfaceType	getSuperclass(Substitution substitution) Returns the superclass type for this generic class type instantiated by the given type Substitution.
java.util.List<TypeArgument>	getTypeArguments() Returns the type arguments for this type.
java.util.List<TypeVariable>	getTypeParameters() Returns the list of type parameters of this generic class.
int	hashCode()
InstantiatedType	instantiate(java.util.List<ReferenceType> typeArguments) Creates a type substitution using the given type arguments and applies it to this type.
InstantiatedType	instantiate(ReferenceType... typeArguments) Creates a type substitution using the given type arguments and applies it to this type.
boolean	isAbstract() Indicate whether this class is abstract.
boolean	isGeneric(boolean ignoreWildcards) Indicate whether this type is generic.
boolean	isInterface() Indicates whether this object is an interface type.
boolean	isStatic() Indicates whether this class is static.
boolean	isSubtypeOf(Type otherType) Test whether this type is a subtype of the given type according to transitive closure of definition of the direct supertype relation in section 4.10.2 of JLS for JavaSE 8.
InstantiatedType	substitute(Substitution substitution) Instantiates this generic class using the substitution to replace the type parameters.

Methods inherited from class randoop.types.ParameterizedType

forClass, forType, getBinaryName, getFqName, getUnqualifiedBinaryName

Methods inherited from class randoop.types.ClassOrInterfaceType

applyCaptureConversion, getAllSupertypesInclusive, getCanonicalName, getImmediateSupertypes, getInstantiatingSubstitution, getMatchingSupertype, getPackage, getPackagePrefix, getSimpleName, getSuperTypes, hasCaptureVariable, hasWildcard, isClassOrInterfaceType, isInstantiationOf, isMemberClass, isNestedClass, isParameterized, substitute

Methods inherited from class randoop.types.ReferenceType

getInstantiatingSubstitutionforTypeVariable, isAssignableFrom, isCaptureVariable, isReferenceType

Methods inherited from class randoop.types.Type

compareTo, forFullyQualifiedName, forName, forValue, getTypeforFullyQualifiedName, isArray, isAssignableFromTypeOf, isBoxedPrimitive, isClass, isEnum, isGeneric, 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

rawType

private java.lang.Class<?> rawType

The rawtype of the generic class.

parameters

private java.util.List<TypeVariable> parameters

The type parameters of the generic class.

Constructor Detail

GenericClassType

GenericClassType(java.lang.Class<?> rawType)

Creates a GenericClassType for the given raw type.

Parameters:

rawType - the Class raw type

Method Detail

equals

public boolean equals(@Nullable java.lang.Object obj)

Checks that the rawtypes are the same. This is sufficient since the type parameters and their bounds can be reconstructed from the Class object. Also, parameters can be distinct depending on how this object is constructed.

Overrides:

equals in class ClassOrInterfaceType

Returns:

true if two generic classes have the same rawtype, false otherwise

hashCode

public int hashCode()

Overrides:

hashCode in class ClassOrInterfaceType

substitute

public InstantiatedType substitute(Substitution substitution)

Instantiates this generic class using the substitution to replace the type parameters.

Specified by:

substitute in class ParameterizedType

Parameters:

substitution - the type substitution

Returns:

a ParameterizedType instantiating this generic class by the given substitution

applyCaptureConversion

public GenericClassType applyCaptureConversion()

Description copied from class: Type

Applies a capture conversion to this type.

Specified by:

applyCaptureConversion in class ClassOrInterfaceType

Returns:

a copy of this type with wildcards replaced by type conversion

getInterfaces

public java.util.List<ClassOrInterfaceType> getInterfaces()

Returns the interface types directly implemented by this class or interface type. Preserves the order in the reflection method Class.getGenericInterfaces(). If no interfaces are implemented, then returns the empty list.

Note that this method uses Class.getInterfaces() and does not preserve the relationship between the type parameters of a class and its interfaces, and should not be used when finding supertypes of types represented as InstantiatedType objects.

Specified by:

getInterfaces in class ClassOrInterfaceType

Returns:

the list of interfaces directly implemented by this type

getInterfaces

java.util.List<ClassOrInterfaceType> getInterfaces(Substitution substitution)

Return the directly-implemented interface types for this generic class type, instantiated by the given type Substitution.

This method is not public. It is used when finding the interfaces of an InstantiatedType using InstantiatedType.getInterfaces(), where it is important that the relationship between type variables is preserved. The reflection method Class.getGenericInterfaces() ensures the type variable objects are the same from a class to its interfaces, which allows the use of the same substitution for both types.

Parameters:

substitution - the type substitution

Returns:

the list of instantiated directly-implemented interface types of this type

getGenericClassType

public GenericClassType getGenericClassType()

Description copied from class: ParameterizedType

Returns the GenericClassType for this parameterized type.

Specified by:

getGenericClassType in class ParameterizedType

Returns:

the generic class type for this type

getRuntimeClass

public java.lang.Class<?> getRuntimeClass()

Description copied from class: Type

Returns the runtime Class object for this type. For use when reflection is needed.

Note that type variables and the null reference type do not have a runtime class, and this method will return null in those cases.

This method should not be confused with the inherited Object.getClass() method, which returns the Class<?> for the Type object, and not of the represented type. For instance, if a Type object t represented the Java type int, then t.getRuntimeClass() would return int.class while t.getClass() would return Type.class.

Specified by:

getRuntimeClass in class Type

Returns:

the Class that is the runtime representation of the type, or null if this type is a type variable or null reference type

getSuperclass

public ClassOrInterfaceType getSuperclass()

Return the type for the superclass for this class.

Note that this method uses Class.getSuperclass() and does not preserve the relationship between the type parameters of a class and its superclass, and should not be used when finding supertypes of types represented as InstantiatedType objects.

Specified by:

getSuperclass in class ClassOrInterfaceType

Returns:

superclass of this type, or the Object type if this type has no superclass

getSuperclass

ClassOrInterfaceType getSuperclass(Substitution substitution)

Returns the superclass type for this generic class type instantiated by the given type Substitution.

This method is not public. It is used when finding the superclass of an InstantiatedType using InstantiatedType.getSuperclass(), where it is important that the relationship between type variables is preserved. The reflection method Class.getGenericSuperclass() ensures the type variable objects are the same from subclass to superclass, which allows the use of the same substitution for both types.

Parameters:

substitution - the type substitution

Returns:

the instantiated type

getTypeArguments

public java.util.List<TypeArgument> getTypeArguments()

Description copied from class: ClassOrInterfaceType

Returns the type arguments for this type.

Overrides:

getTypeArguments in class ClassOrInterfaceType

Returns:

the list of type arguments

getTypeParameters

public java.util.List<TypeVariable> getTypeParameters()

Returns the list of type parameters of this generic class.

Overrides:

getTypeParameters in class ClassOrInterfaceType

Returns:

the list of type parameters of this generic class

instantiate

public InstantiatedType instantiate(ReferenceType... typeArguments)

Creates a type substitution using the given type arguments and applies it to this type.

Parameters:

typeArguments - the type arguments

Returns:

a type which is this type parameterized by the given type arguments

See Also:

substitute(Substitution)

instantiate

public InstantiatedType instantiate(java.util.List<ReferenceType> typeArguments)

Creates a type substitution using the given type arguments and applies it to this type.

Parameters:

typeArguments - the type arguments

Returns:

the type that is this type instantiated by the given type arguments

See Also:

substitute(Substitution)

isAbstract

public boolean isAbstract()

Description copied from class: ClassOrInterfaceType

Indicate whether this class is abstract.

Specified by:

isAbstract in class ClassOrInterfaceType

Returns:

true if this class is abstract, false otherwise

isGeneric

public boolean isGeneric(boolean ignoreWildcards)

Description copied from class: Type

Indicate whether this type is generic. A type is generic if it has one or more type variables.

Overrides:

isGeneric in class ClassOrInterfaceType

Parameters:

ignoreWildcards - if true, ignore wildcards; that is, treat wildcards as not making the operation generic

Returns:

true if this type is generic, false otherwise

isInterface

public boolean isInterface()

Description copied from class: Type

Indicates whether this object is an interface type.

Overrides:

isInterface in class Type

Returns:

true if this object is an interface type, false otherwise

isStatic

public boolean isStatic()

Description copied from class: ClassOrInterfaceType

Indicates whether this class is static.

Specified by:

isStatic in class ClassOrInterfaceType

Returns:

true if this class is static, false otherwise

isSubtypeOf

public boolean isSubtypeOf(Type otherType)

Test whether this type is a subtype of the given type according to transitive closure of definition of the direct supertype relation in section 4.10.2 of JLS for JavaSE 8.

Handles the specific cases of supertypes of a generic class C<F1,...,Fn> for which the direct supertypes are:

1. the direct superclass,
2. the direct superinterfaces,
3. the type Object, and
4. the raw type C

Overrides:

isSubtypeOf in class ClassOrInterfaceType

Parameters:

otherType - the possible supertype

Returns:

true if this type is a subtype of the given type, false otherwise

See Also:

ReferenceType.isAssignableFrom(Type), ClassOrInterfaceType.isSubtypeOf(Type)

getRawtype

public NonParameterizedType getRawtype()

Returns the rawtype Type for this generic class.

Specified by:

getRawtype in class ClassOrInterfaceType

Returns:

the rawtype for this generic class