Mercurial > emacs
annotate lisp/timer.el @ 42811:cf0c0ef57504
*** empty log message ***
| author | Jason Rumney <jasonr@gnu.org> |
|---|---|
| date | Thu, 17 Jan 2002 19:29:24 +0000 |
| parents | 88e97e81d728 |
| children | 534629ca4cc4 |
| rev | line source |
|---|---|
|
38412
253f761ad37b
Some fixes to follow coding conventions in files maintained by FSF.
Pavel Jan?k <Pavel@Janik.cz>
parents:
31290
diff
changeset
|
1 ;;; timer.el --- run a function with args at some time in future |
| 14449 | 2 |
| 3 ;; Copyright (C) 1996 Free Software Foundation, Inc. | |
| 4 | |
| 5 ;; Maintainer: FSF | |
| 6 | |
| 7 ;; This file is part of GNU Emacs. | |
| 8 | |
| 9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 10 ;; it under the terms of the GNU General Public License as published by | |
| 11 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 12 ;; any later version. | |
| 13 | |
| 14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 17 ;; GNU General Public License for more details. | |
| 18 | |
| 19 ;; You should have received a copy of the GNU General Public License | |
| 20 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
| 21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 22 ;; Boston, MA 02111-1307, USA. | |
| 23 | |
| 24 ;;; Commentary: | |
| 25 | |
| 26 ;; This package gives you the capability to run Emacs Lisp commands at | |
| 27 ;; specified times in the future, either as one-shots or periodically. | |
| 28 | |
| 29 ;;; Code: | |
| 30 | |
| 31 ;; Layout of a timer vector: | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
32 ;; [triggered-p high-seconds low-seconds usecs repeat-delay |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
33 ;; function args idle-delay] |
| 14449 | 34 |
| 35 (defun timer-create () | |
| 36 "Create a timer object." | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
37 (let ((timer (make-vector 8 nil))) |
| 14449 | 38 (aset timer 0 t) |
| 39 timer)) | |
| 40 | |
| 41 (defun timerp (object) | |
| 42 "Return t if OBJECT is a timer." | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
43 (and (vectorp object) (= (length object) 8))) |
| 14449 | 44 |
| 45 (defun timer-set-time (timer time &optional delta) | |
| 46 "Set the trigger time of TIMER to TIME. | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
47 TIME must be in the internal format returned by, e.g., `current-time'. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
48 If optional third argument DELTA is a non-zero integer, make the timer |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
49 fire repeatedly that many seconds apart." |
| 14449 | 50 (or (timerp timer) |
| 51 (error "Invalid timer")) | |
| 52 (aset timer 1 (car time)) | |
| 53 (aset timer 2 (if (consp (cdr time)) (car (cdr time)) (cdr time))) | |
|
14870
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
54 (aset timer 3 (or (and (consp (cdr time)) (consp (cdr (cdr time))) |
|
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
55 (nth 2 time)) |
|
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
56 0)) |
| 14449 | 57 (aset timer 4 (and (numberp delta) (> delta 0) delta)) |
| 58 timer) | |
| 59 | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
60 (defun timer-set-idle-time (timer secs &optional repeat) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
61 "Set the trigger idle time of TIMER to SECS. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
62 If optional third argument REPEAT is non-nil, make the timer |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
63 fire each time Emacs is idle for that many seconds." |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
64 (or (timerp timer) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
65 (error "Invalid timer")) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
66 (aset timer 1 0) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
67 (aset timer 2 0) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
68 (aset timer 3 0) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
69 (timer-inc-time timer secs) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
70 (aset timer 4 repeat) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
71 timer) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
72 |
|
16085
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
73 (defun timer-next-integral-multiple-of-time (time secs) |
|
16654
4f8b4e26cc92
(timer-next-integral-multiple-of-time): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
16407
diff
changeset
|
74 "Yield the next value after TIME that is an integral multiple of SECS. |
|
4f8b4e26cc92
(timer-next-integral-multiple-of-time): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
16407
diff
changeset
|
75 More precisely, the next value, after TIME, that is an integral multiple |
|
4f8b4e26cc92
(timer-next-integral-multiple-of-time): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
16407
diff
changeset
|
76 of SECS seconds since the epoch. SECS may be a fraction." |
|
16085
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
77 (let ((time-base (ash 1 16))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
78 (if (fboundp 'atan) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
79 ;; Use floating point, taking care to not lose precision. |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
80 (let* ((float-time-base (float time-base)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
81 (million 1000000.0) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
82 (time-usec (+ (* million |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
83 (+ (* float-time-base (nth 0 time)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
84 (nth 1 time))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
85 (nth 2 time))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
86 (secs-usec (* million secs)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
87 (mod-usec (mod time-usec secs-usec)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
88 (next-usec (+ (- time-usec mod-usec) secs-usec)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
89 (time-base-million (* float-time-base million))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
90 (list (floor next-usec time-base-million) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
91 (floor (mod next-usec time-base-million) million) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
92 (floor (mod next-usec million)))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
93 ;; Floating point is not supported. |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
94 ;; Use integer arithmetic, avoiding overflow if possible. |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
95 (let* ((mod-sec (mod (+ (* (mod time-base secs) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
96 (mod (nth 0 time) secs)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
97 (nth 1 time)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
98 secs)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
99 (next-1-sec (+ (- (nth 1 time) mod-sec) secs))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
100 (list (+ (nth 0 time) (floor next-1-sec time-base)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
101 (mod next-1-sec time-base) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
102 0))))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
103 |
| 14449 | 104 (defun timer-relative-time (time secs &optional usecs) |
| 105 "Advance TIME by SECS seconds and optionally USECS microseconds. | |
| 106 SECS may be a fraction." | |
| 107 (let ((high (car time)) | |
| 108 (low (if (consp (cdr time)) (nth 1 time) (cdr time))) | |
| 109 (micro (if (numberp (car-safe (cdr-safe (cdr time)))) | |
| 110 (nth 2 time) | |
| 111 0))) | |
| 112 ;; Add | |
| 113 (if usecs (setq micro (+ micro usecs))) | |
| 114 (if (floatp secs) | |
| 115 (setq micro (+ micro (floor (* 1000000 (- secs (floor secs))))))) | |
| 116 (setq low (+ low (floor secs))) | |
| 117 | |
| 118 ;; Normalize | |
|
39558
88e97e81d728
(timer-relative-time): Fix computation for negative `micro'.
Gerd Moellmann <gerd@gnu.org>
parents:
38412
diff
changeset
|
119 ;; `/' rounds towards zero while `mod' returns a positive number, |
|
88e97e81d728
(timer-relative-time): Fix computation for negative `micro'.
Gerd Moellmann <gerd@gnu.org>
parents:
38412
diff
changeset
|
120 ;; so we can't rely on (= a (+ (* 100 (/ a 100)) (mod a 100))). |
|
88e97e81d728
(timer-relative-time): Fix computation for negative `micro'.
Gerd Moellmann <gerd@gnu.org>
parents:
38412
diff
changeset
|
121 (setq low (+ low (/ micro 1000000) (if (< micro 0) -1 0))) |
| 14449 | 122 (setq micro (mod micro 1000000)) |
|
39558
88e97e81d728
(timer-relative-time): Fix computation for negative `micro'.
Gerd Moellmann <gerd@gnu.org>
parents:
38412
diff
changeset
|
123 (setq high (+ high (/ low 65536) (if (< low 0) -1 0))) |
| 14449 | 124 (setq low (logand low 65535)) |
| 125 | |
| 126 (list high low (and (/= micro 0) micro)))) | |
| 127 | |
| 128 (defun timer-inc-time (timer secs &optional usecs) | |
| 129 "Increment the time set in TIMER by SECS seconds and USECS microseconds. | |
| 130 SECS may be a fraction." | |
| 131 (let ((time (timer-relative-time | |
| 132 (list (aref timer 1) (aref timer 2) (aref timer 3)) | |
| 133 secs | |
| 134 usecs))) | |
| 135 (aset timer 1 (nth 0 time)) | |
| 136 (aset timer 2 (nth 1 time)) | |
| 137 (aset timer 3 (or (nth 2 time) 0)))) | |
| 138 | |
| 139 (defun timer-set-time-with-usecs (timer time usecs &optional delta) | |
| 140 "Set the trigger time of TIMER to TIME. | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
141 TIME must be in the internal format returned by, e.g., `current-time'. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
142 If optional third argument DELTA is a non-zero integer, make the timer |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
143 fire repeatedly that many seconds apart." |
| 14449 | 144 (or (timerp timer) |
| 145 (error "Invalid timer")) | |
| 146 (aset timer 1 (car time)) | |
| 147 (aset timer 2 (if (consp (cdr time)) (car (cdr time)) (cdr time))) | |
| 148 (aset timer 3 usecs) | |
| 149 (aset timer 4 (and (numberp delta) (> delta 0) delta)) | |
| 150 timer) | |
| 151 | |
| 152 (defun timer-set-function (timer function &optional args) | |
| 153 "Make TIMER call FUNCTION with optional ARGS when triggering." | |
| 154 (or (timerp timer) | |
| 155 (error "Invalid timer")) | |
| 156 (aset timer 5 function) | |
| 157 (aset timer 6 args) | |
| 158 timer) | |
| 159 | |
| 160 (defun timer-activate (timer) | |
| 161 "Put TIMER on the list of active timers." | |
| 162 (if (and (timerp timer) | |
| 163 (integerp (aref timer 1)) | |
| 164 (integerp (aref timer 2)) | |
| 165 (integerp (aref timer 3)) | |
| 166 (aref timer 5)) | |
| 167 (let ((timers timer-list) | |
| 168 last) | |
| 169 ;; Skip all timers to trigger before the new one. | |
| 170 (while (and timers | |
| 171 (or (> (aref timer 1) (aref (car timers) 1)) | |
| 172 (and (= (aref timer 1) (aref (car timers) 1)) | |
| 173 (> (aref timer 2) (aref (car timers) 2))) | |
| 174 (and (= (aref timer 1) (aref (car timers) 1)) | |
| 175 (= (aref timer 2) (aref (car timers) 2)) | |
| 176 (> (aref timer 3) (aref (car timers) 3))))) | |
| 177 (setq last timers | |
| 178 timers (cdr timers))) | |
| 179 ;; Insert new timer after last which possibly means in front of queue. | |
| 180 (if last | |
| 181 (setcdr last (cons timer timers)) | |
| 182 (setq timer-list (cons timer timers))) | |
| 183 (aset timer 0 nil) | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
184 (aset timer 7 nil) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
185 nil) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
186 (error "Invalid or uninitialized timer"))) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
187 |
|
30436
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
188 (defun timer-activate-when-idle (timer &optional dont-wait) |
|
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
189 "Arrange to activate TIMER whenever Emacs is next idle. |
|
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
190 If optional argument DONT-WAIT is non-nil, then enable the |
|
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
191 timer to activate immediately, or at the right time, if Emacs |
|
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
192 is already idle." |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
193 (if (and (timerp timer) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
194 (integerp (aref timer 1)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
195 (integerp (aref timer 2)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
196 (integerp (aref timer 3)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
197 (aref timer 5)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
198 (let ((timers timer-idle-list) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
199 last) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
200 ;; Skip all timers to trigger before the new one. |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
201 (while (and timers |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
202 (or (> (aref timer 1) (aref (car timers) 1)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
203 (and (= (aref timer 1) (aref (car timers) 1)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
204 (> (aref timer 2) (aref (car timers) 2))) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
205 (and (= (aref timer 1) (aref (car timers) 1)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
206 (= (aref timer 2) (aref (car timers) 2)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
207 (> (aref timer 3) (aref (car timers) 3))))) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
208 (setq last timers |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
209 timers (cdr timers))) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
210 ;; Insert new timer after last which possibly means in front of queue. |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
211 (if last |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
212 (setcdr last (cons timer timers)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
213 (setq timer-idle-list (cons timer timers))) |
|
30436
9abea5a69fb5
(timer-activate-when-idle): Add optional parameter
Andrew Innes <andrewi@gnu.org>
parents:
30336
diff
changeset
|
214 (aset timer 0 (not dont-wait)) |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
215 (aset timer 7 t) |
| 14449 | 216 nil) |
| 217 (error "Invalid or uninitialized timer"))) | |
| 218 | |
|
16400
9a39893d9861
(cancel-timer): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
16085
diff
changeset
|
219 ;;;###autoload |
| 14449 | 220 (defalias 'disable-timeout 'cancel-timer) |
|
16400
9a39893d9861
(cancel-timer): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
16085
diff
changeset
|
221 ;;;###autoload |
| 14449 | 222 (defun cancel-timer (timer) |
| 223 "Remove TIMER from the list of active timers." | |
| 224 (or (timerp timer) | |
| 225 (error "Invalid timer")) | |
| 226 (setq timer-list (delq timer timer-list)) | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
227 (setq timer-idle-list (delq timer timer-idle-list)) |
| 14449 | 228 nil) |
| 229 | |
|
16407
a3bd74a05c45
(cancel-function-timers): Add autoload.
Richard M. Stallman <rms@gnu.org>
parents:
16400
diff
changeset
|
230 ;;;###autoload |
| 14449 | 231 (defun cancel-function-timers (function) |
| 232 "Cancel all timers scheduled by `run-at-time' which would run FUNCTION." | |
| 233 (interactive "aCancel timers of function: ") | |
| 234 (let ((tail timer-list)) | |
| 235 (while tail | |
| 236 (if (eq (aref (car tail) 5) function) | |
| 237 (setq timer-list (delq (car tail) timer-list))) | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
238 (setq tail (cdr tail)))) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
239 (let ((tail timer-idle-list)) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
240 (while tail |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
241 (if (eq (aref (car tail) 5) function) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
242 (setq timer-idle-list (delq (car tail) timer-idle-list))) |
| 14449 | 243 (setq tail (cdr tail))))) |
| 244 | |
|
14885
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
245 ;; Record the last few events, for debugging. |
|
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
246 (defvar timer-event-last-2 nil) |
|
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
247 (defvar timer-event-last-1 nil) |
|
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
248 (defvar timer-event-last nil) |
|
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
249 |
| 17452 | 250 (defvar timer-max-repeats 10 |
| 251 "*Maximum number of times to repeat a timer, if real time jumps.") | |
| 252 | |
| 253 (defun timer-until (timer time) | |
| 254 "Calculate number of seconds from when TIMER will run, until TIME. | |
| 255 TIMER is a timer, and stands for the time when its next repeat is scheduled. | |
|
17457
e614abd1ff44
(timer-until): Fix syntax error.
Karl Heuer <kwzh@gnu.org>
parents:
17452
diff
changeset
|
256 TIME is a time-list." |
| 17452 | 257 (let ((high (- (car time) (aref timer 1))) |
| 258 (low (- (nth 1 time) (aref timer 2)))) | |
| 259 (+ low (* high 65536)))) | |
| 260 | |
|
17708
95f0456681cc
(timer-event-handler): Take timer as arg directly.
Richard M. Stallman <rms@gnu.org>
parents:
17457
diff
changeset
|
261 (defun timer-event-handler (timer) |
|
95f0456681cc
(timer-event-handler): Take timer as arg directly.
Richard M. Stallman <rms@gnu.org>
parents:
17457
diff
changeset
|
262 "Call the handler for the timer TIMER. |
|
95f0456681cc
(timer-event-handler): Take timer as arg directly.
Richard M. Stallman <rms@gnu.org>
parents:
17457
diff
changeset
|
263 This function is called, by name, directly by the C code." |
|
14885
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
264 (setq timer-event-last-2 timer-event-last-1) |
|
38e792454ee3
(timer-event-handler): Inhibit quitting.
Richard M. Stallman <rms@gnu.org>
parents:
14870
diff
changeset
|
265 (setq timer-event-last-1 timer-event-last) |
|
17708
95f0456681cc
(timer-event-handler): Take timer as arg directly.
Richard M. Stallman <rms@gnu.org>
parents:
17457
diff
changeset
|
266 (setq timer-event-last timer) |
|
95f0456681cc
(timer-event-handler): Take timer as arg directly.
Richard M. Stallman <rms@gnu.org>
parents:
17457
diff
changeset
|
267 (let ((inhibit-quit t)) |
| 14449 | 268 (if (timerp timer) |
| 269 (progn | |
| 270 ;; Delete from queue. | |
| 271 (cancel-timer timer) | |
| 272 ;; Re-schedule if requested. | |
| 273 (if (aref timer 4) | |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
274 (if (aref timer 7) |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
275 (timer-activate-when-idle timer) |
| 14449 | 276 (timer-inc-time timer (aref timer 4) 0) |
| 17452 | 277 ;; If real time has jumped forward, |
| 278 ;; perhaps because Emacs was suspended for a long time, | |
| 279 ;; limit how many times things get repeated. | |
| 280 (if (and (numberp timer-max-repeats) | |
| 281 (< 0 (timer-until timer (current-time)))) | |
| 282 (let ((repeats (/ (timer-until timer (current-time)) | |
| 283 (aref timer 4)))) | |
| 284 (if (> repeats timer-max-repeats) | |
| 285 (timer-inc-time timer (* (aref timer 4) repeats))))) | |
|
19588
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
286 (timer-activate timer))) |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
287 ;; Run handler. |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
288 ;; We do this after rescheduling so that the handler function |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
289 ;; can cancel its own timer successfully with cancel-timer. |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
290 (condition-case nil |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
291 (apply (aref timer 5) (aref timer 6)) |
|
f51f46bef183
(timer-event-handler): Reactivate timer first,
Richard M. Stallman <rms@gnu.org>
parents:
17708
diff
changeset
|
292 (error nil))) |
| 14449 | 293 (error "Bogus timer event")))) |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
294 |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
295 ;; This function is incompatible with the one in levents.el. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
296 (defun timeout-event-p (event) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
297 "Non-nil if EVENT is a timeout event." |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
298 (and (listp event) (eq (car event) 'timer-event))) |
| 14449 | 299 |
| 300 ;;;###autoload | |
| 301 (defun run-at-time (time repeat function &rest args) | |
| 16077 | 302 "Perform an action at time TIME. |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
303 Repeat the action every REPEAT seconds, if REPEAT is non-nil. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
304 TIME should be a string like \"11:23pm\", nil meaning now, a number of seconds |
|
16085
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
305 from now, a value from `current-time', or t (with non-nil REPEAT) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
306 meaning the next integral multiple of REPEAT. |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
307 REPEAT may be an integer or floating point number. |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
308 The action is to call FUNCTION with arguments ARGS. |
| 14449 | 309 |
| 310 This function returns a timer object which you can use in `cancel-timer'." | |
| 311 (interactive "sRun at time: \nNRepeat interval: \naFunction: ") | |
| 312 | |
|
16085
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
313 (or (null repeat) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
314 (and (numberp repeat) (< 0 repeat)) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
315 (error "Invalid repetition interval")) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
316 |
| 14686 | 317 ;; Special case: nil means "now" and is useful when repeating. |
| 14449 | 318 (if (null time) |
| 319 (setq time (current-time))) | |
| 320 | |
|
16085
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
321 ;; Special case: t means the next integral multiple of REPEAT. |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
322 (if (and (eq time t) repeat) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
323 (setq time (timer-next-integral-multiple-of-time (current-time) repeat))) |
|
b215fb935fc3
(timer-next-integral-multiple-of-time): New function.
Paul Eggert <eggert@twinsun.com>
parents:
16077
diff
changeset
|
324 |
|
14508
87b0d4b7577a
(run-at-time): Handle numbers as relative times in seconds, as the original
Roland McGrath <roland@gnu.org>
parents:
14470
diff
changeset
|
325 ;; Handle numbers as relative times in seconds. |
|
87b0d4b7577a
(run-at-time): Handle numbers as relative times in seconds, as the original
Roland McGrath <roland@gnu.org>
parents:
14470
diff
changeset
|
326 (if (numberp time) |
|
87b0d4b7577a
(run-at-time): Handle numbers as relative times in seconds, as the original
Roland McGrath <roland@gnu.org>
parents:
14470
diff
changeset
|
327 (setq time (timer-relative-time (current-time) time))) |
|
87b0d4b7577a
(run-at-time): Handle numbers as relative times in seconds, as the original
Roland McGrath <roland@gnu.org>
parents:
14470
diff
changeset
|
328 |
| 14449 | 329 ;; Handle relative times like "2 hours and 35 minutes" |
| 330 (if (stringp time) | |
| 331 (let ((secs (timer-duration time))) | |
| 332 (if secs | |
| 333 (setq time (timer-relative-time (current-time) secs))))) | |
| 334 | |
| 335 ;; Handle "11:23pm" and the like. Interpret it as meaning today | |
| 336 ;; which admittedly is rather stupid if we have passed that time | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
337 ;; already. (Though only Emacs hackers hack Emacs at that time.) |
| 14449 | 338 (if (stringp time) |
| 339 (progn | |
| 340 (require 'diary-lib) | |
| 341 (let ((hhmm (diary-entry-time time)) | |
| 342 (now (decode-time))) | |
| 343 (if (>= hhmm 0) | |
| 344 (setq time | |
| 345 (encode-time 0 (% hhmm 100) (/ hhmm 100) (nth 3 now) | |
| 346 (nth 4 now) (nth 5 now) (nth 8 now))))))) | |
| 347 | |
| 348 (or (consp time) | |
| 349 (error "Invalid time format")) | |
| 350 | |
| 351 (let ((timer (timer-create))) | |
| 352 (timer-set-time timer time repeat) | |
| 353 (timer-set-function timer function args) | |
| 354 (timer-activate timer) | |
| 355 timer)) | |
| 356 | |
| 357 ;;;###autoload | |
| 358 (defun run-with-timer (secs repeat function &rest args) | |
| 359 "Perform an action after a delay of SECS seconds. | |
| 360 Repeat the action every REPEAT seconds, if REPEAT is non-nil. | |
| 361 SECS and REPEAT may be integers or floating point numbers. | |
| 362 The action is to call FUNCTION with arguments ARGS. | |
| 363 | |
| 364 This function returns a timer object which you can use in `cancel-timer'." | |
| 365 (interactive "sRun after delay (seconds): \nNRepeat interval: \naFunction: ") | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
366 (apply 'run-at-time secs repeat function args)) |
|
14632
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
367 |
|
f50f87fae914
(run-with-idle-timer): New function.
Karl Heuer <kwzh@gnu.org>
parents:
14509
diff
changeset
|
368 ;;;###autoload |
| 14449 | 369 (defun add-timeout (secs function object &optional repeat) |
| 370 "Add a timer to run SECS seconds from now, to call FUNCTION on OBJECT. | |
| 371 If REPEAT is non-nil, repeat the timer every REPEAT seconds. | |
| 372 This function is for compatibility; see also `run-with-timer'." | |
| 373 (run-with-timer secs repeat function object)) | |
| 374 | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
375 ;;;###autoload |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
376 (defun run-with-idle-timer (secs repeat function &rest args) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
377 "Perform an action the next time Emacs is idle for SECS seconds. |
|
30336
01102e63ed88
(run-with-idle-timer): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
19588
diff
changeset
|
378 The action is to call FUNCTION with arguments ARGS. |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
379 SECS may be an integer or a floating point number. |
|
30336
01102e63ed88
(run-with-idle-timer): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
19588
diff
changeset
|
380 |
|
01102e63ed88
(run-with-idle-timer): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
19588
diff
changeset
|
381 If REPEAT is non-nil, do the action each time Emacs has been idle for |
|
01102e63ed88
(run-with-idle-timer): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
19588
diff
changeset
|
382 exactly SECS seconds (that is, only once for each time Emacs becomes idle). |
| 14449 | 383 |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
384 This function returns a timer object which you can use in `cancel-timer'." |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
385 (interactive |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
386 (list (read-from-minibuffer "Run after idle (seconds): " nil nil t) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
387 (y-or-n-p "Repeat each time Emacs is idle? ") |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
388 (intern (completing-read "Function: " obarray 'fboundp t)))) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
389 (let ((timer (timer-create))) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
390 (timer-set-function timer function args) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
391 (timer-set-idle-time timer secs repeat) |
|
31290
a7c6f2d2f74f
(run-with-idle-timer): Undo last change, so that timer
Andrew Innes <andrewi@gnu.org>
parents:
30436
diff
changeset
|
392 (timer-activate-when-idle timer) |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
393 timer)) |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
394 |
| 14449 | 395 (defun with-timeout-handler (tag) |
| 396 (throw tag 'timeout)) | |
| 397 | |
| 398 ;;;###autoload (put 'with-timeout 'lisp-indent-function 1) | |
| 399 | |
| 400 ;;;###autoload | |
| 401 (defmacro with-timeout (list &rest body) | |
| 402 "Run BODY, but if it doesn't finish in SECONDS seconds, give up. | |
| 403 If we give up, we run the TIMEOUT-FORMS and return the value of the last one. | |
|
14705
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
404 The call should look like: |
|
5e7b3fbecc8d
(timer-set-time, timer-set-time-with-usecs): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14686
diff
changeset
|
405 (with-timeout (SECONDS TIMEOUT-FORMS...) BODY...) |
| 14449 | 406 The timeout is checked whenever Emacs waits for some kind of external |
| 407 event \(such as keyboard input, input from subprocesses, or a certain time); | |
| 408 if the program loops without waiting in any way, the timeout will not | |
| 409 be detected." | |
| 410 (let ((seconds (car list)) | |
| 411 (timeout-forms (cdr list))) | |
| 412 `(let ((with-timeout-tag (cons nil nil)) | |
| 413 with-timeout-value with-timeout-timer) | |
| 414 (if (catch with-timeout-tag | |
| 415 (progn | |
| 416 (setq with-timeout-timer | |
| 417 (run-with-timer ,seconds nil | |
| 418 'with-timeout-handler | |
| 419 with-timeout-tag)) | |
| 420 (setq with-timeout-value (progn . ,body)) | |
| 421 nil)) | |
| 422 (progn . ,timeout-forms) | |
| 423 (cancel-timer with-timeout-timer) | |
| 424 with-timeout-value)))) | |
| 425 | |
| 426 (defun y-or-n-p-with-timeout (prompt seconds default-value) | |
| 427 "Like (y-or-n-p PROMPT), with a timeout. | |
| 428 If the user does not answer after SECONDS seconds, return DEFAULT-VALUE." | |
| 429 (with-timeout (seconds default-value) | |
| 430 (y-or-n-p prompt))) | |
| 431 | |
| 432 (defvar timer-duration-words | |
| 433 (list (cons "microsec" 0.000001) | |
| 434 (cons "microsecond" 0.000001) | |
| 435 (cons "millisec" 0.001) | |
| 436 (cons "millisecond" 0.001) | |
| 437 (cons "sec" 1) | |
| 438 (cons "second" 1) | |
| 439 (cons "min" 60) | |
| 440 (cons "minute" 60) | |
| 441 (cons "hour" (* 60 60)) | |
| 442 (cons "day" (* 24 60 60)) | |
| 443 (cons "week" (* 7 24 60 60)) | |
| 444 (cons "fortnight" (* 14 24 60 60)) | |
| 445 (cons "month" (* 30 24 60 60)) ; Approximation | |
| 446 (cons "year" (* 365.25 24 60 60)) ; Approximation | |
| 447 ) | |
| 448 "Alist mapping temporal words to durations in seconds") | |
| 449 | |
| 450 (defun timer-duration (string) | |
| 451 "Return number of seconds specified by STRING, or nil if parsing fails." | |
| 452 (let ((secs 0) | |
| 453 (start 0) | |
| 454 (case-fold-search t)) | |
| 455 (while (string-match | |
| 456 "[ \t]*\\([0-9.]+\\)?[ \t]*\\([a-z]+[a-rt-z]\\)s?[ \t]*" | |
| 457 string start) | |
| 458 (let ((count (if (match-beginning 1) | |
| 459 (string-to-number (match-string 1 string)) | |
| 460 1)) | |
| 461 (itemsize (cdr (assoc (match-string 2 string) | |
| 462 timer-duration-words)))) | |
| 463 (if itemsize | |
| 464 (setq start (match-end 0) | |
| 465 secs (+ secs (* count itemsize))) | |
| 466 (setq secs nil | |
| 467 start (length string))))) | |
|
14870
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
468 (if (= start (length string)) |
|
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
469 secs |
|
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
470 (if (string-match "\\`[0-9.]+\\'" string) |
|
c51cef393dae
(timer-set-time): Don't set usecs to nil.
Richard M. Stallman <rms@gnu.org>
parents:
14705
diff
changeset
|
471 (string-to-number string))))) |
| 14449 | 472 |
| 473 (provide 'timer) | |
| 474 | |
| 475 ;;; timer.el ends here |
