uk.co.strangeskies.reflection

Class ConstraintFormula

java.lang.Object

uk.co.strangeskies.reflection.ConstraintFormula

public class ConstraintFormula
extends java.lang.Object

A constraint formula, as they are described in chapter 18 of that Java 8 language specification.

Roughly, a constraint formula describes an assertion of compatibility between two types, with respect to a particular constraining relationship. This relationship may be reduced into a number of secondary, tertiary, etc. constraint formulae, and then ultimately into a number of bounds, which in turn may be incorporated into a BoundSet.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConstraintFormula.Kind The kind of a constraint formula describes the nature of the constraint it represents.

Constructor Summary

Constructors

Constructor and Description
ConstraintFormula(ConstraintFormula.Kind kind, java.lang.reflect.Type from, java.lang.reflect.Type to)

Method Summary

Modifier and Type	Method and Description
BoundSet	reduce(BoundSet bounds) Creates a ConstraintFormula and reduces it into the given BoundSet.
protected void	reduceInPlace(BoundSet bounds)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintFormula

public ConstraintFormula(ConstraintFormula.Kind kind,
                         java.lang.reflect.Type from,
                         java.lang.reflect.Type to)

Parameters:

kind - the kind of the constraint formula to create

from - the first type of the constraint formula

to - the second type of the constraint formula

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

reduce

public BoundSet reduce(BoundSet bounds)

Creates a ConstraintFormula and reduces it into the given BoundSet.

Parameters:

bounds - the bound set to reduce the created constraint formula into

Returns:

the constraint formula created

reduceInPlace

protected void reduceInPlace(BoundSet bounds)