Package org.checkerframework.framework.qual

Annotation Type 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
      java.lang.String[] value
      Stub file names.

    • Element Detail

      • value

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