Annotation Type SupportedLintOptions
-
@Documented @Retention(RUNTIME) @Target(TYPE) @Inherited public @interface SupportedLintOptions
An 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
@SupportedLintOptions
annotation.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
-