Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
ArrayCopy.java
blob: b73f95ca37f03c78a3508299adf8d6a94f105080 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.
MinLen
;
public
class
ArrayCopy
{
void
copy
(
int
@MinLen
(
1
)
[]
nums
)
{
int
[]
nums_copy
=
new
int
[
nums
.
length
];
System
.
arraycopy
(
nums
,
0
,
nums_copy
,
0
,
nums
.
length
);
nums
=
nums_copy
;
}
}