PushManager extension type

The PushManager interface of the Push API provides a way to receive notifications from third-party servers as well as request URLs for push notifications.

This interface is accessed via the ServiceWorkerRegistration.pushManager property.

on

• JSObject

Implemented types

• JSObject

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

getSubscription() → JSPromise<PushSubscription?>

The PushManager.getSubscription() method of the PushManager interface retrieves an existing push subscription.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

permissionState([PushSubscriptionOptionsInit options]) → JSPromise<JSString>

The permissionState() method of the PushManager interface returns a Promise that resolves to a string indicating the permission state of the push manager. Possible values are 'prompt', 'denied', or 'granted'.

subscribe([PushSubscriptionOptionsInit options]) → JSPromise<PushSubscription>

The subscribe() method of the PushManager interface subscribes to a push service.

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited

Static Properties

supportedContentEncodings → JSArray<JSString>

no setter