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>
- All Implemented Interfaces:
Checkable
- Enclosing class:
Property
Represents a 7-ary checkable property.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final String
private final CheckedFunction7
<T1, T2, T3, T4, T5, T6, T7, Property.Condition> Fields inherited from interface io.vavr.test.Checkable
DEFAULT_SIZE, DEFAULT_TRIES, RNG
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
name
-
a1
-
a2
-
a3
-
a4
-
a5
-
a6
-
a7
-
predicate
-
-
Constructor Details
-
Property7
-
-
Method Details
-
implies
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
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
-