c

checker-annotated-jdk8

Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
http://types.cs.washington.edu/checker-framework
GNU General Public License, version 2, with the Classpath Exception
subset classes with qualifiers annotated from type framework checker
Aggregated version Version Update time
1.7 1.7.5 Mar 31, 2014
1 Records