From dc3210484abc2b817484be5c140bfa583fe3864c Mon Sep 17 00:00:00 2001
From: cpovirk <cpovirk@google.com>
Date: Tue, 21 Nov 2017 17:27:14 -0800
Subject: [PATCH] Add Checker Framework to dependencies.

This CL doesn't *use* any annotations yet, and I'm not even certain that we're going to yet. But I think we're likely to, and there's enough that can go wrong with just this step that I'd like to get it in.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=176584793
---
 android/guava-testlib/pom.xml | 4 ++++
 android/guava-tests/pom.xml   | 4 ++++
 android/guava/pom.xml         | 5 +++++
 android/pom.xml               | 5 +++++
 guava-testlib/pom.xml         | 4 ++++
 guava-tests/pom.xml           | 4 ++++
 guava/pom.xml                 | 5 +++++
 pom.xml                       | 5 +++++
 8 files changed, 36 insertions(+)

diff --git a/android/guava-testlib/pom.xml b/android/guava-testlib/pom.xml
index b3211af9c71a..b3e49586dc13 100644
--- a/android/guava-testlib/pom.xml
+++ b/android/guava-testlib/pom.xml
@@ -18,6 +18,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
diff --git a/android/guava-tests/pom.xml b/android/guava-tests/pom.xml
index d633f2e8d942..e930d765a610 100644
--- a/android/guava-tests/pom.xml
+++ b/android/guava-tests/pom.xml
@@ -25,6 +25,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
diff --git a/android/guava/pom.xml b/android/guava/pom.xml
index ef7009b0f61c..944a569789b6 100644
--- a/android/guava/pom.xml
+++ b/android/guava/pom.xml
@@ -20,6 +20,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
@@ -130,6 +134,7 @@
           </offlineLinks>
           <links>
             <link>http://errorprone.info/api/latest/</link>
+            <link>https://checkerframework.org/api/</link>
           </links>
           <!-- TODO(cpovirk): can we use includeDependencySources and a local com.oracle.java:jdk-lib:noversion:sources instead of all this unzipping and manual sourcepath modification? -->
           <!-- (We need JDK *sources*, not just -link, so that {@inheritDoc} works.) -->
diff --git a/android/pom.xml b/android/pom.xml
index bd789fcff368..f24076ff0ba6 100644
--- a/android/pom.xml
+++ b/android/pom.xml
@@ -223,6 +223,11 @@
         <artifactId>jsr305</artifactId>
         <version>1.3.9</version>
       </dependency>
+      <dependency>
+        <groupId>org.checkerframework</groupId>
+        <artifactId>checker-qual</artifactId>
+        <version>2.0.0</version>
+      </dependency>
       <dependency>
         <groupId>com.google.errorprone</groupId>
         <artifactId>error_prone_annotations</artifactId>
diff --git a/guava-testlib/pom.xml b/guava-testlib/pom.xml
index 0c3f1a0af675..18626fa9362b 100644
--- a/guava-testlib/pom.xml
+++ b/guava-testlib/pom.xml
@@ -18,6 +18,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
diff --git a/guava-tests/pom.xml b/guava-tests/pom.xml
index 040c82ae837e..1c1275e24939 100644
--- a/guava-tests/pom.xml
+++ b/guava-tests/pom.xml
@@ -25,6 +25,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
diff --git a/guava/pom.xml b/guava/pom.xml
index 0b02f2a7106b..ba171893af81 100644
--- a/guava/pom.xml
+++ b/guava/pom.xml
@@ -20,6 +20,10 @@
       <groupId>com.google.code.findbugs</groupId>
       <artifactId>jsr305</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
     <dependency>
       <groupId>com.google.errorprone</groupId>
       <artifactId>error_prone_annotations</artifactId>
@@ -130,6 +134,7 @@
           </offlineLinks>
           <links>
             <link>http://errorprone.info/api/latest/</link>
+            <link>https://checkerframework.org/api/</link>
           </links>
           <!-- TODO(cpovirk): can we use includeDependencySources and a local com.oracle.java:jdk-lib:noversion:sources instead of all this unzipping and manual sourcepath modification? -->
           <!-- (We need JDK *sources*, not just -link, so that {@inheritDoc} works.) -->
diff --git a/pom.xml b/pom.xml
index c5a9508d90eb..fb071a0d0057 100644
--- a/pom.xml
+++ b/pom.xml
@@ -219,6 +219,11 @@
         <artifactId>jsr305</artifactId>
         <version>1.3.9</version>
       </dependency>
+      <dependency>
+        <groupId>org.checkerframework</groupId>
+        <artifactId>checker-qual</artifactId>
+        <version>2.0.0</version>
+      </dependency>
       <dependency>
         <groupId>com.google.errorprone</groupId>
         <artifactId>error_prone_annotations</artifactId>