diff options
Diffstat (limited to 'vendor/web-sys/webidls/enabled/Performance.webidl')
-rw-r--r-- | vendor/web-sys/webidls/enabled/Performance.webidl | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/vendor/web-sys/webidls/enabled/Performance.webidl b/vendor/web-sys/webidls/enabled/Performance.webidl new file mode 100644 index 000000000..5dec7a6af --- /dev/null +++ b/vendor/web-sys/webidls/enabled/Performance.webidl @@ -0,0 +1,60 @@ +/* -*- 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 { + undefined clearResourceTimings(); + undefined setResourceTimingBufferSize(unsigned long maxSize); + attribute EventHandler onresourcetimingbufferfull; +}; + +// http://www.w3.org/TR/user-timing/ +[Exposed=(Window,Worker)] +partial interface Performance { + [Throws] + undefined mark(DOMString markName); + undefined clearMarks(optional DOMString markName); + [Throws] + undefined measure(DOMString measureName, optional DOMString startMark, optional DOMString endMark); + undefined clearMeasures(optional DOMString measureName); +}; |