net.jqwik.api

Annotation Type PropertyDefaults

@Target(value={ANNOTATION_TYPE,TYPE})
 @Retention(value=RUNTIME)
 @API(status=EXPERIMENTAL,
     since="1.3.4")
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
ShrinkingMode	shrinking
int	tries

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