Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.Bound

Packages that use Bound

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

Uses of Bound in com.github.javaparser.symbolsolver.resolution.typeinference

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type Bound

Modifier and Type	Method	Description
List<Bound>	BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable)

Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type Bound

Modifier and Type	Method	Description
static ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.oneBound(Bound bound)
BoundSet	BoundSet.withBound(Bound bound)
ConstraintFormula.ReductionResult	ConstraintFormula.ReductionResult.withBound(Bound bound)

Uses of Bound in com.github.javaparser.symbolsolver.resolution.typeinference.bounds

Subclasses of Bound in com.github.javaparser.symbolsolver.resolution.typeinference.bounds

Modifier and Type	Class	Description
class	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).
class	FalseBound	No valid choice of inference variables exists.
class	SameAsBound	S = T, where at least one of S or T is an inference variable: S is the same as T.
class	SubtypeOfBound	S <: T, where at least one of S or T is an inference variable: S is a subtype of T
class	ThrowsBound	The inference variable α appears in a throws clause.