Class 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 Detail

      • typesOrWildcards

        private java.util.List<ResolvedType> typesOrWildcards
    • Constructor Detail

    • 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
      • getInferenceVariables

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

        public java.util.List<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