Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
stubs
/
issue1542
/
NeedsIntRange.astub
blob: dbb05f5f48e04a0a6de59eedfb1031bb2e9c8df6 [
file
] [
log
] [
blame
] [
edit
]
import
org
.
checkerframework
.
common
.
value
.
qual
.
IntRange
;
package
issue1542
;
class
NeedsIntRange
{
@IntRange
(
from
=
3
,
to
=
20000L
)
int
range
(
boolean
big
);
}