Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet
-
Packages that use BoundSet Package Description com.github.javaparser.symbolsolver.resolution.typeinference com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas -
-
Uses of BoundSet in com.github.javaparser.symbolsolver.resolution.typeinference
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return BoundSet Modifier and Type Method Description BoundSet
BoundSet. deriveImpliedBounds(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)
static BoundSet
BoundSet. empty()
BoundSet
ConstraintFormula.ReductionResult. getBoundSet()
BoundSet
BoundSet. incorporate(BoundSet otherBounds, com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)
Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.BoundSet
TypeInference. invocationTypeInferenceBoundsSetB3()
BoundSet
ConstraintFormulaSet. reduce(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)
Takes a compatibility assertion about an expression or type, called a constraint formula, and reduces it to a set of bounds on inference variables.BoundSet
BoundSet. withBound(Bound bound)
Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type BoundSet Modifier and Type Method Description boolean
InstantiationSet. allInferenceVariablesAreResolved(BoundSet boundSet)
static ConstraintFormula.ReductionResult
ConstraintFormula.ReductionResult. bounds(BoundSet bounds)
BoundSet
BoundSet. incorporate(BoundSet otherBounds, com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)
Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.abstract ConstraintFormula.ReductionResult
ConstraintFormula. reduce(BoundSet currentBoundSet)
A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. -
Uses of BoundSet in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas
Methods in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas with parameters of type BoundSet Modifier and Type Method Description ConstraintFormula.ReductionResult
ExpressionCompatibleWithType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
LambdaThrowsCompatibleWithType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
MethodReferenceThrowsCompatibleWithType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
TypeCompatibleWithType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
TypeContainedByType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
TypeSameAsType. reduce(BoundSet currentBoundSet)
ConstraintFormula.ReductionResult
TypeSubtypeOfType. reduce(BoundSet currentBoundSet)
-