Package 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	Description
PropertyConfiguration(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes, PropertyAttributesDefaults propertyAttributesDefaults, java.lang.String previousSeed, java.util.List<java.lang.Object> falsifiedSample, java.lang.String overriddenSeed, java.lang.Integer overriddenTries, net.jqwik.api.GenerationMode overriddenGenerationMode)

Method Summary

Modifier and Type	Method	Description
int	boundedShrinkingSeconds()
static PropertyConfiguration	from(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes, PropertyAttributesDefaults propertyAttributesDefaults, java.lang.String previousSeed, java.util.List<java.lang.Object> falsifiedSample)
net.jqwik.api.AfterFailureMode	getAfterFailureMode()
net.jqwik.api.EdgeCasesMode	getEdgeCasesMode()
java.util.List<java.lang.Object>	getFalsifiedSample()
net.jqwik.api.GenerationMode	getGenerationMode()
int	getMaxDiscardRatio()
java.lang.String	getPreviousSeed()
net.jqwik.api.lifecycle.PropertyAttributes	getPropertyAttributes()
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(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes,
                             PropertyAttributesDefaults propertyAttributesDefaults,
                             java.lang.String previousSeed,
                             java.util.List<java.lang.Object> falsifiedSample,
                             java.lang.String overriddenSeed,
                             java.lang.Integer overriddenTries,
                             net.jqwik.api.GenerationMode overriddenGenerationMode)

Method Detail

from

public static PropertyConfiguration from(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes,
                                         PropertyAttributesDefaults propertyAttributesDefaults,
                                         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)

getPropertyAttributes

public net.jqwik.api.lifecycle.PropertyAttributes getPropertyAttributes()

getTries

public int getTries()

getSeed

public java.lang.String getSeed()

getGenerationMode

public net.jqwik.api.GenerationMode getGenerationMode()

getPreviousSeed

public java.lang.String getPreviousSeed()

getFalsifiedSample

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

getStereotype

public java.lang.String getStereotype()

getMaxDiscardRatio

public int getMaxDiscardRatio()

getShrinkingMode

public net.jqwik.api.ShrinkingMode getShrinkingMode()

getAfterFailureMode

public net.jqwik.api.AfterFailureMode getAfterFailureMode()

getEdgeCasesMode

public net.jqwik.api.EdgeCasesMode getEdgeCasesMode()

boundedShrinkingSeconds

public int boundedShrinkingSeconds()