diff options
author | Kristen Kozak <sebright@google.com> | 2017-12-18 22:21:10 -0800 |
---|---|---|
committer | Kristen Kozak <sebright@google.com> | 2017-12-19 10:28:06 -0800 |
commit | dc0ed0bba9d2adc1f3bee8558746560fbdb0f8a8 (patch) | |
tree | f67fe3d057e4fd40fc3b9d1e1c06e5e5428d3f89 /findbugs-exclude.xml | |
parent | b211232aa11cb3a35a33ad7d0fbd4ce7d07f0522 (diff) | |
download | opencensus-java-dc0ed0bba9d2adc1f3bee8558746560fbdb0f8a8.tar.gz |
Add more null annotations (issue #359).
This commit adds some Nullable annotations that are required by the Checker
Framework, but it doesn't change any other code. It also suppresses some Error
Prone and FindBugs warnings that conflict with the Checker Framework, since the
three tools use different algorithms.
Diffstat (limited to 'findbugs-exclude.xml')
-rw-r--r-- | findbugs-exclude.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/findbugs-exclude.xml b/findbugs-exclude.xml index ef950976..9a9c563c 100644 --- a/findbugs-exclude.xml +++ b/findbugs-exclude.xml @@ -17,5 +17,9 @@ <Class name="io.opencensus.common.Duration" /> <Method name="compareTo" /> </Match> + <Match> + <!-- Reason: It conflicts with Checker Framework null analysis. --> + <Bug pattern="NP_METHOD_PARAMETER_TIGHTENS_ANNOTATION"/> + </Match> </FindBugsFilter> |