randoop.types

Class WildcardType

java.lang.Object

randoop.types.Type

randoop.types.ReferenceType

randoop.types.ParameterType

randoop.types.WildcardType

All Implemented Interfaces:

java.lang.Comparable<Type>

class WildcardType
extends ParameterType

Represents a wildcard type, which occurs as a type argument to a parameterized type.

A wildcard may have either an upper or lower bound as defined in JLS Section 4.5.1.

   ? [ extends ReferenceType ]
   ? [ super ReferenceType ]
 

See Also:

WildcardArgument

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	hasUpperBound

Constructor Summary

Constructors

Modifier	Constructor and Description
private	WildcardType()
(package private)	WildcardType(ParameterBound bound, boolean hasUpperBound)

Method Summary

Modifier and Type	Method and Description
WildcardType	applyCaptureConversion() Applies a capture conversion to this type.
boolean	contains(WildcardType otherType) If this type has an upper bound, checks for containment cases: ? extends T contains ? extends S if T.isSubtypeOf(S) ? extends T contains ? Both of which are technically the same because from a reflection perspective ? is just ? extends Object.
boolean	equals(@Nullable java.lang.Object obj)
static WildcardType	forType(java.lang.reflect.WildcardType type) Creates a wildcard type from a given reflection type.
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.
java.lang.String	getSimpleName() Returns the name of this type without type arguments or package qualifiers.
ParameterBound	getTypeBound() Returns the bound of this -- either the upper or lower bound.
int	hashCode()
(package private) boolean	hasUpperBound() Returns true if this wildcard has an upper bound.
boolean	isGeneric(boolean ignoreWildcards) Indicate whether this type is generic.
WildcardType	substitute(Substitution substitution) Applies a substitution to a ReferenceType.
java.lang.String	toString()

Methods inherited from class randoop.types.ParameterType

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

Methods inherited from class randoop.types.ReferenceType

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

Methods inherited from class randoop.types.Type

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

hasUpperBound

private final boolean hasUpperBound

Constructor Detail

WildcardType

private WildcardType()

WildcardType

WildcardType(ParameterBound bound,
             boolean hasUpperBound)

Method Detail

forType

public static WildcardType forType(java.lang.reflect.WildcardType type)

Creates a wildcard type from a given reflection type. Assumes that the bounds array has a single element as defined in JLS Section 4.5.1.

Parameters:

type - the java.lang.reflect.WildcardType object

Returns:

a WildcardType with the bounds from the given reflection type

equals

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

Overrides:

equals in class ParameterType

hashCode

public int hashCode()

Overrides:

hashCode in class ParameterType

toString

public java.lang.String toString()

Overrides:

toString 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

getTypeBound

public ParameterBound getTypeBound()

Returns the bound of this -- either the upper or lower bound.

Returns:

the bound of this -- either the upper or lower bound

substitute

public WildcardType 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.

Specified by:

substitute in class ReferenceType

Parameters:

substitution - the type substitution

Returns:

the type created by applying the substitution to this type

applyCaptureConversion

public WildcardType applyCaptureConversion()

Description copied from class: Type

Applies a capture conversion to this type.

Overrides:

applyCaptureConversion in class ReferenceType

Returns:

a copy of this type with wildcards replaced by type conversion

contains

public boolean contains(WildcardType otherType)

If this type has an upper bound, checks for containment cases:

• ? extends T contains ? extends S if T.isSubtypeOf(S)
• ? extends T contains ?

Both of which are technically the same because from a reflection perspective ? is just ? extends Object. Otherwise, checks for the cases

• ? super T contains ? super S if S.isSubtypeOf(T)
• ? super T contains ?
• ? super T contains ? extends Object

The last two being equivalent from the perspective of reflection.

Parameters:

otherType - the type to check for

Returns:

true if this type contains the other type, 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 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

hasUpperBound

boolean hasUpperBound()

Returns true if this wildcard has an upper bound.

Returns:

true if this wildcard has an upper bound