Package io.vavr.test
Class Property.Property5<T1,T2,T3,T4,T5>
java.lang.Object
io.vavr.test.Property.Property5<T1,T2,T3,T4,T5>
- All Implemented Interfaces:
Checkable
- Enclosing class:
Property
Represents a 5-ary checkable property.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final String
private final CheckedFunction5
<T1, T2, T3, T4, T5, 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
-
predicate
-
-
Constructor Details
-
Property5
-
-
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
-