Class SubtypeOfBound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound
S <: T, where at least one of S or T is an inference variable: S is a subtype of T
- Author:
- Federico Tomassetti
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
getS()
getT()
int
hashCode()
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 <: α, we say T is a proper lower bound of α.Given a bound of the form α <: T, we say T is a proper upper bound of α.boolean
isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.toString()
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isAnInstantiation
-
Constructor Details
-
SubtypeOfBound
-
-
Method Details
-
equals
-
toString
-
hashCode
public int hashCode() -
getS
-
usedInferenceVariables
- Specified by:
usedInferenceVariables
in classBound
-
getT
-
isProperUpperBound
Description copied from class:Bound
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.- Overrides:
isProperUpperBound
in classBound
-
isProperLowerBound
Description copied from class:Bound
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.- Overrides:
isProperLowerBound
in classBound
-
isADependency
public boolean isADependency()Description copied from class:Bound
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.- Overrides:
isADependency
in classBound
-
isSatisfied
Description copied from class:Bound
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.- Specified by:
isSatisfied
in classBound
-