PushReceiverId constructor

const PushReceiverId({
  1. required int id,
  2. dynamic extra,
  3. int? clientId,
})

Contains a globally unique push receiver identifier, which can be used to identify which account has received a push notification

Implementation

const PushReceiverId({
  required this.id,
  this.extra,
  this.clientId,
});