Package io.vavr.test
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>
-
-
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 Arbitrary<T5>
a5
private Arbitrary<T6>
a6
private Arbitrary<T7>
a7
private java.lang.String
name
private CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,Property.Condition>
predicate
-
Fields inherited from interface io.vavr.test.Checkable
DEFAULT_SIZE, DEFAULT_TRIES, RNG
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CheckResult
check(java.util.Random random, int size, int tries)
Checks this property.Checkable
implies(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,java.lang.Boolean> postcondition)
Returns an implication which composes this Property as pre-condition and a given post-condition.
-
-
-
Field Detail
-
name
private final java.lang.String name
-
predicate
private final CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,Property.Condition> predicate
-
-
Method Detail
-
implies
public Checkable implies(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,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 interfaceCheckable
- Parameters:
random
- An implementation ofRandom
.size
- A (not necessarily positive) size hint.tries
- A non-negative number of tries to falsify the given property.- Returns:
- A CheckResult
-
-