Package net.jqwik.api.constraints
Annotation Interface Positive
@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Documented
@API(status=MAINTAINED,
since="1.0")
public @interface Positive
Constrain the range of a generated number to be greater than 0.
Applies to numeric parameters which are also annotated with
@ForAll.