• Home
• org.checkerframework
• jdk7
• 2.1.7
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

amework.jdk7.2.1.7.source-code.README-jdk Maven / Gradle / Ivy

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