All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by checkerframework with all dependencies

Search JAR files by class name

stubparser from group org.checkerframework (version 3.25.6)

This project contains a parser for the Checker Framework's stub files: https://checkerframework.org/manual/#stub . It is a fork of the JavaParser project.

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

0 downloads
Artifact stubparser
Group org.checkerframework
Version 3.25.6
Last update 03. November 2023
Organization not specified
URL https://github.com/typetools/stubparser
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

checker-compat-qual from group org.checkerframework (version 2.5.6)

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-compat-qual
Show all versions Show documentation Show source 
 

40 downloads
Artifact checker-compat-qual
Group org.checkerframework
Version 2.5.6
Last update 02. November 2023
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

checker-qual7 from group org.checkerframework (version 2.4.0)

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-qual7
Show all versions Show documentation Show source 
 

1 downloads
Artifact checker-qual7
Group org.checkerframework
Version 2.4.0
Last update 01. March 2018
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 io.github.eisop (version 3.42.0-eisop3)

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: io.github.eisop Artifact: dataflow-nullaway
Show all versions Show documentation Show source 
 

0 downloads
Artifact dataflow-nullaway
Group io.github.eisop
Version 3.42.0-eisop3
Last update 01. March 2024
Organization not specified
URL https://eisop.github.io/
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 io.github.eisop (version 3.42.0-eisop3)

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: io.github.eisop Artifact: dataflow-errorprone
Show all versions Show documentation Show source 
 

0 downloads
Artifact dataflow-errorprone
Group io.github.eisop
Version 3.42.0-eisop3
Last update 01. March 2024
Organization not specified
URL https://eisop.github.io/
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 io.github.eisop (version 3.42.0-eisop3)

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: io.github.eisop Artifact: dataflow-shaded
Show all versions Show documentation Show source 
 

0 downloads
Artifact dataflow-shaded
Group io.github.eisop
Version 3.42.0-eisop3
Last update 01. March 2024
Organization not specified
URL https://eisop.github.io/
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.42.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.42.0
Last update 15. December 2023
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.42.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.42.0
Last update 15. December 2023
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.42.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.42.0
Last update 15. December 2023
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 1 (items total 9)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy