Class CapturesBound
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.Bound
-
- com.github.javaparser.symbolsolver.resolution.typeinference.bounds.CapturesBound
-
public class CapturesBound extends Bound
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).
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.List<InferenceVariable>inferenceVariablesprivate java.util.List<ResolvedType>typesOrWildcards
-
Constructor Summary
Constructors Constructor Description CapturesBound(java.util.List<InferenceVariable> inferenceVariables, java.util.List<ResolvedType> typesOrWildcards)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object o)java.util.List<InferenceVariable>getInferenceVariables()java.util.List<ResolvedType>getTypesOrWildcards()inthashCode()booleanisSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.java.lang.StringtoString()java.util.Set<InferenceVariable>usedInferenceVariables()-
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
-
-
-
Field Detail
-
inferenceVariables
private java.util.List<InferenceVariable> inferenceVariables
-
typesOrWildcards
private java.util.List<ResolvedType> typesOrWildcards
-
-
Constructor Detail
-
CapturesBound
public CapturesBound(java.util.List<InferenceVariable> inferenceVariables, java.util.List<ResolvedType> typesOrWildcards)
-
-
Method Detail
-
isSatisfied
public boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
Description copied from class:BoundA bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.- Specified by:
isSatisfiedin classBound
-
usedInferenceVariables
public java.util.Set<InferenceVariable> usedInferenceVariables()
- Specified by:
usedInferenceVariablesin classBound
-
getInferenceVariables
public java.util.List<InferenceVariable> getInferenceVariables()
-
getTypesOrWildcards
public java.util.List<ResolvedType> getTypesOrWildcards()
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-