Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
-
Packages that use ConstraintFormula Package Description com.github.javaparser.symbolsolver.resolution.typeinference com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas -
-
Uses of ConstraintFormula in com.github.javaparser.symbolsolver.resolution.typeinference
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ConstraintFormula Modifier and Type Method Description ConstraintFormula
ConstraintFormula.ReductionResult. getConstraint(int index)
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type ConstraintFormula Modifier and Type Method Description List<ConstraintFormula>
ConstraintFormula.ReductionResult. getConstraintFormulas()
Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type ConstraintFormula Modifier and Type Method Description static ConstraintFormula.ReductionResult
ConstraintFormula.ReductionResult. oneConstraint(ConstraintFormula constraintFormula)
ConstraintFormula.ReductionResult
ConstraintFormula.ReductionResult. withConstraint(ConstraintFormula constraintFormula)
ConstraintFormulaSet
ConstraintFormulaSet. withConstraint(ConstraintFormula constraintFormula)
static ConstraintFormula.ReductionResult
ConstraintFormula.ReductionResult. withConstraints(ConstraintFormula... constraints)
Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type ConstraintFormula Modifier and Type Method Description static ConstraintFormula.ReductionResult
ConstraintFormula.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.constraintformulas Modifier and Type Class Description class
ExpressionCompatibleWithType
An expression is compatible in a loose invocation context with type Tclass
LambdaThrowsCompatibleWithType
The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.class
MethodReferenceThrowsCompatibleWithType
The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.class
TypeCompatibleWithType
A type S is compatible in a loose invocation context with type Tclass
TypeContainedByType
A type argument S is contained by a type argument Tclass
TypeSameAsType
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
TypeSubtypeOfType
A reference type S is a subtype of a reference type T
-