net.jqwik.engine.properties

Class PropertyCheckResult.ResultBase

java.lang.Object

net.jqwik.engine.properties.PropertyCheckResult.ResultBase

All Implemented Interfaces:

PropertyCheckResult

Enclosing interface:

PropertyCheckResult

public abstract static class PropertyCheckResult.ResultBase
extends java.lang.Object
implements PropertyCheckResult

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.engine.properties.PropertyCheckResult

PropertyCheckResult.ResultBase, PropertyCheckResult.Status

Field Summary

Fields

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

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.jqwik.engine.properties.PropertyCheckResult

erroneous, exhausted, failure, isFalsified, satisfied, toExecutionResult

Field Detail

status

protected final PropertyCheckResult.Status status

propertyName

protected final java.lang.String propertyName

tries

protected final int tries

checks

protected final int checks

randomSeed

protected final java.lang.String randomSeed

generation

protected final net.jqwik.api.GenerationMode generation

Method Detail

propertyName

public java.lang.String propertyName()

Specified by:

propertyName in interface PropertyCheckResult

status

public PropertyCheckResult.Status status()

Specified by:

status in interface PropertyCheckResult

countChecks

public int countChecks()

Specified by:

countChecks in interface PropertyCheckResult

Returns:

The number of times a property has actually been evaluated not counting the tries that were rejected by a precondition aka assumption

countTries

public int countTries()

Specified by:

countTries in interface PropertyCheckResult

Returns:

The number of times a property has been tried including all tries rejected by a precondition aka assumption

randomSeed

public java.lang.String randomSeed()

Specified by:

randomSeed in interface PropertyCheckResult

sample

public java.util.Optional<java.util.List> sample()

Specified by:

sample in interface PropertyCheckResult

originalSample

public java.util.Optional<java.util.List> originalSample()

Specified by:

originalSample in interface PropertyCheckResult

throwable

public java.util.Optional<java.lang.Throwable> throwable()

Specified by:

throwable in interface PropertyCheckResult

generation

public net.jqwik.api.GenerationMode generation()

Specified by:

generation in interface PropertyCheckResult