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
Classes in com.github.javaparser.symbolsolver.resolution.typeinference with type parameters of type Bound Modifier and Type Interface Description (package private) static interface
BoundSet.Processor<B1 extends Bound,B2 extends Bound,R>
(package private) static interface
BoundSet.Processor<B1 extends Bound,B2 extends Bound,R>
Fields in com.github.javaparser.symbolsolver.resolution.typeinference with type parameters of type Bound Modifier and Type Field Description private java.util.List<Bound>
BoundSet. bounds
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return Bound Modifier and Type Method Description (package private) static Bound
Bound. falseBound()
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type Bound Modifier and Type Method Description java.util.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 Tclass
ThrowsBound
The inference variable α appears in a throws clause.
-