productId property Null safety

int productId
final

The product ID of the device that produced the event.

See developer.android.com/reference/android/view/InputDevice.html#getProductId() for the numerical values of the productId.

Implementation

final int productId;