amework.jdk8.1.9.0.source-code.README-jdk Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jdk8 Show documentation

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.

There is a newer version: 3.3.0

Show newest version

This jar is a standin for either source/Javadoc for one of the
annotated JDKs bundled with the Checker Framework.  The annotated
JDKs contain source code annotations used in type checking by
the Checker Framework.

For Checker Framework information visit:
http://checkerframework.org/

For information on annotated JDKs visit:
http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#annotating-libraries