Package com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

package com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Class Summary

Class	Description
ExpressionCompatibleWithType	An expression is compatible in a loose invocation context with type T
LambdaThrowsCompatibleWithType	The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.
MethodReferenceThrowsCompatibleWithType	The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.
TypeCompatibleWithType	A type S is compatible in a loose invocation context with type T
TypeContainedByType	A type argument S is contained by a type argument T
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 T
TypeSubtypeOfType	A reference type S is a subtype of a reference type T