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
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as BoundSet Modifier and Type Field Description private BoundSet
ConstraintFormula.ReductionResult. boundSet
private static BoundSet
BoundSet. EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return BoundSet Modifier and Type Method Description private BoundSet
TypeInference. boundSetup(java.util.List<ResolvedTypeParameterDeclaration> typeParameterDeclarations, java.util.List<InferenceVariable> inferenceVariables)
When inference begins, a bound set is typically generated from a list of type parameter declarations P1, ..., Pp and associated inference variables α1, ..., αpBoundSet
BoundSet. deriveImpliedBounds(TypeSolver typeSolver)
static BoundSet
BoundSet. empty()
BoundSet
ConstraintFormula.ReductionResult. getBoundSet()
BoundSet
BoundSet. incorporate(BoundSet otherBounds, 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(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, 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)
-