org.checkerframework.framework.qual

Annotation Type StubFiles

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

An annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk.astub. This allows larger compound checkers to separate the annotations into multiple files, or to provide annotations for non-JDK classes.

This annotation is not inherited. That means that if a checker with this annotation is subclassed, then this annotation must be copied to the subclass and the stub file must also be copied to the directory that contains the subclass.

See the Checker Framework Manual:

Annotated JDK

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value Stub file names.

Element Detail

value

public abstract String[] value

Stub file names. These are basenames: they include the extension (usually ".astub"), but no directory component.