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