io.vavr.test.Property.Property3<T1,T2,T3>

public static class Property.Property3<T1,T2,T3> extends Object implements Checkable

Represents a 3-ary checkable property.

Field Details
- name
  
  private final String name
- a1
  
  private final Arbitrary<T1> a1
- a2
  
  private final Arbitrary<T2> a2
- a3
  
  private final Arbitrary<T3> a3
- predicate
  
  private final CheckedFunction3<T1, T2, T3, Property.Condition> predicate
Constructor Details
- Property3
  
  Property3(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, CheckedFunction3<T1, T2, T3, Property.Condition> predicate)
Method Details
- implies
  
  public Checkable implies(CheckedFunction3<T1,T2,T3,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(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

Class Property.Property3<T1,T2,T3>

Field Summary