JarCasting
JarCasting JarCasting
Last Version

Checker Qual Android 3.22.1-eisop1

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.

License

License
GroupId

GroupId

io.github.eisop
ArtifactId

ArtifactId

checker-qual-android
Version

Version

3.22.1-eisop1
Type

Type

pom.sha512
Description

Description

Checker 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

https://eisop.github.io/
Source Code Management

Source Code Management

https://github.com/eisop/checker-framework.git

Download checker-qual-android 3.22.1-eisop1

Filename Size
checker-qual-android-3.22.1-eisop1.pom
checker-qual-android-3.22.1-eisop1-sources.jar 246 KB
checker-qual-android-3.22.1-eisop1-javadoc.jar 990 KB
Browse

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.