net.jqwik.api.lifecycle

Class PropertyExecutionResult

java.lang.Object

net.jqwik.api.lifecycle.PropertyExecutionResult

public class PropertyExecutionResult
extends java.lang.Object

Experimental feature. Not ready for public usage yet.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PropertyExecutionResult.Status Status of executing a single test or container.

Method Summary

Modifier and Type	Method and Description
static PropertyExecutionResult	aborted(java.lang.Throwable throwable, java.lang.String seed)
static PropertyExecutionResult	failed(java.lang.Throwable throwable, java.lang.String seed, java.util.List<java.lang.Object> sample)
java.util.Optional<java.util.List<java.lang.Object>>	getFalsifiedSample()
java.util.Optional<java.lang.String>	getSeed()
PropertyExecutionResult.Status	getStatus()
java.util.Optional<java.lang.Throwable>	getThrowable()
static PropertyExecutionResult	successful()
static PropertyExecutionResult	successful(java.lang.String seed)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

successful

public static PropertyExecutionResult successful()

successful

public static PropertyExecutionResult successful(java.lang.String seed)

failed

public static PropertyExecutionResult failed(java.lang.Throwable throwable,
                                             java.lang.String seed,
                                             java.util.List<java.lang.Object> sample)

aborted

public static PropertyExecutionResult aborted(java.lang.Throwable throwable,
                                              java.lang.String seed)

getSeed

public java.util.Optional<java.lang.String> getSeed()

getFalsifiedSample

public java.util.Optional<java.util.List<java.lang.Object>> getFalsifiedSample()

getStatus

public PropertyExecutionResult.Status getStatus()

getThrowable

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object