jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference/BoundSet

BoundSet

open class BoundSet(source)

Author

Federico Tomassetti

Constructors

constructor()

Functions

open fun containsFalse(): Boolean

deriveImpliedBounds

open fun deriveImpliedBounds(typeSolver: TypeSolver): BoundSet

open fun empty(): BoundSet

open fun equals(o: Any): Boolean

getProperUpperBoundsFor

open fun getProperUpperBoundsFor(inferenceVariable: InferenceVariable): List<Bound>

open fun hashCode(): Int

open fun incorporate(otherBounds: BoundSet, typeSolver: TypeSolver): BoundSet

Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.

open fun isEmpty(): Boolean

open fun isTrue(): Boolean

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

open fun performResolution(variablesToResolve: List<InferenceVariable>, typeSolver: TypeSolver): Optional<InstantiationSet>

Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.

open fun toString(): String

open fun withBound(bound: Bound): BoundSet