Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
LengthOfTest.java
blob: 4e371616f1d91397c9f305a71173e3e31d0eef71 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.*;
public
class
LengthOfTest
{
void
foo
(
int
[]
a
,
@LengthOf
(
"#1"
)
int
x
)
{
@IndexOrHigh
(
"a"
)
int
y
=
x
;
// :: error: (assignment)
@IndexFor
(
"a"
)
int
w
=
x
;
@LengthOf
(
"a"
)
int
z
=
a
.
length
;
}
}