org.checkerframework.framework.source

Annotation Type SupportedLintOptions

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

Element Detail

value

public abstract String[] value