io.vavr.test

Class Property.Property1<T1>

java.lang.Object

io.vavr.test.Property.Property1<T1>

All Implemented Interfaces:

Checkable

Enclosing class:

Property

public static class Property.Property1<T1>
extends Object
implements Checkable

Represents a 1-ary checkable property.

Author:

Daniel Dietrich

Field Summary

Fields inherited from interface io.vavr.test.Checkable

DEFAULT_SIZE, DEFAULT_TRIES, RNG

Method Summary

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

Method Detail

implies

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