Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
wpi-testchecker
/
non-annotated
/
InnerTypeTest2.java
blob: 3c90c7d348ee10f11437e2f6df1459d6453ef2c8 [
file
] [
log
] [
blame
]
public
class
InnerTypeTest2
{
public
static
int
[]
min_max
(
int
[]
a
)
{
if
(
a
.
length
==
0
)
{
return
null
;
}
int
result_min
=
a
[
0
];
int
result_max
=
a
[
0
];
return
new
int
[]
{
result_min
,
result_max
};
}
}