Annotations for Error Prone, a static analysis tool for Java that catches common programming mistakes at compile-time.

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...