Package net.jqwik.engine.descriptor

Class PropertyConfiguration

java.lang.Object

net.jqwik.engine.descriptor.PropertyConfiguration

public class PropertyConfiguration
extends Object

Constructor Summary

Constructors

Constructor	Description
PropertyConfiguration(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes, PropertyAttributesDefaults propertyAttributesDefaults, GenerationInfo previousFailureGeneration, String overriddenSeed, 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, GenerationInfo generationInfo)
net.jqwik.api.AfterFailureMode	getAfterFailureMode()
net.jqwik.api.EdgeCasesMode	getEdgeCasesMode()
net.jqwik.api.FixedSeedMode	getFixedSeedMode()
net.jqwik.api.GenerationMode	getGenerationMode()
int	getMaxDiscardRatio()
GenerationInfo	getPreviousFailureGeneration()
net.jqwik.api.lifecycle.PropertyAttributes	getPropertyAttributes()
String	getSeed()
net.jqwik.api.ShrinkingMode	getShrinkingMode()
String	getStereotype()
int	getTries()
boolean	hasFixedSeed()
boolean	previousFailureMustBeHandled()
boolean	seedHasNotChanged()
PropertyConfiguration	withFixedSeed()
PropertyConfiguration	withGenerationMode(net.jqwik.api.GenerationMode changedGenerationMode)
PropertyConfiguration	withPreviousGenerationSeed()
PropertyConfiguration	withSeed(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 Details

PropertyConfiguration

public PropertyConfiguration(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes,
 PropertyAttributesDefaults propertyAttributesDefaults,
 GenerationInfo previousFailureGeneration,
 String overriddenSeed,
 Integer overriddenTries,
 net.jqwik.api.GenerationMode overriddenGenerationMode)

Method Details

from

public static PropertyConfiguration from(net.jqwik.api.lifecycle.PropertyAttributes propertyAttributes,
 PropertyAttributesDefaults propertyAttributesDefaults,
 GenerationInfo generationInfo)

withSeed

public PropertyConfiguration withSeed(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 String getSeed()

getGenerationMode

public net.jqwik.api.GenerationMode getGenerationMode()

getPreviousFailureGeneration

public GenerationInfo getPreviousFailureGeneration()

getStereotype

public 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()

getFixedSeedMode

public net.jqwik.api.FixedSeedMode getFixedSeedMode()

hasFixedSeed

public boolean hasFixedSeed()

previousFailureMustBeHandled

public boolean previousFailureMustBeHandled()

withPreviousGenerationSeed

public PropertyConfiguration withPreviousGenerationSeed()

withFixedSeed

public PropertyConfiguration withFixedSeed()

seedHasNotChanged

public boolean seedHasNotChanged()