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