Package io.vavr.test

Class Property.Property2<T1,​T2>

  • All Implemented Interfaces:
    Checkable
    Enclosing class:
    Property

    public static class Property.Property2<T1,​T2>
    extends java.lang.Object
    implements Checkable
    Represents a 2-ary checkable property.
    • Method Detail

      • implies

        public Checkable implies​(CheckedFunction2<T1,​T2,​java.lang.Boolean> postcondition)
        Returns an implication which composes this Property as pre-condition and a given post-condition.
        Parameters:
        postcondition - The postcondition of this implication
        Returns:
        A new Checkable implication
      • check

        public CheckResult check​(java.util.Random random,
                                 int size,
                                 int tries)
        Description copied from interface: Checkable
        Checks this property.
        Specified by:
        check in interface Checkable
        Parameters:
        random - An implementation of Random.
        size - A (not necessarily positive) size hint.
        tries - A non-negative number of tries to falsify the given property.
        Returns:
        A CheckResult