Class SameAsBound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound
S = T, where at least one of S or T is an inference variable: S is the same as 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 or T = α, we say T is an instantiation 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
isProperLowerBound, isProperUpperBound
-
Constructor Details
-
SameAsBound
-
-
Method Details
-
equals
-
toString
-
hashCode
public int hashCode() -
usedInferenceVariables
- Specified by:
usedInferenceVariables
in classBound
-
getS
-
getT
-
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
-
isAnInstantiation
Description copied from class:Bound
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.- Overrides:
isAnInstantiation
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
-