Package io.vavr.test
Class Property.Condition
- java.lang.Object
-
- io.vavr.test.Property.Condition
-
- Enclosing class:
- Property
static class Property.Condition extends java.lang.Object
Internally used to model conditions composed of pre- and post-condition.
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static Property.Condition
EX_FALSO_QUODLIBET
(package private) boolean
postcondition
(package private) boolean
precondition
-
Constructor Summary
Constructors Constructor Description Condition(boolean precondition, boolean postcondition)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
isFalse()
-
-
-
Field Detail
-
EX_FALSO_QUODLIBET
static final Property.Condition EX_FALSO_QUODLIBET
-
precondition
final boolean precondition
-
postcondition
final boolean postcondition
-
-