@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(value=RUNTIME) @Documented public @interface IntRange
@ForAll
ForAll
ByteRange
ShortRange
LongRange
FloatRange
DoubleRange
BigRange
int
max
min
public abstract int max
public abstract int min