Package randoop.types

Class ReferenceBound

java.lang.Object

randoop.types.ParameterBound

randoop.types.ReferenceBound

Direct Known Subclasses:

EagerReferenceBound, LazyReferenceBound

public abstract class ReferenceBound
extends ParameterBound

Represents a bound on a type variable where the bound is a ReferenceType.

Field Summary

Fields

Modifier and Type	Field	Description
private ReferenceType	boundType	The type for this bound.

Constructor Summary

Constructors

Constructor	Description
ReferenceBound(ReferenceType boundType)	Creates a ReferenceBound with the given bound type.

Method Summary

Modifier and Type	Method	Description
abstract ReferenceBound	applyCaptureConversion()	Applies a capture conversion to any wildcard arguments in the type of this bound.
boolean	equals(Object obj)
ReferenceType	getBoundType()	Returns the ReferenceType bound of this type.
boolean	hasCaptureVariable()	Indicates whether the type of this bound has a capture variable.
int	hashCode()
(package private) boolean	hasWildcard()	Indicates whether the type of this bound has a wildcard type argument.
boolean	isGeneric(boolean ignoreWildcards)	Indicates whether the type of this bound is generic.
boolean	isObject()	Indicate whether this bound is Object.
boolean	isVariable()	Indicates whether this bound is a type variable.
abstract ReferenceBound	substitute(Substitution substitution)	Applies the given substitution to this type bound by replacing type variables.
String	toString()

Methods inherited from class randoop.types.ParameterBound

forType, forType, forTypes, getTypeParameters, isGeneric, isLowerBound, isLowerBound, isSubtypeOf, isTypeVariable, isUpperBound, isUpperBound

Methods inherited from class java.lang.Object

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

Field Detail

boundType

private final ReferenceType boundType

The type for this bound.

Constructor Detail

ReferenceBound

ReferenceBound(ReferenceType boundType)

Creates a ReferenceBound with the given bound type.

Parameters:

boundType - the ReferenceType of this bound

Method Detail

getBoundType

public ReferenceType getBoundType()

Returns the ReferenceType bound of this type.

Returns:

the type for this bound

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

substitute

public abstract ReferenceBound substitute(Substitution substitution)

Description copied from class: ParameterBound

Applies the given substitution to this type bound by replacing type variables.

Specified by:

substitute in class ParameterBound

Parameters:

substitution - the type substitution

Returns:

this bound with the type after the substitution has been applied

applyCaptureConversion

public abstract ReferenceBound applyCaptureConversion()

Description copied from class: ParameterBound

Applies a capture conversion to any wildcard arguments in the type of this bound.

Specified by:

applyCaptureConversion in class ParameterBound

Returns:

this type with any wildcards replaced by capture conversion

See Also:

ReferenceType.applyCaptureConversion()

hasWildcard

boolean hasWildcard()

Description copied from class: ParameterBound

Indicates whether the type of this bound has a wildcard type argument.

Specified by:

hasWildcard in class ParameterBound

Returns:

true, if this bound has a wildcard argument, and false otherwise

hasCaptureVariable

public boolean hasCaptureVariable()

Description copied from class: ParameterBound

Indicates whether the type of this bound has a capture variable.

Specified by:

hasCaptureVariable in class ParameterBound

Returns:

true iff this bound has a capture variable

isGeneric

public boolean isGeneric(boolean ignoreWildcards)

Description copied from class: ParameterBound

Indicates whether the type of this bound is generic.

Specified by:

isGeneric in class ParameterBound

Parameters:

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

Returns:

true, if this bound type is generic, and false otherwise

isObject

public boolean isObject()

Description copied from class: ParameterBound

Indicate whether this bound is Object.

Specified by:

isObject in class ParameterBound

Returns:

true if this bound is Object, false otherwise

isVariable

public boolean isVariable()

Description copied from class: ParameterBound

Indicates whether this bound is a type variable.

Overrides:

isVariable in class ParameterBound

Returns:

true if this bound is a type variable, false otherwise