diff options
| author | Julien Desprez <jdesprez@google.com> | 2018-10-22 11:37:22 -0700 |
|---|---|---|
| committer | android-build-merger <android-build-merger@google.com> | 2018-10-22 11:37:22 -0700 |
| commit | 13217871fefa43f6d16fbb31b04e9904996d87d5 (patch) | |
| tree | ede84fcf0a9687d4907ae5f8a4788271d62e0922 /checker-framework/stubs/guava.astub | |
| parent | cfbefd32336596ea63784607e4106dc37ce0567f (diff) | |
| parent | 6fbc3cf5a1a3369fd354c1e5d9f90c86e4bce0a4 (diff) | |
| download | opencensus-java-13217871fefa43f6d16fbb31b04e9904996d87d5.tar.gz | |
Merge remote-tracking branch 'aosp/upstream-master' into merge am: dd3cabeacc
am: 6fbc3cf5a1
Change-Id: I11b0ec1cf561d2a14da78e444b1594f167787fe6
Diffstat (limited to 'checker-framework/stubs/guava.astub')
| -rw-r--r-- | checker-framework/stubs/guava.astub | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/checker-framework/stubs/guava.astub b/checker-framework/stubs/guava.astub new file mode 100644 index 00000000..42ed251e --- /dev/null +++ b/checker-framework/stubs/guava.astub @@ -0,0 +1,14 @@ +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; + +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); +} |