[eradicate] add model for com.google.common.base.Verify.verifyNotNull

Reviewed By: ezgicicek

Differential Revision: D13726750

fbshipit-source-id: 446ce1130

infer/src/nullsafe/modelTables.ml

@@ -85,6 +85,13 @@ let check_not_null_parameter_list, check_not_null_list =
     ; ( 1
       , (o, [x])
       , "com.google.common.base.Preconditions.checkNotNull(java.lang.Object):java.lang.Object" )
+    ; ( 1
+      , (o, [x])
+      , "com.google.common.base.Verify.verifyNotNull(java.lang.Object):java.lang.Object" )
+    ; ( 1
+      , (o, [x; n; n])
+      , "com.google.common.base.Verify.verifyNotNull(java.lang.Object,java.lang.String,java.lang.Object[]):java.lang.Object"
+      )
     ; (1, (o, [x]), "org.junit.Assert.assertNotNull(java.lang.Object):void")
     ; (2, (o, [n; x]), "org.junit.Assert.assertNotNull(java.lang.String,java.lang.Object):void")
     ; ( 1