public abstract static class PropertyCheckResult.ResultBase extends java.lang.Object implements PropertyCheckResult
PropertyCheckResult.ResultBase, PropertyCheckResult.Status| Modifier and Type | Field and Description |
|---|---|
protected int |
checks |
protected net.jqwik.api.GenerationMode |
generation |
protected java.lang.String |
propertyName |
protected java.lang.String |
randomSeed |
protected PropertyCheckResult.Status |
status |
protected int |
tries |
| Modifier and Type | Method and Description |
|---|---|
int |
countChecks() |
int |
countTries() |
net.jqwik.api.GenerationMode |
generation() |
java.util.Optional<java.util.List> |
originalSample() |
java.lang.String |
propertyName() |
java.lang.String |
randomSeed() |
java.util.Optional<java.util.List> |
sample() |
PropertyCheckResult.Status |
status() |
java.util.Optional<java.lang.Throwable> |
throwable() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waiterroneous, exhausted, failure, isFalsified, satisfied, toExecutionResultprotected final PropertyCheckResult.Status status
protected final java.lang.String propertyName
protected final int tries
protected final int checks
protected final java.lang.String randomSeed
protected final net.jqwik.api.GenerationMode generation
public java.lang.String propertyName()
propertyName in interface PropertyCheckResultpublic PropertyCheckResult.Status status()
status in interface PropertyCheckResultpublic int countChecks()
countChecks in interface PropertyCheckResultpublic int countTries()
countTries in interface PropertyCheckResultpublic java.lang.String randomSeed()
randomSeed in interface PropertyCheckResultpublic java.util.Optional<java.util.List> sample()
sample in interface PropertyCheckResultpublic java.util.Optional<java.util.List> originalSample()
originalSample in interface PropertyCheckResultpublic java.util.Optional<java.lang.Throwable> throwable()
throwable in interface PropertyCheckResultpublic net.jqwik.api.GenerationMode generation()
generation in interface PropertyCheckResult