org.checkerframework:checker-qual

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


Keywords
java, types, verification
License
MIT

Documentation

The Checker Framework: pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.