uk.co.strangeskies.reflection

Class BoundSet.IncorporationTarget

java.lang.Object

uk.co.strangeskies.reflection.BoundSet.IncorporationTarget

Enclosing class:

BoundSet

public class BoundSet.IncorporationTarget
extends java.lang.Object

Consumer of different sorts of bounds which can be a applied to inference variables, as per chapter 18 of the Java 8 language specification.

Constructor Summary

Constructors

Constructor and Description
IncorporationTarget()

Method Summary

Modifier and Type	Method and Description
BoundSet	captureConversion(CaptureConversion captureConversion) Derive a new bound set containing the given capture conversion.
BoundSet	equality(java.lang.reflect.Type first, java.lang.reflect.Type second) Derive a new bound set containing the given equality.
BoundSet	falsehood(java.lang.String message) Derive a new bound set containing falsehood.
BoundSet	subtype(java.lang.reflect.Type subtype, java.lang.reflect.Type supertype) Derive a new bound set containing the given subtype.

Methods inherited from class java.lang.Object

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

Constructor Detail

IncorporationTarget

public IncorporationTarget()

Method Detail

equality

public BoundSet equality(java.lang.reflect.Type first,
                         java.lang.reflect.Type second)

Derive a new bound set containing the given equality. The receiving bound set will not be mutated.

If one or both of the arguments passed are considered inference variables within the enclosing BoundSet, the appropriate equality bound is added and further bounds are inferred as per the Java language specification. Otherwise, the invocation has no effect.

Parameters:

first - the first of two types whose equality we wish to assert

second - the second of two types whose equality we wish to assert

Returns:

the derived bound set

subtype

public BoundSet subtype(java.lang.reflect.Type subtype,
                        java.lang.reflect.Type supertype)

Derive a new bound set containing the given subtype. The receiving bound set will not be mutated.

If one or both of the arguments passed are considered inference variables within the enclosing BoundSet, the appropriate subtype bound is added and further bounds are inferred as per the Java language specification. Otherwise, the invocation has no effect.

Parameters:

subtype - a type which we wish to assert is a subtype of another

supertype - a type which we wish to assert is a supertype of another

Returns:

the derived bound set

captureConversion

public BoundSet captureConversion(CaptureConversion captureConversion)

Derive a new bound set containing the given capture conversion. The receiving bound set will not be mutated.

The given capture conversion is added to the enclosing bound set, and further bounds may be inferred as per the Java language specification.

Parameters:

captureConversion - the capture conversion to be incorporated into the bound set

Returns:

the derived bound set

falsehood

public BoundSet falsehood(java.lang.String message)

Derive a new bound set containing falsehood. The receiving bound set will not be mutated.

False is added to the bound set, invalidating it, and an exception is thrown describing the problem.

Parameters:

message - message detailing the cause of the problem

Returns:

the derived bound set