Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet
Packages that use BoundSet
Package
Description
-
Uses of BoundSet in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as BoundSetModifier and TypeFieldDescriptionprivate BoundSet
ConstraintFormula.ReductionResult.boundSet
private static final BoundSet
BoundSet.EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return BoundSetModifier and TypeMethodDescriptionprivate BoundSet
TypeInference.boundSetup
(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations, 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.deriveImpliedBounds
(TypeSolver typeSolver) static BoundSet
BoundSet.empty()
ConstraintFormula.ReductionResult.getBoundSet()
BoundSet.incorporate
(BoundSet otherBounds, TypeSolver typeSolver) Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.TypeInference.invocationTypeInferenceBoundsSetB3()
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.Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type BoundSetModifier and TypeMethodDescriptionboolean
InstantiationSet.allInferenceVariablesAreResolved
(BoundSet 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
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 BoundSetModifier and TypeMethodDescription