From 74314b9d8975dbd589f98d430ff7c885d62f24e0 Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Thu, 14 Nov 2019 09:18:25 -0800
Subject: [PATCH] Update to Checker Dataflow 3.0.0

---
 gradle/dependencies.gradle                                   | 5 +++--
 .../main/java/com/uber/nullaway/dataflow/NullnessStore.java  | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle
index a61d7e6dc3..3af18355ed 100755
--- a/gradle/dependencies.gradle
+++ b/gradle/dependencies.gradle
@@ -16,7 +16,7 @@
 
 def versions = [
     asm                    : "7.1",
-    checkerFramework       : "2.5.5",
+    checkerFramework       : "3.0.0",
     errorProne             : "2.3.3", // The version of error prone running on this project
     errorProneApi          : "2.3.1", // The version of error prone built against and shipped
     support                : "27.1.1",
@@ -68,7 +68,8 @@ def test = [
     jetbrainsAnnotations    : "org.jetbrains:annotations:13.0",
     inferAnnotations        : "com.facebook.infer.annotation:infer-annotation:0.11.0",
     cfQual                  : "org.checkerframework:checker-qual:${versions.checkerFramework}",
-    cfCompatQual            : "org.checkerframework:checker-compat-qual:${versions.checkerFramework}",
+    // 2.5.5 is the last release to contain this artifact
+    cfCompatQual            : "org.checkerframework:checker-compat-qual:2.5.5",
     rxjava2                 : "io.reactivex.rxjava2:rxjava:2.1.2",
     commonsLang3            : "org.apache.commons:commons-lang3:3.8.1",
     commonsLang             : "commons-lang:commons-lang:2.6",
diff --git a/nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStore.java b/nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStore.java
index 707a3bb9d7..ea23ad975a 100644
--- a/nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStore.java
+++ b/nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStore.java
@@ -161,7 +161,7 @@ public boolean canAlias(FlowExpressions.Receiver receiver, FlowExpressions.Recei
   }
 
   @Override
-  public void visualize(CFGVisualizer<?, NullnessStore, ?> cfgVisualizer) {
+  public String visualize(CFGVisualizer<?, NullnessStore, ?> cfgVisualizer) {
     throw new UnsupportedOperationException();
   }