Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 14:35:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Convert Web IDL void to undefined

Browse source 
Fixes #27660
This commit is contained in:
Kagami Sascha Rosylight 2022-01-05 03:39:33 +01:00
parent 5df705a41f
commit 52ea5204a2
158 changed files with 1124 additions and 1124 deletions
Download patch file Download diff file Expand all files Collapse all files

52
components/script/dom/webidls/Window.webidl
View file

@ -24,9 +24,9 @@
//[Replaceable] readonly attribute BarProp statusbar;
//[Replaceable] readonly attribute BarProp toolbar;
attribute DOMString status;
[CrossOriginCallable] void close();
[CrossOriginCallable] undefined close();
[CrossOriginReadable] readonly attribute boolean closed;
void stop();
undefined stop();
//[CrossOriginCallable] void focus();
//[CrossOriginCallable] void blur();
@ -54,20 +54,20 @@
//readonly attribute ApplicationCache applicationCache;
// user prompts
void alert(DOMString message);
void alert();
undefined alert(DOMString message);
undefined alert();
boolean confirm(optional DOMString message = "");
DOMString? prompt(optional DOMString message = "", optional DOMString default = "");
//void print();
//any showModalDialog(DOMString url, optional any argument);
unsigned long requestAnimationFrame(FrameRequestCallback callback);
void cancelAnimationFrame(unsigned long handle);
undefined cancelAnimationFrame(unsigned long handle);
[Throws, CrossOriginCallable]
void postMessage(any message, USVString targetOrigin, optional sequence<object> transfer = []);
undefined postMessage(any message, USVString targetOrigin, optional sequence<object> transfer = []);
[Throws, CrossOriginCallable]
void postMessage(any message, optional WindowPostMessageOptions options = {});
undefined postMessage(any message, optional WindowPostMessageOptions options = {});
// also has obsolete members
};
@ -76,8 +76,8 @@ Window includes WindowEventHandlers;
// https://html.spec.whatwg.org/multipage/#Window-partial
partial interface Window {
void captureEvents();
void releaseEvents();
undefined captureEvents();
undefined releaseEvents();
};
// https://drafts.csswg.org/cssom/#extensions-to-the-window-interface
@ -106,10 +106,10 @@ partial interface Window {
[SameObject, Replaceable] readonly attribute Screen screen;
// browsing context
void moveTo(long x, long y);
void moveBy(long x, long y);
void resizeTo(long x, long y);
void resizeBy(long x, long y);
undefined moveTo(long x, long y);
undefined moveBy(long x, long y);
undefined resizeTo(long x, long y);
undefined resizeBy(long x, long y);
// viewport
[Replaceable] readonly attribute long innerWidth;
@ -120,12 +120,12 @@ partial interface Window {
[Replaceable] readonly attribute long pageXOffset;
[Replaceable] readonly attribute long scrollY;
[Replaceable] readonly attribute long pageYOffset;
void scroll(optional ScrollToOptions options = {});
void scroll(unrestricted double x, unrestricted double y);
void scrollTo(optional ScrollToOptions options = {});
void scrollTo(unrestricted double x, unrestricted double y);
void scrollBy(optional ScrollToOptions options = {});
void scrollBy(unrestricted double x, unrestricted double y);
undefined scroll(optional ScrollToOptions options = {});
undefined scroll(unrestricted double x, unrestricted double y);
undefined scrollTo(optional ScrollToOptions options = {});
undefined scrollTo(unrestricted double x, unrestricted double y);
undefined scrollBy(optional ScrollToOptions options = {});
undefined scrollBy(unrestricted double x, unrestricted double y);
// client
[Replaceable] readonly attribute long screenX;
@ -138,20 +138,20 @@ partial interface Window {
// Proprietary extensions.
partial interface Window {
[Pref="dom.servo_helpers.enabled"]
void debug(DOMString arg);
undefined debug(DOMString arg);
[Pref="dom.servo_helpers.enabled"]
void gc();
undefined gc();
[Pref="dom.servo_helpers.enabled"]
void trap();
undefined trap();
[Pref="dom.servo_helpers.enabled"]
void js_backtrace();
undefined js_backtrace();
};
// WebDriver extensions
partial interface Window {
// Shouldn't be public, but just to make things work for now
void webdriverCallback(optional any result);
void webdriverTimeout();
undefined webdriverCallback(optional any result);
undefined webdriverTimeout();
};
// https://html.spec.whatwg.org/multipage/#dom-sessionstorage
@ -167,7 +167,7 @@ interface mixin WindowLocalStorage {
Window includes WindowLocalStorage;
// http://w3c.github.io/animation-timing/#framerequestcallback
callback FrameRequestCallback = void (DOMHighResTimeStamp time);
callback FrameRequestCallback = undefined (DOMHighResTimeStamp time);
// https://webbluetoothcg.github.io/web-bluetooth/tests#test-interfaces
partial interface Window {