Package org.checkerframework.framework.source

Annotation Interface 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:
See the Checker Framework Manual:
The checker class: Compiler interface

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
     

  • Element Details