Download checker-framework JAR file with all dependencies
graphwalker-model-checker from group org.graphwalker (version 3.4.1)
0 downloads
checker-quals-jdk5 from group edu.washington.cs.types.checker (version 1.7.5)
Annotations ("type qualifiers") from the checker framework,
backported so they can be used in pre-JDK8 applications
0 downloads
checker-quals from group edu.washington.cs.types.checker (version 1.7.5)
Annotations ("type qualifiers") from the checker framework
0 downloads
meta-checker from group com.igormaznitsa (version 1.2.1)
Maven plugin to make check of compiled classes contain annotations from meta-annotations module and print some useful info (it doesn't check jr-305 annotations, use FindBugs plugin!).
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
checker-annotated-jdk7 from group edu.washington.cs.types.checker (version 1.7.5)
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-jdk7
Show documentation Show source
Show documentation Show source
0 downloads
checker-maven-plugin from group edu.washington.cs.types.checker (version 1.7.5)
Maven plugin for using the checker framework
0 downloads
cf-plugtest-checker from group org.eclipse.californium (version 1.0.0-M3)
Californium (Cf) ETSI Plugtest server checker
0 downloads
checker-annotated-openjdk7 from group edu.washington.cs.types.checker (version 1.7.2)
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-openjdk7
Show documentation Show source
Show documentation Show source
0 downloads
checker-annotated-openjdk6 from group edu.washington.cs.types.checker (version 1.5.0)
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-openjdk6
Show documentation Show source
Show documentation Show source
0 downloads
model-checker from group org.walkmod (version 1.1)
Walkmod library to apply constraints to the AST
linkage-checker-enforcer-rules from group com.google.cloud.tools (version 1.5.13)
Maven Enforcer rule for verifying that a project does not have linkage errors
Group: com.google.cloud.tools Artifact: linkage-checker-enforcer-rules
Show documentation Show source
Show documentation Show source
0 downloads
meta-checker from group com.igormaznitsa (version 1.1.2)
Maven plugin to make check of compiled classes contain annotations from meta-annotations module and print some useful info (it doesn't check jr-305 annotations, use FindBugs plugin!).
Page 6 from 6 (items total 88)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy