Update to version 2.4.0 of Checker Framework dataflow and javacutil

Change-Id: I29e007625d0a25279d8b2967f89b1014b4825bd6
bazelbuild · Apr 4, 2018 · 88a0072 · 88a0072
1 parent 83d8ef1
commit 88a0072
Show file tree

Hide file tree

Showing 142 changed files with 11 additions and 21,344 deletions.
diff --git a/third_party/BUILD b/third_party/BUILD
@@ -386,6 +386,7 @@ filegroup(
         "jsr305/jsr-305.jar",
         "pcollections/pcollections-2.1.2.jar",
         "//third_party/checker_framework_dataflow:bootstrap",
+        "//third_party/checker_framework_javacutil:bootstrap",
         "//third_party/jformatstring:bootstrap",
     ],
 )

diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD
@@ -7,20 +7,13 @@ filegroup(
     srcs = glob(["**"]),
 )
 
-java_library(
+java_import(
     name = "checker_framework_dataflow",
-    srcs = glob(["java/**"]),
-    javacopts = ["-Xep:MissingCasesInEnumSwitch:OFF"],
-    deps = [
-        "//third_party/checker_framework_javacutil",
-        "@local_jdk//:langtools-neverlink",
-    ],
+    jars = ["dataflow-2.4.0.jar"],
+    srcjar = "dataflow-2.4.0-sources.jar",
 )
 
-load("//tools/build_rules:java_rules_skylark.bzl", "bootstrap_java_library")
-
-bootstrap_java_library(
+filegroup(
     name = "bootstrap",
-    srcs = glob(["java/**"]),
-    deps = ["//third_party/checker_framework_javacutil:bootstrap"],
+    srcs = ["dataflow-2.4.0.jar"],
 )
diff --git a/third_party/checker_framework_dataflow/dataflow-2.4.0-sources.jar b/third_party/checker_framework_dataflow/dataflow-2.4.0-sources.jar
diff --git a/third_party/checker_framework_dataflow/dataflow-2.4.0.jar b/third_party/checker_framework_dataflow/dataflow-2.4.0.jar
diff --git a/...checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java b/...checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java