Class Property.Property7<T1,T2,T3,T4,T5,T6,T7>

java.lang.Object

io.vavr.test.Property.Property7<T1,T2,T3,T4,T5,T6,T7>

All Implemented Interfaces:

Checkable

Enclosing class:

Property

public static class Property.Property7<T1,T2,T3,T4,T5,T6,T7>
extends Object
implements Checkable

Represents a 7-ary checkable property.

Author:

Daniel Dietrich

Field Summary

Fields inherited from interface Checkable

DEFAULT_SIZE, DEFAULT_TRIES, RNG

Method Summary

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

Methods inherited from class Object

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

Methods inherited from interface Checkable

and, check, check, or

Method Details

implies

public Checkable implies(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,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