Package com.github.javaparser.symbolsolver.resolution.typeinference
package com.github.javaparser.symbolsolver.resolution.typeinference
-
Class SummaryClassDescriptionBounds 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.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.