Top Description Methods
org.checkerframework.framework.qual

public @Interface StubFiles

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
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.

Method Summary

Modifier and TypeMethod and Description
public String[]
value()

Stub file names.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

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