Package net.jqwik.api.constraints

Annotation Type Negative

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Documented
@API(status=MAINTAINED,
     since="1.0")
public @interface Negative

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

See Also:

ForAll, Positive