From d53c81c65cee5176af13aaa0a6c87fdbf2fd80b2 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosgorogiannis@fb.com>
Date: Thu, 15 Nov 2018 14:49:21 -0800
Subject: [PATCH] [concurrency] add model for android.app.Application

Reviewed By: mbouaziz

Differential Revision: D13083046

fbshipit-source-id: 99c459f70
---
 infer/src/concurrency/ConcurrencyModels.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/concurrency/ConcurrencyModels.ml b/infer/src/concurrency/ConcurrencyModels.ml
index 19e37eca3..348a69c85 100644
--- a/infer/src/concurrency/ConcurrencyModels.ml
+++ b/infer/src/concurrency/ConcurrencyModels.ml
@@ -199,6 +199,7 @@ let ui_matcher_records =
   ; { default with
       classname= "android.app.Service"
     ; methods= ["onBind"; "onCreate"; "onDestroy"; "onStartCommand"] }
+  ; {default with classname= "android.app.Application"; methods= ["onCreate"]}
   ; { default with
       classname= "android.app.Activity"
     ; methods= ["onCreate"; "onStart"; "onRestart"; "onResume"; "onPause"; "onStop"; "onDestroy"]