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 and Description
List<Bound>	BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable)

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

Modifier and Type	Method and 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 and Description
class	CapturesBound Capture(G): The variables α1, ..., αn represent the result of capture conversion (§5.1.10) applied to G (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.