Download org.checkerframework JAR files with all dependencies

javacutil from group org.checkerframework (version 3.48.2)

Javacutil is a collection of 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.48.2
Last update 01. November 2024
Organization not specified
URL https://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 2
Dependencies checker-qual, plume-util,
There are maybe transitive dependencies!

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

Framework-Test is a collection of utility classes for testing checkers that use 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.48.2
Last update 01. November 2024
Organization not specified
URL https://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 2
Dependencies javacutil, junit,
There are maybe transitive dependencies!

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

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.48.2
Last update 01. November 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.48.2)

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.48.2
Last update 01. November 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.48.2)

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.48.2
Last update 01. November 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.48.2)

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.48.2
Last update 01. November 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.48.2)

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.48.2
Last update 01. November 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.48.2)

Checker Qual Android is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. 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. Please see artifact: org.checkerframework:checker

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.48.2
Last update 01. November 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.48.2)

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

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

45 downloads

Artifact checker-qual
Group org.checkerframework
Version 3.48.2
Last update 01. November 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.48.2)

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.48.2
Last update 01. November 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)