diff options
| author | Michael Ernst <mernst@alum.mit.edu> | 2021-06-09 14:33:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 12:33:59 -0700 |
| commit | bf11c2045b82bb96c4f8fe7cc7f007e1a2f95a64 (patch) | |
| tree | 30da76170e068c0b535669cebe04b0f4ac50a326 /gradle | |
| parent | f8e9cbe4f6471330873c4c27e240c12fef92ddd1 (diff) | |
| download | nullaway-bf11c2045b82bb96c4f8fe7cc7f007e1a2f95a64.tar.gz | |
Update to Checker Framework 3.14.0, and use shaded dataflow artifact that is specific to NullAway (#485)
Currently, NullAway uses the "dataflow" Maven artifact:
https://mvnrepository.com/artifact/org.checkerframework/dataflow
NullAway conflicts with other tools that also use the `dataflow` artifact. Therefore, the Checker Framework team has created a new shaded dataflow artifact just for NullAway to use:
https://mvnrepository.com/artifact/org.checkerframework/dataflow-nullaway
This pull request updates NullAway to use that artifact.
Also updates NullAway for API changes in the latest Checker Framework version; see https://github.com/uber/NullAway/pull/468 for further discussion.
Fixes #462
Co-authored-by: Manu Sridharan <msridhar@gmail.com>
Diffstat (limited to 'gradle')
| -rwxr-xr-x | gradle/dependencies.gradle | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle index 20ac1e8..3764e5a 100755 --- a/gradle/dependencies.gradle +++ b/gradle/dependencies.gradle @@ -32,7 +32,7 @@ if (project.hasProperty("epApiVersion")) { } def versions = [ asm : "7.1", - checkerFramework : "3.6.0", + checkerFramework : "3.14.0", // The version of Error Prone used to check NullAway's code errorProne : "2.7.1", // The version of Error Prone that NullAway is compiled and tested against @@ -60,8 +60,7 @@ def build = [ errorProneCore : "com.google.errorprone:error_prone_core:${versions.errorProne}", errorProneJavac : "com.google.errorprone:javac:9+181-r4173-1", errorProneTestHelpers : "com.google.errorprone:error_prone_test_helpers:${versions.errorProneApi}", - checkerDataflow : ["org.checkerframework:dataflow:${versions.checkerFramework}", - "org.checkerframework:javacutil:${versions.checkerFramework}"], + checkerDataflow : "org.checkerframework:dataflow-nullaway:${versions.checkerFramework}", guava : "com.google.guava:guava:22.0", javaxValidation : "javax.validation:validation-api:2.0.1.Final", jsr305Annotations : "com.google.code.findbugs:jsr305:3.0.2", |