public interface PropertyCheckResult
| Modifier and Type | Interface and Description |
|---|---|
static class |
PropertyCheckResult.ResultBase |
static class |
PropertyCheckResult.Status |
| Modifier and Type | Method and Description |
|---|---|
int |
countChecks() |
int |
countTries() |
static PropertyCheckResult |
erroneous(java.lang.String stereotype,
java.lang.String propertyName,
int tries,
int checks,
java.lang.String randomSeed,
net.jqwik.api.GenerationMode generation,
java.util.List sample,
java.util.List originalSample,
java.lang.Throwable throwable) |
static PropertyCheckResult |
exhausted(java.lang.String stereotype,
java.lang.String propertyName,
int tries,
int checks,
java.lang.String randomSeed,
net.jqwik.api.GenerationMode generation) |
static PropertyCheckResult |
failure(java.lang.String stereotype,
java.lang.String propertyName,
int tries,
int checks,
java.lang.String randomSeed,
net.jqwik.api.GenerationMode generation,
java.util.List<java.lang.Object> sample,
java.util.List<java.lang.Object> originalSample,
java.lang.Throwable throwable) |
net.jqwik.api.GenerationMode |
generation() |
static boolean |
isFalsified(java.lang.Throwable throwable) |
java.util.Optional<java.util.List> |
originalSample() |
java.lang.String |
propertyName() |
java.lang.String |
randomSeed() |
java.util.Optional<java.util.List> |
sample() |
static PropertyCheckResult |
satisfied(java.lang.String stereotype,
java.lang.String propertyName,
int tries,
int checks,
java.lang.String randomSeed,
net.jqwik.api.GenerationMode generation) |
PropertyCheckResult.Status |
status() |
java.util.Optional<java.lang.Throwable> |
throwable() |
default net.jqwik.api.lifecycle.PropertyExecutionResult |
toExecutionResult() |
PropertyCheckResult.Status status()
java.lang.String propertyName()
int countTries()
int countChecks()
java.lang.String randomSeed()
java.util.Optional<java.util.List> sample()
java.util.Optional<java.util.List> originalSample()
java.util.Optional<java.lang.Throwable> throwable()
net.jqwik.api.GenerationMode generation()
default net.jqwik.api.lifecycle.PropertyExecutionResult toExecutionResult()
static PropertyCheckResult satisfied(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation)
static PropertyCheckResult failure(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, java.util.List<java.lang.Object> sample, java.util.List<java.lang.Object> originalSample, java.lang.Throwable throwable)
static boolean isFalsified(java.lang.Throwable throwable)
static PropertyCheckResult erroneous(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, java.util.List sample, java.util.List originalSample, java.lang.Throwable throwable)
static PropertyCheckResult exhausted(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation)