dvAndroidNotificationId function

int dvAndroidNotificationId(
  1. int counter
)

A notification id from a running counter.

NotificationManager.notify takes a Java int. A counter left to grow arrives negative or does not arrive at all, and the only symptom is a notification that never appears — so it is masked into the positive range here rather than trusted to stay small.

Implementation

int dvAndroidNotificationId(int counter) => counter & 0x7fffffff;