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
更新时间: 2018-03-02 02:56org.checkerframework » commons-bcel
Apache Commons Bytecode Engineering Library, with type annotations
更新时间: 2018-02-16 04:41Annotated 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.
更新时间: 2017-05-02 06:18org.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
更新时间: 2014-06-03 07:02| 仓库 | 个数 |
| Central | 592045 |