Further adapt debian webjumps as suggested by John J. Foerch
[conkeror.git] / modules / timer.js
blob9f0d5aca28eea0da01721c94c5012f4ab35751e4
1 /**
2  * (C) Copyright 2008 Jeremy Maitin-Shepard
3  *
4  * Use, modification, and distribution are subject to the terms specified in the
5  * COPYING file.
6 **/
8 in_module(null);
10 function timer_callback (callback) {
11     this.callback = callback;
13 timer_callback.prototype = {
14     QueryInterface: XPCOMUtils.generateQI([Ci.nsITimerCallback]),
16     notify: function (timer) {
17         this.callback.call(null, timer);
18     }
21 function call_after_timeout (callback, timeout) {
22     var timer = Cc["@mozilla.org/timer;1"].createInstance(Ci.nsITimer);
23     timer.initWithCallback(new timer_callback(callback), timeout, Ci.nsITimer.TYPE_ONE_SHOT);
24     return timer;
27 function call_at_interval (callback, interval) {
28     var timer = Cc["@mozilla.org/timer;1"].createInstance(Ci.nsITimer);
29     timer.initWithCallback(new timer_callback(callback), interval, Ci.nsITimer.TYPE_REPEATING_SLACK);
30     return timer;
33 function call_at_precise_interval (callback, interval) {
34     var timer = Cc["@mozilla.org/timer;1"].createInstance(Ci.nsITimer);
35     timer.initWithCallback(new timer_callback(callback), interval, Ci.nsITimer.TYPE_REPEATING_PRECISE);
36     return timer;
39 function timer_cancel (timer) {
40     timer.cancel();
43 provide("timer");