Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
stubs
/
issue1542
/
NeedsIntRange.java
blob: 9473085d26d07f415e2433756901c086216ee2c0 [
file
] [
log
] [
blame
] [
edit
]
package
issue1542
;
public
class
NeedsIntRange
{
public
static
int
range
(
boolean
big
)
{
if
(
big
)
{
return
20000
;
}
else
{
return
3
;
}
}
}