net.jqwik.api.lifecycle

Interface PropertyExecutionResult

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

Represents the result of running a property.

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() The number of tries for which parameters were created and the property method run.
int	countTries() The number of tries for which parameters were created and the property method run and which were not aborted, e.g. through a failing assumption.
java.util.Optional<java.util.List<java.lang.Object>>	falsifiedSample() The potentially shrunk set of parameters that falsified this property.
PropertyExecutionResult	mapTo(PropertyExecutionResult.Status newStatus, java.lang.Throwable throwable) Use to change the status of a property execution result in a AroundPropertyHook.
default PropertyExecutionResult	mapToAborted(java.lang.Throwable throwable) Use to change the status of a property execution to PropertyExecutionResult.Status.ABORTED in a AroundPropertyHook.
default PropertyExecutionResult	mapToFailed(java.lang.String message) Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.
default PropertyExecutionResult	mapToFailed(java.lang.Throwable throwable) Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.
default PropertyExecutionResult	mapToSuccessful() Use to change the status of a failed property to PropertyExecutionResult.Status.SUCCESSFUL in a AroundPropertyHook.
java.util.Optional<java.lang.String>	seed() The seed used to generate randomized parameters.
PropertyExecutionResult.Status	status() The final status of this property
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()

The seed used to generate randomized parameters.

Returns:

an optional String

falsifiedSample

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

The potentially shrunk set of parameters that falsified this property.

Returns:

an optional list of parameters

status

PropertyExecutionResult.Status status()

The final status of this property

Returns:

status enum

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()

The number of tries for which parameters were created and the property method run.

Returns:

an number equal to or greater than 0

countTries

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

The number of tries for which parameters were created and the property method run and which were not aborted, e.g. through a failing assumption.

Returns:

an number equal to or greater than 0

mapTo

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

Use to change the status of a property execution result in a AroundPropertyHook.

Parameters:

newStatus - Status enum

throwable - Throwable object or null

Returns:

the changed result object

mapToSuccessful

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

Use to change the status of a failed property to PropertyExecutionResult.Status.SUCCESSFUL in a AroundPropertyHook.

Returns:

the changed result object

mapToFailed

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

Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.

Parameters:

throwable - Throwable object or null

Returns:

the changed result object

mapToFailed

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

Use to change the status of a successful property execution to PropertyExecutionResult.Status.FAILED in a AroundPropertyHook.

Parameters:

message - a String that serves as message of an assertion error

Returns:

the changed result object

mapToAborted

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

Use to change the status of a property execution to PropertyExecutionResult.Status.ABORTED in a AroundPropertyHook.

Parameters:

throwable - Throwable object or null

Returns:

the changed result object