Package io.vavr.test

Class Property.Property4<T1,T2,T3,T4>

java.lang.Object

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

All Implemented Interfaces:

Checkable

Enclosing class:

Property

public static class Property.Property4<T1,T2,T3,T4>
extends java.lang.Object
implements Checkable

Represents a 4-ary checkable property.

Field Summary

Fields

Modifier and Type	Field	Description
private Arbitrary<T1>	a1
private Arbitrary<T2>	a2
private Arbitrary<T3>	a3
private Arbitrary<T4>	a4
private java.lang.String	name
private CheckedFunction4<T1,T2,T3,T4,Property.Condition>	predicate

Fields inherited from interface io.vavr.test.Checkable

DEFAULT_SIZE, DEFAULT_TRIES, RNG

Constructor Summary

Constructors

Constructor	Description
Property4(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, CheckedFunction4<T1,T2,T3,T4,Property.Condition> predicate)

Method Summary

Modifier and Type	Method	Description
CheckResult	check(java.util.Random random, int size, int tries)	Checks this property.
Checkable	implies(CheckedFunction4<T1,T2,T3,T4,java.lang.Boolean> postcondition)	Returns an implication which composes this Property as pre-condition and a given post-condition.

Methods inherited from class java.lang.Object

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

Methods inherited from interface io.vavr.test.Checkable

and, check, check, or

Field Detail

name

private final java.lang.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

predicate

private final CheckedFunction4<T1,T2,T3,T4,Property.Condition> predicate

Constructor Detail

Property4

Property4(java.lang.String name,
          Arbitrary<T1> a1,
          Arbitrary<T2> a2,
          Arbitrary<T3> a3,
          Arbitrary<T4> a4,
          CheckedFunction4<T1,T2,T3,T4,Property.Condition> predicate)

Method Detail

implies

public Checkable implies(CheckedFunction4<T1,T2,T3,T4,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