net.jqwik.api.constraints

Annotation Type Negative

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @ShortRange(min=-32768,
            max=0)
 @ByteRange(min=-128,
           max=0)
 @IntRange(min=-2147483648,
          max=0)
 @LongRange(min=-9223372036854775808L,
           max=0L)
 @FloatRange(min=-3.4028234663852886E38f,
            max=-0.0f)
 @DoubleRange(min=-1.7976931348623157E308,
             max=-0.0)
 @BigRange(max="0")
 @Documented
public @interface Negative

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

See Also:

ForAll, Positive