net.jqwik.engine.descriptor

Class PropertyConfiguration

java.lang.Object

net.jqwik.engine.descriptor.PropertyConfiguration

public class PropertyConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PropertyConfiguration(java.lang.String stereotype, java.lang.String seed, java.lang.String previousSeed, java.util.List<java.lang.Object> falsifiedSample, int tries, int maxDiscardRatio, net.jqwik.api.ShrinkingMode shrinkingMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.AfterFailureMode afterFailureMode)

Method Summary

Modifier and Type	Method and Description
static PropertyConfiguration	from(net.jqwik.api.Property property, PropertyDefaultValues propertyDefaultValues, java.lang.String previousSeed, java.util.List<java.lang.Object> falsifiedSample)
net.jqwik.api.AfterFailureMode	getAfterFailureMode()
java.util.List<java.lang.Object>	getFalsifiedSample()
net.jqwik.api.GenerationMode	getGenerationMode()
int	getMaxDiscardRatio()
java.lang.String	getPreviousSeed()
java.lang.String	getSeed()
net.jqwik.api.ShrinkingMode	getShrinkingMode()
java.lang.String	getStereotype()
int	getTries()
PropertyConfiguration	withGenerationMode(net.jqwik.api.GenerationMode changedGenerationMode)
PropertyConfiguration	withSeed(java.lang.String changedSeed)
PropertyConfiguration	withTries(int changedTries)

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyConfiguration

public PropertyConfiguration(java.lang.String stereotype,
                             java.lang.String seed,
                             java.lang.String previousSeed,
                             java.util.List<java.lang.Object> falsifiedSample,
                             int tries,
                             int maxDiscardRatio,
                             net.jqwik.api.ShrinkingMode shrinkingMode,
                             net.jqwik.api.GenerationMode generationMode,
                             net.jqwik.api.AfterFailureMode afterFailureMode)

Method Detail

from

public static PropertyConfiguration from(net.jqwik.api.Property property,
                                         PropertyDefaultValues propertyDefaultValues,
                                         java.lang.String previousSeed,
                                         java.util.List<java.lang.Object> falsifiedSample)

withSeed

public PropertyConfiguration withSeed(java.lang.String changedSeed)

withGenerationMode

public PropertyConfiguration withGenerationMode(net.jqwik.api.GenerationMode changedGenerationMode)

withTries

public PropertyConfiguration withTries(int changedTries)

getSeed

public java.lang.String getSeed()

getPreviousSeed

public java.lang.String getPreviousSeed()

getFalsifiedSample

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

getStereotype

public java.lang.String getStereotype()

getTries

public int getTries()

getMaxDiscardRatio

public int getMaxDiscardRatio()

getShrinkingMode

public net.jqwik.api.ShrinkingMode getShrinkingMode()

getGenerationMode

public net.jqwik.api.GenerationMode getGenerationMode()

getAfterFailureMode

public net.jqwik.api.AfterFailureMode getAfterFailureMode()