net.jqwik.api.constraints

Annotation Type Positive

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
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.

See Also:

ForAll, Negative