From 2e4d99ef576d6c48be843c37d31361c7e4267175 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Mon, 16 Apr 2018 20:12:22 -0700 Subject: [PATCH] [infer] modelling android.text.SpannableString.valueOf Reviewed By: sblackshear Differential Revision: D7646475 fbshipit-source-id: 0b4c28d --- infer/src/eradicate/modelTables.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/infer/src/eradicate/modelTables.ml b/infer/src/eradicate/modelTables.ml index f049b7ffd..bb19a6f2f 100644 --- a/infer/src/eradicate/modelTables.ml +++ b/infer/src/eradicate/modelTables.ml @@ -179,7 +179,10 @@ let mapPut_list = (** Models for @Nullable annotations *) let annotated_list_nullable = check_not_null_list @ check_state_list @ check_argument_list - @ [ (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void") + @ [ ( o1 + , "android.text.SpannableString.valueOf(java.lang.CharSequence):android.text.SpannableString" + ) + ; (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void") ; (n1, "android.os.Parcel.writeList(java.util.List):void") ; (n2, "android.os.Parcel.writeParcelable(android.os.Parcelable,int):void") ; (n1, "android.os.Parcel.writeString(java.lang.String):void")