JarCasting
JarCasting JarCasting

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

io.github.eisop
ArtifactId

ArtifactId

checker-qual-android
Last Version

Last Version

3.22.1-eisop1
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://eisop.github.io/
Source Code Management

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
Browse

How to add to project

<!-- 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>
// https://jarcasting.com/artifacts/io.github.eisop/checker-qual-android/
implementation 'io.github.eisop:checker-qual-android:3.22.1-eisop1'
// https://jarcasting.com/artifacts/io.github.eisop/checker-qual-android/
implementation ("io.github.eisop:checker-qual-android:3.22.1-eisop1")
'io.github.eisop:checker-qual-android:jar:3.22.1-eisop1'
<dependency org="io.github.eisop" name="checker-qual-android" rev="3.22.1-eisop1">
  <artifact name="checker-qual-android" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.eisop', module='checker-qual-android', version='3.22.1-eisop1')
)
libraryDependencies += "io.github.eisop" % "checker-qual-android" % "3.22.1-eisop1"
[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.
io.github.eisop
JDK 9 version of typetools

Versions

Version
3.22.1-eisop1
3.22.0-eisop1
3.21.4-eisop1
3.21.3-eisop1
3.21.2-eisop1
3.0.0-b2
3.0.0-b1