edu.washington.cs.types.checker maven依赖
edu.washington.cs.types.checker/checker-framework 共有8个版本,总共被引用了3次
被引用次数最多的版本是1.6.4 ,其被引用次数为3 ,查看引用次数柱状图 。
Checker framework
- checker-framework » 1.7.5 最后更新于2014-03-31 被中央仓库Jar包引用0次
- checker-framework » 1.7.2 最后更新于2014-01-22 被中央仓库Jar包引用0次
- checker-framework » 1.7.1 最后更新于2013-12-22 被中央仓库Jar包引用0次
- checker-framework » 1.7.0 最后更新于2013-11-16 被中央仓库Jar包引用0次
- checker-framework » 1.6.4 最后更新于2013-06-18 被中央仓库Jar包引用3次
- checker-framework » 1.6.1 最后更新于2013-03-02 被中央仓库Jar包引用0次
- checker-framework » 1.6.0 最后更新于2013-02-02 被中央仓库Jar包引用0次
- checker-framework » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-annotated-openjdk6 共有1个版本,总共被引用了0次
被引用次数最多的版本是1.5.0 ,其被引用次数为0 。
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
- checker-annotated-openjdk6 » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-annotated-openjdk7 共有7个版本,总共被引用了0次
被引用次数最多的版本是1.7.2 ,其被引用次数为0 。
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework
- checker-annotated-openjdk7 » 1.7.2 最后更新于2014-01-22 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.7.1 最后更新于2013-12-22 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.7.0 最后更新于2013-11-16 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.6.4 最后更新于2013-06-18 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.6.1 最后更新于2013-03-02 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.6.0 最后更新于2013-02-02 被中央仓库Jar包引用0次
- checker-annotated-openjdk7 » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-maven-plugin 共有8个版本,总共被引用了0次
被引用次数最多的版本是1.7.5 ,其被引用次数为0 。
Maven plugin for using the checker framework
- checker-maven-plugin » 1.7.5 最后更新于2014-03-30 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.7.2 最后更新于2014-01-22 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.7.1 最后更新于2013-12-22 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.7.0 最后更新于2013-11-16 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.6.4 最后更新于2013-06-18 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.6.1 最后更新于2013-03-02 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.6.0 最后更新于2013-02-02 被中央仓库Jar包引用0次
- checker-maven-plugin » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-quals-jdk5 共有8个版本,总共被引用了0次
被引用次数最多的版本是1.7.5 ,其被引用次数为0 。
Annotations ("type qualifiers") from the checker framework,
backported so they can be used in pre-JDK8 applications
- checker-quals-jdk5 » 1.7.5 最后更新于2014-03-31 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.7.2 最后更新于2014-01-22 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.7.1 最后更新于2013-12-22 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.7.0 最后更新于2013-11-16 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.6.4 最后更新于2013-06-18 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.6.1 最后更新于2013-03-02 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.6.0 最后更新于2013-02-02 被中央仓库Jar包引用0次
- checker-quals-jdk5 » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-quals 共有8个版本,总共被引用了0次
被引用次数最多的版本是1.7.5 ,其被引用次数为0 。
Annotations ("type qualifiers") from the checker framework
- checker-quals » 1.7.5 最后更新于2014-03-31 被中央仓库Jar包引用0次
- checker-quals » 1.7.2 最后更新于2014-01-22 被中央仓库Jar包引用0次
- checker-quals » 1.7.1 最后更新于2013-12-22 被中央仓库Jar包引用0次
- checker-quals » 1.7.0 最后更新于2013-11-16 被中央仓库Jar包引用0次
- checker-quals » 1.6.4 最后更新于2013-06-18 被中央仓库Jar包引用0次
- checker-quals » 1.6.1 最后更新于2013-03-02 被中央仓库Jar包引用0次
- checker-quals » 1.6.0 最后更新于2013-02-02 被中央仓库Jar包引用0次
- checker-quals » 1.5.0 最后更新于2013-01-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-annotated-jdk8 共有1个版本,总共被引用了0次
被引用次数最多的版本是1.7.5 ,其被引用次数为0 。
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
- checker-annotated-jdk8 » 1.7.5 最后更新于2014-03-31 被中央仓库Jar包引用0次
edu.washington.cs.types.checker/checker-annotated-jdk7 共有1个版本,总共被引用了0次
被引用次数最多的版本是1.7.5 ,其被引用次数为0 。
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
- checker-annotated-jdk7 » 1.7.5 最后更新于2014-03-31 被中央仓库Jar包引用0次