uk.co.strangeskies.reflection

Class TypeBounds

java.lang.Object

uk.co.strangeskies.reflection.TypeBounds

public class TypeBounds
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TypeBounds()

Method Summary

Modifier and Type	Method and Description
java.lang.reflect.Type	best(java.lang.Class<?> rawClass, java.util.List<java.lang.reflect.ParameterizedType> parameterizations) Given a number of candidate parameterizations of a given class, derive the most specific possible parameterization which is a supertype of all candidates according to the Java 8 language specification regarding type inference.
java.lang.reflect.Type	greatestLowerBound(java.util.Collection<? extends java.lang.reflect.Type> lowerBounds) Derive the greatest lower bound for a set of types, as defined in the Java language specification.
java.lang.reflect.Type	greatestLowerBound(java.lang.reflect.Type... lowerBounds) See greatestLowerBound(Collection).
java.lang.reflect.Type	leastContainingArgument(java.lang.reflect.Type argumentU, java.lang.reflect.Type argumentV) Fetch the least containing argument of type type arguments according to the Java 8 language specification.
java.lang.reflect.Type	leastUpperBound(java.util.Collection<java.lang.reflect.Type> upperBounds) Derive the least upper bound for a set of types, as defined in the Java language specification.
java.lang.reflect.Type	leastUpperBound(java.lang.reflect.Type... upperBounds) See leastUpperBound(Collection).

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeBounds

public TypeBounds()

Method Detail

leastUpperBound

public java.lang.reflect.Type leastUpperBound(java.lang.reflect.Type... upperBounds)

See leastUpperBound(Collection).

Parameters:

upperBounds - Forwards to upperBounds parameter.

Returns:

As referenced method.

leastUpperBound

public java.lang.reflect.Type leastUpperBound(java.util.Collection<java.lang.reflect.Type> upperBounds)

Derive the least upper bound for a set of types, as defined in the Java language specification.

Parameters:

upperBounds - A collection of types representing the upper bounds of an unknown type.

Returns:

The least specific single type which, as an upper bound, will also satisfy each upper bound in the given set.

best

public java.lang.reflect.Type best(java.lang.Class<?> rawClass,
                                   java.util.List<java.lang.reflect.ParameterizedType> parameterizations)

Given a number of candidate parameterizations of a given class, derive the most specific possible parameterization which is a supertype of all candidates according to the Java 8 language specification regarding type inference.

Parameters:

rawClass - the class to be parameterized

parameterizations - the candidate parameterizations

Returns:

the parameterized type which minimally contains all the given types

leastContainingArgument

public java.lang.reflect.Type leastContainingArgument(java.lang.reflect.Type argumentU,
                                                      java.lang.reflect.Type argumentV)

Fetch the least containing argument of type type arguments according to the Java 8 language specification.

Parameters:

argumentU - the first argument

argumentV - the second argument

Returns:

the type argument which minimally contains both the given type arguments

greatestLowerBound

public java.lang.reflect.Type greatestLowerBound(java.lang.reflect.Type... lowerBounds)

See greatestLowerBound(Collection).

Parameters:

lowerBounds - Forwards to lowerBounds parameter.

Returns:

As referenced method.

greatestLowerBound

public java.lang.reflect.Type greatestLowerBound(java.util.Collection<? extends java.lang.reflect.Type> lowerBounds)

Derive the greatest lower bound for a set of types, as defined in the Java language specification.

Parameters:

lowerBounds - A collection of types representing the lower bounds of an unknown type.

Returns:

The most specific single type which, as a lower bound, will also satisfy each lower bound in the given set.