Class ThrowsBound


  • public class ThrowsBound
    extends Bound
    The inference variable α appears in a throws clause. A bound of the form throws α is purely informational: it directs resolution to optimize the instantiation of α so that, if possible, it is not a checked exception type.
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • 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
      • isThrowsBoundOn

        public boolean isThrowsBoundOn​(InferenceVariable inferenceVariable)