From acc20f346141cb8e84b46152ea1e579a1c8d6d4a Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Tue, 17 Dec 2019 01:43:45 -0800 Subject: [PATCH] [nullsafe] model HashMap.put() Summary: Per title Reviewed By: artempyanykh Differential Revision: D19096108 fbshipit-source-id: 4e481cd19 --- infer/src/nullsafe/modelTables.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index bf86d600f..f21834434 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -387,6 +387,7 @@ let annotated_list_nullability = ; (cp, "java.util.Map.put(java.lang.Object,java.lang.Object):java.lang.Object") ; (cg, "java.util.HashMap.get(java.lang.Object):java.lang.Object") ; (cr, "java.util.HashMap.remove(java.lang.Object):java.lang.Object") + ; (cp, "java.util.HashMap.put(java.lang.Object,java.lang.Object):java.lang.Object") ; (cg, "java.util.concurrent.ConcurrentHashMap.get(java.lang.Object):java.lang.Object") ; (cr, "java.util.concurrent.ConcurrentHashMap.remove(java.lang.Object):java.lang.Object") ; (cg, "java.util.AbstractMap.get(java.lang.Object):java.lang.Object")