Package net.jqwik.api

Annotationsschnittstelle 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.
  • Elementdetails

    • tries

      int tries
      Standard:
      0
    • afterFailure

      AfterFailureMode afterFailure
      Standard:
      NOT_SET
    • shrinking

      ShrinkingMode shrinking
      Standard:
      NOT_SET
    • generation

      GenerationMode generation
      Standard:
      NOT_SET
    • edgeCases

      EdgeCasesMode edgeCases
      Standard:
      NOT_SET
    • whenFixedSeed

      @API(status=MAINTAINED, since="1.4.0") FixedSeedMode whenFixedSeed
      Standard:
      NOT_SET
    • maxDiscardRatio

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