From 4c85f98c299abc154c7c2da49624d2decbbb60a0 Mon Sep 17 00:00:00 2001 From: Joshua Selbo Date: Tue, 17 Nov 2020 09:27:41 -0800 Subject: [PATCH] [nullsafe] Register View Properties as known non-nullable fields Reviewed By: mityal Differential Revision: D25024514 fbshipit-source-id: 03e79c408 --- infer/src/nullsafe/modelTables.ml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index 989c95dce..a08182e4c 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/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)