License |
License |
---|---|
GroupId | GroupIdorg.checkerframework |
ArtifactId | ArtifactIdchecker-qual-android |
Version | Version3.15.0 |
Type | Typepom.sha512 |
Description |
DescriptionChecker 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.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
checker-qual-android-3.15.0.pom | |
checker-qual-android-3.15.0-sources.jar | 243 KB |
checker-qual-android-3.15.0-javadoc.jar | 930 KB |
Browse |