Download org.checkerframework JAR files with all dependencies

javacutil from group org.checkerframework (version 3.45.0)

javacutil contains utility classes for the javac compiler.

Group: org.checkerframework Artifact: javacutil
Show all versions Show documentation Show source

1 downloads

Artifact javacutil
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

framework-test from group org.checkerframework (version 3.45.0)

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

Group: org.checkerframework Artifact: framework-test
Show all versions Show documentation Show source

6 downloads

Artifact framework-test
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dataflow-nullaway from group org.checkerframework (version 3.45.0)

dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Group: org.checkerframework Artifact: dataflow-nullaway
Show all versions Show documentation Show source

0 downloads

Artifact dataflow-nullaway
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dataflow-errorprone from group org.checkerframework (version 3.45.0)

dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Group: org.checkerframework Artifact: dataflow-errorprone
Show all versions Show documentation Show source

0 downloads

Artifact dataflow-errorprone
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dataflow-shaded from group org.checkerframework (version 3.45.0)

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Group: org.checkerframework Artifact: dataflow-shaded
Show all versions Show documentation Show source

0 downloads

Artifact dataflow-shaded
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dataflow from group org.checkerframework (version 3.45.0)

Dataflow is a dataflow framework based on the javac compiler.

Group: org.checkerframework Artifact: dataflow
Show all versions Show documentation Show source

11 downloads

Artifact dataflow
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 3
Dependencies javacutil, checker-qual, plume-util,
There are maybe transitive dependencies!

checker-util from group org.checkerframework (version 3.45.0)

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

Group: org.checkerframework Artifact: checker-util
Show all versions Show documentation Show source

0 downloads

Artifact checker-util
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License The MIT License
Dependencies amount 1
Dependencies checker-qual,
There are maybe transitive dependencies!

checker-qual-android from group org.checkerframework (version 3.45.0)

checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. The checker-qual-android artifact is identical to the checker-qual artifact, except that in checker-qual-android annotations have classfile retention. The default Android Gradle plugin retains types annotated with runtime annotations in the main dex, but strips out class-retention annotations.

Group: org.checkerframework Artifact: checker-qual-android
Show all versions Show documentation Show source

0 downloads

Artifact checker-qual-android
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

checker-qual from group org.checkerframework (version 3.45.0)

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

Group: org.checkerframework Artifact: checker-qual
Show all versions Show documentation Show source

45 downloads

Artifact checker-qual
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

checker from group org.checkerframework (version 3.45.0)

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. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

Group: org.checkerframework Artifact: checker
Show all versions Show documentation Show source

58 downloads

Artifact checker
Group org.checkerframework
Version 3.45.0
Last update 01. July 2024
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 1 from 2 (items total 19)