public interface CheckResult
Satisfied
, if all tests satisfied the given propertyFalsified
, if a counter-example could be discovered that falsified the given propertyErroneous
, if an exception occurred executing the property checkSatisfied
property check may be Exhausted
, if the property is an implication
and no sample could be found that satisfied the pre-condition. In this case the post-condition is satisfied by
definition (see ex falso quodlibet).Modifier and Type | Interface and Description |
---|---|
static class |
CheckResult.Erroneous
Represents an erroneous property check.
|
static class |
CheckResult.Falsified
Represents a falsified property check.
|
static class |
CheckResult.Satisfied
Represents a satisfied property check.
|
Modifier and Type | Method and Description |
---|---|
default void |
assertIsErroneous()
Asserts that this CheckResult is erroneous.
|
default void |
assertIsFalsified()
Asserts that this CheckResult is falsified.
|
default void |
assertIsSatisfied()
Asserts that this CheckResult is satisfied.
|
default void |
assertIsSatisfiedWithExhaustion(boolean exhausted)
Asserts that this CheckResult is satisfied with a given exhausted state.
|
int |
count()
The number of checks performed using random generated input data.
|
Option<Error> |
error()
An optional error.
|
boolean |
isErroneous()
If this check result is erroneous as specified above.
|
boolean |
isExhausted()
If this check result is exhausted as specified above.
|
boolean |
isFalsified()
If this check result is falsified as specified above.
|
boolean |
isSatisfied()
If this check result is satisfied as specified above.
|
String |
propertyName()
The name of the checked property this result refers to.
|
Option<Tuple> |
sample()
An optional sample which falsified the property or which lead to an error.
|
boolean isSatisfied()
boolean isFalsified()
boolean isErroneous()
boolean isExhausted()
String propertyName()
int count()
Option<Tuple> sample()
default void assertIsSatisfied()
AssertionError
- if this CheckResult is not satisfied.default void assertIsSatisfiedWithExhaustion(boolean exhausted)
exhausted
- The exhausted state to be checked in the case of a satisfied CheckResult.AssertionError
- if this CheckResult is not satisfied or the exhausted state does not match.default void assertIsFalsified()
AssertionError
- if this CheckResult is not falsified.default void assertIsErroneous()
AssertionError
- if this CheckResult is not erroneous.Copyright © 2016. All Rights Reserved.