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  
    • Element Detail

      • value

        java.lang.String[] value