Annotation Interface StubFiles


@Documented @Retention(RUNTIME) @Target(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
    Description
    Stub file names.
  • Element Details

    • value

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