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.

License

License

GroupId

GroupId

org.checkerframework
ArtifactId

ArtifactId

checker-qual-android
Last Version

Last Version

3.22.2
Release Date

Release Date

Type

Type

jar
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://checkerframework.org
Source Code Management

Source Code Management

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

Download checker-qual-android

How to add to project

<!-- https://jarcasting.com/artifacts/org.checkerframework/checker-qual-android/ -->
<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>checker-qual-android</artifactId>
    <version>3.22.2</version>
</dependency>
// https://jarcasting.com/artifacts/org.checkerframework/checker-qual-android/
implementation 'org.checkerframework:checker-qual-android:3.22.2'
// https://jarcasting.com/artifacts/org.checkerframework/checker-qual-android/
implementation ("org.checkerframework:checker-qual-android:3.22.2")
'org.checkerframework:checker-qual-android:jar:3.22.2'
<dependency org="org.checkerframework" name="checker-qual-android" rev="3.22.2">
  <artifact name="checker-qual-android" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.checkerframework', module='checker-qual-android', version='3.22.2')
)
libraryDependencies += "org.checkerframework" % "checker-qual-android" % "3.22.2"
[org.checkerframework/checker-qual-android "3.22.2"]

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.
org.checkerframework

Versions

Version
3.22.2
3.22.1
3.22.0
3.21.4
3.21.3
3.21.2
3.21.1
3.21.0
3.20.0
3.19.0
3.18.1
3.18.0
3.17.0
3.16.0
3.15.0
3.14.0
3.13.0
3.12.0
3.11.0
3.10.0
3.9.1
3.9.0
3.8.0
3.7.1
3.7.0
3.6.1
3.6.0
3.5.0
3.4.1
3.4.0
3.3.0
3.2.0
3.1.1
3.1.0
3.0.1
3.0.0
2.11.1
2.11.0
2.10.1
2.10.0
2.9.0
2.8.2
2.8.1
2.8.0
2.7.0
2.6.0
2.5.8
2.5.7
2.5.6