Annotation Type 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.
    See Also:
    ForAll, Negative