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)