Download all versions of checker-qual-android JAR files with all dependencies
checker-qual-android from group io.github.eisop (version 3.21.3-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.
Artifact checker-qual-android
Group io.github.eisop
Version 3.21.3-eisop1
Last update 23. March 2022
Tags: classfile checking code android annotations main checker type strips annotated artifact identical that default java have class retention types programmer specify qualifiers runtime gradle with contains framework plugin qual except writes retains
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.eisop
Version 3.21.3-eisop1
Last update 23. March 2022
Tags: classfile checking code android annotations main checker type strips annotated artifact identical that default java have class retention types programmer specify qualifiers runtime gradle with contains framework plugin qual except writes retains
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-qual-android from group io.github.eisop (version 3.21.2-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.
Artifact checker-qual-android
Group io.github.eisop
Version 3.21.2-eisop1
Last update 04. February 2022
Tags: android have programmer annotated runtime contains type plugin classfile retention writes types checking with except class code framework retains checker main that artifact default qualifiers identical strips gradle java qual annotations specify
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.eisop
Version 3.21.2-eisop1
Last update 04. February 2022
Tags: android have programmer annotated runtime contains type plugin classfile retention writes types checking with except class code framework retains checker main that artifact default qualifiers identical strips gradle java qual annotations specify
Organization not specified
URL https://eisop.github.io/
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-qual-android from group io.github.eisop (version 3.0.0-b2)
Checker Qual Android is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code.
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.
Please
see artifact:
io.github.eisop:checker
Artifact checker-qual-android
Group io.github.eisop
Version 3.0.0-b2
Last update 24. May 2019
Tags: eisop android have annotated runtime used type plugin classfile please retention types classes with except check class code framework retains checker main that artifact default source supporting qualifiers identical strips gradle java qual annotations github
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.eisop
Version 3.0.0-b2
Last update 24. May 2019
Tags: eisop android have annotated runtime used type plugin classfile please retention types classes with except check class code framework retains checker main that artifact default source supporting qualifiers identical strips gradle java qual annotations github
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-qual-android from group io.github.eisop (version 3.0.0-b1)
Checker Qual Android is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code.
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.
Please
see artifact:
org.checkerframework:checker
Artifact checker-qual-android
Group io.github.eisop
Version 3.0.0-b1
Last update 02. May 2019
Tags: android have annotated runtime used type plugin classfile please checkerframework retention types classes with except check class code framework retains checker main that artifact default source supporting qualifiers identical strips gradle java qual annotations
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.eisop
Version 3.0.0-b1
Last update 02. May 2019
Tags: android have annotated runtime used type plugin classfile please checkerframework retention types classes with except check class code framework retains checker main that artifact default source supporting qualifiers identical strips gradle java qual annotations
Organization not specified
URL https://checkerframework.org
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 3 from 3 (items total 24)