org.checkerframework.checker.nullness.qual

Annotation Type PolyNull

@Documented
 @PolymorphicQualifier(value=Nullable.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
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