Package net.jqwik.api.constraints
Annotation Type IntRange
-
@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.0") public @interface IntRange
Constrain the range of a generated int or Integer parameters. Applies to int or Integer parameters which are also annotated with@ForAll
.- See Also:
ForAll
,ByteRange
,ShortRange
,LongRange
,FloatRange
,DoubleRange
,BigRange