Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
mustcall
/
StreamBool.java
blob: f6c2b0fe71ef3f73b8345167001a31b0e306224f [
file
] [
log
] [
blame
]
// A test case for a false positive in hfds.
import
java
.
io
.
InputStream
;
class
StreamBool
{
InputStream
stream
;
boolean
isActive
()
{
return
stream
!=
null
;
}
}