Группа библиотек: org.checkerframework

Checker Qual

org.checkerframework : checker-qual

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Последняя версия: 3.21.1

Дата:

Checker Framework

org.checkerframework : checker

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.

Последняя версия: 3.21.1

Дата:

Dataflow (errorprone)

org.checkerframework : dataflow-errorprone

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.

Последняя версия: 3.21.1

Дата:

Javacutil

org.checkerframework : javacutil

javacutil contains utility classes for the javac compiler.

Последняя версия: 3.21.1

Дата:

Checker Util

org.checkerframework : checker-util

checker-util contains utility classes for programmers to use at run time.

Последняя версия: 3.21.1

Дата:

Dataflow (nullaway)

org.checkerframework : dataflow-nullaway

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.

Последняя версия: 3.21.1

Дата:

Checker Qual Android

org.checkerframework : checker-qual-android

checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. 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.

Последняя версия: 3.21.1

Дата:

Dataflow

org.checkerframework : dataflow

Dataflow is a dataflow framework based on the javac compiler.

Последняя версия: 3.21.1

Дата:

Dataflow (shaded)

org.checkerframework : dataflow-shaded

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.

Последняя версия: 3.21.1

Дата:

Checker Framework Testing Library

org.checkerframework : framework-test

framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.

Последняя версия: 3.21.1

Дата:

Annotated JDK 8

org.checkerframework : jdk8

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.

Последняя версия: 3.3.0

Дата:

Checker Qual

org.checkerframework : checker-compat-qual

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

Последняя версия: 2.5.5

Дата:

Checker Framework Testing Library

org.checkerframework : testlib

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

Последняя версия: 2.5.4

Дата:

Checker Qual

org.checkerframework : checker-qual7

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

Последняя версия: 2.4.0

Дата:

Type Annotations Compiler

org.checkerframework : compiler

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

Последняя версия: 2.4.0

Дата:

BCEL

org.checkerframework : commons-bcel

Apache Commons Bytecode Engineering Library, with type annotations

Последняя версия: 0.0.1

Дата:

Annotated JDK 7

org.checkerframework : jdk7

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.

Последняя версия: 2.1.14

Дата:

Checker Framework Maven Plugin

org.checkerframework : checkerframework-maven-plugin

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

Последняя версия: 1.8.2

Дата: