Package net.jqwik.api

Annotation Type PropertyDefaults


  • @Target({ANNOTATION_TYPE,TYPE})
    @Retention(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.
    • 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
      • maxDiscardRatio

        @API(status=MAINTAINED,
             since="1.6.2")
        int maxDiscardRatio
        Default:
        0