org.checkerframework:checker-qual

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker


Licenses
GPL-3.0-only/GPL-2.0-with-classpath-exception/MIT

Documentation

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

Additional documentation for Checker Framework developers is in directory docs/developer/.