Package org.checkerframework.framework.source

Annotation Interface 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:

  • Required Element Summary

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

  • Element Details