randoop.types

Class ParameterType

java.lang.Object

randoop.types.Type

randoop.types.ReferenceType

randoop.types.ParameterType

All Implemented Interfaces:

java.lang.Comparable<Type>

Direct Known Subclasses:

TypeVariable, WildcardType

public abstract class ParameterType
extends ReferenceType

An abstract class representing kinds of type parameters, which are either type variables or wildcard types. Manages both upper and lower type bounds.

Field Summary

Fields

Modifier and Type	Field and Description
private ParameterBound	lowerBound The lower bound on this type.
private ParameterBound	upperBound The upper bound on this type.

Constructor Summary

Constructors

Constructor and Description
ParameterType()
ParameterType(ParameterBound lowerBound, ParameterBound upperBound)

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object object)
java.lang.String	getCanonicalName() Returns the name of this type as the "canonical name" of the underlying runtime class.
ParameterBound	getLowerTypeBound()
@Nullable java.lang.Class<?>	getRuntimeClass() Returns the runtime Class object for this type.
java.util.List<TypeVariable>	getTypeParameters() Returns the list of type parameters for this type.
ParameterBound	getUpperTypeBound()
boolean	hasCaptureVariable() Indicates whether this ReferenceType has a capture variable.
boolean	hasGenericBound() Return true if this has a generic bound.
int	hashCode()
boolean	hasWildcard() Indicates whether this type has a wildcard anywhere within it.
(package private) void	setLowerBound(ParameterBound lowerBound)
(package private) void	setUpperBound(ParameterBound upperBound)
java.lang.String	toString()

Methods inherited from class randoop.types.ReferenceType

applyCaptureConversion, forClass, forType, getInstantiatingSubstitution, getInstantiatingSubstitutionforTypeVariable, isAssignableFrom, isCaptureVariable, isInstantiationOf, isReferenceType, isSubtypeOf, substitute

Methods inherited from class randoop.types.Type

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

Methods inherited from class java.lang.Object

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

Field Detail

lowerBound

private ParameterBound lowerBound

The lower bound on this type.

upperBound

private ParameterBound upperBound

The upper bound on this type.

Constructor Detail

ParameterType

ParameterType()

ParameterType

ParameterType(ParameterBound lowerBound,
              ParameterBound upperBound)

Method Detail

equals

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

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class Type

getCanonicalName

public java.lang.String getCanonicalName()

Description copied from class: Type

Returns the name of this type as the "canonical name" of the underlying runtime class. Identical to Type.getFqName() except for types with type arguments. For java.util.List<T> returns "java.util.List". Returns null when Class<?>.getCanonicalName() does for the underlying Class<?> object (e.g., the type is a local or anonymous class, or array type where the component type that has no canonical name).

Overrides:

getCanonicalName in class Type

Returns:

the fully-qualified canonical name of this type

getLowerTypeBound

public ParameterBound getLowerTypeBound()

getUpperTypeBound

public ParameterBound getUpperTypeBound()

getTypeParameters

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

Description copied from class: ReferenceType

Returns the list of type parameters for this type. Reference types that may have type parameters include ArrayType (such as E[]), and subclasses of ParameterizedType.

Overrides:

getTypeParameters in class ReferenceType

Returns:

the type parameters for this type

getRuntimeClass

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

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:

null since type variables do not have a runtime class

setUpperBound

void setUpperBound(ParameterBound upperBound)

setLowerBound

void setLowerBound(ParameterBound lowerBound)

hasWildcard

public boolean hasWildcard()

Description copied from class: Type

Indicates whether this type has a wildcard anywhere within it.

Overrides:

hasWildcard in class Type

Returns:

true if this type has a wildcard, false otherwise

hasCaptureVariable

public boolean hasCaptureVariable()

Description copied from class: Type

Indicates whether this ReferenceType has a capture variable.

Overrides:

hasCaptureVariable in class Type

Returns:

true iff this type has a capture variable

hasGenericBound

public boolean hasGenericBound()

Return true if this has a generic bound.

Returns:

true if this has a generic bound