Class LambdaThrowsCompatibleWithType
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.LambdaThrowsCompatibleWithType
The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the
function type derived from T.
- Author:
- Federico Tomassetti
-
Nested Class Summary
Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
ConstraintFormula.ReductionResult
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
LambdaThrowsCompatibleWithType
public LambdaThrowsCompatibleWithType()
-
-
Method Details
-
reduce
Description copied from class:ConstraintFormula
A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.- Specified by:
reduce
in classConstraintFormula
-
equals
-
hashCode
public int hashCode() -
toString
-