mirror of
https://github.com/servo/servo.git
synced 2025-09-27 15:20:09 +01:00
These changes add compile-time assertions that: * any type that implements the Serializable/Transferable trait has a `[Serializable]` or `[Transferable]` annotation in the interface WebIDL * any WebIDL interface with the `[Serializable]` or `[Transferable]` annotation implements the corresponding trait This is useful because it means that WebIDL definitions will be less confusing if you're trying to figure out whether Servo supports serializing/transferring a particular interface type. It also makes fixing #21715 in the future a little bit easier, because the annotations will remain up to date. Testing: compile-time only; no point in writing tests for this since it involves webidl codegen. --------- Signed-off-by: Josh Matthews <josh@joshmatthews.net>
24 lines
807 B
Text
24 lines
807 B
Text
/* 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:
|
|
* https://html.spec.whatwg.org/multipage/#messageport
|
|
*/
|
|
|
|
[Exposed=(Window,Worker), Transferable]
|
|
interface MessagePort : EventTarget {
|
|
[Throws] undefined postMessage(any message, sequence<object> transfer);
|
|
[Throws] undefined postMessage(any message, optional StructuredSerializeOptions options = {});
|
|
undefined start();
|
|
undefined close();
|
|
|
|
// event handlers
|
|
attribute EventHandler onmessage;
|
|
attribute EventHandler onmessageerror;
|
|
attribute EventHandler onclose;
|
|
};
|
|
|
|
dictionary StructuredSerializeOptions {
|
|
sequence<object> transfer = [];
|
|
};
|