The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in t...
La última Versión de nov. 06, 2022checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
La última Versión de nov. 06, 2022checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framewor...
La última Versión de nov. 06, 2022checker-util contains utility classes for programmers to use at run time.
La última Versión de nov. 06, 2022Dataflow is a dataflow framework based on the javac compiler.
La última Versión de nov. 06, 2022dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. F...
La última Versión de nov. 06, 2022dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. Fir...
La última Versión de nov. 06, 2022dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First...
La última Versión de nov. 06, 2022framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.
La última Versión de nov. 06, 2022javacutil contains utility classes for the javac compiler.
La última Versión de nov. 06, 2022