Package io.vavr.test
Class Property.Condition
java.lang.Object
io.vavr.test.Property.Condition
- Enclosing class:
Property
Internally used to model conditions composed of pre- and post-condition.
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) static final Property.Condition
(package private) final boolean
(package private) final boolean
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
EX_FALSO_QUODLIBET
-
precondition
final boolean precondition -
postcondition
final boolean postcondition
-
-
Constructor Details
-
Condition
Condition(boolean precondition, boolean postcondition)
-
-
Method Details
-
isFalse
boolean isFalse()
-