JarCasting
JarCasting JarCasting

Project Group: edu.washington.cs.types.checker

Checker framework

 edu.washington.cs.types.checker : checker-framework

Last Version: 1.7.5

Release Date:

Checker framework's annotated JDK 7

 edu.washington.cs.types.checker : checker-annotated-jdk7

Subset of JDK 7 classes, annotated with type qualifiers from the checker framework

Last Version: 1.7.5

Release Date:

Checker framework's annotated JDK 8

 edu.washington.cs.types.checker : checker-annotated-jdk8

Subset of JDK 8 classes, annotated with type qualifiers from the checker framework

Last Version: 1.7.5

Release Date:

Checker framework's type qualifiers

 edu.washington.cs.types.checker : checker-quals

Annotations ("type qualifiers") from the checker framework

Last Version: 1.7.5

Release Date:

Checker framework's type qualifiers backported to JDK5

 edu.washington.cs.types.checker : checker-quals-jdk5

Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications

Last Version: 1.7.5

Release Date:

Checker framework maven plugin

 edu.washington.cs.types.checker : checker-maven-plugin

Maven plugin for using the checker framework

Last Version: 1.7.5

Release Date:

Checker framework's annotated OpenJDK 7

 edu.washington.cs.types.checker : checker-annotated-openjdk7

Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework

Last Version: 1.7.2

Release Date:

Checker framework's annotated OpenJDK 6

 edu.washington.cs.types.checker : checker-annotated-openjdk6

Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework

Last Version: 1.5.0

Release Date:

  • 1