org.checkerframework.framework.qual

Annotation Type RelevantJavaTypes

@Documented
 @Retention(value=RUNTIME)
 @Target(value=TYPE)
 @Inherited
public @interface RelevantJavaTypes

An annotation on a SourceChecker subclass to specify types of interest to the checker. If a checker is not annotated with this annotation, then the checker is interested in all types.

Object[].class implies that the checker is interested in all array types; all other array classes are ignored. A boxed type, such as Integer.class, implies that the checker is interested in both the boxed type, Integer, and the unboxed, primitive type, int.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Class<?>[]	value Classes that are relevant to the checker.

Element Detail

value

public abstract Class<?>[] value

Classes that are relevant to the checker. Object[].class implies that the checker is interested in all array types; all other array classes are ignored. A boxed type, such as Integer.class, implies that the checker is interested in both the boxed type, Integer, and the unboxed, primitive type, int.