Class Property.ForAll3<T1,T2,T3>

java.lang.Object

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

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

Enclosing class:

Property

public static class Property.ForAll3<T1,T2,T3>
extends Object

Represents a logical for all quantor.

Field Summary

Fields

Modifier and Type	Field	Description
private final Arbitrary<T1>	a1
private final Arbitrary<T2>	a2
private final Arbitrary<T3>	a3
private final String	name

Constructor Summary

Constructors

Constructor	Description
ForAll3(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)

Method Summary

Modifier and Type	Method	Description
Property.Property3<T1,T2,T3>	suchThat(CheckedFunction3<T1,T2,T3,Boolean> predicate)	Returns a checkable property that checks values of the 3 variables of this ForAll quantor.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Details

ForAll3

ForAll3(String name,
 Arbitrary<T1> a1,
 Arbitrary<T2> a2,
 Arbitrary<T3> a3)

Method Details

suchThat

public Property.Property3<T1,T2,T3> suchThat(CheckedFunction3<T1,T2,T3,Boolean> predicate)

Returns a checkable property that checks values of the 3 variables of this ForAll quantor.

Parameters:

predicate - A 3-ary predicate

Returns:

a new Property3 of 3 variables.