All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.checkerframework.checker.nullness.compatqual.PolyNullDecl Maven / Gradle / Ivy

The newest version!
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 {}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy