@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 |
---|---|
java.lang.Class<?>[] |
value
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
@RelevantJavaTypes
.
A boxed type, such as Integer.class
, implies that the checker processes both the
boxed type Integer
and the unboxed primitive type int
.