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	The MIT License
GroupId	io.github.eisop
ArtifactId	checker-qual-android
Last Version	3.22.1-eisop1
Release Date	Jun 3, 2022
Type	jar
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	https://eisop.github.io/
Source Code Management	https://github.com/eisop/checker-framework.git

Download checker-qual-android

Filename	Size
checker-qual-android-3.22.1-eisop1.pom
checker-qual-android-3.22.1-eisop1.jar	191 KB
checker-qual-android-3.22.1-eisop1-sources.jar	220 KB
checker-qual-android-3.22.1-eisop1-javadoc.jar	855 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.eisop/checker-qual-android/ -->
<dependency>
    <groupId>io.github.eisop</groupId>
    <artifactId>checker-qual-android</artifactId>
    <version>3.22.1-eisop1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.eisop/checker-qual-android/
implementation 'io.github.eisop:checker-qual-android:3.22.1-eisop1'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.eisop/checker-qual-android/
implementation ("io.github.eisop:checker-qual-android:3.22.1-eisop1")

Apache Buildr

'io.github.eisop:checker-qual-android:jar:3.22.1-eisop1'

Apache Ivy

<dependency org="io.github.eisop" name="checker-qual-android" rev="3.22.1-eisop1">
  <artifact name="checker-qual-android" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.eisop', module='checker-qual-android', version='3.22.1-eisop1')
)

Scala SBT

libraryDependencies += "io.github.eisop" % "checker-qual-android" % "3.22.1-eisop1"

Leiningen

[io.github.eisop/checker-qual-android "3.22.1-eisop1"]

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.

JDK 9 version of typetools

Versions

Version
3.22.1-eisop1 Jun 3, 2022
3.22.0-eisop1 May 7, 2022
3.21.4-eisop1 Apr 5, 2022
3.21.3-eisop1 Mar 24, 2022
3.21.2-eisop1 Feb 4, 2022
3.0.0-b2 May 24, 2019
3.0.0-b1 May 2, 2019