1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<packaging>jar</packaging>
<name>Checker Qual Android</name>
<url>https://checkerframework.org</url>
<description>
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
</description>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual-android</artifactId>
<licenses>
<license>
<name>The MIT License</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->3.0.1<!-- /checker-framework-version --></version>
<scm>
<url>https://github.com/typetools/checker-framework.git</url>
<connection>https://github.com/typetools/checker-framework.git</connection>
</scm>
<developers>
<developer>
<id>mernst</id>
<name>Michael Ernst</name>
<email>mernst@cs.washington.edu</email>
<url>https://homes.cs.washington.edu/~mernst/</url>
<organization>University of Washington</organization>
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
</developer>
<developer>
<id>wmdietl</id>
<name>Werner M. Dietl</name>
<email>wdietl@uwaterloo.ca</email>
<organization>University of Waterloo</organization>
<organizationUrl>http://uwaterloo.ca/</organizationUrl>
</developer>
<developer>
<id>smillst</id>
<name>Suzanne Millstein</name>
<email>smillst@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
</developers>
</project>
|
