Download org.checkerframework JAR files with all dependencies
checker-compat-qual from group org.checkerframework (version 2.2.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-compat-qual
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
checker-compat-qual from group org.checkerframework (version 2.5.5)
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
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
javacutil from group org.checkerframework (version 3.49.0)
Javacutil is a collection of utility classes for the javac compiler.
framework-test from group org.checkerframework (version 3.49.0)
Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.
dataflow-nullaway from group org.checkerframework (version 3.49.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.
dataflow-errorprone from group org.checkerframework (version 3.49.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.
dataflow-shaded from group org.checkerframework (version 3.49.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.
dataflow from group org.checkerframework (version 3.49.0)
Dataflow is a dataflow framework based on the javac compiler.
checker-util from group org.checkerframework (version 3.49.0)
checker-util contains utility classes for programmers to use at run time.
checker-qual-android from group org.checkerframework (version 3.49.0)
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
0 downloads
checker-qual from group org.checkerframework (version 3.49.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
checker from group org.checkerframework (version 3.49.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.
stubparser from group org.checkerframework (version 3.26.2)
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.
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
jdk8 from group org.checkerframework (version 3.3.0)
Annotated JDK 8 consists of Checker Framework annotations for the Open
JDK Java 8 API. Method implementations in this file are empty. This
file should only be compiled against and should never be placed on the
runtime classpath of a compiled program.
Page 8 from 10 (items total 145)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy