Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
NonNegArrayLength.java
blob: 7c14042cea60b2e5547141a4da67918ca67db3e8 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.
Positive
;
import
org
.
checkerframework
.
common
.
value
.
qual
.
MinLen
;
public
class
NonNegArrayLength
{
public
static
void
NonNegArrayLength
(
int
@MinLen
(
4
)
[]
arr
)
{
@Positive
int
i
=
arr
.
length
-
2
;
}
}