Annotation 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
valueString valueStub file names. These are basenames: they include the extension (usually ".astub"), but no directory component.