From ae52fb4787a51635f81edce12947b951f80f2887 Mon Sep 17 00:00:00 2001
From: Artem Pianykh <arr@fb.com>
Date: Fri, 6 Nov 2020 07:52:30 -0800
Subject: [PATCH] [nullsafe] Add a model for WifiConfiguration.SSID

Summary: This field is a const string.

Reviewed By: mityal

Differential Revision: D24762038

fbshipit-source-id: ee6edc4e5
---
 infer/src/nullsafe/modelTables.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml
index 514991f5e..989c95dce 100644
--- a/infer/src/nullsafe/modelTables.ml
+++ b/infer/src/nullsafe/modelTables.ml
@@ -786,6 +786,7 @@ let field_nullability =
          This is also on par with our policy for arrays and other containers, which are considered
          non-nullable.
       *) )
+  ; ("android.net.wifi.WifiConfiguration.SSID", o)
   ; ("android.util.Pair.second", o)
   ; ("android.util.Patterns.DOMAIN_NAME", o)
   ; ("android.util.Patterns.EMAIL_ADDRESS", o)