uk.co.strangeskies.reflection

Class TypeVariableCapture

java.lang.Object

uk.co.strangeskies.reflection.TypeVariableCapture

All Implemented Interfaces:

java.lang.reflect.Type

public class TypeVariableCapture
extends java.lang.Object
implements java.lang.reflect.Type

A representation of an unknown instantiation of a type variable or inference variable which is known to satisfy a certain set of upper and lower bonds.

Method Summary

Modifier and Type	Method and Description
static BoundSet	captureInferenceVariables(java.util.Collection<? extends InferenceVariable> types, BoundSet bounds) Capture fresh type variables as valid stand-in instantiations for a set of inference variables.
static TypeVariableCapture	captureWildcard(java.lang.reflect.TypeVariable<?> typeVariable, java.lang.reflect.WildcardType type) Capture new type variable instantiation over a given wildcard type.
static TypeVariableCapture	captureWildcard(java.lang.reflect.WildcardType type) Capture new type variable instantiation over a given wildcard type.
static java.lang.reflect.GenericArrayType	captureWildcardArguments(java.lang.reflect.GenericArrayType type) Capture new type variable instantiations over any wildcard arguments of the given generic array type.
static java.lang.reflect.ParameterizedType	captureWildcardArguments(java.lang.reflect.ParameterizedType type) Capture new type variable instantiations over any wildcard arguments of the given parameterized type.
java.lang.reflect.Type	getCapturedType()
java.lang.reflect.Type[]	getLowerBounds()
java.lang.String	getName()
java.lang.reflect.Type[]	getUpperBounds()
boolean	isPossibleInstantiation(java.lang.reflect.Type type) Determine whether a given type is a valid instantiation of this TypeVariableCapture, or in other words, whether it is contained by the bounds of this capture.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.reflect.Type

getTypeName

Method Detail

getName

public java.lang.String getName()

getCapturedType

public java.lang.reflect.Type getCapturedType()

Returns:

The InferenceVariable or WildcardType captured by this type variable capture.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isPossibleInstantiation

public boolean isPossibleInstantiation(java.lang.reflect.Type type)

Determine whether a given type is a valid instantiation of this TypeVariableCapture, or in other words, whether it is contained by the bounds of this capture.

Parameters:

type - The potential instantiation to validate.

Returns:

True if the instantiation is valid, false otherwise.

getUpperBounds

public java.lang.reflect.Type[] getUpperBounds()

Returns:

The upper bounds of this TypeVariableCapture.

getLowerBounds

public java.lang.reflect.Type[] getLowerBounds()

Returns:

The lower bounds of this TypeVariableCapture.

captureWildcardArguments

public static java.lang.reflect.GenericArrayType captureWildcardArguments(java.lang.reflect.GenericArrayType type)

Capture new type variable instantiations over any wildcard arguments of the given generic array type.

Parameters:

type - The generic array type whose arguments we wish to capture.

Returns:

A new parameterized type of the same class as the passed type, parameterized with the captures of the original arguments.

captureWildcardArguments

public static java.lang.reflect.ParameterizedType captureWildcardArguments(java.lang.reflect.ParameterizedType type)

Capture new type variable instantiations over any wildcard arguments of the given parameterized type.

Parameters:

type - The parameterized type whose arguments we wish to capture.

Returns:

A new parameterized type of the same class as the passed type, parameterized with the captures of the original arguments.

captureWildcard

public static TypeVariableCapture captureWildcard(java.lang.reflect.TypeVariable<?> typeVariable,
                                                  java.lang.reflect.WildcardType type)

Capture new type variable instantiation over a given wildcard type.

Parameters:

typeVariable - The type variable the new capture of the given wildcard is intended to represent an instantiation of.

type - The parameterized type whose arguments we wish to capture.

Returns:

A new parameterized type of the same class as the passed type, parameterized with the captures of the original arguments.

captureWildcard

public static TypeVariableCapture captureWildcard(java.lang.reflect.WildcardType type)

Capture new type variable instantiation over a given wildcard type.

Parameters:

type - The parameterized type whose arguments we wish to capture.

Returns:

A new parameterized type of the same class as the passed type, parameterized with the captures of the original arguments.

captureInferenceVariables

public static BoundSet captureInferenceVariables(java.util.Collection<? extends InferenceVariable> types,
                                                 BoundSet bounds)

Capture fresh type variables as valid stand-in instantiations for a set of inference variables.

Parameters:

types - The inference variables to capture.

bounds - The context from which to determine the current bounds on the given inference variables, and to incorporate new bounds into.

Returns:

A mapping from the inference variables passes to their new captures.