Annotation Interface SuppressWarningsPrefix
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
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