Package net.jqwik.api.constraints

Annotation Type 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:
    ForAll, ByteRange, ShortRange, IntRange, LongRange, FloatRange, DoubleRange

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.String max  
      boolean maxIncluded  
      java.lang.String min  
      boolean minIncluded  

    • Element Detail

      • min

        java.lang.String min
        Default:
        ""

      • minIncluded

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

      • max

        java.lang.String max
        Default:
        ""

      • maxIncluded

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