Checker Qual Android checker-qual-android
Group | io.github.eisop |
描述 | 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. |
Packaging | |
Size | |
文件 | pom jar |
网址 | https://eisop.github.io/ |
发布时间 | 2024-01-02 23:11 |
dependencies
Group | Artifact | Version |
---|
developers
wmdietl | Werner M. Dietl | University of Waterloo |
mernst | Michael Ernst | University of Washington |
smillst | Suzanne Millstein | University of Washington |
licenses
The MIT License | http://opensource.org/licenses/MIT |
索引仓库
仓库 | 个数 |
Central | 592045 |