Package net.jqwik.api.lifecycle

Schnittstelle 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.

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Schnittstelle	Beschreibung
static interface	PropertyExecutor.Runnable

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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

Methodendetails

execute

PropertyExecutionResult execute()

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

Gibt zurück:

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

Parameter:

andFinally - the code to call after execution

Gibt zurück:

The execution result