Annotation Interface CompilerMessageKey


A string that is definitely a compiler message key.
See the Checker Framework Manual:
Compiler Message Key Checker