Package net.jqwik.api

Annotation Interface 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 Details

    • tries

      int tries
      Default:
      0

    • afterFailure

      AfterFailureMode afterFailure
      Default:
      NOT_SET

    • shrinking

      ShrinkingMode shrinking
      Default:
      NOT_SET

    • generation

      GenerationMode generation
      Default:
      NOT_SET

    • edgeCases

      EdgeCasesMode edgeCases
      Default:
      NOT_SET

    • whenFixedSeed

      @API(status=MAINTAINED, since="1.4.0") FixedSeedMode whenFixedSeed
      Default:
      NOT_SET

    • maxDiscardRatio

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