Uses of Package
com.github.javaparser.symbolsolver.resolution.typeinference
Package
Description
-
ClassDescriptionBounds 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.
-
ClassDescriptionBounds are defined for Inference Variables.Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.
-
ClassDescriptionConstraint formulas are assertions of compatibility or subtyping that may involve inference variables.