Package com.github.javaparser.symbolsolver.resolution.typeinference
package com.github.javaparser.symbolsolver.resolution.typeinference
-
ClassesClassDescriptionBounds are defined for Inference Variables.Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.Consider Control Flow to determine which statements are reachable.Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.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.The term "type" is used loosely in this chapter to include type-like syntax that contains inference variables.The API exposed by the TypeInference subsystem.