
checker.src.javax.annotation.Nonnull Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker-compat-qual Show documentation
Show all versions of checker-compat-qual Show documentation
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
package javax.annotation;
import java.lang.annotation.*;
import javax.annotation.meta.When;
@Documented
@Retention(RetentionPolicy.RUNTIME)
public @interface Nonnull {
When when() default When.ALWAYS;
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy