Uses of Package
com.github.javaparser.symbolsolver.resolution.typeinference
-
Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference 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 -
Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference.bounds Class Description Bound Bounds are defined for Inference Variables.InferenceVariable Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.InferenceVariableSubstitution Instantiation ProperLowerBound ProperUpperBound -
Classes in com.github.javaparser.symbolsolver.resolution.typeinference used by com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas Class Description BoundSet ConstraintFormula Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.ConstraintFormula.ReductionResult