Package org.checkerframework.framework.source

Annotation Type SupportedOptions

  • @Documented
@Retention(RUNTIME)
@Target(TYPE)
@Inherited
public @interface SupportedOptions
    An annotation used to indicate what Checker Framework options a checker supports. The SourceChecker.getSupportedOptions() method constructs its result from the value of this annotation and additionally prefixing the checker class name.

    In contrast to SupportedOptions, note that this qualifier is Inherited.

    See Also:
    SupportedLintOptions, SupportedOptions

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      java.lang.String[] value  

    • Element Detail

      • value

        java.lang.String[] value