Package io.vavr.test

Class Property.Condition

java.lang.Object
io.vavr.test.Property.Condition
Enclosing class:
Property

static class Property.Condition extends Object
Internally used to model conditions composed of pre- and post-condition.
  • Field Details

    • EX_FALSO_QUODLIBET

      static final Property.Condition EX_FALSO_QUODLIBET
    • precondition

      final boolean precondition
    • postcondition

      final boolean postcondition
  • Constructor Details

    • Condition

      Condition(boolean precondition, boolean postcondition)
  • Method Details

    • isFalse

      boolean isFalse()