Package com.github.javaparser.symbolsolver.resolution.typeinference
-
Interface Summary Interface Description BoundSet.Processor<B1 extends Bound,B2 extends Bound,R> -
Class Summary Class Description Bound Bounds are defined for Inference Variables.BoundSet ConstraintFormula Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.ConstraintFormula.ReductionResult ConstraintFormulaSet ControlFlowLogic Consider Control Flow to determine which statements are reachable.InferenceVariable Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.InferenceVariableSubstitution Instantiation InstantiationSet LeastUpperBoundLogic LeastUpperBoundLogic.TypeSubstitution MethodType A MethodType is an ordered 4-tuple consisting of: 1.ProperLowerBound ProperUpperBound Substitution TypeHelper The term "type" is used loosely in this chapter to include type-like syntax that contains inference variables.TypeInference The API exposed by the TypeInference subsystem.TypeInferenceCache