File: README-jdk

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (10 lines) | stat: -rw-r--r-- 392 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
This .jar file 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:
https://checkerframework.org/

For information on annotated JDKs visit:
https://checkerframework.org/manual/#annotating-libraries