[default module]

Package org.checkerframework.checker.compilermsgs.qual

Qualifiers for the Compiler Message Key Checker.

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	CompilerMessageKey A string that is definitely a compiler message key.
public @interface	CompilerMessageKeyBottom The bottom type in the Compiler Message Key type system.
public @interface	UnknownCompilerMessageKey A `String` that might or might not be a compiler message key.