Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
Packages that use ConstraintFormula
Package
Description
-
Uses of ConstraintFormula in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference with type parameters of type ConstraintFormulaModifier and TypeFieldDescriptionprivate List
<ConstraintFormula> ConstraintFormula.ReductionResult.constraintFormulas
private List
<ConstraintFormula> ConstraintFormulaSet.constraintFormulas
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormulaMethods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type ConstraintFormulaMethods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type ConstraintFormulaModifier and TypeMethodDescriptionConstraintFormula.ReductionResult.oneConstraint
(ConstraintFormula constraintFormula) ConstraintFormula.ReductionResult.withConstraint
(ConstraintFormula constraintFormula) ConstraintFormulaSet.withConstraint
(ConstraintFormula constraintFormula) ConstraintFormula.ReductionResult.withConstraints
(ConstraintFormula... constraints) Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type ConstraintFormulaModifier and TypeMethodDescriptionConstraintFormula.ReductionResult.withConstraints
(List<ConstraintFormula> constraints) -
Uses of ConstraintFormula in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas
Subclasses of ConstraintFormula in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulasModifier and TypeClassDescriptionclass
An expression is compatible in a loose invocation context with type Tclass
The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.class
The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.class
A type S is compatible in a loose invocation context with type Tclass
A type argument S is contained by a type argument Tclass
A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument Tclass
A reference type S is a subtype of a reference type T