[infer][java] disable the Eradicate model for Context.getSystemService(..)

Summary: This method can return `null` if the parameter is not a supported system service. However, since this method tends to be called with a constant value as parameter, it does seem to be returning null often in practice.

Reviewed By: sblackshear

Differential Revision: D4509185

fbshipit-source-id: 4cb80ce
master
Jeremy Dubreil 8 years ago committed by Facebook Github Bot
parent 4627bb6f48
commit abdb238599

@ -114,7 +114,9 @@ let mapPut_list =
(** Models for @Strict annotations *)
let annotated_list_strict =
[
(n, [o]), "android.content.Context.getSystemService(java.lang.String):java.lang.Object";
(* TODO: Investigate further if this method needs to
be considered as Nullable *)
(* (n, [o]), "android.content.Context.getSystemService(java.lang.String):java.lang.Object"; *)
]
(** Models for @Nullable annotations *)

Loading…
Cancel
Save