net.jqwik.engine.execution.lifecycle

Interface ExtendedPropertyExecutionResult

All Superinterfaces:

net.jqwik.api.lifecycle.PropertyExecutionResult

All Known Implementing Classes:

PlainExecutionResult, PropertyCheckResult

public interface ExtendedPropertyExecutionResult
extends net.jqwik.api.lifecycle.PropertyExecutionResult

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.lifecycle.PropertyExecutionResult

net.jqwik.api.lifecycle.PropertyExecutionResult.Status

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.GenerationMode	generation()
boolean	isExtended()
java.util.Optional<java.util.List<java.lang.Object>>	originalSample()
java.lang.String	randomSeed()

Methods inherited from interface net.jqwik.api.lifecycle.PropertyExecutionResult

countChecks, countTries, falsifiedSample, mapTo, mapToAborted, mapToFailed, mapToFailed, mapToSuccessful, seed, status, throwable

Method Detail

isExtended

boolean isExtended()

randomSeed

java.lang.String randomSeed()

originalSample

java.util.Optional<java.util.List<java.lang.Object>> originalSample()

generation

net.jqwik.api.GenerationMode generation()