Package net.jqwik.engine

Interface PropertyAttributesDefaults

public interface PropertyAttributesDefaults

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	DEFAULT_STEREOTYPE

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.AfterFailureMode	afterFailure()
int	boundedShrinkingSeconds()
net.jqwik.api.EdgeCasesMode	edgeCases()
net.jqwik.api.GenerationMode	generation()
int	maxDiscardRatio()
net.jqwik.api.ShrinkingMode	shrinking()
java.lang.String	stereotype()
int	tries()
static PropertyAttributesDefaults	with(int tries, int maxDiscardRatio, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.EdgeCasesMode edgeCasesMode, net.jqwik.api.ShrinkingMode shrinkingMode, int boundedShrinkingSeconds)

Field Detail

DEFAULT_STEREOTYPE

static final java.lang.String DEFAULT_STEREOTYPE

See Also:

Constant Field Values

Method Detail

tries

int tries()

maxDiscardRatio

int maxDiscardRatio()

shrinking

net.jqwik.api.ShrinkingMode shrinking()

afterFailure

net.jqwik.api.AfterFailureMode afterFailure()

generation

net.jqwik.api.GenerationMode generation()

edgeCases

net.jqwik.api.EdgeCasesMode edgeCases()

stereotype

java.lang.String stereotype()

boundedShrinkingSeconds

int boundedShrinkingSeconds()

with

static PropertyAttributesDefaults with(int tries,
                                       int maxDiscardRatio,
                                       net.jqwik.api.AfterFailureMode afterFailureMode,
                                       net.jqwik.api.GenerationMode generationMode,
                                       net.jqwik.api.EdgeCasesMode edgeCasesMode,
                                       net.jqwik.api.ShrinkingMode shrinkingMode,
                                       int boundedShrinkingSeconds)