Class MethodReferenceThrowsCompatibleWithType


  • public class MethodReferenceThrowsCompatibleWithType
    extends ConstraintFormula
    The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.
    • Constructor Detail

      • MethodReferenceThrowsCompatibleWithType

        public MethodReferenceThrowsCompatibleWithType()
    • Method Detail

      • reduce

        public ConstraintFormula.ReductionResult reduce​(BoundSet currentBoundSet)
        Description copied from class: ConstraintFormula
        A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.
        Specified by:
        reduce in class ConstraintFormula
      • 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