Package net.jqwik.engine.execution.lifecycle

Class PlainExecutionResult

java.lang.Object

net.jqwik.engine.execution.lifecycle.PlainExecutionResult

All Implemented Interfaces:

net.jqwik.api.lifecycle.PropertyExecutionResult, ExtendedPropertyExecutionResult

public class PlainExecutionResult
extends Object
implements ExtendedPropertyExecutionResult

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult

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
static ExtendedPropertyExecutionResult	aborted(Throwable throwable, String seed)
static ExtendedPropertyExecutionResult	aborted(Throwable throwable, GenerationInfo generationInfo)
int	countChecks()
int	countTries()
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
static ExtendedPropertyExecutionResult	failed(Throwable throwable, String seed)
Optional<List<Object>>	falsifiedParameters()
net.jqwik.api.GenerationMode	generation()
GenerationInfo	generationInfo()
boolean	isExtended()
net.jqwik.api.lifecycle.PropertyExecutionResult	mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus, Throwable throwable)
Optional<net.jqwik.api.lifecycle.FalsifiedSample>	originalSample()
Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample>	shrunkSample()
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	status()
static ExtendedPropertyExecutionResult	successful()
Optional<Throwable>	throwable()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult

seed

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

mapToAborted, mapToFailed, mapToFailed, mapToSuccessful

Method Details

successful

public static ExtendedPropertyExecutionResult successful()

failed

public static ExtendedPropertyExecutionResult failed(Throwable throwable,
 String seed)

aborted

public static ExtendedPropertyExecutionResult aborted(Throwable throwable,
 String seed)

aborted

public static ExtendedPropertyExecutionResult aborted(Throwable throwable,
 GenerationInfo generationInfo)

falsifiedParameters

public Optional<List<Object>> falsifiedParameters()

Specified by:

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

status

public net.jqwik.api.lifecycle.PropertyExecutionResult.Status status()

Specified by:

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

throwable

public Optional<Throwable> throwable()

Specified by:

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

mapTo

public net.jqwik.api.lifecycle.PropertyExecutionResult mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus,
 Throwable throwable)

Specified by:

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

isExtended

public boolean isExtended()

Specified by:

isExtended in interface ExtendedPropertyExecutionResult

countChecks

public int countChecks()

Specified by:

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

countTries

public int countTries()

Specified by:

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

originalSample

public Optional<net.jqwik.api.lifecycle.FalsifiedSample> originalSample()

Specified by:

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

shrunkSample

public Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample> shrunkSample()

Specified by:

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

generation

public net.jqwik.api.GenerationMode generation()

Specified by:

generation in interface ExtendedPropertyExecutionResult

edgeCases

public ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()

Specified by:

edgeCases in interface ExtendedPropertyExecutionResult

generationInfo

public GenerationInfo generationInfo()

Specified by:

generationInfo in interface ExtendedPropertyExecutionResult

toString

public String toString()

Overrides:

toString in class Object