PropertyDefaults (documentation 1.6.0 API)

@Target({ANNOTATION_TYPE,TYPE})
@Retention(RUNTIME)
@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	Description
`AfterFailureMode`	`afterFailure`
`EdgeCasesMode`	`edgeCases`
`GenerationMode`	`generation`
`ShrinkingMode`	`shrinking`
`int`	`tries`
`FixedSeedMode`	`whenFixedSeed`

- Element Detail
  - tries
```
int tries
```
    Default:
    
    0
- - afterFailure
```
AfterFailureMode afterFailure
```
    Default:
    
    net.jqwik.api.AfterFailureMode.NOT_SET
- - shrinking
```
ShrinkingMode shrinking
```
    Default:
    
    net.jqwik.api.ShrinkingMode.NOT_SET
- - generation
```
GenerationMode generation
```
    Default:
    
    net.jqwik.api.GenerationMode.NOT_SET
- - edgeCases
```
EdgeCasesMode edgeCases
```
    Default:
    
    net.jqwik.api.EdgeCasesMode.NOT_SET
- - whenFixedSeed
```
@API(status=MAINTAINED,
     since="1.4.0")
FixedSeedMode whenFixedSeed
```
    Default:
    
    net.jqwik.api.FixedSeedMode.NOT_SET