Package net.jqwik.engine.properties

Class PropertyCheckResult

java.lang.Object

net.jqwik.engine.properties.PropertyCheckResult

All Implemented Interfaces:

net.jqwik.api.lifecycle.PropertyExecutionResult, ExtendedPropertyExecutionResult

public class PropertyCheckResult
extends java.lang.Object
implements ExtendedPropertyExecutionResult

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult

ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

Nested classes/interfaces inherited from interface net.jqwik.api.lifecycle.PropertyExecutionResult

net.jqwik.api.lifecycle.PropertyExecutionResult.Status

Method Summary

Modifier and Type	Method	Description
net.jqwik.engine.properties.PropertyCheckResult.CheckStatus	checkStatus()
int	countChecks()
int	countTries()
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult	edgeCases()
static PropertyCheckResult	exhausted(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried)
static PropertyCheckResult	failed(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried, net.jqwik.api.lifecycle.FalsifiedSample originalSample, net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrunkSample, java.lang.Throwable throwable)
java.util.Optional<java.util.List<java.lang.Object>>	falsifiedParameters()
net.jqwik.api.GenerationMode	generation()
boolean	isExtended()
net.jqwik.api.lifecycle.PropertyExecutionResult	mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus, java.lang.Throwable throwable)
java.util.Optional<net.jqwik.api.lifecycle.FalsifiedSample>	originalSample()
java.lang.String	propertyName()
java.lang.String	randomSeed()
java.util.Optional<java.lang.String>	seed()
java.util.Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample>	shrunkSample()
static PropertyCheckResult	skipExample(java.lang.String stereotype, java.lang.String propertyName, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried, java.lang.Throwable throwable)
net.jqwik.api.lifecycle.PropertyExecutionResult.Status	status()
static PropertyCheckResult	successful(java.lang.String stereotype, java.lang.String propertyName, int tries, int checks, java.lang.String randomSeed, net.jqwik.api.GenerationMode generation, net.jqwik.api.EdgeCasesMode edgeCasesMode, int edgeCasesTotal, int edgeCasesTried)
java.util.Optional<java.lang.Throwable>	throwable()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapToAborted, mapToFailed, mapToFailed, mapToSuccessful

Method Detail

successful

public static PropertyCheckResult successful(java.lang.String stereotype,
                                             java.lang.String propertyName,
                                             int tries,
                                             int checks,
                                             java.lang.String randomSeed,
                                             net.jqwik.api.GenerationMode generation,
                                             net.jqwik.api.EdgeCasesMode edgeCasesMode,
                                             int edgeCasesTotal,
                                             int edgeCasesTried)

failed

public static PropertyCheckResult failed(java.lang.String stereotype,
                                         java.lang.String propertyName,
                                         int tries,
                                         int checks,
                                         java.lang.String randomSeed,
                                         net.jqwik.api.GenerationMode generation,
                                         net.jqwik.api.EdgeCasesMode edgeCasesMode,
                                         int edgeCasesTotal,
                                         int edgeCasesTried,
                                         net.jqwik.api.lifecycle.FalsifiedSample originalSample,
                                         net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrunkSample,
                                         java.lang.Throwable throwable)

skipExample

public static PropertyCheckResult skipExample(java.lang.String stereotype,
                                              java.lang.String propertyName,
                                              java.lang.String randomSeed,
                                              net.jqwik.api.GenerationMode generation,
                                              net.jqwik.api.EdgeCasesMode edgeCasesMode,
                                              int edgeCasesTotal,
                                              int edgeCasesTried,
                                              java.lang.Throwable throwable)

exhausted

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

falsifiedParameters

public java.util.Optional<java.util.List<java.lang.Object>> falsifiedParameters()

Specified by:

falsifiedParameters in interface net.jqwik.api.lifecycle.PropertyExecutionResult

seed

public java.util.Optional<java.lang.String> seed()

Specified by:

seed in interface net.jqwik.api.lifecycle.PropertyExecutionResult

status

public net.jqwik.api.lifecycle.PropertyExecutionResult.Status status()

Specified by:

status in interface net.jqwik.api.lifecycle.PropertyExecutionResult

throwable

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

Specified by:

throwable in interface net.jqwik.api.lifecycle.PropertyExecutionResult

mapTo

public net.jqwik.api.lifecycle.PropertyExecutionResult mapTo(net.jqwik.api.lifecycle.PropertyExecutionResult.Status newStatus,
                                                             java.lang.Throwable throwable)

Specified by:

mapTo in interface net.jqwik.api.lifecycle.PropertyExecutionResult

isExtended

public boolean isExtended()

Specified by:

isExtended in interface ExtendedPropertyExecutionResult

propertyName

public java.lang.String propertyName()

checkStatus

public net.jqwik.engine.properties.PropertyCheckResult.CheckStatus checkStatus()

countChecks

public int countChecks()

Specified by:

countChecks in interface net.jqwik.api.lifecycle.PropertyExecutionResult

countTries

public int countTries()

Specified by:

countTries in interface net.jqwik.api.lifecycle.PropertyExecutionResult

randomSeed

public java.lang.String randomSeed()

Specified by:

randomSeed in interface ExtendedPropertyExecutionResult

originalSample

public java.util.Optional<net.jqwik.api.lifecycle.FalsifiedSample> originalSample()

Specified by:

originalSample in interface net.jqwik.api.lifecycle.PropertyExecutionResult

shrunkSample

public java.util.Optional<net.jqwik.api.lifecycle.ShrunkFalsifiedSample> shrunkSample()

Specified by:

shrunkSample in interface net.jqwik.api.lifecycle.PropertyExecutionResult

generation

public net.jqwik.api.GenerationMode generation()

Specified by:

generation in interface ExtendedPropertyExecutionResult

edgeCases

public ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()

Specified by:

edgeCases in interface ExtendedPropertyExecutionResult

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object