org.checkerframework.framework.source

Annotation Type SuppressWarningsPrefix

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

Specifies the prefixes or checkernames that suppress warnings issued by this checker. When used as the argument to SuppressWarnings, any of the given arguments suppresses all warnings related to the checker. They can also be used as a prefix, followed by a colon and a message key.

In order for this annotation to have an effect, it must be placed on the declaration of a class that extends SourceChecker.

If this annotation is not present on a checker class, then the lowercase name of the checker is used by default. The name of the checker is the part of the checker classname that comes before "Checker" or "Subchecker". If the checker classname is not of this form, then the classname is the checker name.)

See the Checker Framework Manual:

Checker Framework

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value Returns array of strings, any one of which causes this checker to suppress a warning when passed as the argument of @SuppressWarnings.

Element Detail

value

public abstract String[] value

Returns array of strings, any one of which causes this checker to suppress a warning when passed as the argument of @SuppressWarnings.

Returns:

array of strings, any one of which causes this checker to suppress a warning when passed as the argument of @SuppressWarnings