Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
nullness-extra
/
package-anno
/
test
/
package-info.java
blob: a797dedf113a82c8311347737280256a9a80e520 [
file
] [
log
] [
blame
]
@DefaultQualifier
(
Nullable
.
class
)
package
test
;
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.
Nullable
;
import
org
.
checkerframework
.
framework
.
qual
.
DefaultQualifier
;