Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
Index118NoLoop.java
blob: 6a3ba94a823fefff61681581b3ceb3d16dc9178c [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.
ArrayLen
;
public
class
Index118NoLoop
{
public
static
void
foo
(
String
@ArrayLen
(
4
)
[]
args
,
int
i
)
{
if
(
i
>=
1
&&
i
<=
3
)
{
System
.
out
.
println
(
args
[
i
]);
}
}
}