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

Class Summary

Class	Description
CapturesBound	Capture(G<A1, ..., An>): The variables α1, ..., αn represent the result of capture conversion (§5.1.10) applied to G<A1, ..., An> (where A1, ..., An may be types or wildcards and may mention inference variables).
FalseBound	No valid choice of inference variables exists.
SameAsBound	S = T, where at least one of S or T is an inference variable: S is the same as T.
SubtypeOfBound	S <: T, where at least one of S or T is an inference variable: S is a subtype of T
ThrowsBound	The inference variable α appears in a throws clause.