net.jqwik.engine.properties

Interface PropertyCheckResult

All Known Implementing Classes:

PropertyCheckResult.ResultBase

public interface PropertyCheckResult

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	PropertyCheckResult.ResultBase
static class	PropertyCheckResult.Status

Method Summary

Modifier and Type	Method and Description
int	countChecks()
int	countTries()
static PropertyCheckResult	erroneous(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, java.util.List sample, java.util.List originalSample, java.lang.Throwable throwable)
static PropertyCheckResult	exhausted(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation)
static PropertyCheckResult	failure(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, java.util.List<java.lang.Object> sample, java.util.List<java.lang.Object> originalSample, java.lang.Throwable throwable)
net.jqwik.api.GenerationMode	generation()
static boolean	isFalsified(java.lang.Throwable throwable)
java.util.Optional<java.util.List>	originalSample()
java.lang.String	propertyName()
java.lang.String	randomSeed()
java.util.Optional<java.util.List>	sample()
static PropertyCheckResult	satisfied(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation)
PropertyCheckResult.Status	status()
java.util.Optional<java.lang.Throwable>	throwable()
default net.jqwik.api.lifecycle.PropertyExecutionResult	toExecutionResult()

Method Detail

status

PropertyCheckResult.Status status()

propertyName

java.lang.String propertyName()

countTries

int countTries()

Returns:

The number of times a property has been tried including all tries rejected by a precondition aka assumption

countChecks

int countChecks()

Returns:

The number of times a property has actually been evaluated not counting the tries that were rejected by a precondition aka assumption

randomSeed

java.lang.String randomSeed()

sample

java.util.Optional<java.util.List> sample()

originalSample

java.util.Optional<java.util.List> originalSample()

throwable

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

generation

net.jqwik.api.GenerationMode generation()

toExecutionResult

default net.jqwik.api.lifecycle.PropertyExecutionResult toExecutionResult()

satisfied

static PropertyCheckResult satisfied(java.lang.String stereotype,
                                     java.lang.String propertyName,
                                     int tries,
                                     int checks,
                                     java.lang.String randomSeed,
                                     net.jqwik.api.GenerationMode generation)

failure

static PropertyCheckResult failure(java.lang.String stereotype,
                                   java.lang.String propertyName,
                                   int tries,
                                   int checks,
                                   java.lang.String randomSeed,
                                   net.jqwik.api.GenerationMode generation,
                                   java.util.List<java.lang.Object> sample,
                                   java.util.List<java.lang.Object> originalSample,
                                   java.lang.Throwable throwable)

isFalsified

static boolean isFalsified(java.lang.Throwable throwable)

erroneous

static PropertyCheckResult erroneous(java.lang.String stereotype,
                                     java.lang.String propertyName,
                                     int tries,
                                     int checks,
                                     java.lang.String randomSeed,
                                     net.jqwik.api.GenerationMode generation,
                                     java.util.List sample,
                                     java.util.List originalSample,
                                     java.lang.Throwable throwable)

exhausted

static PropertyCheckResult exhausted(java.lang.String stereotype,
                                     java.lang.String propertyName,
                                     int tries,
                                     int checks,
                                     java.lang.String randomSeed,
                                     net.jqwik.api.GenerationMode generation)