Package 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

Modifier and Type	Interface	Description
static class	ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

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

net.jqwik.api.lifecycle.PropertyExecutionResult.Status

Method Summary

Modifier and Type	Method	Description
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
net.jqwik.api.GenerationMode	generation()
GenerationInfo	generationInfo()
boolean	isExtended()
default Optional<String>	seed()

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

countChecks, countTries, falsifiedParameters, mapTo, mapToAborted, mapToFailed, mapToFailed, mapToSuccessful, originalSample, shrunkSample, status, throwable

Method Details

isExtended

boolean isExtended()

seed

default Optional<String> seed()

Specified by:

seed in interface net.jqwik.api.lifecycle.PropertyExecutionResult

generationInfo

GenerationInfo generationInfo()

generation

net.jqwik.api.GenerationMode generation()

edgeCases

ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()