Package net.jqwik.engine.descriptor

Klasse PropertyConfiguration

java.lang.Object

net.jqwik.engine.descriptor.PropertyConfiguration

public class PropertyConfiguration
extends Object

Konstruktorübersicht

Konstruktoren

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

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

PropertyConfiguration

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

Methodendetails

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