Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.

Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method implementations in this file are empty.

javacutil contains utility classes for the javac compiler.

checker-util contains utility classes for programmers to use at run time.

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.