uk.co.strangeskies.reflection

Class IntersectionTypes

java.lang.Object

uk.co.strangeskies.reflection.IntersectionTypes

@ProviderType
public class IntersectionTypes
extends java.lang.Object

A collection of utility methods relating to intersection types.

Method Summary

Modifier and Type	Method and Description
static java.lang.reflect.Type[]	getTypes(java.lang.reflect.Type type)
static java.lang.reflect.Type	intersectionOf(java.util.Collection<? extends java.lang.reflect.Type> types)
static java.lang.reflect.Type	intersectionOf(java.util.Collection<? extends java.lang.reflect.Type> types, BoundSet bounds) Create an intersection type from the given types, with leniency towards validation of intersections between types which may contain inference variables according to the given bound set.
static java.lang.reflect.Type	intersectionOf(java.lang.reflect.Type... types)
static IntersectionType	proxy(java.util.function.Supplier<IntersectionType> source)
static java.lang.String	toString(IntersectionType type, Imports imports) Give a canonical String representation of an intersection type which supports infinite types.
static java.lang.String	toString(IntersectionType type, Imports imports, Isomorphism isomorphism) Give a canonical String representation of an intersection type which supports infinite types.

Methods inherited from class java.lang.Object

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

Method Detail

proxy

public static IntersectionType proxy(java.util.function.Supplier<IntersectionType> source)

Parameters:

source - A supplier of the intersection type we wish to proxy.

Returns:

A proxy for an intersection type, forwarding to the instance provided by the given supplier at the moment of each invocation. This is generally useful for algorithms which deal with infinite types.

intersectionOf

public static java.lang.reflect.Type intersectionOf(java.lang.reflect.Type... types)

Parameters:

types - The set of types from which to derive a new intersection type.

Returns:

An intersection type containing each of the given types, or a single type, if they can all be represented as such.

intersectionOf

public static java.lang.reflect.Type intersectionOf(java.util.Collection<? extends java.lang.reflect.Type> types)

Parameters:

types - The set of types from which to derive a new intersection type.

Returns:

An intersection type containing each of the given types, or a single type, if they can all be represented as such.

intersectionOf

public static java.lang.reflect.Type intersectionOf(java.util.Collection<? extends java.lang.reflect.Type> types,
                                                    BoundSet bounds)

Create an intersection type from the given types, with leniency towards validation of intersections between types which may contain inference variables according to the given bound set.

Parameters:

types - The set of types from which to derive a new intersection type.

bounds - The bound set which provides context for any inference variables which may be mentioned by the given types.

Returns:

An intersection type containing each of the given types, or a single type, if they can all be represented as such.

toString

public static java.lang.String toString(IntersectionType type,
                                        Imports imports)

Give a canonical String representation of an intersection type which supports infinite types. Provided class and package imports allow the names of some classes to be output without full package qualification.

Parameters:

type - the type to print

imports - classes and packages for which full package qualification may be omitted from output

Returns:

a canonical string representation of the given type

toString

public static java.lang.String toString(IntersectionType type,
                                        Imports imports,
                                        Isomorphism isomorphism)

Give a canonical String representation of an intersection type which supports infinite types. Provided class and package imports allow the names of some classes to be output without full package qualification.

Parameters:

type - the type to print

imports - classes and packages for which full package qualification may be omitted from output

isomorphism - a type to string isomorphic mapping to deal with recursion

Returns:

a canonical string representation of the given type

getTypes

public static java.lang.reflect.Type[] getTypes(java.lang.reflect.Type type)