Package 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).

Author:

Federico Tomassetti

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
List<InferenceVariable>	getInferenceVariables()
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.
String	toString()
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(List<InferenceVariable> inferenceVariables,
                     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 Set<InferenceVariable> usedInferenceVariables()

Specified by:

usedInferenceVariables in class Bound

getInferenceVariables

public List<InferenceVariable> getInferenceVariables()

getTypesOrWildcards

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

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object