net.jqwik.api.constraints

Annotation Type Positive

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @ShortRange(min=0,
            max=32767)
 @ByteRange(min=0,
           max=127)
 @IntRange(min=0,
          max=2147483647)
 @LongRange(min=0L,
           max=9223372036854775807L)
 @FloatRange(min=0.0f,
            max=3.4028234663852886E38f)
 @DoubleRange(min=0.0,
             max=1.7976931348623157E308)
 @BigRange(min="0")
 @Documented
public @interface Positive

Constrain the range of a generated number to be 0 or greater. Applies to numeric parameters which are also annotated with @ForAll.

See Also:

ForAll, Negative