net.jqwik.api

Annotation Type PropertyDefaults

@Target(value={ANNOTATION_TYPE,TYPE})
 @Retention(value=RUNTIME)
 @Inherited
 @API(status=MAINTAINED,
     since="1.4.0")
public @interface PropertyDefaults

Annotate a container class with @PropertyDefaults if you want to set defaults of Property attributes of all contained property methods.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
AfterFailureMode	afterFailure
EdgeCasesMode	edgeCases
GenerationMode	generation
int	maxDiscardRatio
ShrinkingMode	shrinking
int	tries
FixedSeedMode	whenFixedSeed

Element Detail

tries

public abstract int tries

Default:

0

afterFailure

public abstract AfterFailureMode afterFailure

Default:

net.jqwik.api.AfterFailureMode.NOT_SET

shrinking

public abstract ShrinkingMode shrinking

Default:

net.jqwik.api.ShrinkingMode.NOT_SET

generation

public abstract GenerationMode generation

Default:

net.jqwik.api.GenerationMode.NOT_SET

edgeCases

public abstract EdgeCasesMode edgeCases

Default:

net.jqwik.api.EdgeCasesMode.NOT_SET

whenFixedSeed

@API(status=MAINTAINED,
     since="1.4.0")
public abstract FixedSeedMode whenFixedSeed

Default:

net.jqwik.api.FixedSeedMode.NOT_SET

maxDiscardRatio

@API(status=MAINTAINED,
     since="1.6.2")
public abstract int maxDiscardRatio

Default:

0