Indexed Artifacts (17.1M)

Popular Categories

Group: Checkerframework

Sort: popular | newest

1. Checker Qual230 usages

org.checkerframework » checker-qualMIT

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
Last Release on May 3, 2020

2. Checker Qual79 usages

org.checkerframework » checker-compat-qualGPLMIT

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
Last Release on Aug 31, 2018

3. Checker Framework33 usages

org.checkerframework » checkerGPL

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.
Last Release on May 3, 2020

4. Annotated JDK 816 usages

org.checkerframework » jdk8GPL

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.
Last Release on Apr 2, 2020

5. Dataflow7 usages

org.checkerframework » dataflowGPL

Dataflow is a dataflow framework based on the javac compiler.
Last Release on May 3, 2020

6. Javacutil6 usages

org.checkerframework » javacutilGPL

Javacutil is a collection of utility classes for the javac compiler.
Last Release on May 3, 2020

7. Type Annotations Compiler4 usages

org.checkerframework » compilerGPL

The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.
Last Release on Mar 1, 2018

8. Checker Framework Testing Library3 usages

org.checkerframework » testlibGPLMIT

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
Last Release on Aug 1, 2018
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 ...
Last Release on May 3, 2020

10. Checker Qual3 usages

org.checkerframework » checker-qual7GPLMIT

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
Last Release on Mar 1, 2018
Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.
Last Release on May 3, 2020

12. Annotated JDK 71 usages

org.checkerframework » jdk7GPL

Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker Framework annotations. 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.
Last Release on Aug 3, 2017
Checkerframework Gradle Plugin
Last Release on May 14, 2020
Group Checkerframework Annotatedlib

15. Dataflow (shaded)

org.checkerframework » dataflow-shadedGPL

Dataflow is a dataflow framework based on the javac compiler. The packages in this artifact have been renamed to org.checkerframework.shaded.*. (Unlike the dataflow artifact, this artifact contains the dependencies it requires.)
Last Release on May 3, 2020

16. BCEL

org.checkerframework » commons-bcelGPL

Apache Commons Bytecode Engineering Library, with type annotations
Last Release on Feb 15, 2018
Checkerframework Gradle Plugin
Last Release on May 14, 2020
The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#maven-plugin
Last Release on Jun 2, 2014