Annotation Type SupportedLintOptions
-
@Documented @Retention(RUNTIME) @Target(TYPE) @Inherited public @interface SupportedLintOptionsAn annotation used to indicate what lint options a checker supports. For example, if a checker class (one that extends BaseTypeChecker) is annotated with@SupportedLintOptions({"dotequals"}), then the checker accepts the command-line option-Alint=-dotequals.This annotation is optional and many checkers do not contain an
@SupportedLintOptionsannotation.The
SourceChecker.getSupportedLintOptions()method can construct its result from the value of this annotation.- See Also:
SupportedOptions- See the Checker Framework Manual:
- The checker class: Compiler interface
-
-
Required Element Summary
Required Elements Modifier and Type Required Element Description java.lang.String[]value
-