com.github.javaparser.symbolsolver.resolution.typeinference

Class BoundSet

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet

public class BoundSet
extends Object

Author:

Federico Tomassetti

Constructor Summary

Constructors

Constructor and Description
BoundSet()

Method Summary

Modifier and Type	Method and Description
boolean	containsFalse()
BoundSet	deriveImpliedBounds(TypeSolver typeSolver)
static BoundSet	empty()
boolean	equals(Object o)
List<Bound>	getProperUpperBoundsFor(InferenceVariable inferenceVariable)
int	hashCode()
BoundSet	incorporate(BoundSet otherBounds, TypeSolver typeSolver) Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.
boolean	isEmpty()
boolean	isTrue() It is sometimes convenient to refer to an empty bound set with the symbol true; this is merely out of convenience, and the two are interchangeable.
Optional<InstantiationSet>	performResolution(List<InferenceVariable> variablesToResolve, TypeSolver typeSolver) Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.
String	toString()
BoundSet	withBound(Bound bound)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BoundSet

public BoundSet()

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

isTrue

public boolean isTrue()

It is sometimes convenient to refer to an empty bound set with the symbol true; this is merely out of convenience, and the two are interchangeable.

empty

public static BoundSet empty()

withBound

public BoundSet withBound(Bound bound)

isEmpty

public boolean isEmpty()

incorporate

public BoundSet incorporate(BoundSet otherBounds,
                            TypeSolver typeSolver)

Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added. Because the bounds on one variable can sometimes impact the possible choices for another variable, this process propagates bounds between such interdependent variables.

deriveImpliedBounds

public BoundSet deriveImpliedBounds(TypeSolver typeSolver)

containsFalse

public boolean containsFalse()

performResolution

public Optional<InstantiationSet> performResolution(List<InferenceVariable> variablesToResolve,
                                                    TypeSolver typeSolver)

Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds. It also decides the order in which interdependent inference variables are to be resolved.

getProperUpperBoundsFor

public List<Bound> getProperUpperBoundsFor(InferenceVariable inferenceVariable)