Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
LessThanZeroArrayLength.java
blob: ba58d4c2ca8846d5f0d7ac4fcd62ef65d464984b [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.
LessThan
;
public
class
LessThanZeroArrayLength
{
void
test
(
int
[]
a
)
{
foo
(
0
,
a
.
length
);
}
void
foo
(
@LessThan
(
"#2 + 1"
)
int
x
,
int
y
)
{}
}