org.checkerframework.framework.source

Annotation Type SupportedLintOptions

@Inherited
 @Documented
 @Target(value=TYPE)
 @Retention(value=RUNTIME)
public @interface SupportedLintOptions

An annotation used to indicate what lint options a checker supports. The SourceChecker.getSupportedLintOptions() method can construct its result from the value of this annotation. TODO: Are superclasses considered? Should we?

See Also:

SupportedOptions

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value

Element Detail

value

public abstract String[] value