net.jqwik.api.lifecycle

Interface PropertyExecutionResult

@API(status=EXPERIMENTAL,
     since="1.0")
public interface PropertyExecutionResult

Experimental feature. Not ready for public usage yet.

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method and Description
int	countChecks()
int	countTries()
java.util.Optional<java.util.List<java.lang.Object>>	falsifiedSample()
PropertyExecutionResult	mapTo(PropertyExecutionResult.Status newStatus, java.lang.Throwable throwable)
default PropertyExecutionResult	mapToAborted(java.lang.Throwable throwable)
default PropertyExecutionResult	mapToFailed(java.lang.String message)
default PropertyExecutionResult	mapToFailed(java.lang.Throwable throwable)
default PropertyExecutionResult	mapToSuccessful()
java.util.Optional<java.lang.String>	seed()
PropertyExecutionResult.Status	status()
java.util.Optional<java.lang.Throwable>	throwable() Will return Optional.empty() if status is anything but FAILED.

Method Detail

seed

java.util.Optional<java.lang.String> seed()

falsifiedSample

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

status

PropertyExecutionResult.Status status()

throwable

java.util.Optional<java.lang.Throwable> throwable()

Will return Optional.empty() if status is anything but FAILED. If FAILED the optional MUST contain a throwable.

countChecks

@API(status=EXPERIMENTAL,
     since="1.2.4")
int countChecks()

countTries

@API(status=EXPERIMENTAL,
     since="1.2.4")
int countTries()

mapTo

@API(status=EXPERIMENTAL,
     since="1.2.4")
PropertyExecutionResult mapTo(PropertyExecutionResult.Status newStatus,
                                                                            java.lang.Throwable throwable)

mapToSuccessful

@API(status=EXPERIMENTAL,
     since="1.2.4")
default PropertyExecutionResult mapToSuccessful()

mapToFailed

@API(status=EXPERIMENTAL,
     since="1.2.4")
default PropertyExecutionResult mapToFailed(java.lang.Throwable throwable)

mapToFailed

@API(status=EXPERIMENTAL,
     since="1.2.4")
default PropertyExecutionResult mapToFailed(java.lang.String message)

mapToAborted

@API(status=EXPERIMENTAL,
     since="1.2.4")
default PropertyExecutionResult mapToAborted(java.lang.Throwable throwable)