randoop.types

Class ExplicitTypeVariable

java.lang.Object

randoop.types.Type

randoop.types.ReferenceType

randoop.types.ParameterType

randoop.types.TypeVariable

randoop.types.ExplicitTypeVariable

All Implemented Interfaces:

java.lang.Comparable<Type>

class ExplicitTypeVariable
extends TypeVariable

Represents a type variable that is a type parameter. (See JLS, section 4.3.)

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.reflect.TypeVariable<?>	variable The type parameter.

Constructor Summary

Constructors

Constructor and Description
ExplicitTypeVariable(java.lang.reflect.TypeVariable<?> variable, ParameterBound bound) Create a ExplicitTypeVariable for the given type parameter.

Method Summary

Modifier and Type	Method and Description
TypeVariable	createCopyWithBounds(ParameterBound lowerBound, ParameterBound upperBound)
boolean	equals(@Nullable java.lang.Object obj)
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.
(package private) java.lang.reflect.TypeVariable<?>	getReflectionTypeVariable()
java.lang.String	getSimpleName() Returns the name of this type without type arguments or package qualifiers.
int	hashCode()
boolean	isGeneric(boolean ignoreWildcards) Indicate whether this type is generic.
ReferenceType	substitute(Substitution substitution) Applies a substitution to a ReferenceType.

Methods inherited from class randoop.types.TypeVariable

canBeInstantiatedBy, forType, getRawtype, getTypeParameters, isAssignableFrom, isInstantiationOf, isSubtypeOf, isVariable, toString

Methods inherited from class randoop.types.ParameterType

getCanonicalName, getLowerTypeBound, getRuntimeClass, getUpperTypeBound, hasCaptureVariable, hasGenericBound, hasWildcard, setLowerBound, setUpperBound

Methods inherited from class randoop.types.ReferenceType

applyCaptureConversion, forClass, getInstantiatingSubstitution, getInstantiatingSubstitutionforTypeVariable, isCaptureVariable, isReferenceType

Methods inherited from class randoop.types.Type

compareTo, forFullyQualifiedName, forName, forValue, getTypeforFullyQualifiedName, getUnqualifiedBinaryName, isArray, isAssignableFromTypeOf, isBoxedPrimitive, isClass, isClassOrInterfaceType, isEnum, isGeneric, isInterface, isNonreceiverType, isObject, isParameterized, isPrimitive, isRawtype, isString, isVoid, runtimeClassIs

Methods inherited from class java.lang.Object

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

Field Detail

variable

private final java.lang.reflect.TypeVariable<?> variable

The type parameter.

Constructor Detail

ExplicitTypeVariable

ExplicitTypeVariable(java.lang.reflect.TypeVariable<?> variable,
                     ParameterBound bound)

Create a ExplicitTypeVariable for the given type parameter.

Parameters:

variable - the type parameter

bound - the upper bound on the parameter

Method Detail

equals

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

Checks that the type parameter is equal. This may be more restrictive than desired because equivalent TypeVariable objects from different instances of the same type may be distinct.

Overrides:

equals in class ParameterType

Returns:

true if the type parameters are equal, false otherwise

hashCode

public int hashCode()

Overrides:

hashCode in class ParameterType

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

Specified by:

getFqName in class Type

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

Specified by:

getBinaryName in class Type

Returns:

the binary name for this type

getSimpleName

public java.lang.String getSimpleName()

Description copied from class: Type

Returns the name of this type without type arguments or package qualifiers. For java.util.List<T>, returns "List".

Specified by:

getSimpleName in class Type

Returns:

the name of this type without type arguments

getReflectionTypeVariable

java.lang.reflect.TypeVariable<?> getReflectionTypeVariable()

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 Type

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

substitute

public ReferenceType substitute(Substitution substitution)

Description copied from class: ReferenceType

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.

Overrides:

substitute in class TypeVariable

Parameters:

substitution - the type substitution

Returns:

the type created by applying the substitution to this type

createCopyWithBounds

public TypeVariable createCopyWithBounds(ParameterBound lowerBound,
                                         ParameterBound upperBound)

Specified by:

createCopyWithBounds in class TypeVariable