From a756b7bff2466deb9e946b20ff2d42590259089f Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Thu, 2 Jun 2016 23:47:00 -0700
Subject: [PATCH] models for Preconditions.checkArgument

Reviewed By: peterogithub

Differential Revision: D3383983

fbshipit-source-id: bb6a551
---
 .../com/google/common/base/Preconditions.java | 73 +++++++++++--------
 1 file changed, 44 insertions(+), 29 deletions(-)

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> T checkNotNull(T reference) {
-      assume(reference != null);
-      return reference;
-    }
-
-    public static <T> T checkNotNull(T reference, @Nullable Object errorMessage) {
-      return checkNotNull(reference);
-    }
-
-    public static <T> 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> T checkNotNull(T reference) {
+    assume(reference != null);
+    return reference;
+  }
+
+  public static <T> T checkNotNull(T reference, @Nullable Object errorMessage) {
+    return checkNotNull(reference);
+  }
+
+  public static <T> 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);
+  }
 
 }