| License |
License |
|---|---|
| GroupId | GroupIdorg.checkerframework |
| ArtifactId | ArtifactIdchecker-qual-android |
| Version | Version3.13.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.13.0.pom | |
| checker-qual-android-3.13.0-sources.jar | 230 KB |
| checker-qual-android-3.13.0-javadoc.jar | 882 KB |
| Browse |