js.web.push.PushManager Maven / Gradle / Ivy

Go to download
package js.web.push;

import js.lang.Any;
import js.lang.Promise;
import org.teavm.jso.JSBody;


/**
 * This Push API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
 */
public interface PushManager extends Any {
    @JSBody(script = "return PushManager.prototype")
    static PushManager prototype() {
        throw new UnsupportedOperationException("Available only in JavaScript");
    }

    @JSBody(script = "return new PushManager()")
    static PushManager create() {
        throw new UnsupportedOperationException("Available only in JavaScript");
    }

    @JSBody(script = "return PushManager.supportedContentEncodings")
    static String[] getSupportedContentEncodings() {
        throw new UnsupportedOperationException("Available only in JavaScript");
    }

    Promise getSubscription();

    Promise permissionState(PushSubscriptionOptionsInit options);

    Promise permissionState();

    Promise subscribe(PushSubscriptionOptionsInit options);

    Promise subscribe();
}