@Documented @Retention(value=RUNTIME) @Target(value=TYPE) @Inherited public @interface RelevantJavaTypes
If a checker is not annotated with this annotation, then the checker's qualifiers may appear on any type.
This is orthogonal to Java's
@Target annotation; each enforces a different type of
restriction on what can be written in source code.
|Modifier and Type||Required Element and Description|
Classes that are processed by the checker.
public abstract java.lang.Class<?> value
Object.class implies that the checker processes all array types. No distinction
among array types is currently made, and no other array class should be supplied to
A boxed type, such as
Integer.class, implies that the checker processes both the
Integer and the unboxed primitive type