toolkit/modules/Timer.jsm@6474c204b198 (annotated)
toolkit/modules/Timer.jsm
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 4 | |
| michael@0 | 5 | "use strict"; |
| michael@0 | 6 | |
| michael@0 | 7 | /** |
| michael@0 | 8 | * JS module implementation of nsIDOMJSWindow.setTimeout and clearTimeout. |
| michael@0 | 9 | */ |
| michael@0 | 10 | |
| michael@0 | 11 | this.EXPORTED_SYMBOLS = ["setTimeout", "clearTimeout"]; |
| michael@0 | 12 | |
| michael@0 | 13 | const Cc = Components.classes; |
| michael@0 | 14 | const Ci = Components.interfaces; |
| michael@0 | 15 | const Cu = Components.utils; |
| michael@0 | 16 | |
| michael@0 | 17 | Cu.import("resource://gre/modules/XPCOMUtils.jsm"); |
| michael@0 | 18 | |
| michael@0 | 19 | // This gives us >=2^30 unique timer IDs, enough for 1 per ms for 12.4 days. |
| michael@0 | 20 | let gNextTimeoutId = 1; // setTimeout must return a positive integer |
| michael@0 | 21 | |
| michael@0 | 22 | let gTimeoutTable = new Map(); // int -> nsITimer |
| michael@0 | 23 | |
| michael@0 | 24 | this.setTimeout = function setTimeout(aCallback, aMilliseconds) { |
| michael@0 | 25 | let id = gNextTimeoutId++; |
| michael@0 | 26 | let args = Array.slice(arguments, 2); |
| michael@0 | 27 | let timer = Cc["@mozilla.org/timer;1"].createInstance(Ci.nsITimer); |
| michael@0 | 28 | timer.initWithCallback(function setTimeout_timer() { |
| michael@0 | 29 | gTimeoutTable.delete(id); |
| michael@0 | 30 | aCallback.apply(null, args); |
| michael@0 | 31 | }, aMilliseconds, timer.TYPE_ONE_SHOT); |
| michael@0 | 32 | |
| michael@0 | 33 | gTimeoutTable.set(id, timer); |
| michael@0 | 34 | return id; |
| michael@0 | 35 | } |
| michael@0 | 36 | |
| michael@0 | 37 | this.clearTimeout = function clearTimeout(aId) { |
| michael@0 | 38 | if (gTimeoutTable.has(aId)) { |
| michael@0 | 39 | gTimeoutTable.get(aId).cancel(); |
| michael@0 | 40 | gTimeoutTable.delete(aId); |
| michael@0 | 41 | } |
| michael@0 | 42 | } |
