mirror of
https://github.com/fluencelabs/wasm-bindgen
synced 2025-03-19 19:50:52 +00: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.
68 lines
2.1 KiB
Plaintext
Vendored
68 lines
2.1 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://w3c.github.io/hr-time/
|
|
*
|
|
* Copyright © 2015 W3C® (MIT, ERCIM, Keio, Beihang).
|
|
* W3C liability, trademark and document use rules apply.
|
|
*/
|
|
|
|
typedef sequence <PerformanceEntry> PerformanceEntryList;
|
|
|
|
[Exposed=(Window,Worker)]
|
|
interface Performance : EventTarget {
|
|
[DependsOn=DeviceState, Affects=Nothing]
|
|
DOMHighResTimeStamp now();
|
|
|
|
[Constant]
|
|
readonly attribute DOMHighResTimeStamp timeOrigin;
|
|
};
|
|
|
|
[Exposed=Window]
|
|
partial interface Performance {
|
|
[Constant]
|
|
readonly attribute PerformanceTiming timing;
|
|
[Constant]
|
|
readonly attribute PerformanceNavigation navigation;
|
|
|
|
[Default] object toJSON();
|
|
};
|
|
|
|
// http://www.w3.org/TR/performance-timeline/#sec-window.performance-attribute
|
|
[Exposed=(Window,Worker)]
|
|
partial interface Performance {
|
|
PerformanceEntryList getEntries();
|
|
PerformanceEntryList getEntriesByType(DOMString entryType);
|
|
PerformanceEntryList getEntriesByName(DOMString name, optional DOMString
|
|
entryType);
|
|
};
|
|
|
|
// http://www.w3.org/TR/resource-timing/#extensions-performance-interface
|
|
[Exposed=(Window,Worker)]
|
|
partial interface Performance {
|
|
void clearResourceTimings();
|
|
void setResourceTimingBufferSize(unsigned long maxSize);
|
|
attribute EventHandler onresourcetimingbufferfull;
|
|
};
|
|
|
|
// GC microbenchmarks, pref-guarded, not for general use (bug 1125412)
|
|
[Exposed=Window]
|
|
partial interface Performance {
|
|
[Pref="dom.enable_memory_stats"]
|
|
readonly attribute object mozMemory;
|
|
};
|
|
|
|
// http://www.w3.org/TR/user-timing/
|
|
[Exposed=(Window,Worker)]
|
|
partial interface Performance {
|
|
[Throws]
|
|
void mark(DOMString markName);
|
|
void clearMarks(optional DOMString markName);
|
|
[Throws]
|
|
void measure(DOMString measureName, optional DOMString startMark, optional DOMString endMark);
|
|
void clearMeasures(optional DOMString measureName);
|
|
};
|