From 6de12aa5ba2d1559d1eee5afb7a982283494efb4 Mon Sep 17 00:00:00 2001
From: jrm <jrm@fb.com>
Date: Thu, 27 Aug 2015 11:28:36 -0700
Subject: [PATCH] [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.
---
 infer/src/checkers/annotations.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/checkers/annotations.ml b/infer/src/checkers/annotations.ml
index 6286761c1..77749581c 100644
--- a/infer/src/checkers/annotations.ml
+++ b/infer/src/checkers/annotations.ml
@@ -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;
   !found
 
-let initializer_ = "com.facebook.infer.annotation.Initializer"
+let initializer_ = "Initializer"
 let inject = "Inject"
 let inject_view = "InjectView"
 let bind = "Bind"
@@ -120,7 +120,7 @@ let ia_is_nonnull ia =
     [nonnull; notnull; camel_nonnull]
 
 let ia_is_initializer ia =
-  ia_contains ia initializer_
+  ia_ends_with ia initializer_
 
 let ia_is_inject ia =
   list_exists