org.checkerframework.framework.source

Annotation Type SupportedOptions

@Inherited
 @Documented
 @Target(value=TYPE)
 @Retention(value=RUNTIME)
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 and Description
java.lang.String[]	value

Element Detail

value

public abstract java.lang.String[] value