jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference

Package-level declarations

Types

abstract class Bound

Bounds are defined for Inference Variables.

open class BoundSet

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.

open class MethodType

A MethodType is an ordered 4-tuple consisting of: 1.

open class TypeHelper

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.