[nullsafe] Register View Properties as known non-nullable fields

Reviewed By: mityal

Differential Revision: D25024514

fbshipit-source-id: 03e79c408

infer/src/nullsafe/modelTables.ml

@@ -793,6 +793,18 @@ let field_nullability =
   ; ("android.util.Patterns.IP_ADDRESS", o)
   ; ("android.util.Patterns.PHONE", o)
   ; ("android.util.Patterns.WEB_URL", o)
+  ; ("android.view.View.ALPHA", o)
+  ; ("android.view.View.ROTATION", o)
+  ; ("android.view.View.ROTATION_X", o)
+  ; ("android.view.View.ROTATION_Y", o)
+  ; ("android.view.View.SCALE_X", o)
+  ; ("android.view.View.SCALE_Y", o)
+  ; ("android.view.View.TRANSLATION_X", o)
+  ; ("android.view.View.TRANSLATION_Y", o)
+  ; ("android.view.View.TRANSLATION_Z", o)
+  ; ("android.view.View.X", o)
+  ; ("android.view.View.Y", o)
+  ; ("android.view.View.Z", o)
   ; ("androidx.core.text.TextDirectionHeuristicsCompat.ANYRTL_LTR", o)
   ; ("androidx.core.text.TextDirectionHeuristicsCompat.FIRSTSTRONG_LTR", o)
   ; ("androidx.core.text.TextDirectionHeuristicsCompat.FIRSTSTRONG_RTL", o)