Class Property.Property2<T1,T2>

java.lang.Object

io.vavr.test.Property.Property2<T1,T2>

All Implemented Interfaces:

Checkable

Enclosing class:

Property

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

Represents a 2-ary checkable property.

Field Summary

Fields

Modifier and Type	Field	Description
private final Arbitrary<T1>	a1
private final Arbitrary<T2>	a2
private final String	name
private final CheckedFunction2<T1, T2, Property.Condition>	predicate

Fields inherited from interface Checkable

DEFAULT_SIZE, DEFAULT_TRIES, RNG

Constructor Summary

Constructors

Constructor	Description
Property2(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, CheckedFunction2<T1, T2, Property.Condition> predicate)

Method Summary

Modifier and Type	Method	Description
CheckResult	check(Random random, int size, int tries)	Checks this property.
Checkable	implies(CheckedFunction2<T1,T2,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

Field Details

name

private final String name

a1

private final Arbitrary<T1> a1

a2

private final Arbitrary<T2> a2

predicate

private final CheckedFunction2<T1, T2, Property.Condition> predicate

Constructor Details

Property2

Property2(String name,
 Arbitrary<T1> a1,
 Arbitrary<T2> a2,
 CheckedFunction2<T1, T2, Property.Condition> predicate)

Method Details

implies

public Checkable implies(CheckedFunction2<T1,T2,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