From 1765b669162113ea4ce376d94bd6931d839a6bea Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 30 Jan 2019 10:25:45 -0800 Subject: [PATCH] [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 | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index f967ec4ba..fc3043c0e 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/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