Annotationsschnittstelle 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.
Siehe auch: