diff --git a/src/java.base/share/classes/org/checkerframework/checker/nullness/qual/PolyNull.java b/src/java.base/share/classes/org/checkerframework/checker/nullness/qual/PolyNull.java index bf42619c94b..81d741726ad 100644 --- a/src/java.base/share/classes/org/checkerframework/checker/nullness/qual/PolyNull.java +++ b/src/java.base/share/classes/org/checkerframework/checker/nullness/qual/PolyNull.java @@ -12,8 +12,8 @@ * A polymorphic qualifier for the non-null type system. * *
Any method written using {@link PolyNull} conceptually has two versions: one in which every - * instance of {@link PolyNull} has been replaced by {@link NonNull}, and one in which every - * instance of {@link PolyNull} has been replaced by {@link Nullable}. + * instance of {@link PolyNull} has been replaced by {@link org.checkerframework.checker.nullness.qual.NonNull}, and one in which every + * instance of {@link PolyNull} has been replaced by {@link org.checkerframework.checker.nullness.qual.Nullable}. * * @checker_framework.manual #nullness-checker Nullness Checker * @checker_framework.manual #qualifier-polymorphism Qualifier polymorphism @@ -21,5 +21,13 @@ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) -@PolymorphicQualifier(Nullable.class) -public @interface PolyNull {} +@PolymorphicQualifier(org.checkerframework.checker.nullness.qual.Nullable.class) +public @interface PolyNull { + /** + * The value of a polymorphic qualifier. It is used to distinguish different polymorphic + * qualifiers. + * + * @return the value of the annotation + */ + String value() default ""; +}