Group: edu.washington.cs.types.checker - All Dependencies

Checker framework · Checker framework

Checker framework's annotated OpenJDK 6 · Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework

Checker framework maven plugin · Maven plugin for using the checker framework

Checker framework's type qualifiers · Annotations ("type qualifiers") from the checker framework

Checker framework's annotated JDK 7 · Subset of JDK 7 classes, annotated with type qualifiers from the checker framework

Checker framework's annotated JDK 8 · Subset of JDK 8 classes, annotated with type qualifiers from the checker framework

Checker framework's type qualifiers backported to JDK5 · Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications

Checker framework's annotated OpenJDK 7 · Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework