Package org.checkerframework.framework.source

Annotation Interface SuppressWarningsPrefix

@Documented @Retention(RUNTIME) @Target(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
    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 Details

    • value

      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