org.checkerframework.checker.nullness.compatqual.PolyNullDecl Maven / Gradle / Ivy
package org.checkerframework.checker.nullness.compatqual;
import java.lang.annotation.Documented;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
/**
* Identical to {@code @PolyNull}, but can only be written at declaration locations. This annotation
* can be used in Java 7 code; it has no dependency on Java 8 classes.
*
* @see org.checkerframework.checker.nullness.qual.PolyNull
* @checker_framework.manual #nullness-checker Nullness Checker
* @checker_framework.manual #qualifier-polymorphism Qualifier polymorphism
*/
@Documented
@Retention(RetentionPolicy.RUNTIME)
public @interface PolyNullDecl {}