Download checker-annotated-jdk7 JAR 1.7.5 with all dependencies
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
Files of the artifact checker-annotated-jdk7 version 1.7.5 from the group edu.washington.cs.types.checker.
Artifact checker-annotated-jdk7
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Tags: subset classes with qualifiers annotated from type framework checker
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Tags: subset classes with qualifiers annotated from type framework checker
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
The newest version!
Show all versions of checker-annotated-jdk7 Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of checker-annotated-jdk7 version 1.7.5
Please wait ...