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).
Author:
Federico Tomassetti

  • Constructor Details

    • CapturesBound

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

  • Method Details

    • 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()
      Description copied from class: Bound
      Other methods
      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