Class CapturesBound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
com.github.javaparser.symbolsolver.resolution.typeinference.bounds.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).
- Author:
- Federico Tomassetti
-
Constructor Summary
ConstructorDescriptionCapturesBound(List<InferenceVariable> inferenceVariables, List<ResolvedType> typesOrWildcards)
-
Method Summary
Modifier and TypeMethodDescriptionboolean
int
hashCode()
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
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
Constructor Details
-
CapturesBound
public CapturesBound(List<InferenceVariable> inferenceVariables, List<ResolvedType> typesOrWildcards)
-
-
Method Details
-
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
-
usedInferenceVariables
- Specified by:
usedInferenceVariables
in classBound
-
getInferenceVariables
-
getTypesOrWildcards
-
equals
-
hashCode
public int hashCode() -
toString
-