Class Bound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
- Direct Known Subclasses:
CapturesBound
,FalseBound
,SameAsBound
,SubtypeOfBound
,ThrowsBound
Bounds are defined for Inference Variables.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) static Bound
boolean
Other bounds relate two inference variables, or an inference variable to a type that contains inference variables.Given a bound of the form α = T or T = α, we say T is an instantiation of α.(package private) boolean
Given a bound of the form T <: α, we say T is a proper lower bound of α.(package private) Optional
<ProperLowerBound> isProperLowerBoundFor
(InferenceVariable inferenceVariable) Given a bound of the form α <: T, we say T is a proper upper bound of α.(package private) Optional
<ProperUpperBound> isProperUpperBoundFor
(InferenceVariable inferenceVariable) abstract boolean
isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.(package private) boolean
isThrowsBoundOn
(InferenceVariable inferenceVariable) abstract Set
<InferenceVariable>
-
Constructor Details
-
Bound
public Bound()
-
-
Method Details
-
falseBound
-
isSatisfied
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true. -
isAnInstantiation
Given a bound of the form α = T or T = α, we say T is an instantiation of α. Return empty if it is not an instantiation. Otherwise it returns the variable of which this is an instantiation. -
isAnInstantiationFor
-
isProperUpperBound
Given a bound of the form α <: T, we say T is a proper upper bound of α. Return empty if it is not a proper upper bound. Otherwise it returns the variable of which this is an proper upper bound. -
isProperLowerBound
Given a bound of the form T <: α, we say T is a proper lower bound of α. Return empty if it is not a proper lower bound. Otherwise it returns the variable of which this is an proper lower bound. -
isProperLowerBoundFor
-
isProperUpperBoundFor
-
isADependency
public boolean isADependency()Other bounds relate two inference variables, or an inference variable to a type that contains inference variables. Such bounds, of the form S = T or S <: T, are called dependencies. -
isThrowsBoundOn
-
usedInferenceVariables
-