From b38cc767fa696086fd7bcea4d0f12ba8b27769ed Mon Sep 17 00:00:00 2001
From: Artem Pianykh <arr@fb.com>
Date: Fri, 14 May 2021 12:15:06 -0700
Subject: [PATCH] [nullsafe] Add models for java.util.Locale public fields

Summary: :

Reviewed By: mityal

Differential Revision: D28444340

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

diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml
index e06d38124..dbfdc75bb 100644
--- a/infer/src/nullsafe/modelTables.ml
+++ b/infer/src/nullsafe/modelTables.ml
@@ -862,6 +862,30 @@ let field_nullability =
   ; ("java.nio.charset.StandardCharsets.UTF_16BE", o)
   ; ("java.nio.charset.StandardCharsets.UTF_16LE", o)
   ; ("java.nio.charset.StandardCharsets.UTF_8", o)
+  ; ("java.util.Locale.CANADA", o)
+  ; ("java.util.Locale.CANADA_FRENCH", o)
+  ; ("java.util.Locale.CHINA", o)
+  ; ("java.util.Locale.CHINESE", o)
+  ; ("java.util.Locale.ENGLISH", o)
+  ; ("java.util.Locale.FRANCE", o)
+  ; ("java.util.Locale.FRENCH", o)
+  ; ("java.util.Locale.GERMAN", o)
+  ; ("java.util.Locale.GERMANY", o)
+  ; ("java.util.Locale.ITALIAN", o)
+  ; ("java.util.Locale.ITALY", o)
+  ; ("java.util.Locale.JAPAN", o)
+  ; ("java.util.Locale.JAPANESE", o)
+  ; ("java.util.Locale.KOREA", o)
+  ; ("java.util.Locale.KOREAN", o)
+  ; ("java.util.Locale.PRC", o)
+  ; ("java.util.Locale.PRIVATE_USE_EXTENSION", o)
+  ; ("java.util.Locale.ROOT", o)
+  ; ("java.util.Locale.SIMPLIFIED_CHINESE", o)
+  ; ("java.util.Locale.TAIWAN", o)
+  ; ("java.util.Locale.TRADITIONAL_CHINESE", o)
+  ; ("java.util.Locale.UK", o)
+  ; ("java.util.Locale.UNICODE_LOCALE_EXTENSION", o)
+  ; ("java.util.Locale.US", o)
   ; ( "com.google.android.exoplayer2.source.dash.manifest.AdaptationSet.representations"
     , o (* Set in the constructor, where this is non-nullable *) )
   ; ("com.google.android.exoplayer2.source.dash.manifest.Representation.format", o)