Download org.checkerframework JAR files with all dependencies

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.

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

0 downloads

Artifact stubparser
Group org.checkerframework
Version 3.26.2
Last update 24. September 2024
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 http://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!

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.

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

55 downloads

Artifact jdk8
Group org.checkerframework
Version 3.3.0
Last update 01. April 2020
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!

testlib from group org.checkerframework (version 2.5.4)

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.

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

2 downloads

Artifact testlib
Group org.checkerframework
Version 2.5.4
Last update 01. August 2018
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!

compiler from group org.checkerframework (version 2.4.0)

The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.

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

10 downloads

Artifact compiler
Group org.checkerframework
Version 2.4.0
Last update 01. March 2018
Organization not specified
URL https://checkerframework.org/jsr308/
License GNU General Public License, version 2 (GPL2)
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!

commons-bcel from group org.checkerframework (version 0.0.1)

Apache Commons Bytecode Engineering Library, with type annotations

Group: org.checkerframework Artifact: commons-bcel
Show documentation Show source

0 downloads

Artifact commons-bcel
Group org.checkerframework
Version 0.0.1
Last update 15. February 2018
Organization not specified
URL https://github.com/typetools/commons-bcel
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

jdk7 from group org.checkerframework (version 2.1.14)

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.

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

384 downloads

Artifact jdk7
Group org.checkerframework
Version 2.1.14
Last update 03. August 2017
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!

checkerframework-maven-plugin from group org.checkerframework (version 1.8.2)

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

Group: org.checkerframework Artifact: checkerframework-maven-plugin
Show all versions Show documentation Show source

5 downloads

Artifact checkerframework-maven-plugin
Group org.checkerframework
Version 1.8.2
Last update 02. June 2014
Organization not specified
URL http://checkerframework.org
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 5
Dependencies maven-toolchain, maven-plugin-api, maven-project, maven-compiler-plugin, plexus-compiler-javac,
There are maybe transitive dependencies!

Page 2 from 2 (items total 19)