net.jqwik.api.lifecycle

Interface PropertyExecutor

@API(status=MAINTAINED,
     since="1.4.0")
public interface PropertyExecutor

Objects of this class represent a property's execution. This is used in AroundPropertyHook.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	PropertyExecutor.Runnable

Method Summary

Modifier and Type	Method and Description
PropertyExecutionResult	execute() Call to actually run the property, including all hooks that are "closer" (have a higher proximity) than the current hook.
default PropertyExecutionResult	executeAndFinally(PropertyExecutor.Runnable andFinally) execute() the property and then call andFinally, even if property execution fails with an exception

Method Detail

execute

PropertyExecutionResult execute()

Call to actually run the property, including all hooks that are "closer" (have a higher proximity) than the current hook.

Returns:

The execution result

executeAndFinally

@API(status=EXPERIMENTAL,
     since="1.7.4")
default PropertyExecutionResult executeAndFinally(PropertyExecutor.Runnable andFinally)

execute() the property and then call andFinally, even if property execution fails with an exception

Parameters:

andFinally - the code to call after execution

Returns:

The execution result