org.checkerframework.checker.compilermsgs.qual.package-info Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

The newest version!

/**
 * Qualifiers for the Compiler Message Key Checker.
 *
 * @checker_framework.manual #compilermsgs-checker Compiler Message Key Checker
 */
package org.checkerframework.checker.compilermsgs.qual;