Class BoundSet
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet
- Author:
- Federico Tomassetti
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
deriveImpliedBounds(TypeSolver typeSolver)
static BoundSet
empty()
boolean
getProperUpperBoundsFor(InferenceVariable inferenceVariable)
int
hashCode()
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.performResolution(List<InferenceVariable> variablesToResolve, TypeSolver typeSolver)
Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.toString()
-
Constructor Details
-
BoundSet
public BoundSet()
-
-
Method Details
-
equals
-
hashCode
public int hashCode() -
toString
-
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
-
withBound
-
isEmpty
public boolean isEmpty() -
incorporate
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
-
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
-