[infer][eradicate] Allow developers to locally redefine @Initializer

Summary:
This allows to redefine @Initializer in the case where adding the dependencies to the Eradicate annotations.jar is not a desirable option.
master
jrm 9 years ago
parent cc2fda8165
commit 6de12aa5ba

@ -95,7 +95,7 @@ let ma_contains ma ann_names =
ma_iter (fun a -> if list_exists (string_equal a.Sil.class_name) ann_names then found := true) ma; ma_iter (fun a -> if list_exists (string_equal a.Sil.class_name) ann_names then found := true) ma;
!found !found
let initializer_ = "com.facebook.infer.annotation.Initializer" let initializer_ = "Initializer"
let inject = "Inject" let inject = "Inject"
let inject_view = "InjectView" let inject_view = "InjectView"
let bind = "Bind" let bind = "Bind"
@ -120,7 +120,7 @@ let ia_is_nonnull ia =
[nonnull; notnull; camel_nonnull] [nonnull; notnull; camel_nonnull]
let ia_is_initializer ia = let ia_is_initializer ia =
ia_contains ia initializer_ ia_ends_with ia initializer_
let ia_is_inject ia = let ia_is_inject ia =
list_exists list_exists

Loading…
Cancel
Save