TypeVariable (randoop 4.3.4 API)

java.lang.Object
- randoop.types.Type
- - randoop.types.ReferenceType
  - - randoop.types.ParameterType
    - - randoop.types.TypeVariable

All Implemented Interfaces:

java.lang.Comparable<Type>

Direct Known Subclasses:

CaptureTypeVariable, ExplicitTypeVariable
```
public abstract class TypeVariable
extends ParameterType
```
An abstract class representing type variables.

Constructor Summary

Constructors
Constructor and Description
`TypeVariable()` Creates a type variable with `NullReferenceType` as the lower bound, and the `Object` type as upper bound.
`TypeVariable(ParameterBound lowerBound, ParameterBound upperBound)` Creates a type variable with the given type bounds.

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`(package private) boolean`	`canBeInstantiatedBy(ReferenceType otherType)` Indicates whether this `TypeVariable` can be instantiated by the `ReferenceType`.
`abstract TypeVariable`	`createCopyWithBounds(ParameterBound lowerBound, ParameterBound upperBound)`
`static TypeVariable`	`forType(java.lang.reflect.Type type)` Creates a `TypeVariable` object for a given `java.lang.reflect.Type` reference, which must be a `java.lang.reflect.TypeVariable`.
`Type`	`getRawtype()` Returns the raw type for this type, which is this type except for generic types.
`private static Substitution`	`getSubstitution(TypeVariable variable, ReferenceType otherType)` Creates a substitution of the given `ReferenceType` for the `TypeVariable`.
`java.util.List<TypeVariable>`	`getTypeParameters()` Returns the type parameters in this type, which is this variable.
`boolean`	`isAssignableFrom(Type sourceType)` Indicates whether there is an assignment conversion from a source `Type` to this type.
`boolean`	`isInstantiationOf(ReferenceType otherType)` Indicates whether this type is an instantiation of a more general type.
`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 of JLS for Java SE 8.
`boolean`	`isVariable()` Indicates whether this type is a type variable.
`ReferenceType`	`substitute(Substitution substitution)` Applies a substitution to a `ReferenceType`.
`java.lang.String`	`toString()`

Methods inherited from class randoop.types.ParameterType
equals, getCanonicalName, getLowerTypeBound, getRuntimeClass, getUpperTypeBound, hasCaptureVariable, hasGenericBound, hashCode, 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, getBinaryName, getFqName, getSimpleName, getTypeforFullyQualifiedName, getUnqualifiedBinaryName, isArray, isAssignableFromTypeOf, isBoxedPrimitive, isClass, isClassOrInterfaceType, isEnum, isGeneric, 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

- Constructor Detail
  - TypeVariable
```
TypeVariable()
```
    Creates a type variable with NullReferenceType as the lower bound, and the Object type as upper bound.
  - TypeVariable
```
TypeVariable(ParameterBound lowerBound,
             ParameterBound upperBound)
```
    Creates a type variable with the given type bounds. Assumes the bounds are consistent and does not check for the subtype relationship.
    
    Parameters:
    
    lowerBound - the lower type bound on this variable
    
    upperBound - the upper type bound on this variable
- Method Detail
  - forType
```
public static TypeVariable forType(java.lang.reflect.Type type)
```
    Creates a TypeVariable object for a given java.lang.reflect.Type reference, which must be a java.lang.reflect.TypeVariable.
    
    Parameters:
    
    type - the type reference
    
    Returns:
    
    the TypeVariable for the given type
  - 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.
    
    Specified by:
    
    substitute in class ReferenceType
    
    Parameters:
    
    substitution - the type substitution
    
    Returns:
    
    the type created by applying the substitution to this type
  - isAssignableFrom
```
public boolean isAssignableFrom(Type sourceType)
```
    Indicates whether there is an assignment conversion from a source Type to this type. (In other words, a value of the source type can be assigned to an l-value of this type.) Returns true if this is a legal assignment conversion: Variable_this = Expression_sourcetype.
    Based on the definition of assignment context in section 5.2 of the Java Language Specification, a value of one type is assignable to a variable of another type if the first type can be converted to the second by
    - an identity conversion (section 5.1.1),
    - a widening primitive conversion (section 5.1.2),
    - a widening reference conversion (section 5.1.5),
    - a boxing conversion (5.1.7), or
    - an unboxing conversion (section 5.1.8) possibly followed by a widening conversion.
    And, if after all those conversions, the type is a raw type, an unchecked conversion may occur.
    For assignment to ReferenceType, checks for widening reference conversion when the source type is also a reference type. See section JLS 5.1.5 for details.
    Returns false, since an uninstantiated type variable may not be assigned to.
    Overrides:
    
    isAssignableFrom in class ReferenceType
    
    Parameters:
    
    sourceType - the type to test for assignability
    
    Returns:
    
    true if this type can be assigned from the source type, and false otherwise
  - isInstantiationOf
```
public boolean isInstantiationOf(ReferenceType otherType)
```
    Description copied from class: ReferenceType
    
    Indicates whether this type is an instantiation of a more general type.
    For a general ReferenceType, this is only true if the other type is the same, or the other type is a type variable for which this type satisfies the bounds. Other cases are handled by the overriding implementations ClassOrInterfaceType.isInstantiationOf(ReferenceType), InstantiatedType.isInstantiationOf(ReferenceType), and isInstantiationOf(ReferenceType).
    
    Overrides:
    
    isInstantiationOf in class ReferenceType
    
    Parameters:
    
    otherType - the general reference type
    
    Returns:
    
    true if this type instantiates the other reference type, false otherwise
  - isSubtypeOf
```
public boolean isSubtypeOf(Type otherType)
```
    Description copied from class: ReferenceType
    
    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 of JLS for Java SE 8.
    For ReferenceType, returns true if otherType is Object.
    
    Overrides:
    
    isSubtypeOf in class ReferenceType
    
    Parameters:
    
    otherType - the possible supertype
    
    Returns:
    
    true if this type is a subtype of the given type, false otherwise
  - getSubstitution
```
private static Substitution getSubstitution(TypeVariable variable,
                                            ReferenceType otherType)
```
    Creates a substitution of the given ReferenceType for the TypeVariable.
    
    Parameters:
    
    variable - the variable
    
    otherType - the replacement type
    
    Returns:
    
    a substitution that replaces variable with otherType
  - isVariable
```
public boolean isVariable()
```
    Description copied from class: Type
    
    Indicates whether this type is a type variable.
    
    Overrides:
    
    isVariable in class Type
    
    Returns:
    
    true if this type is a type variable, false otherwise
  - canBeInstantiatedBy
```
boolean canBeInstantiatedBy(ReferenceType otherType)
```
    Indicates whether this TypeVariable can be instantiated by the ReferenceType. Does not require that all bounds of this variable be instantiated.
    
    Parameters:
    
    otherType - the possibly instantiating type, not a variable
    
    Returns:
    
    true if the given type can instantiate this variable, false otherwise
  - getTypeParameters
```
public java.util.List<TypeVariable> getTypeParameters()
```
    Returns the type parameters in this type, which is this variable.
    
    Overrides:
    
    getTypeParameters in class ParameterType
    
    Returns:
    
    this variable
  - createCopyWithBounds
```
public abstract TypeVariable createCopyWithBounds(ParameterBound lowerBound,
                                                  ParameterBound upperBound)
```
  - getRawtype
```
public Type getRawtype()
```
    Description copied from class: Type
    
    Returns the raw type for this type, which is this type except for generic types.
    
    Overrides:
    
    getRawtype in class Type
    
    Returns:
    
    the raw type corresponding to this type
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class ParameterType

Class TypeVariable

Constructor Summary

Method Summary

Methods inherited from class randoop.types.ParameterType

Methods inherited from class randoop.types.ReferenceType

Methods inherited from class randoop.types.Type

Methods inherited from class java.lang.Object

Constructor Detail

TypeVariable

TypeVariable

Method Detail

forType

substitute

isAssignableFrom

isInstantiationOf

isSubtypeOf

getSubstitution

isVariable

canBeInstantiatedBy

getTypeParameters

createCopyWithBounds

getRawtype

toString