uk.co.strangeskies.reflection

Class CaptureConversion

java.lang.Object

uk.co.strangeskies.reflection.CaptureConversion

public class CaptureConversion
extends java.lang.Object

A CaptureConversion is a special sort of bound which can be contained within a BoundSet. It represents a capture conversion, as the process is described in the Java 8 language specification.

The captures made by this capture conversion are not yet fully instantiated, meaning that the types of the capturing variables, and the bounds on those types, may involve InferenceVariables.

Constructor Summary

Constructors

Constructor and Description
CaptureConversion(java.lang.reflect.ParameterizedType originalType) Create a capture conversion over a given ParameterizedType.

Method Summary

Modifier and Type	Method and Description
java.lang.reflect.Type	getCapturedArgument(InferenceVariable variable)
java.lang.reflect.TypeVariable<?>	getCapturedParameter(InferenceVariable variable)
java.lang.reflect.ParameterizedType	getCaptureType()
java.util.Set<InferenceVariable>	getInferenceVariables()
java.util.stream.Stream<InferenceVariable>	getInferenceVariablesMentioned() Find all inference variables mentioned by this capture conversion.
java.lang.reflect.ParameterizedType	getOriginalType()
java.lang.String	toString()
CaptureConversion	withInferenceVariableSubstitution(Isomorphism isomorphism) Substitute any mentions of the inference variables present as keys in the given map with their associated values in the map.

Methods inherited from class java.lang.Object

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

Constructor Detail

CaptureConversion

public CaptureConversion(java.lang.reflect.ParameterizedType originalType)

Create a capture conversion over a given ParameterizedType. Arguments will be substituted with new InferenceVariables, such that a new type is described which represents the result of capture conversion on the given type.

Parameters:

originalType - The type to capture.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOriginalType

public java.lang.reflect.ParameterizedType getOriginalType()

Returns:

The original type which has been captured.

getCaptureType

public java.lang.reflect.ParameterizedType getCaptureType()

Returns:

A ParameterizedType whose arguments are the same as those in the original type, or in the case of WildcardTypes, the InferenceVariables which capture those arguments.

getInferenceVariables

public java.util.Set<InferenceVariable> getInferenceVariables()

Returns:

The set of inference variables created through this capture conversion operation.

getCapturedArgument

public java.lang.reflect.Type getCapturedArgument(InferenceVariable variable)

Parameters:

variable - An inference variable which may represent a capture which is part of this capture conversion.

Returns:

The argument of the original type captured by a given InferenceVariable.

getCapturedParameter

public java.lang.reflect.TypeVariable<?> getCapturedParameter(InferenceVariable variable)

Parameters:

variable - An inference variable which may represent a capture which is part of this capture conversion.

Returns:

The parameter of the original type captured by a given InferenceVariable.

withInferenceVariableSubstitution

public CaptureConversion withInferenceVariableSubstitution(Isomorphism isomorphism)

Substitute any mentions of the inference variables present as keys in the given map with their associated values in the map.

Parameters:

isomorphism - an isomorphism for inference variables

Returns:

A new CaptureConversion instance which is equal to the receiving instance but for the substitutions made.

getInferenceVariablesMentioned

public java.util.stream.Stream<InferenceVariable> getInferenceVariablesMentioned()

Find all inference variables mentioned by this capture conversion.

Returns:

A set containing all inference variables mentioned on either side of this capture conversion with respect to the given bound set.