2012-07-17 05:42:18 +04:00
|
|
|
/* -*- 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://www.w3.org/TR/hr-time/
|
|
|
|
*
|
|
|
|
* Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C
|
|
|
|
* liability, trademark and document use rules apply.
|
|
|
|
*/
|
|
|
|
|
2012-11-28 00:32:05 +04:00
|
|
|
typedef double DOMHighResTimeStamp;
|
2013-10-16 05:35:44 +04:00
|
|
|
typedef sequence <PerformanceEntry> PerformanceEntryList;
|
2012-07-17 05:42:18 +04:00
|
|
|
|
2014-08-30 03:50:06 +04:00
|
|
|
[Exposed=(Window,Worker)]
|
2012-07-17 05:42:18 +04:00
|
|
|
interface Performance {
|
2015-01-16 01:39:01 +03:00
|
|
|
[DependsOn=DeviceState, Affects=Nothing]
|
2012-11-28 00:32:05 +04:00
|
|
|
DOMHighResTimeStamp now();
|
2014-08-30 03:50:06 +04:00
|
|
|
};
|
2012-07-17 05:42:18 +04:00
|
|
|
|
2014-08-30 03:50:06 +04:00
|
|
|
[Exposed=Window]
|
|
|
|
partial interface Performance {
|
2012-12-26 02:00:15 +04:00
|
|
|
[Constant]
|
2012-07-17 05:42:18 +04:00
|
|
|
readonly attribute PerformanceTiming timing;
|
2012-12-26 02:00:15 +04:00
|
|
|
[Constant]
|
2012-07-17 05:42:18 +04:00
|
|
|
readonly attribute PerformanceNavigation navigation;
|
2013-07-26 20:00:49 +04:00
|
|
|
|
|
|
|
jsonifier;
|
2012-07-17 05:42:18 +04:00
|
|
|
};
|
2013-10-16 05:35:44 +04:00
|
|
|
|
2014-05-10 06:12:06 +04:00
|
|
|
// http://www.w3.org/TR/performance-timeline/#sec-window.performance-attribute
|
2014-08-30 03:50:06 +04:00
|
|
|
[Exposed=Window]
|
2013-10-16 05:35:44 +04:00
|
|
|
partial interface Performance {
|
2014-04-21 17:34:31 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
2013-10-16 05:35:44 +04:00
|
|
|
PerformanceEntryList getEntries();
|
2014-04-21 17:34:31 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
2013-10-16 05:35:44 +04:00
|
|
|
PerformanceEntryList getEntriesByType(DOMString entryType);
|
2014-04-21 17:34:31 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
2013-10-16 05:35:44 +04:00
|
|
|
PerformanceEntryList getEntriesByName(DOMString name, optional DOMString
|
|
|
|
entryType);
|
|
|
|
};
|
|
|
|
|
2014-05-10 06:12:06 +04:00
|
|
|
// http://www.w3.org/TR/resource-timing/#extensions-performance-interface
|
2014-08-30 03:50:06 +04:00
|
|
|
[Exposed=Window]
|
2013-10-16 05:35:44 +04:00
|
|
|
partial interface Performance {
|
2014-04-21 17:34:31 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
2013-10-16 05:35:44 +04:00
|
|
|
void clearResourceTimings();
|
2014-04-21 17:34:31 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
2013-10-16 05:35:44 +04:00
|
|
|
void setResourceTimingBufferSize(unsigned long maxSize);
|
2014-05-10 06:12:06 +04:00
|
|
|
[Pref="dom.enable_resource_timing"]
|
|
|
|
attribute EventHandler onresourcetimingbufferfull;
|
2013-10-16 05:35:44 +04:00
|
|
|
};
|
2015-02-04 08:46:23 +03:00
|
|
|
|
|
|
|
// http://www.w3.org/TR/user-timing/
|
|
|
|
[Exposed=Window]
|
|
|
|
partial interface Performance {
|
|
|
|
[Pref="dom.enable_user_timing", Throws]
|
|
|
|
void mark(DOMString markName);
|
|
|
|
[Pref="dom.enable_user_timing"]
|
|
|
|
void clearMarks(optional DOMString markName);
|
|
|
|
[Pref="dom.enable_user_timing", Throws]
|
|
|
|
void measure(DOMString measureName, optional DOMString startMark, optional DOMString endMark);
|
|
|
|
[Pref="dom.enable_user_timing"]
|
|
|
|
void clearMeasures(optional DOMString measureName);
|
|
|
|
};
|