io.vavr.test.Property.ForAll5<T1,T2,T3,T4,T5>

Type Parameters:: T1 - 1st variable type of this for all quantor; T2 - 2nd variable type of this for all quantor; T3 - 3rd variable type of this for all quantor; T4 - 4th variable type of this for all quantor; T5 - 5th variable type of this for all quantor

public static class Property.ForAll5<T1,T2,T3,T4,T5> extends Object

Represents a logical for all quantor.

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
- a4
  
  private final Arbitrary<T4> a4
- a5
  
  private final Arbitrary<T5> a5
Constructor Details
- ForAll5
  
  ForAll5(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5)
Method Details
- suchThat
  
  public Property.Property5<T1,T2,T3,T4,T5> suchThat(CheckedFunction5<T1,T2,T3,T4,T5,Boolean> predicate)
  
  Returns a checkable property that checks values of the 5 variables of this ForAll quantor.
  
  Parameters:
  
  predicate - A 5-ary predicate
  
  Returns:
  
  a new Property5 of 5 variables.

Class Property.ForAll5<T1,T2,T3,T4,T5>

Field Summary