mirror of
https://github.com/rustwasm/wasm-bindgen.git
synced 2024-12-28 20:43:23 +03:00
71255acf5d
* Try to enable all webidls * Separate out unavailable webidl files by reason. * Create record of fully tested WebIDL files * Update notes to reflect new situation with web-idl * Make a blank ident fail, disable the necessary widls. It turns out that all the blank idents came from blank enum variants, which is allowed in webidl apparently.
45 lines
1.4 KiB
Plaintext
Vendored
45 lines
1.4 KiB
Plaintext
Vendored
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* http://slightlyoff.github.io/ServiceWorker/spec/service_worker/index.html
|
|
* http://w3c.github.io/push-api/
|
|
* https://notifications.spec.whatwg.org/
|
|
*
|
|
* You are granted a license to use, reproduce and create derivative works of
|
|
* this document.
|
|
*/
|
|
|
|
[Global=(Worker,ServiceWorker),
|
|
Exposed=ServiceWorker]
|
|
interface ServiceWorkerGlobalScope : WorkerGlobalScope {
|
|
[SameObject, BinaryName="GetClients"]
|
|
readonly attribute Clients clients;
|
|
[SameObject] readonly attribute ServiceWorkerRegistration registration;
|
|
|
|
[Throws, NewObject]
|
|
Promise<void> skipWaiting();
|
|
|
|
attribute EventHandler oninstall;
|
|
attribute EventHandler onactivate;
|
|
|
|
attribute EventHandler onfetch;
|
|
|
|
// The event.source of these MessageEvents are instances of Client
|
|
attribute EventHandler onmessage;
|
|
};
|
|
|
|
// These are from w3c.github.io/push-api/
|
|
partial interface ServiceWorkerGlobalScope {
|
|
attribute EventHandler onpush;
|
|
attribute EventHandler onpushsubscriptionchange;
|
|
};
|
|
|
|
// https://notifications.spec.whatwg.org/
|
|
partial interface ServiceWorkerGlobalScope {
|
|
attribute EventHandler onnotificationclick;
|
|
attribute EventHandler onnotificationclose;
|
|
};
|