uk.co.strangeskies.reflection

Interface InferenceVariableBounds

public interface InferenceVariableBounds

This object describes the bounds present on a particular inference variable within the context of a particular bound set.

Method Summary

Modifier and Type	Method and Description
CaptureConversion	getCaptureConversion()
java.util.stream.Stream<java.lang.reflect.Type>	getEqualities()
InferenceVariable	getInferenceVariable()
java.util.Optional<java.lang.reflect.Type>	getInstantiation()
java.util.stream.Stream<java.lang.reflect.Type>	getLowerBounds()
java.util.stream.Stream<InferenceVariable>	getRemainingDependencies()
java.util.stream.Stream<java.lang.reflect.Type>	getUpperBounds()

Method Detail

getCaptureConversion

CaptureConversion getCaptureConversion()

Returns:

The capture conversion with this inference variable on its left side, if one exists.

getInferenceVariable

InferenceVariable getInferenceVariable()

Returns:

The inference variable the bounds described by this object apply to.

getEqualities

java.util.stream.Stream<java.lang.reflect.Type> getEqualities()

Returns:

All equality bounds on the described inference variable.

getUpperBounds

java.util.stream.Stream<java.lang.reflect.Type> getUpperBounds()

Returns:

All upper bounds on the described inference variable.

getLowerBounds

java.util.stream.Stream<java.lang.reflect.Type> getLowerBounds()

Returns:

All lower bounds on the described inference variable.

getInstantiation

java.util.Optional<java.lang.reflect.Type> getInstantiation()

Returns:

The instantiation on the described inference variable, if present.

getRemainingDependencies

java.util.stream.Stream<InferenceVariable> getRemainingDependencies()

Returns:

All inference variables related to this one through bounds. This set includes the inference variable itself.