Package net.jqwik.api.constraints

Annotation Interface BigRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.0") public @interface BigRange
Constrain the range of a generated "Big" number.

Applies to BigInteger and BigDecimal parameters which are also annotated with @ForAll.

minIncluded() and maxIncluded() only work for BigDecimal.

See Also:

  • Element Details

    • min

      String min
      Default:
      ""

    • minIncluded

      @API(status=MAINTAINED, since="1.2.7") boolean minIncluded
      Default:
      true

    • max

      String max
      Default:
      ""

    • maxIncluded

      @API(status=MAINTAINED, since="1.2.7") boolean maxIncluded
      Default:
      true