PropertyExecutionResult (documentation 1.2.3 API)

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

Experimental feature. Not ready for public usage yet.

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

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`default PropertyExecutionResult`	`changeToFailed(java.lang.String message)`
`PropertyExecutionResult`	`changeToFailed(java.lang.Throwable throwable)`
`PropertyExecutionResult`	`changeToSuccessful()`
`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()`

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

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

PropertyExecutionResult.Status getStatus()

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

@API(status=EXPERIMENTAL,
     since="1.2.3")
PropertyExecutionResult changeToSuccessful()

@API(status=EXPERIMENTAL,
     since="1.2.3")
PropertyExecutionResult changeToFailed(java.lang.Throwable throwable)

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

Interface PropertyExecutionResult