Annotation Interface PolyNull
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(Nullable.class)
public @interface PolyNull
A polymorphic qualifier for the non-null type system.
Any method written using PolyNull conceptually has two versions: one in which every
instance of PolyNull has been replaced by NonNull, and one in which every
instance of PolyNull has been replaced by Nullable.
- See the Checker Framework Manual:
- Nullness Checker, Qualifier polymorphism