org.checkerframework:jdk8

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.


Keywords
java, types, verification
Licenses
GPL-3.0/libpng-2.0/GPL-2.0-with-classpath-exception

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/.