Checker Qual Android checker-qual-android

Group	io.github.eisop
描述	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
Packaging	jar
Size	191.82 KB
文件	pom jar
网址	https://checkerframework.org
发布时间	2019-05-02 09:53

dependencies

Group	Artifact	Version

developers

mernst	Michael Ernst	University of Washington
wmdietl	Werner M. Dietl	University of Waterloo
smillst	Suzanne Millstein	University of Washington PLSE Group

licenses

The MIT License

http://opensource.org/licenses/MIT