com.github.javaparser.symbolsolver.resolution.typeinference.bounds

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): The variables α1, ..., αn represent the result of capture conversion (§5.1.10) applied to G (where A1, ..., An may be types or wildcards and may mention inference variables).

Constructor Summary

Constructors

Constructor and Description
CapturesBound(java.util.List<InferenceVariable> inferenceVariables, java.util.List<com.github.javaparser.resolution.types.ResolvedType> typesOrWildcards)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.List<InferenceVariable>	getInferenceVariables()
java.util.List<com.github.javaparser.resolution.types.ResolvedType>	getTypesOrWildcards()
int	hashCode()
boolean	isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution) A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.
java.lang.String	toString()
java.util.Set<InferenceVariable>	usedInferenceVariables()

Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound

isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CapturesBound

public CapturesBound(java.util.List<InferenceVariable> inferenceVariables,
                     java.util.List<com.github.javaparser.resolution.types.ResolvedType> typesOrWildcards)

Method Detail

isSatisfied

public boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)

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 class Bound

usedInferenceVariables

public java.util.Set<InferenceVariable> usedInferenceVariables()

Specified by:

usedInferenceVariables in class Bound

getInferenceVariables

public java.util.List<InferenceVariable> getInferenceVariables()

getTypesOrWildcards

public java.util.List<com.github.javaparser.resolution.types.ResolvedType> getTypesOrWildcards()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object