mirror of
https://github.com/servo/servo
synced 2026-05-09 08:32:31 +02:00
bd9bb77295
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>
34 lines
1.2 KiB
Plaintext
34 lines
1.2 KiB
Plaintext
/* 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 https://mozilla.org/MPL/2.0/. */
|
|
|
|
// https://drafts.fxtf.org/geometry/#domrect
|
|
|
|
[Exposed=(Window,Worker),
|
|
/*Serializable*/]
|
|
interface DOMRectReadOnly {
|
|
[Throws] constructor(optional unrestricted double x = 0, optional unrestricted double y = 0,
|
|
optional unrestricted double width = 0, optional unrestricted double height = 0);
|
|
|
|
[NewObject] static DOMRectReadOnly fromRect(optional DOMRectInit other = {});
|
|
|
|
readonly attribute unrestricted double x;
|
|
readonly attribute unrestricted double y;
|
|
readonly attribute unrestricted double width;
|
|
readonly attribute unrestricted double height;
|
|
readonly attribute unrestricted double top;
|
|
readonly attribute unrestricted double right;
|
|
readonly attribute unrestricted double bottom;
|
|
readonly attribute unrestricted double left;
|
|
|
|
[Default] object toJSON();
|
|
};
|
|
|
|
// https://drafts.fxtf.org/geometry/#dictdef-domrectinit
|
|
dictionary DOMRectInit {
|
|
unrestricted double x = 0;
|
|
unrestricted double y = 0;
|
|
unrestricted double width = 0;
|
|
unrestricted double height = 0;
|
|
};
|