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()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EX_FALSO_QUODLIBET

static final Property.Condition EX_FALSO_QUODLIBET

precondition
```
final boolean precondition
```

postcondition
```
final boolean postcondition
```

Constructor Detail

Condition

Condition(boolean precondition,
          boolean postcondition)

Method Detail
- isFalse
```
boolean isFalse()
```