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()
boolean	isExtended()
java.lang.String	randomSeed()

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

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

Method Detail

isExtended

boolean isExtended()

randomSeed

java.lang.String randomSeed()

generation

net.jqwik.api.GenerationMode generation()

edgeCases

ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()