diff --git a/infer/models/java/src/com/google/common/base/Preconditions.java b/infer/models/java/src/com/google/common/base/Preconditions.java index 381f302fb..30461678a 100644 --- a/infer/models/java/src/com/google/common/base/Preconditions.java +++ b/infer/models/java/src/com/google/common/base/Preconditions.java @@ -15,34 +15,49 @@ import static com.facebook.infer.models.InferBuiltins.assume; public final class Preconditions { - public static T checkNotNull(T reference) { - assume(reference != null); - return reference; - } - - public static T checkNotNull(T reference, @Nullable Object errorMessage) { - return checkNotNull(reference); - } - - public static T checkNotNull(T reference, - @Nullable String errorMessageTemplate, - @Nullable Object... errorMessageArgs) { - return checkNotNull(reference); - } - - public static void checkState(boolean expression) { - assume(expression); - } - - public static void checkState(boolean expression, - @Nullable Object errorMessage) { - assume(expression); - } - - public static void checkState(boolean expression, - @Nullable String errorMessageTemplate, - @Nullable Object... errorMessageArgs) { - assume(expression); - } + public static T checkNotNull(T reference) { + assume(reference != null); + return reference; + } + + public static T checkNotNull(T reference, @Nullable Object errorMessage) { + return checkNotNull(reference); + } + + public static T checkNotNull(T reference, + @Nullable String errorMessageTemplate, + @Nullable Object... errorMessageArgs) { + return checkNotNull(reference); + } + + public static void checkState(boolean expression) { + assume(expression); + } + + public static void checkState(boolean expression, + @Nullable Object errorMessage) { + assume(expression); + } + + public static void checkState(boolean expression, + @Nullable String errorMessageTemplate, + @Nullable Object... errorMessageArgs) { + assume(expression); + } + + public static void checkArgument(boolean expression) { + assume(expression); + } + + public static void checkArgument(boolean expression, @Nullable Object errorMessage) { + assume(expression); + } + + public static void checkArgument( + boolean expression, + @Nullable String errorMessageTemplate, + @Nullable Object... errorMessageArgs) { + assume(expression); + } }