Download all versions of checker-annotated-jdk8 JAR files with all dependencies
checker-annotated-jdk8 from group edu.washington.cs.types.checker (version 1.7.5)
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-jdk8
Show documentation Show source
Show documentation Show source
0 downloads
Artifact checker-annotated-jdk8
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!
Page 1 from 1 (items total 1)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy