Package com.github.javaparser.symbolsolver.resolution.typeinference

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
MethodType	A MethodType is an ordered 4-tuple consisting of: 1. type parameters: the declarations of any type parameters of the method member. 2. argument types: a list of the types of the arguments to the method member. 3. return type: the return type of the method member. 4. throws clause: exception types declared in the throws clause of the method member.
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