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/
.
Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method implementations in this file are empty. This file should only be compiled against and should never be placed on the runtime classpath of a compiled program.
Homepage Repository Maven Java Download
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/
.