Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
Issue2030.java
blob: b6465b073b5e38ecb16d9b934024985374f06cde [
file
] [
log
] [
blame
]
public
class
Issue2030
{
double
roundIntermediate
(
double
x
)
{
if
(
x
>=
0.0
)
{
return
x
;
}
else
{
return
(
long
)
x
-
1
;
}
}
}