Top Description Methods
org.checkerframework.checker.nullness.qual

public @Interface PolyNull

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@PolymorphicQualifier:Nullable
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.PolymorphicQualifier
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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString