org.checkerframework » javacutil
Javacutil is a collection of utility classes for the javac compiler.
更新时间: 2024-06-04 05:15org.checkerframework » framework-test
Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.
更新时间: 2024-06-04 05:15org.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.
更新时间: 2024-06-04 05:15org.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.
更新时间: 2024-06-04 05:15org.checkerframework » dataflow-shaded
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.)
更新时间: 2024-06-04 05:15org.checkerframework » dataflow
Dataflow is a dataflow framework based on the javac compiler.
更新时间: 2024-06-04 05:15org.checkerframework » checker-util
checker-util contains utility classes for programmers to use at run time.
更新时间: 2024-06-04 05:15org.checkerframework » checker-qual-android
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
更新时间: 2024-06-04 05:14org.checkerframework » checker-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
更新时间: 2024-06-04 05:14org.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.
更新时间: 2024-06-04 05:14org.checkerframework » stubparser
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.
更新时间: 2024-04-27 02:39org.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
更新时间: 2023-11-02 23:17Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 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.
更新时间: 2020-04-02 07:12org.checkerframework » testlib
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
更新时间: 2018-07-03 02:57org.checkerframework » compiler
The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.
更新时间: 2018-03-02 02:58| 仓库 | 个数 |
| Central | 592045 |