diff options
| author | Kristen Kozak <sebright@google.com> | 2018-04-03 16:37:22 -0700 |
|---|---|---|
| committer | Kristen Kozak <sebright@google.com> | 2018-04-04 19:16:28 -0700 |
| commit | 1e09da2b34cce91cab3bd40290a0e16d60042afe (patch) | |
| tree | 18dba55d696fa28b62270c6f420cc00ab64f9eed /checker-framework | |
| parent | 26110b6cbf41dcf889502022a495576511025335 (diff) | |
| download | opencensus-java-1e09da2b34cce91cab3bd40290a0e16d60042afe.tar.gz | |
Add nullness annotations to Preconditions.checkNotNull.
This commit also adds annotations to TextFormat that were required after the
change in checkNotNull.
Diffstat (limited to 'checker-framework')
| -rw-r--r-- | checker-framework/stubs/guava.astub | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/checker-framework/stubs/guava.astub b/checker-framework/stubs/guava.astub index ff7a795d..42ed251e 100644 --- a/checker-framework/stubs/guava.astub +++ b/checker-framework/stubs/guava.astub @@ -1,4 +1,5 @@ import org.checkerframework.checker.nullness.qual.EnsuresNonNullIf; +import org.checkerframework.checker.nullness.qual.NonNull; import org.checkerframework.checker.nullness.qual.Nullable; package com.google.common.base; @@ -7,3 +8,7 @@ class Strings { @EnsuresNonNullIf(result = false, expression = "#1") static boolean isNullOrEmpty(@Nullable String str); } + +class Preconditions { + static <T extends @NonNull Object> T checkNotNull(T reference, @Nullable Object errorMessage); +} |