Merged from miles@gnu.org--gnu-2005 (patch 142-148, 615-628)
[bpt/emacs.git] / lisp / subr.el
1 ;;; subr.el --- basic lisp subroutines for Emacs
2
3 ;; Copyright (C) 1985, 1986, 1992, 1994, 1995, 1999, 2000, 2001, 2002, 2003,
4 ;; 2004, 2005 Free Software Foundation, Inc.
5
6 ;; Maintainer: FSF
7 ;; Keywords: internal
8
9 ;; This file is part of GNU Emacs.
10
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation; either version 2, or (at your option)
14 ;; any later version.
15
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
20
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
23 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
24 ;; Boston, MA 02110-1301, USA.
25
26 ;;; Commentary:
27
28 ;;; Code:
29 (defvar custom-declare-variable-list nil
30 "Record `defcustom' calls made before `custom.el' is loaded to handle them.
31 Each element of this list holds the arguments to one call to `defcustom'.")
32
33 ;; Use this, rather than defcustom, in subr.el and other files loaded
34 ;; before custom.el.
35 (defun custom-declare-variable-early (&rest arguments)
36 (setq custom-declare-variable-list
37 (cons arguments custom-declare-variable-list)))
38
39 \f
40 ;;;; Basic Lisp macros.
41
42 (defalias 'not 'null)
43
44 (defmacro noreturn (form)
45 "Evaluates FORM, with the expectation that the evaluation will signal an error
46 instead of returning to its caller. If FORM does return, an error is
47 signaled."
48 `(prog1 ,form
49 (error "Form marked with `noreturn' did return")))
50
51 (defmacro 1value (form)
52 "Evaluates FORM, with the expectation that the same value will be returned
53 from all evaluations of FORM. This is the global do-nothing
54 version of `1value'. There is also `testcover-1value' that
55 complains if FORM ever does return differing values."
56 form)
57
58 (defmacro lambda (&rest cdr)
59 "Return a lambda expression.
60 A call of the form (lambda ARGS DOCSTRING INTERACTIVE BODY) is
61 self-quoting; the result of evaluating the lambda expression is the
62 expression itself. The lambda expression may then be treated as a
63 function, i.e., stored as the function value of a symbol, passed to
64 `funcall' or `mapcar', etc.
65
66 ARGS should take the same form as an argument list for a `defun'.
67 DOCSTRING is an optional documentation string.
68 If present, it should describe how to call the function.
69 But documentation strings are usually not useful in nameless functions.
70 INTERACTIVE should be a call to the function `interactive', which see.
71 It may also be omitted.
72 BODY should be a list of Lisp expressions.
73
74 \(fn ARGS [DOCSTRING] [INTERACTIVE] BODY)"
75 ;; Note that this definition should not use backquotes; subr.el should not
76 ;; depend on backquote.el.
77 (list 'function (cons 'lambda cdr)))
78
79 (defmacro push (newelt listname)
80 "Add NEWELT to the list stored in the symbol LISTNAME.
81 This is equivalent to (setq LISTNAME (cons NEWELT LISTNAME)).
82 LISTNAME must be a symbol."
83 (declare (debug (form sexp)))
84 (list 'setq listname
85 (list 'cons newelt listname)))
86
87 (defmacro pop (listname)
88 "Return the first element of LISTNAME's value, and remove it from the list.
89 LISTNAME must be a symbol whose value is a list.
90 If the value is nil, `pop' returns nil but does not actually
91 change the list."
92 (declare (debug (sexp)))
93 (list 'car
94 (list 'prog1 listname
95 (list 'setq listname (list 'cdr listname)))))
96
97 (defmacro when (cond &rest body)
98 "If COND yields non-nil, do BODY, else return nil."
99 (declare (indent 1) (debug t))
100 (list 'if cond (cons 'progn body)))
101
102 (defmacro unless (cond &rest body)
103 "If COND yields nil, do BODY, else return nil."
104 (declare (indent 1) (debug t))
105 (cons 'if (cons cond (cons nil body))))
106
107 (defmacro dolist (spec &rest body)
108 "Loop over a list.
109 Evaluate BODY with VAR bound to each car from LIST, in turn.
110 Then evaluate RESULT to get return value, default nil.
111
112 \(fn (VAR LIST [RESULT]) BODY...)"
113 (declare (indent 1) (debug ((symbolp form &optional form) body)))
114 (let ((temp (make-symbol "--dolist-temp--")))
115 `(let ((,temp ,(nth 1 spec))
116 ,(car spec))
117 (while ,temp
118 (setq ,(car spec) (car ,temp))
119 (setq ,temp (cdr ,temp))
120 ,@body)
121 ,@(if (cdr (cdr spec))
122 `((setq ,(car spec) nil) ,@(cdr (cdr spec)))))))
123
124 (defmacro dotimes (spec &rest body)
125 "Loop a certain number of times.
126 Evaluate BODY with VAR bound to successive integers running from 0,
127 inclusive, to COUNT, exclusive. Then evaluate RESULT to get
128 the return value (nil if RESULT is omitted).
129
130 \(fn (VAR COUNT [RESULT]) BODY...)"
131 (declare (indent 1) (debug dolist))
132 (let ((temp (make-symbol "--dotimes-temp--"))
133 (start 0)
134 (end (nth 1 spec)))
135 `(let ((,temp ,end)
136 (,(car spec) ,start))
137 (while (< ,(car spec) ,temp)
138 ,@body
139 (setq ,(car spec) (1+ ,(car spec))))
140 ,@(cdr (cdr spec)))))
141
142 (defmacro declare (&rest specs)
143 "Do not evaluate any arguments and return nil.
144 Treated as a declaration when used at the right place in a
145 `defmacro' form. \(See Info anchor `(elisp)Definition of declare'.)"
146 nil)
147 \f
148 ;;;; Basic Lisp functions.
149
150 (defun ignore (&rest ignore)
151 "Do nothing and return nil.
152 This function accepts any number of arguments, but ignores them."
153 (interactive)
154 nil)
155
156 (defun error (&rest args)
157 "Signal an error, making error message by passing all args to `format'.
158 In Emacs, the convention is that error messages start with a capital
159 letter but *do not* end with a period. Please follow this convention
160 for the sake of consistency."
161 (while t
162 (signal 'error (list (apply 'format args)))))
163
164 ;; We put this here instead of in frame.el so that it's defined even on
165 ;; systems where frame.el isn't loaded.
166 (defun frame-configuration-p (object)
167 "Return non-nil if OBJECT seems to be a frame configuration.
168 Any list whose car is `frame-configuration' is assumed to be a frame
169 configuration."
170 (and (consp object)
171 (eq (car object) 'frame-configuration)))
172
173 (defun functionp (object)
174 "Non-nil if OBJECT is any kind of function or a special form.
175 Also non-nil if OBJECT is a symbol and its function definition is
176 \(recursively) a function or special form. This does not include
177 macros."
178 (or (and (symbolp object) (fboundp object)
179 (condition-case nil
180 (setq object (indirect-function object))
181 (error nil))
182 (eq (car-safe object) 'autoload)
183 (not (car-safe (cdr-safe (cdr-safe (cdr-safe (cdr-safe object)))))))
184 (subrp object) (byte-code-function-p object)
185 (eq (car-safe object) 'lambda)))
186 \f
187 ;;;; List functions.
188
189 (defsubst caar (x)
190 "Return the car of the car of X."
191 (car (car x)))
192
193 (defsubst cadr (x)
194 "Return the car of the cdr of X."
195 (car (cdr x)))
196
197 (defsubst cdar (x)
198 "Return the cdr of the car of X."
199 (cdr (car x)))
200
201 (defsubst cddr (x)
202 "Return the cdr of the cdr of X."
203 (cdr (cdr x)))
204
205 (defun last (list &optional n)
206 "Return the last link of LIST. Its car is the last element.
207 If LIST is nil, return nil.
208 If N is non-nil, return the Nth-to-last link of LIST.
209 If N is bigger than the length of LIST, return LIST."
210 (if n
211 (let ((m 0) (p list))
212 (while (consp p)
213 (setq m (1+ m) p (cdr p)))
214 (if (<= n 0) p
215 (if (< n m) (nthcdr (- m n) list) list)))
216 (while (consp (cdr list))
217 (setq list (cdr list)))
218 list))
219
220 (defun butlast (list &optional n)
221 "Return a copy of LIST with the last N elements removed."
222 (if (and n (<= n 0)) list
223 (nbutlast (copy-sequence list) n)))
224
225 (defun nbutlast (list &optional n)
226 "Modifies LIST to remove the last N elements."
227 (let ((m (length list)))
228 (or n (setq n 1))
229 (and (< n m)
230 (progn
231 (if (> n 0) (setcdr (nthcdr (- (1- m) n) list) nil))
232 list))))
233
234 (defun delete-dups (list)
235 "Destructively remove `equal' duplicates from LIST.
236 Store the result in LIST and return it. LIST must be a proper list.
237 Of several `equal' occurrences of an element in LIST, the first
238 one is kept."
239 (let ((tail list))
240 (while tail
241 (setcdr tail (delete (car tail) (cdr tail)))
242 (setq tail (cdr tail))))
243 list)
244
245 (defun number-sequence (from &optional to inc)
246 "Return a sequence of numbers from FROM to TO (both inclusive) as a list.
247 INC is the increment used between numbers in the sequence and defaults to 1.
248 So, the Nth element of the list is \(+ FROM \(* N INC)) where N counts from
249 zero. TO is only included if there is an N for which TO = FROM + N * INC.
250 If TO is nil or numerically equal to FROM, return \(FROM).
251 If INC is positive and TO is less than FROM, or INC is negative
252 and TO is larger than FROM, return nil.
253 If INC is zero and TO is neither nil nor numerically equal to
254 FROM, signal an error.
255
256 This function is primarily designed for integer arguments.
257 Nevertheless, FROM, TO and INC can be integer or float. However,
258 floating point arithmetic is inexact. For instance, depending on
259 the machine, it may quite well happen that
260 \(number-sequence 0.4 0.6 0.2) returns the one element list \(0.4),
261 whereas \(number-sequence 0.4 0.8 0.2) returns a list with three
262 elements. Thus, if some of the arguments are floats and one wants
263 to make sure that TO is included, one may have to explicitly write
264 TO as \(+ FROM \(* N INC)) or use a variable whose value was
265 computed with this exact expression. Alternatively, you can,
266 of course, also replace TO with a slightly larger value
267 \(or a slightly more negative value if INC is negative)."
268 (if (or (not to) (= from to))
269 (list from)
270 (or inc (setq inc 1))
271 (when (zerop inc) (error "The increment can not be zero"))
272 (let (seq (n 0) (next from))
273 (if (> inc 0)
274 (while (<= next to)
275 (setq seq (cons next seq)
276 n (1+ n)
277 next (+ from (* n inc))))
278 (while (>= next to)
279 (setq seq (cons next seq)
280 n (1+ n)
281 next (+ from (* n inc)))))
282 (nreverse seq))))
283
284 (defun copy-tree (tree &optional vecp)
285 "Make a copy of TREE.
286 If TREE is a cons cell, this recursively copies both its car and its cdr.
287 Contrast to `copy-sequence', which copies only along the cdrs. With second
288 argument VECP, this copies vectors as well as conses."
289 (if (consp tree)
290 (let (result)
291 (while (consp tree)
292 (let ((newcar (car tree)))
293 (if (or (consp (car tree)) (and vecp (vectorp (car tree))))
294 (setq newcar (copy-tree (car tree) vecp)))
295 (push newcar result))
296 (setq tree (cdr tree)))
297 (nconc (nreverse result) tree))
298 (if (and vecp (vectorp tree))
299 (let ((i (length (setq tree (copy-sequence tree)))))
300 (while (>= (setq i (1- i)) 0)
301 (aset tree i (copy-tree (aref tree i) vecp)))
302 tree)
303 tree)))
304 \f
305 ;;;; Various list-search functions.
306
307 (defun assoc-default (key alist &optional test default)
308 "Find object KEY in a pseudo-alist ALIST.
309 ALIST is a list of conses or objects. Each element (or the element's car,
310 if it is a cons) is compared with KEY by evaluating (TEST (car elt) KEY).
311 If that is non-nil, the element matches;
312 then `assoc-default' returns the element's cdr, if it is a cons,
313 or DEFAULT if the element is not a cons.
314
315 If no element matches, the value is nil.
316 If TEST is omitted or nil, `equal' is used."
317 (let (found (tail alist) value)
318 (while (and tail (not found))
319 (let ((elt (car tail)))
320 (when (funcall (or test 'equal) (if (consp elt) (car elt) elt) key)
321 (setq found t value (if (consp elt) (cdr elt) default))))
322 (setq tail (cdr tail)))
323 value))
324
325 (make-obsolete 'assoc-ignore-case 'assoc-string)
326 (defun assoc-ignore-case (key alist)
327 "Like `assoc', but ignores differences in case and text representation.
328 KEY must be a string. Upper-case and lower-case letters are treated as equal.
329 Unibyte strings are converted to multibyte for comparison."
330 (assoc-string key alist t))
331
332 (make-obsolete 'assoc-ignore-representation 'assoc-string)
333 (defun assoc-ignore-representation (key alist)
334 "Like `assoc', but ignores differences in text representation.
335 KEY must be a string.
336 Unibyte strings are converted to multibyte for comparison."
337 (assoc-string key alist nil))
338
339 (defun member-ignore-case (elt list)
340 "Like `member', but ignores differences in case and text representation.
341 ELT must be a string. Upper-case and lower-case letters are treated as equal.
342 Unibyte strings are converted to multibyte for comparison.
343 Non-strings in LIST are ignored."
344 (while (and list
345 (not (and (stringp (car list))
346 (eq t (compare-strings elt 0 nil (car list) 0 nil t)))))
347 (setq list (cdr list)))
348 list)
349
350 (defun assq-delete-all (key alist)
351 "Delete from ALIST all elements whose car is `eq' to KEY.
352 Return the modified alist.
353 Elements of ALIST that are not conses are ignored."
354 (while (and (consp (car alist))
355 (eq (car (car alist)) key))
356 (setq alist (cdr alist)))
357 (let ((tail alist) tail-cdr)
358 (while (setq tail-cdr (cdr tail))
359 (if (and (consp (car tail-cdr))
360 (eq (car (car tail-cdr)) key))
361 (setcdr tail (cdr tail-cdr))
362 (setq tail tail-cdr))))
363 alist)
364
365 (defun rassq-delete-all (value alist)
366 "Delete from ALIST all elements whose cdr is `eq' to VALUE.
367 Return the modified alist.
368 Elements of ALIST that are not conses are ignored."
369 (while (and (consp (car alist))
370 (eq (cdr (car alist)) value))
371 (setq alist (cdr alist)))
372 (let ((tail alist) tail-cdr)
373 (while (setq tail-cdr (cdr tail))
374 (if (and (consp (car tail-cdr))
375 (eq (cdr (car tail-cdr)) value))
376 (setcdr tail (cdr tail-cdr))
377 (setq tail tail-cdr))))
378 alist)
379
380 (defun remove (elt seq)
381 "Return a copy of SEQ with all occurrences of ELT removed.
382 SEQ must be a list, vector, or string. The comparison is done with `equal'."
383 (if (nlistp seq)
384 ;; If SEQ isn't a list, there's no need to copy SEQ because
385 ;; `delete' will return a new object.
386 (delete elt seq)
387 (delete elt (copy-sequence seq))))
388
389 (defun remq (elt list)
390 "Return LIST with all occurrences of ELT removed.
391 The comparison is done with `eq'. Contrary to `delq', this does not use
392 side-effects, and the argument LIST is not modified."
393 (if (memq elt list)
394 (delq elt (copy-sequence list))
395 list))
396 \f
397 ;;;; Keymap support.
398
399 (defmacro kbd (keys)
400 "Convert KEYS to the internal Emacs key representation.
401 KEYS should be a string constant in the format used for
402 saving keyboard macros (see `edmacro-mode')."
403 (read-kbd-macro keys))
404
405 (defun undefined ()
406 (interactive)
407 (ding))
408
409 ;; Prevent the \{...} documentation construct
410 ;; from mentioning keys that run this command.
411 (put 'undefined 'suppress-keymap t)
412
413 (defun suppress-keymap (map &optional nodigits)
414 "Make MAP override all normally self-inserting keys to be undefined.
415 Normally, as an exception, digits and minus-sign are set to make prefix args,
416 but optional second arg NODIGITS non-nil treats them like other chars."
417 (define-key map [remap self-insert-command] 'undefined)
418 (or nodigits
419 (let (loop)
420 (define-key map "-" 'negative-argument)
421 ;; Make plain numbers do numeric args.
422 (setq loop ?0)
423 (while (<= loop ?9)
424 (define-key map (char-to-string loop) 'digit-argument)
425 (setq loop (1+ loop))))))
426
427 (defun define-key-after (keymap key definition &optional after)
428 "Add binding in KEYMAP for KEY => DEFINITION, right after AFTER's binding.
429 This is like `define-key' except that the binding for KEY is placed
430 just after the binding for the event AFTER, instead of at the beginning
431 of the map. Note that AFTER must be an event type (like KEY), NOT a command
432 \(like DEFINITION).
433
434 If AFTER is t or omitted, the new binding goes at the end of the keymap.
435 AFTER should be a single event type--a symbol or a character, not a sequence.
436
437 Bindings are always added before any inherited map.
438
439 The order of bindings in a keymap matters when it is used as a menu."
440 (unless after (setq after t))
441 (or (keymapp keymap)
442 (signal 'wrong-type-argument (list 'keymapp keymap)))
443 (setq key
444 (if (<= (length key) 1) (aref key 0)
445 (setq keymap (lookup-key keymap
446 (apply 'vector
447 (butlast (mapcar 'identity key)))))
448 (aref key (1- (length key)))))
449 (let ((tail keymap) done inserted)
450 (while (and (not done) tail)
451 ;; Delete any earlier bindings for the same key.
452 (if (eq (car-safe (car (cdr tail))) key)
453 (setcdr tail (cdr (cdr tail))))
454 ;; If we hit an included map, go down that one.
455 (if (keymapp (car tail)) (setq tail (car tail)))
456 ;; When we reach AFTER's binding, insert the new binding after.
457 ;; If we reach an inherited keymap, insert just before that.
458 ;; If we reach the end of this keymap, insert at the end.
459 (if (or (and (eq (car-safe (car tail)) after)
460 (not (eq after t)))
461 (eq (car (cdr tail)) 'keymap)
462 (null (cdr tail)))
463 (progn
464 ;; Stop the scan only if we find a parent keymap.
465 ;; Keep going past the inserted element
466 ;; so we can delete any duplications that come later.
467 (if (eq (car (cdr tail)) 'keymap)
468 (setq done t))
469 ;; Don't insert more than once.
470 (or inserted
471 (setcdr tail (cons (cons key definition) (cdr tail))))
472 (setq inserted t)))
473 (setq tail (cdr tail)))))
474
475 (defun map-keymap-internal (function keymap &optional sort-first)
476 "Implement `map-keymap' with sorting.
477 Don't call this function; it is for internal use only."
478 (if sort-first
479 (let (list)
480 (map-keymap (lambda (a b) (push (cons a b) list))
481 keymap)
482 (setq list (sort list
483 (lambda (a b)
484 (setq a (car a) b (car b))
485 (if (integerp a)
486 (if (integerp b) (< a b)
487 t)
488 (if (integerp b) t
489 (string< a b))))))
490 (dolist (p list)
491 (funcall function (car p) (cdr p))))
492 (map-keymap function keymap)))
493
494 (put 'keyboard-translate-table 'char-table-extra-slots 0)
495
496 (defun keyboard-translate (from to)
497 "Translate character FROM to TO at a low level.
498 This function creates a `keyboard-translate-table' if necessary
499 and then modifies one entry in it."
500 (or (char-table-p keyboard-translate-table)
501 (setq keyboard-translate-table
502 (make-char-table 'keyboard-translate-table nil)))
503 (aset keyboard-translate-table from to))
504 \f
505 ;;;; Key binding commands.
506
507 (defun global-set-key (key command)
508 "Give KEY a global binding as COMMAND.
509 COMMAND is the command definition to use; usually it is
510 a symbol naming an interactively-callable function.
511 KEY is a key sequence; noninteractively, it is a string or vector
512 of characters or event types, and non-ASCII characters with codes
513 above 127 (such as ISO Latin-1) can be included if you use a vector.
514
515 Note that if KEY has a local binding in the current buffer,
516 that local binding will continue to shadow any global binding
517 that you make with this function."
518 (interactive "KSet key globally: \nCSet key %s to command: ")
519 (or (vectorp key) (stringp key)
520 (signal 'wrong-type-argument (list 'arrayp key)))
521 (define-key (current-global-map) key command))
522
523 (defun local-set-key (key command)
524 "Give KEY a local binding as COMMAND.
525 COMMAND is the command definition to use; usually it is
526 a symbol naming an interactively-callable function.
527 KEY is a key sequence; noninteractively, it is a string or vector
528 of characters or event types, and non-ASCII characters with codes
529 above 127 (such as ISO Latin-1) can be included if you use a vector.
530
531 The binding goes in the current buffer's local map,
532 which in most cases is shared with all other buffers in the same major mode."
533 (interactive "KSet key locally: \nCSet key %s locally to command: ")
534 (let ((map (current-local-map)))
535 (or map
536 (use-local-map (setq map (make-sparse-keymap))))
537 (or (vectorp key) (stringp key)
538 (signal 'wrong-type-argument (list 'arrayp key)))
539 (define-key map key command)))
540
541 (defun global-unset-key (key)
542 "Remove global binding of KEY.
543 KEY is a string or vector representing a sequence of keystrokes."
544 (interactive "kUnset key globally: ")
545 (global-set-key key nil))
546
547 (defun local-unset-key (key)
548 "Remove local binding of KEY.
549 KEY is a string or vector representing a sequence of keystrokes."
550 (interactive "kUnset key locally: ")
551 (if (current-local-map)
552 (local-set-key key nil))
553 nil)
554 \f
555 ;;;; substitute-key-definition and its subroutines.
556
557 (defvar key-substitution-in-progress nil
558 "Used internally by `substitute-key-definition'.")
559
560 (defun substitute-key-definition (olddef newdef keymap &optional oldmap prefix)
561 "Replace OLDDEF with NEWDEF for any keys in KEYMAP now defined as OLDDEF.
562 In other words, OLDDEF is replaced with NEWDEF where ever it appears.
563 Alternatively, if optional fourth argument OLDMAP is specified, we redefine
564 in KEYMAP as NEWDEF those keys which are defined as OLDDEF in OLDMAP.
565
566 For most uses, it is simpler and safer to use command remappping like this:
567 \(define-key KEYMAP [remap OLDDEF] NEWDEF)"
568 ;; Don't document PREFIX in the doc string because we don't want to
569 ;; advertise it. It's meant for recursive calls only. Here's its
570 ;; meaning
571
572 ;; If optional argument PREFIX is specified, it should be a key
573 ;; prefix, a string. Redefined bindings will then be bound to the
574 ;; original key, with PREFIX added at the front.
575 (or prefix (setq prefix ""))
576 (let* ((scan (or oldmap keymap))
577 (prefix1 (vconcat prefix [nil]))
578 (key-substitution-in-progress
579 (cons scan key-substitution-in-progress)))
580 ;; Scan OLDMAP, finding each char or event-symbol that
581 ;; has any definition, and act on it with hack-key.
582 (map-keymap
583 (lambda (char defn)
584 (aset prefix1 (length prefix) char)
585 (substitute-key-definition-key defn olddef newdef prefix1 keymap))
586 scan)))
587
588 (defun substitute-key-definition-key (defn olddef newdef prefix keymap)
589 (let (inner-def skipped menu-item)
590 ;; Find the actual command name within the binding.
591 (if (eq (car-safe defn) 'menu-item)
592 (setq menu-item defn defn (nth 2 defn))
593 ;; Skip past menu-prompt.
594 (while (stringp (car-safe defn))
595 (push (pop defn) skipped))
596 ;; Skip past cached key-equivalence data for menu items.
597 (if (consp (car-safe defn))
598 (setq defn (cdr defn))))
599 (if (or (eq defn olddef)
600 ;; Compare with equal if definition is a key sequence.
601 ;; That is useful for operating on function-key-map.
602 (and (or (stringp defn) (vectorp defn))
603 (equal defn olddef)))
604 (define-key keymap prefix
605 (if menu-item
606 (let ((copy (copy-sequence menu-item)))
607 (setcar (nthcdr 2 copy) newdef)
608 copy)
609 (nconc (nreverse skipped) newdef)))
610 ;; Look past a symbol that names a keymap.
611 (setq inner-def
612 (and defn
613 (condition-case nil (indirect-function defn) (error defn))))
614 ;; For nested keymaps, we use `inner-def' rather than `defn' so as to
615 ;; avoid autoloading a keymap. This is mostly done to preserve the
616 ;; original non-autoloading behavior of pre-map-keymap times.
617 (if (and (keymapp inner-def)
618 ;; Avoid recursively scanning
619 ;; where KEYMAP does not have a submap.
620 (let ((elt (lookup-key keymap prefix)))
621 (or (null elt) (natnump elt) (keymapp elt)))
622 ;; Avoid recursively rescanning keymap being scanned.
623 (not (memq inner-def key-substitution-in-progress)))
624 ;; If this one isn't being scanned already, scan it now.
625 (substitute-key-definition olddef newdef keymap inner-def prefix)))))
626
627 \f
628 ;;;; The global keymap tree.
629
630 ;;; global-map, esc-map, and ctl-x-map have their values set up in
631 ;;; keymap.c; we just give them docstrings here.
632
633 (defvar global-map nil
634 "Default global keymap mapping Emacs keyboard input into commands.
635 The value is a keymap which is usually (but not necessarily) Emacs's
636 global map.")
637
638 (defvar esc-map nil
639 "Default keymap for ESC (meta) commands.
640 The normal global definition of the character ESC indirects to this keymap.")
641
642 (defvar ctl-x-map nil
643 "Default keymap for C-x commands.
644 The normal global definition of the character C-x indirects to this keymap.")
645
646 (defvar ctl-x-4-map (make-sparse-keymap)
647 "Keymap for subcommands of C-x 4.")
648 (defalias 'ctl-x-4-prefix ctl-x-4-map)
649 (define-key ctl-x-map "4" 'ctl-x-4-prefix)
650
651 (defvar ctl-x-5-map (make-sparse-keymap)
652 "Keymap for frame commands.")
653 (defalias 'ctl-x-5-prefix ctl-x-5-map)
654 (define-key ctl-x-map "5" 'ctl-x-5-prefix)
655
656 \f
657 ;;;; Event manipulation functions.
658
659 ;; The call to `read' is to ensure that the value is computed at load time
660 ;; and not compiled into the .elc file. The value is negative on most
661 ;; machines, but not on all!
662 (defconst listify-key-sequence-1 (logior 128 (read "?\\M-\\^@")))
663
664 (defun listify-key-sequence (key)
665 "Convert a key sequence to a list of events."
666 (if (vectorp key)
667 (append key nil)
668 (mapcar (function (lambda (c)
669 (if (> c 127)
670 (logxor c listify-key-sequence-1)
671 c)))
672 key)))
673
674 (defsubst eventp (obj)
675 "True if the argument is an event object."
676 (or (and (integerp obj)
677 ;; Filter out integers too large to be events.
678 ;; M is the biggest modifier.
679 (zerop (logand obj (lognot (1- (lsh ?\M-\^@ 1)))))
680 (char-valid-p (event-basic-type obj)))
681 (and (symbolp obj)
682 (get obj 'event-symbol-elements))
683 (and (consp obj)
684 (symbolp (car obj))
685 (get (car obj) 'event-symbol-elements))))
686
687 (defun event-modifiers (event)
688 "Return a list of symbols representing the modifier keys in event EVENT.
689 The elements of the list may include `meta', `control',
690 `shift', `hyper', `super', `alt', `click', `double', `triple', `drag',
691 and `down'.
692 EVENT may be an event or an event type. If EVENT is a symbol
693 that has never been used in an event that has been read as input
694 in the current Emacs session, then this function can return nil,
695 even when EVENT actually has modifiers."
696 (let ((type event))
697 (if (listp type)
698 (setq type (car type)))
699 (if (symbolp type)
700 (cdr (get type 'event-symbol-elements))
701 (let ((list nil)
702 (char (logand type (lognot (logior ?\M-\^@ ?\C-\^@ ?\S-\^@
703 ?\H-\^@ ?\s-\^@ ?\A-\^@)))))
704 (if (not (zerop (logand type ?\M-\^@)))
705 (push 'meta list))
706 (if (or (not (zerop (logand type ?\C-\^@)))
707 (< char 32))
708 (push 'control list))
709 (if (or (not (zerop (logand type ?\S-\^@)))
710 (/= char (downcase char)))
711 (push 'shift list))
712 (or (zerop (logand type ?\H-\^@))
713 (push 'hyper list))
714 (or (zerop (logand type ?\s-\^@))
715 (push 'super list))
716 (or (zerop (logand type ?\A-\^@))
717 (push 'alt list))
718 list))))
719
720 (defun event-basic-type (event)
721 "Return the basic type of the given event (all modifiers removed).
722 The value is a printing character (not upper case) or a symbol.
723 EVENT may be an event or an event type. If EVENT is a symbol
724 that has never been used in an event that has been read as input
725 in the current Emacs session, then this function may return nil."
726 (if (consp event)
727 (setq event (car event)))
728 (if (symbolp event)
729 (car (get event 'event-symbol-elements))
730 (let* ((base (logand event (1- ?\A-\^@)))
731 (uncontrolled (if (< base 32) (logior base 64) base)))
732 ;; There are some numbers that are invalid characters and
733 ;; cause `downcase' to get an error.
734 (condition-case ()
735 (downcase uncontrolled)
736 (error uncontrolled)))))
737
738 (defsubst mouse-movement-p (object)
739 "Return non-nil if OBJECT is a mouse movement event."
740 (eq (car-safe object) 'mouse-movement))
741
742 (defsubst event-start (event)
743 "Return the starting position of EVENT.
744 If EVENT is a mouse or key press or a mouse click, this returns the location
745 of the event.
746 If EVENT is a drag, this returns the drag's starting position.
747 The return value is of the form
748 (WINDOW AREA-OR-POS (X . Y) TIMESTAMP OBJECT POS (COL . ROW)
749 IMAGE (DX . DY) (WIDTH . HEIGHT))
750 The `posn-' functions access elements of such lists."
751 (if (consp event) (nth 1 event)
752 (list (selected-window) (point) '(0 . 0) 0)))
753
754 (defsubst event-end (event)
755 "Return the ending location of EVENT.
756 EVENT should be a click, drag, or key press event.
757 If EVENT is a click event, this function is the same as `event-start'.
758 The return value is of the form
759 (WINDOW AREA-OR-POS (X . Y) TIMESTAMP OBJECT POS (COL . ROW)
760 IMAGE (DX . DY) (WIDTH . HEIGHT))
761 The `posn-' functions access elements of such lists."
762 (if (consp event) (nth (if (consp (nth 2 event)) 2 1) event)
763 (list (selected-window) (point) '(0 . 0) 0)))
764
765 (defsubst event-click-count (event)
766 "Return the multi-click count of EVENT, a click or drag event.
767 The return value is a positive integer."
768 (if (and (consp event) (integerp (nth 2 event))) (nth 2 event) 1))
769 \f
770 ;;;; Extracting fields of the positions in an event.
771
772 (defsubst posn-window (position)
773 "Return the window in POSITION.
774 POSITION should be a list of the form returned by the `event-start'
775 and `event-end' functions."
776 (nth 0 position))
777
778 (defsubst posn-area (position)
779 "Return the window area recorded in POSITION, or nil for the text area.
780 POSITION should be a list of the form returned by the `event-start'
781 and `event-end' functions."
782 (let ((area (if (consp (nth 1 position))
783 (car (nth 1 position))
784 (nth 1 position))))
785 (and (symbolp area) area)))
786
787 (defsubst posn-point (position)
788 "Return the buffer location in POSITION.
789 POSITION should be a list of the form returned by the `event-start'
790 and `event-end' functions."
791 (or (nth 5 position)
792 (if (consp (nth 1 position))
793 (car (nth 1 position))
794 (nth 1 position))))
795
796 (defun posn-set-point (position)
797 "Move point to POSITION.
798 Select the corresponding window as well."
799 (if (not (windowp (posn-window position)))
800 (error "Position not in text area of window"))
801 (select-window (posn-window position))
802 (if (numberp (posn-point position))
803 (goto-char (posn-point position))))
804
805 (defsubst posn-x-y (position)
806 "Return the x and y coordinates in POSITION.
807 POSITION should be a list of the form returned by the `event-start'
808 and `event-end' functions."
809 (nth 2 position))
810
811 (defun posn-col-row (position)
812 "Return the nominal column and row in POSITION, measured in characters.
813 The column and row values are approximations calculated from the x
814 and y coordinates in POSITION and the frame's default character width
815 and height.
816 For a scroll-bar event, the result column is 0, and the row
817 corresponds to the vertical position of the click in the scroll bar.
818 POSITION should be a list of the form returned by the `event-start'
819 and `event-end' functions."
820 (let* ((pair (posn-x-y position))
821 (window (posn-window position))
822 (area (posn-area position)))
823 (cond
824 ((null window)
825 '(0 . 0))
826 ((eq area 'vertical-scroll-bar)
827 (cons 0 (scroll-bar-scale pair (1- (window-height window)))))
828 ((eq area 'horizontal-scroll-bar)
829 (cons (scroll-bar-scale pair (window-width window)) 0))
830 (t
831 (let* ((frame (if (framep window) window (window-frame window)))
832 (x (/ (car pair) (frame-char-width frame)))
833 (y (/ (cdr pair) (+ (frame-char-height frame)
834 (or (frame-parameter frame 'line-spacing)
835 default-line-spacing
836 0)))))
837 (cons x y))))))
838
839 (defun posn-actual-col-row (position)
840 "Return the actual column and row in POSITION, measured in characters.
841 These are the actual row number in the window and character number in that row.
842 Return nil if POSITION does not contain the actual position; in that case
843 `posn-col-row' can be used to get approximate values.
844 POSITION should be a list of the form returned by the `event-start'
845 and `event-end' functions."
846 (nth 6 position))
847
848 (defsubst posn-timestamp (position)
849 "Return the timestamp of POSITION.
850 POSITION should be a list of the form returned by the `event-start'
851 and `event-end' functions."
852 (nth 3 position))
853
854 (defsubst posn-string (position)
855 "Return the string object of POSITION, or nil if a buffer position.
856 POSITION should be a list of the form returned by the `event-start'
857 and `event-end' functions."
858 (nth 4 position))
859
860 (defsubst posn-image (position)
861 "Return the image object of POSITION, or nil if a not an image.
862 POSITION should be a list of the form returned by the `event-start'
863 and `event-end' functions."
864 (nth 7 position))
865
866 (defsubst posn-object (position)
867 "Return the object (image or string) of POSITION.
868 POSITION should be a list of the form returned by the `event-start'
869 and `event-end' functions."
870 (or (posn-image position) (posn-string position)))
871
872 (defsubst posn-object-x-y (position)
873 "Return the x and y coordinates relative to the object of POSITION.
874 POSITION should be a list of the form returned by the `event-start'
875 and `event-end' functions."
876 (nth 8 position))
877
878 (defsubst posn-object-width-height (position)
879 "Return the pixel width and height of the object of POSITION.
880 POSITION should be a list of the form returned by the `event-start'
881 and `event-end' functions."
882 (nth 9 position))
883
884 \f
885 ;;;; Obsolescent names for functions.
886
887 (define-obsolete-function-alias 'window-dot 'window-point "22.1")
888 (define-obsolete-function-alias 'set-window-dot 'set-window-point "22.1")
889 (define-obsolete-function-alias 'read-input 'read-string "22.1")
890 (define-obsolete-function-alias 'show-buffer 'set-window-buffer "22.1")
891 (define-obsolete-function-alias 'eval-current-buffer 'eval-buffer "22.1")
892 (define-obsolete-function-alias 'string-to-int 'string-to-number "22.1")
893
894 (make-obsolete 'char-bytes "now always returns 1." "20.4")
895
896 (defun insert-string (&rest args)
897 "Mocklisp-compatibility insert function.
898 Like the function `insert' except that any argument that is a number
899 is converted into a string by expressing it in decimal."
900 (dolist (el args)
901 (insert (if (integerp el) (number-to-string el) el))))
902 (make-obsolete 'insert-string 'insert "22.1")
903
904 (defun makehash (&optional test) (make-hash-table :test (or test 'eql)))
905 (make-obsolete 'makehash 'make-hash-table "22.1")
906
907 ;; Some programs still use this as a function.
908 (defun baud-rate ()
909 "Return the value of the `baud-rate' variable."
910 baud-rate)
911 (make-obsolete 'baud-rate "use the `baud-rate' variable instead." "before 19.15")
912
913 ;; These are used by VM and some old programs
914 (defalias 'focus-frame 'ignore "")
915 (make-obsolete 'focus-frame "it does nothing." "22.1")
916 (defalias 'unfocus-frame 'ignore "")
917 (make-obsolete 'unfocus-frame "it does nothing." "22.1")
918
919 \f
920 ;;;; Obsolescence declarations for variables, and aliases.
921
922 (make-obsolete-variable 'directory-sep-char "do not use it." "21.1")
923 (make-obsolete-variable 'mode-line-inverse-video "use the appropriate faces instead." "21.1")
924 (make-obsolete-variable 'unread-command-char
925 "use `unread-command-events' instead. That variable is a list of events to reread, so it now uses nil to mean `no event', instead of -1."
926 "before 19.15")
927
928 ;; Lisp manual only updated in 22.1.
929 (define-obsolete-variable-alias 'executing-macro 'executing-kbd-macro
930 "before 19.34")
931
932 (defvaralias 'x-lost-selection-hooks 'x-lost-selection-functions)
933 (make-obsolete-variable 'x-lost-selection-hooks 'x-lost-selection-functions "22.1")
934 (defvaralias 'x-sent-selection-hooks 'x-sent-selection-functions)
935 (make-obsolete-variable 'x-sent-selection-hooks 'x-sent-selection-functions "22.1")
936
937 (defvaralias 'messages-buffer-max-lines 'message-log-max)
938 \f
939 ;;;; Alternate names for functions - these are not being phased out.
940
941 (defalias 'send-string 'process-send-string)
942 (defalias 'send-region 'process-send-region)
943 (defalias 'string= 'string-equal)
944 (defalias 'string< 'string-lessp)
945 (defalias 'move-marker 'set-marker)
946 (defalias 'rplaca 'setcar)
947 (defalias 'rplacd 'setcdr)
948 (defalias 'beep 'ding) ;preserve lingual purity
949 (defalias 'indent-to-column 'indent-to)
950 (defalias 'backward-delete-char 'delete-backward-char)
951 (defalias 'search-forward-regexp (symbol-function 're-search-forward))
952 (defalias 'search-backward-regexp (symbol-function 're-search-backward))
953 (defalias 'int-to-string 'number-to-string)
954 (defalias 'store-match-data 'set-match-data)
955 (defalias 'make-variable-frame-localizable 'make-variable-frame-local)
956 ;; These are the XEmacs names:
957 (defalias 'point-at-eol 'line-end-position)
958 (defalias 'point-at-bol 'line-beginning-position)
959
960 (defalias 'user-original-login-name 'user-login-name)
961
962 \f
963 ;;;; Hook manipulation functions.
964
965 (defun make-local-hook (hook)
966 "Make the hook HOOK local to the current buffer.
967 The return value is HOOK.
968
969 You never need to call this function now that `add-hook' does it for you
970 if its LOCAL argument is non-nil.
971
972 When a hook is local, its local and global values
973 work in concert: running the hook actually runs all the hook
974 functions listed in *either* the local value *or* the global value
975 of the hook variable.
976
977 This function works by making t a member of the buffer-local value,
978 which acts as a flag to run the hook functions in the default value as
979 well. This works for all normal hooks, but does not work for most
980 non-normal hooks yet. We will be changing the callers of non-normal
981 hooks so that they can handle localness; this has to be done one by
982 one.
983
984 This function does nothing if HOOK is already local in the current
985 buffer.
986
987 Do not use `make-local-variable' to make a hook variable buffer-local."
988 (if (local-variable-p hook)
989 nil
990 (or (boundp hook) (set hook nil))
991 (make-local-variable hook)
992 (set hook (list t)))
993 hook)
994 (make-obsolete 'make-local-hook "not necessary any more." "21.1")
995
996 (defun add-hook (hook function &optional append local)
997 "Add to the value of HOOK the function FUNCTION.
998 FUNCTION is not added if already present.
999 FUNCTION is added (if necessary) at the beginning of the hook list
1000 unless the optional argument APPEND is non-nil, in which case
1001 FUNCTION is added at the end.
1002
1003 The optional fourth argument, LOCAL, if non-nil, says to modify
1004 the hook's buffer-local value rather than its default value.
1005 This makes the hook buffer-local if needed, and it makes t a member
1006 of the buffer-local value. That acts as a flag to run the hook
1007 functions in the default value as well as in the local value.
1008
1009 HOOK should be a symbol, and FUNCTION may be any valid function. If
1010 HOOK is void, it is first set to nil. If HOOK's value is a single
1011 function, it is changed to a list of functions."
1012 (or (boundp hook) (set hook nil))
1013 (or (default-boundp hook) (set-default hook nil))
1014 (if local (unless (local-variable-if-set-p hook)
1015 (set (make-local-variable hook) (list t)))
1016 ;; Detect the case where make-local-variable was used on a hook
1017 ;; and do what we used to do.
1018 (unless (and (consp (symbol-value hook)) (memq t (symbol-value hook)))
1019 (setq local t)))
1020 (let ((hook-value (if local (symbol-value hook) (default-value hook))))
1021 ;; If the hook value is a single function, turn it into a list.
1022 (when (or (not (listp hook-value)) (eq (car hook-value) 'lambda))
1023 (setq hook-value (list hook-value)))
1024 ;; Do the actual addition if necessary
1025 (unless (member function hook-value)
1026 (setq hook-value
1027 (if append
1028 (append hook-value (list function))
1029 (cons function hook-value))))
1030 ;; Set the actual variable
1031 (if local (set hook hook-value) (set-default hook hook-value))))
1032
1033 (defun remove-hook (hook function &optional local)
1034 "Remove from the value of HOOK the function FUNCTION.
1035 HOOK should be a symbol, and FUNCTION may be any valid function. If
1036 FUNCTION isn't the value of HOOK, or, if FUNCTION doesn't appear in the
1037 list of hooks to run in HOOK, then nothing is done. See `add-hook'.
1038
1039 The optional third argument, LOCAL, if non-nil, says to modify
1040 the hook's buffer-local value rather than its default value."
1041 (or (boundp hook) (set hook nil))
1042 (or (default-boundp hook) (set-default hook nil))
1043 ;; Do nothing if LOCAL is t but this hook has no local binding.
1044 (unless (and local (not (local-variable-p hook)))
1045 ;; Detect the case where make-local-variable was used on a hook
1046 ;; and do what we used to do.
1047 (when (and (local-variable-p hook)
1048 (not (and (consp (symbol-value hook))
1049 (memq t (symbol-value hook)))))
1050 (setq local t))
1051 (let ((hook-value (if local (symbol-value hook) (default-value hook))))
1052 ;; Remove the function, for both the list and the non-list cases.
1053 (if (or (not (listp hook-value)) (eq (car hook-value) 'lambda))
1054 (if (equal hook-value function) (setq hook-value nil))
1055 (setq hook-value (delete function (copy-sequence hook-value))))
1056 ;; If the function is on the global hook, we need to shadow it locally
1057 ;;(when (and local (member function (default-value hook))
1058 ;; (not (member (cons 'not function) hook-value)))
1059 ;; (push (cons 'not function) hook-value))
1060 ;; Set the actual variable
1061 (if (not local)
1062 (set-default hook hook-value)
1063 (if (equal hook-value '(t))
1064 (kill-local-variable hook)
1065 (set hook hook-value))))))
1066
1067 (defun add-to-list (list-var element &optional append)
1068 "Add ELEMENT to the value of LIST-VAR if it isn't there yet.
1069 The test for presence of ELEMENT is done with `equal'.
1070 If ELEMENT is added, it is added at the beginning of the list,
1071 unless the optional argument APPEND is non-nil, in which case
1072 ELEMENT is added at the end.
1073
1074 The return value is the new value of LIST-VAR.
1075
1076 If you want to use `add-to-list' on a variable that is not defined
1077 until a certain package is loaded, you should put the call to `add-to-list'
1078 into a hook function that will be run only after loading the package.
1079 `eval-after-load' provides one way to do this. In some cases
1080 other hooks, such as major mode hooks, can do the job."
1081 (if (member element (symbol-value list-var))
1082 (symbol-value list-var)
1083 (set list-var
1084 (if append
1085 (append (symbol-value list-var) (list element))
1086 (cons element (symbol-value list-var))))))
1087
1088
1089 (defun add-to-ordered-list (list-var element &optional order)
1090 "Add ELEMENT to the value of LIST-VAR if it isn't there yet.
1091 The test for presence of ELEMENT is done with `eq'.
1092
1093 The resulting list is reordered so that the elements are in the
1094 order given by each element's numeric list order. Elements
1095 without a numeric list order are placed at the end of the list.
1096
1097 If the third optional argument ORDER is a number (integer or
1098 float), set the element's list order to the given value. If
1099 ORDER is nil or omitted, do not change the numeric order of
1100 ELEMENT. If ORDER has any other value, remove the numeric order
1101 of ELEMENT if it has one.
1102
1103 The list order for each element is stored in LIST-VAR's
1104 `list-order' property.
1105
1106 The return value is the new value of LIST-VAR."
1107 (let ((ordering (get list-var 'list-order)))
1108 (unless ordering
1109 (put list-var 'list-order
1110 (setq ordering (make-hash-table :weakness 'key :test 'eq))))
1111 (when order
1112 (puthash element (and (numberp order) order) ordering))
1113 (unless (memq element (symbol-value list-var))
1114 (set list-var (cons element (symbol-value list-var))))
1115 (set list-var (sort (symbol-value list-var)
1116 (lambda (a b)
1117 (let ((oa (gethash a ordering))
1118 (ob (gethash b ordering)))
1119 (if (and oa ob)
1120 (< oa ob)
1121 oa)))))))
1122 \f
1123 ;;;; Mode hooks.
1124
1125 (defvar delay-mode-hooks nil
1126 "If non-nil, `run-mode-hooks' should delay running the hooks.")
1127 (defvar delayed-mode-hooks nil
1128 "List of delayed mode hooks waiting to be run.")
1129 (make-variable-buffer-local 'delayed-mode-hooks)
1130 (put 'delay-mode-hooks 'permanent-local t)
1131
1132 (defvar after-change-major-mode-hook nil
1133 "Normal hook run at the very end of major mode functions.")
1134
1135 (defun run-mode-hooks (&rest hooks)
1136 "Run mode hooks `delayed-mode-hooks' and HOOKS, or delay HOOKS.
1137 Execution is delayed if `delay-mode-hooks' is non-nil.
1138 If `delay-mode-hooks' is nil, run `after-change-major-mode-hook'
1139 after running the mode hooks.
1140 Major mode functions should use this."
1141 (if delay-mode-hooks
1142 ;; Delaying case.
1143 (dolist (hook hooks)
1144 (push hook delayed-mode-hooks))
1145 ;; Normal case, just run the hook as before plus any delayed hooks.
1146 (setq hooks (nconc (nreverse delayed-mode-hooks) hooks))
1147 (setq delayed-mode-hooks nil)
1148 (apply 'run-hooks hooks)
1149 (run-hooks 'after-change-major-mode-hook)))
1150
1151 (defmacro delay-mode-hooks (&rest body)
1152 "Execute BODY, but delay any `run-mode-hooks'.
1153 These hooks will be executed by the first following call to
1154 `run-mode-hooks' that occurs outside any `delayed-mode-hooks' form.
1155 Only affects hooks run in the current buffer."
1156 (declare (debug t) (indent 0))
1157 `(progn
1158 (make-local-variable 'delay-mode-hooks)
1159 (let ((delay-mode-hooks t))
1160 ,@body)))
1161
1162 ;; PUBLIC: find if the current mode derives from another.
1163
1164 (defun derived-mode-p (&rest modes)
1165 "Non-nil if the current major mode is derived from one of MODES.
1166 Uses the `derived-mode-parent' property of the symbol to trace backwards."
1167 (let ((parent major-mode))
1168 (while (and (not (memq parent modes))
1169 (setq parent (get parent 'derived-mode-parent))))
1170 parent))
1171 \f
1172 ;;;; Minor modes.
1173
1174 ;; If a minor mode is not defined with define-minor-mode,
1175 ;; add it here explicitly.
1176 ;; isearch-mode is deliberately excluded, since you should
1177 ;; not call it yourself.
1178 (defvar minor-mode-list '(auto-save-mode auto-fill-mode abbrev-mode
1179 overwrite-mode view-mode
1180 hs-minor-mode)
1181 "List of all minor mode functions.")
1182
1183 (defun add-minor-mode (toggle name &optional keymap after toggle-fun)
1184 "Register a new minor mode.
1185
1186 This is an XEmacs-compatibility function. Use `define-minor-mode' instead.
1187
1188 TOGGLE is a symbol which is the name of a buffer-local variable that
1189 is toggled on or off to say whether the minor mode is active or not.
1190
1191 NAME specifies what will appear in the mode line when the minor mode
1192 is active. NAME should be either a string starting with a space, or a
1193 symbol whose value is such a string.
1194
1195 Optional KEYMAP is the keymap for the minor mode that will be added
1196 to `minor-mode-map-alist'.
1197
1198 Optional AFTER specifies that TOGGLE should be added after AFTER
1199 in `minor-mode-alist'.
1200
1201 Optional TOGGLE-FUN is an interactive function to toggle the mode.
1202 It defaults to (and should by convention be) TOGGLE.
1203
1204 If TOGGLE has a non-nil `:included' property, an entry for the mode is
1205 included in the mode-line minor mode menu.
1206 If TOGGLE has a `:menu-tag', that is used for the menu item's label."
1207 (unless (memq toggle minor-mode-list)
1208 (push toggle minor-mode-list))
1209
1210 (unless toggle-fun (setq toggle-fun toggle))
1211 (unless (eq toggle-fun toggle)
1212 (put toggle :minor-mode-function toggle-fun))
1213 ;; Add the name to the minor-mode-alist.
1214 (when name
1215 (let ((existing (assq toggle minor-mode-alist)))
1216 (if existing
1217 (setcdr existing (list name))
1218 (let ((tail minor-mode-alist) found)
1219 (while (and tail (not found))
1220 (if (eq after (caar tail))
1221 (setq found tail)
1222 (setq tail (cdr tail))))
1223 (if found
1224 (let ((rest (cdr found)))
1225 (setcdr found nil)
1226 (nconc found (list (list toggle name)) rest))
1227 (setq minor-mode-alist (cons (list toggle name)
1228 minor-mode-alist)))))))
1229 ;; Add the toggle to the minor-modes menu if requested.
1230 (when (get toggle :included)
1231 (define-key mode-line-mode-menu
1232 (vector toggle)
1233 (list 'menu-item
1234 (concat
1235 (or (get toggle :menu-tag)
1236 (if (stringp name) name (symbol-name toggle)))
1237 (let ((mode-name (if (symbolp name) (symbol-value name))))
1238 (if (and (stringp mode-name) (string-match "[^ ]+" mode-name))
1239 (concat " (" (match-string 0 mode-name) ")"))))
1240 toggle-fun
1241 :button (cons :toggle toggle))))
1242
1243 ;; Add the map to the minor-mode-map-alist.
1244 (when keymap
1245 (let ((existing (assq toggle minor-mode-map-alist)))
1246 (if existing
1247 (setcdr existing keymap)
1248 (let ((tail minor-mode-map-alist) found)
1249 (while (and tail (not found))
1250 (if (eq after (caar tail))
1251 (setq found tail)
1252 (setq tail (cdr tail))))
1253 (if found
1254 (let ((rest (cdr found)))
1255 (setcdr found nil)
1256 (nconc found (list (cons toggle keymap)) rest))
1257 (setq minor-mode-map-alist (cons (cons toggle keymap)
1258 minor-mode-map-alist))))))))
1259 \f
1260 ;;; Load history
1261
1262 ;;; (defvar symbol-file-load-history-loaded nil
1263 ;;; "Non-nil means we have loaded the file `fns-VERSION.el' in `exec-directory'.
1264 ;;; That file records the part of `load-history' for preloaded files,
1265 ;;; which is cleared out before dumping to make Emacs smaller.")
1266
1267 ;;; (defun load-symbol-file-load-history ()
1268 ;;; "Load the file `fns-VERSION.el' in `exec-directory' if not already done.
1269 ;;; That file records the part of `load-history' for preloaded files,
1270 ;;; which is cleared out before dumping to make Emacs smaller."
1271 ;;; (unless symbol-file-load-history-loaded
1272 ;;; (load (expand-file-name
1273 ;;; ;; fns-XX.YY.ZZ.el does not work on DOS filesystem.
1274 ;;; (if (eq system-type 'ms-dos)
1275 ;;; "fns.el"
1276 ;;; (format "fns-%s.el" emacs-version))
1277 ;;; exec-directory)
1278 ;;; ;; The file name fns-%s.el already has a .el extension.
1279 ;;; nil nil t)
1280 ;;; (setq symbol-file-load-history-loaded t)))
1281
1282 (defun symbol-file (symbol &optional type)
1283 "Return the input source in which SYMBOL was defined.
1284 The value is an absolute file name.
1285 It can also be nil, if the definition is not associated with any file.
1286
1287 If TYPE is nil, then any kind of definition is acceptable.
1288 If TYPE is `defun' or `defvar', that specifies function
1289 definition only or variable definition only.
1290 `defface' specifies a face definition only."
1291 (if (and (or (null type) (eq type 'defun))
1292 (symbolp symbol) (fboundp symbol)
1293 (eq 'autoload (car-safe (symbol-function symbol))))
1294 (nth 1 (symbol-function symbol))
1295 (let ((files load-history)
1296 file)
1297 (while files
1298 (if (if type
1299 (if (eq type 'defvar)
1300 ;; Variables are present just as their names.
1301 (member symbol (cdr (car files)))
1302 ;; Other types are represented as (TYPE . NAME).
1303 (member (cons type symbol) (cdr (car files))))
1304 ;; We accept all types, so look for variable def
1305 ;; and then for any other kind.
1306 (or (member symbol (cdr (car files)))
1307 (rassq symbol (cdr (car files)))))
1308 (setq file (car (car files)) files nil))
1309 (setq files (cdr files)))
1310 file)))
1311
1312 \f
1313 ;;;; Specifying things to do later.
1314
1315 (defmacro eval-at-startup (&rest body)
1316 "Make arrangements to evaluate BODY when Emacs starts up.
1317 If this is run after Emacs startup, evaluate BODY immediately.
1318 Always returns nil.
1319
1320 This works by adding a function to `before-init-hook'.
1321 That function's doc string says which file created it."
1322 `(progn
1323 (if command-line-processed
1324 (progn . ,body)
1325 (add-hook 'before-init-hook
1326 '(lambda () ,(concat "From " (or load-file-name "no file"))
1327 . ,body)
1328 t))
1329 nil))
1330
1331 (defun eval-after-load (file form)
1332 "Arrange that, if FILE is ever loaded, FORM will be run at that time.
1333 This makes or adds to an entry on `after-load-alist'.
1334 If FILE is already loaded, evaluate FORM right now.
1335 It does nothing if FORM is already on the list for FILE.
1336 FILE must match exactly. Normally FILE is the name of a library,
1337 with no directory or extension specified, since that is how `load'
1338 is normally called.
1339 FILE can also be a feature (i.e. a symbol), in which case FORM is
1340 evaluated whenever that feature is `provide'd."
1341 (let ((elt (assoc file after-load-alist)))
1342 ;; Make sure there is an element for FILE.
1343 (unless elt (setq elt (list file)) (push elt after-load-alist))
1344 ;; Add FORM to the element if it isn't there.
1345 (unless (member form (cdr elt))
1346 (nconc elt (list form))
1347 ;; If the file has been loaded already, run FORM right away.
1348 (if (if (symbolp file)
1349 (featurep file)
1350 ;; Make sure `load-history' contains the files dumped with
1351 ;; Emacs for the case that FILE is one of them.
1352 ;; (load-symbol-file-load-history)
1353 (when (locate-library file)
1354 (assoc (locate-library file) load-history)))
1355 (eval form))))
1356 form)
1357
1358 (defun eval-next-after-load (file)
1359 "Read the following input sexp, and run it whenever FILE is loaded.
1360 This makes or adds to an entry on `after-load-alist'.
1361 FILE should be the name of a library, with no directory name."
1362 (eval-after-load file (read)))
1363 \f
1364 ;;;; Process stuff.
1365
1366 ;; open-network-stream is a wrapper around make-network-process.
1367
1368 (when (featurep 'make-network-process)
1369 (defun open-network-stream (name buffer host service)
1370 "Open a TCP connection for a service to a host.
1371 Returns a subprocess-object to represent the connection.
1372 Input and output work as for subprocesses; `delete-process' closes it.
1373
1374 Args are NAME BUFFER HOST SERVICE.
1375 NAME is name for process. It is modified if necessary to make it unique.
1376 BUFFER is the buffer (or buffer name) to associate with the process.
1377 Process output goes at end of that buffer, unless you specify
1378 an output stream or filter function to handle the output.
1379 BUFFER may be also nil, meaning that this process is not associated
1380 with any buffer.
1381 HOST is name of the host to connect to, or its IP address.
1382 SERVICE is name of the service desired, or an integer specifying
1383 a port number to connect to."
1384 (make-network-process :name name :buffer buffer
1385 :host host :service service)))
1386
1387 ;; compatibility
1388
1389 (make-obsolete 'process-kill-without-query
1390 "use `process-query-on-exit-flag' or `set-process-query-on-exit-flag'."
1391 "22.1")
1392 (defun process-kill-without-query (process &optional flag)
1393 "Say no query needed if PROCESS is running when Emacs is exited.
1394 Optional second argument if non-nil says to require a query.
1395 Value is t if a query was formerly required."
1396 (let ((old (process-query-on-exit-flag process)))
1397 (set-process-query-on-exit-flag process nil)
1398 old))
1399
1400 ;; process plist management
1401
1402 (defun process-get (process propname)
1403 "Return the value of PROCESS' PROPNAME property.
1404 This is the last value stored with `(process-put PROCESS PROPNAME VALUE)'."
1405 (plist-get (process-plist process) propname))
1406
1407 (defun process-put (process propname value)
1408 "Change PROCESS' PROPNAME property to VALUE.
1409 It can be retrieved with `(process-get PROCESS PROPNAME)'."
1410 (set-process-plist process
1411 (plist-put (process-plist process) propname value)))
1412
1413 \f
1414 ;;;; Input and display facilities.
1415
1416 (defvar read-quoted-char-radix 8
1417 "*Radix for \\[quoted-insert] and other uses of `read-quoted-char'.
1418 Legitimate radix values are 8, 10 and 16.")
1419
1420 (custom-declare-variable-early
1421 'read-quoted-char-radix 8
1422 "*Radix for \\[quoted-insert] and other uses of `read-quoted-char'.
1423 Legitimate radix values are 8, 10 and 16."
1424 :type '(choice (const 8) (const 10) (const 16))
1425 :group 'editing-basics)
1426
1427 (defun read-quoted-char (&optional prompt)
1428 "Like `read-char', but do not allow quitting.
1429 Also, if the first character read is an octal digit,
1430 we read any number of octal digits and return the
1431 specified character code. Any nondigit terminates the sequence.
1432 If the terminator is RET, it is discarded;
1433 any other terminator is used itself as input.
1434
1435 The optional argument PROMPT specifies a string to use to prompt the user.
1436 The variable `read-quoted-char-radix' controls which radix to use
1437 for numeric input."
1438 (let ((message-log-max nil) done (first t) (code 0) char translated)
1439 (while (not done)
1440 (let ((inhibit-quit first)
1441 ;; Don't let C-h get the help message--only help function keys.
1442 (help-char nil)
1443 (help-form
1444 "Type the special character you want to use,
1445 or the octal character code.
1446 RET terminates the character code and is discarded;
1447 any other non-digit terminates the character code and is then used as input."))
1448 (setq char (read-event (and prompt (format "%s-" prompt)) t))
1449 (if inhibit-quit (setq quit-flag nil)))
1450 ;; Translate TAB key into control-I ASCII character, and so on.
1451 ;; Note: `read-char' does it using the `ascii-character' property.
1452 ;; We could try and use read-key-sequence instead, but then C-q ESC
1453 ;; or C-q C-x might not return immediately since ESC or C-x might be
1454 ;; bound to some prefix in function-key-map or key-translation-map.
1455 (setq translated char)
1456 (let ((translation (lookup-key local-function-key-map (vector char))))
1457 (if (arrayp translation)
1458 (setq translated (aref translation 0))))
1459 (cond ((null translated))
1460 ((not (integerp translated))
1461 (setq unread-command-events (list char)
1462 done t))
1463 ((/= (logand translated ?\M-\^@) 0)
1464 ;; Turn a meta-character into a character with the 0200 bit set.
1465 (setq code (logior (logand translated (lognot ?\M-\^@)) 128)
1466 done t))
1467 ((and (<= ?0 translated) (< translated (+ ?0 (min 10 read-quoted-char-radix))))
1468 (setq code (+ (* code read-quoted-char-radix) (- translated ?0)))
1469 (and prompt (setq prompt (message "%s %c" prompt translated))))
1470 ((and (<= ?a (downcase translated))
1471 (< (downcase translated) (+ ?a -10 (min 36 read-quoted-char-radix))))
1472 (setq code (+ (* code read-quoted-char-radix)
1473 (+ 10 (- (downcase translated) ?a))))
1474 (and prompt (setq prompt (message "%s %c" prompt translated))))
1475 ((and (not first) (eq translated ?\C-m))
1476 (setq done t))
1477 ((not first)
1478 (setq unread-command-events (list char)
1479 done t))
1480 (t (setq code translated
1481 done t)))
1482 (setq first nil))
1483 code))
1484
1485 (defun read-passwd (prompt &optional confirm default)
1486 "Read a password, prompting with PROMPT, and return it.
1487 If optional CONFIRM is non-nil, read the password twice to make sure.
1488 Optional DEFAULT is a default password to use instead of empty input.
1489
1490 This function echoes `.' for each character that the user types.
1491 The user ends with RET, LFD, or ESC. DEL or C-h rubs out. C-u kills line.
1492 C-g quits; if `inhibit-quit' was non-nil around this function,
1493 then it returns nil if the user types C-g.
1494
1495 Once the caller uses the password, it can erase the password
1496 by doing (clear-string STRING)."
1497 (with-local-quit
1498 (if confirm
1499 (let (success)
1500 (while (not success)
1501 (let ((first (read-passwd prompt nil default))
1502 (second (read-passwd "Confirm password: " nil default)))
1503 (if (equal first second)
1504 (progn
1505 (and (arrayp second) (clear-string second))
1506 (setq success first))
1507 (and (arrayp first) (clear-string first))
1508 (and (arrayp second) (clear-string second))
1509 (message "Password not repeated accurately; please start over")
1510 (sit-for 1))))
1511 success)
1512 (let ((pass nil)
1513 (c 0)
1514 (echo-keystrokes 0)
1515 (cursor-in-echo-area t))
1516 (while (progn (message "%s%s"
1517 prompt
1518 (make-string (length pass) ?.))
1519 (setq c (read-char-exclusive nil t))
1520 (and (/= c ?\r) (/= c ?\n) (/= c ?\e)))
1521 (clear-this-command-keys)
1522 (if (= c ?\C-u)
1523 (progn
1524 (and (arrayp pass) (clear-string pass))
1525 (setq pass ""))
1526 (if (and (/= c ?\b) (/= c ?\177))
1527 (let* ((new-char (char-to-string c))
1528 (new-pass (concat pass new-char)))
1529 (and (arrayp pass) (clear-string pass))
1530 (clear-string new-char)
1531 (setq c ?\0)
1532 (setq pass new-pass))
1533 (if (> (length pass) 0)
1534 (let ((new-pass (substring pass 0 -1)))
1535 (and (arrayp pass) (clear-string pass))
1536 (setq pass new-pass))))))
1537 (message nil)
1538 (or pass default "")))))
1539
1540 ;; This should be used by `call-interactively' for `n' specs.
1541 (defun read-number (prompt &optional default)
1542 (let ((n nil))
1543 (when default
1544 (setq prompt
1545 (if (string-match "\\(\\):[ \t]*\\'" prompt)
1546 (replace-match (format " (default %s)" default) t t prompt 1)
1547 (replace-regexp-in-string "[ \t]*\\'"
1548 (format " (default %s) " default)
1549 prompt t t))))
1550 (while
1551 (progn
1552 (let ((str (read-from-minibuffer prompt nil nil nil nil
1553 (and default
1554 (number-to-string default)))))
1555 (setq n (cond
1556 ((zerop (length str)) default)
1557 ((stringp str) (read str)))))
1558 (unless (numberp n)
1559 (message "Please enter a number.")
1560 (sit-for 1)
1561 t)))
1562 n))
1563 \f
1564 ;;; Atomic change groups.
1565
1566 (defmacro atomic-change-group (&rest body)
1567 "Perform BODY as an atomic change group.
1568 This means that if BODY exits abnormally,
1569 all of its changes to the current buffer are undone.
1570 This works regardless of whether undo is enabled in the buffer.
1571
1572 This mechanism is transparent to ordinary use of undo;
1573 if undo is enabled in the buffer and BODY succeeds, the
1574 user can undo the change normally."
1575 (let ((handle (make-symbol "--change-group-handle--"))
1576 (success (make-symbol "--change-group-success--")))
1577 `(let ((,handle (prepare-change-group))
1578 (,success nil))
1579 (unwind-protect
1580 (progn
1581 ;; This is inside the unwind-protect because
1582 ;; it enables undo if that was disabled; we need
1583 ;; to make sure that it gets disabled again.
1584 (activate-change-group ,handle)
1585 ,@body
1586 (setq ,success t))
1587 ;; Either of these functions will disable undo
1588 ;; if it was disabled before.
1589 (if ,success
1590 (accept-change-group ,handle)
1591 (cancel-change-group ,handle))))))
1592
1593 (defun prepare-change-group (&optional buffer)
1594 "Return a handle for the current buffer's state, for a change group.
1595 If you specify BUFFER, make a handle for BUFFER's state instead.
1596
1597 Pass the handle to `activate-change-group' afterward to initiate
1598 the actual changes of the change group.
1599
1600 To finish the change group, call either `accept-change-group' or
1601 `cancel-change-group' passing the same handle as argument. Call
1602 `accept-change-group' to accept the changes in the group as final;
1603 call `cancel-change-group' to undo them all. You should use
1604 `unwind-protect' to make sure the group is always finished. The call
1605 to `activate-change-group' should be inside the `unwind-protect'.
1606 Once you finish the group, don't use the handle again--don't try to
1607 finish the same group twice. For a simple example of correct use, see
1608 the source code of `atomic-change-group'.
1609
1610 The handle records only the specified buffer. To make a multibuffer
1611 change group, call this function once for each buffer you want to
1612 cover, then use `nconc' to combine the returned values, like this:
1613
1614 (nconc (prepare-change-group buffer-1)
1615 (prepare-change-group buffer-2))
1616
1617 You can then activate that multibuffer change group with a single
1618 call to `activate-change-group' and finish it with a single call
1619 to `accept-change-group' or `cancel-change-group'."
1620
1621 (if buffer
1622 (list (cons buffer (with-current-buffer buffer buffer-undo-list)))
1623 (list (cons (current-buffer) buffer-undo-list))))
1624
1625 (defun activate-change-group (handle)
1626 "Activate a change group made with `prepare-change-group' (which see)."
1627 (dolist (elt handle)
1628 (with-current-buffer (car elt)
1629 (if (eq buffer-undo-list t)
1630 (setq buffer-undo-list nil)))))
1631
1632 (defun accept-change-group (handle)
1633 "Finish a change group made with `prepare-change-group' (which see).
1634 This finishes the change group by accepting its changes as final."
1635 (dolist (elt handle)
1636 (with-current-buffer (car elt)
1637 (if (eq elt t)
1638 (setq buffer-undo-list t)))))
1639
1640 (defun cancel-change-group (handle)
1641 "Finish a change group made with `prepare-change-group' (which see).
1642 This finishes the change group by reverting all of its changes."
1643 (dolist (elt handle)
1644 (with-current-buffer (car elt)
1645 (setq elt (cdr elt))
1646 (let ((old-car
1647 (if (consp elt) (car elt)))
1648 (old-cdr
1649 (if (consp elt) (cdr elt))))
1650 ;; Temporarily truncate the undo log at ELT.
1651 (when (consp elt)
1652 (setcar elt nil) (setcdr elt nil))
1653 (unless (eq last-command 'undo) (undo-start))
1654 ;; Make sure there's no confusion.
1655 (when (and (consp elt) (not (eq elt (last pending-undo-list))))
1656 (error "Undoing to some unrelated state"))
1657 ;; Undo it all.
1658 (while pending-undo-list (undo-more 1))
1659 ;; Reset the modified cons cell ELT to its original content.
1660 (when (consp elt)
1661 (setcar elt old-car)
1662 (setcdr elt old-cdr))
1663 ;; Revert the undo info to what it was when we grabbed the state.
1664 (setq buffer-undo-list elt)))))
1665 \f
1666 ;;;; Display-related functions.
1667
1668 ;; For compatibility.
1669 (defalias 'redraw-modeline 'force-mode-line-update)
1670
1671 (defun force-mode-line-update (&optional all)
1672 "Force redisplay of the current buffer's mode line and header line.
1673 With optional non-nil ALL, force redisplay of all mode lines and
1674 header lines. This function also forces recomputation of the
1675 menu bar menus and the frame title."
1676 (if all (save-excursion (set-buffer (other-buffer))))
1677 (set-buffer-modified-p (buffer-modified-p)))
1678
1679 (defun momentary-string-display (string pos &optional exit-char message)
1680 "Momentarily display STRING in the buffer at POS.
1681 Display remains until next event is input.
1682 Optional third arg EXIT-CHAR can be a character, event or event
1683 description list. EXIT-CHAR defaults to SPC. If the input is
1684 EXIT-CHAR it is swallowed; otherwise it is then available as
1685 input (as a command if nothing else).
1686 Display MESSAGE (optional fourth arg) in the echo area.
1687 If MESSAGE is nil, instructions to type EXIT-CHAR are displayed there."
1688 (or exit-char (setq exit-char ?\ ))
1689 (let ((inhibit-read-only t)
1690 ;; Don't modify the undo list at all.
1691 (buffer-undo-list t)
1692 (modified (buffer-modified-p))
1693 (name buffer-file-name)
1694 insert-end)
1695 (unwind-protect
1696 (progn
1697 (save-excursion
1698 (goto-char pos)
1699 ;; defeat file locking... don't try this at home, kids!
1700 (setq buffer-file-name nil)
1701 (insert-before-markers string)
1702 (setq insert-end (point))
1703 ;; If the message end is off screen, recenter now.
1704 (if (< (window-end nil t) insert-end)
1705 (recenter (/ (window-height) 2)))
1706 ;; If that pushed message start off the screen,
1707 ;; scroll to start it at the top of the screen.
1708 (move-to-window-line 0)
1709 (if (> (point) pos)
1710 (progn
1711 (goto-char pos)
1712 (recenter 0))))
1713 (message (or message "Type %s to continue editing.")
1714 (single-key-description exit-char))
1715 (let (char)
1716 (if (integerp exit-char)
1717 (condition-case nil
1718 (progn
1719 (setq char (read-char))
1720 (or (eq char exit-char)
1721 (setq unread-command-events (list char))))
1722 (error
1723 ;; `exit-char' is a character, hence it differs
1724 ;; from char, which is an event.
1725 (setq unread-command-events (list char))))
1726 ;; `exit-char' can be an event, or an event description
1727 ;; list.
1728 (setq char (read-event))
1729 (or (eq char exit-char)
1730 (eq char (event-convert-list exit-char))
1731 (setq unread-command-events (list char))))))
1732 (if insert-end
1733 (save-excursion
1734 (delete-region pos insert-end)))
1735 (setq buffer-file-name name)
1736 (set-buffer-modified-p modified))))
1737
1738 \f
1739 ;;;; Overlay operations
1740
1741 (defun copy-overlay (o)
1742 "Return a copy of overlay O."
1743 (let ((o1 (make-overlay (overlay-start o) (overlay-end o)
1744 ;; FIXME: there's no easy way to find the
1745 ;; insertion-type of the two markers.
1746 (overlay-buffer o)))
1747 (props (overlay-properties o)))
1748 (while props
1749 (overlay-put o1 (pop props) (pop props)))
1750 o1))
1751
1752 (defun remove-overlays (&optional beg end name val)
1753 "Clear BEG and END of overlays whose property NAME has value VAL.
1754 Overlays might be moved and/or split.
1755 BEG and END default respectively to the beginning and end of buffer."
1756 (unless beg (setq beg (point-min)))
1757 (unless end (setq end (point-max)))
1758 (if (< end beg)
1759 (setq beg (prog1 end (setq end beg))))
1760 (save-excursion
1761 (dolist (o (overlays-in beg end))
1762 (when (eq (overlay-get o name) val)
1763 ;; Either push this overlay outside beg...end
1764 ;; or split it to exclude beg...end
1765 ;; or delete it entirely (if it is contained in beg...end).
1766 (if (< (overlay-start o) beg)
1767 (if (> (overlay-end o) end)
1768 (progn
1769 (move-overlay (copy-overlay o)
1770 (overlay-start o) beg)
1771 (move-overlay o end (overlay-end o)))
1772 (move-overlay o (overlay-start o) beg))
1773 (if (> (overlay-end o) end)
1774 (move-overlay o end (overlay-end o))
1775 (delete-overlay o)))))))
1776 \f
1777 ;;;; Miscellanea.
1778
1779 (defvar suspend-hook nil
1780 "Normal hook run by `suspend-emacs', before suspending.")
1781
1782 (defvar suspend-resume-hook nil
1783 "Normal hook run by `suspend-emacs', after Emacs is continued.")
1784
1785 (defvar temp-buffer-show-hook nil
1786 "Normal hook run by `with-output-to-temp-buffer' after displaying the buffer.
1787 When the hook runs, the temporary buffer is current, and the window it
1788 was displayed in is selected. This hook is normally set up with a
1789 function to make the buffer read only, and find function names and
1790 variable names in it, provided the major mode is still Help mode.")
1791
1792 (defvar temp-buffer-setup-hook nil
1793 "Normal hook run by `with-output-to-temp-buffer' at the start.
1794 When the hook runs, the temporary buffer is current.
1795 This hook is normally set up with a function to put the buffer in Help
1796 mode.")
1797
1798 ;; Avoid compiler warnings about this variable,
1799 ;; which has a special meaning on certain system types.
1800 (defvar buffer-file-type nil
1801 "Non-nil if the visited file is a binary file.
1802 This variable is meaningful on MS-DOG and Windows NT.
1803 On those systems, it is automatically local in every buffer.
1804 On other systems, this variable is normally always nil.")
1805 \f
1806 ;;;; Misc. useful functions.
1807
1808 (defun find-tag-default ()
1809 "Determine default tag to search for, based on text at point.
1810 If there is no plausible default, return nil."
1811 (save-excursion
1812 (while (looking-at "\\sw\\|\\s_")
1813 (forward-char 1))
1814 (if (or (re-search-backward "\\sw\\|\\s_"
1815 (save-excursion (beginning-of-line) (point))
1816 t)
1817 (re-search-forward "\\(\\sw\\|\\s_\\)+"
1818 (save-excursion (end-of-line) (point))
1819 t))
1820 (progn
1821 (goto-char (match-end 0))
1822 (condition-case nil
1823 (buffer-substring-no-properties
1824 (point)
1825 (progn (forward-sexp -1)
1826 (while (looking-at "\\s'")
1827 (forward-char 1))
1828 (point)))
1829 (error nil)))
1830 nil)))
1831
1832 (defun play-sound (sound)
1833 "SOUND is a list of the form `(sound KEYWORD VALUE...)'.
1834 The following keywords are recognized:
1835
1836 :file FILE - read sound data from FILE. If FILE isn't an
1837 absolute file name, it is searched in `data-directory'.
1838
1839 :data DATA - read sound data from string DATA.
1840
1841 Exactly one of :file or :data must be present.
1842
1843 :volume VOL - set volume to VOL. VOL must an integer in the
1844 range 0..100 or a float in the range 0..1.0. If not specified,
1845 don't change the volume setting of the sound device.
1846
1847 :device DEVICE - play sound on DEVICE. If not specified,
1848 a system-dependent default device name is used."
1849 (if (fboundp 'play-sound-internal)
1850 (play-sound-internal sound)
1851 (error "This Emacs binary lacks sound support")))
1852
1853 (defun shell-quote-argument (argument)
1854 "Quote an argument for passing as argument to an inferior shell."
1855 (if (eq system-type 'ms-dos)
1856 ;; Quote using double quotes, but escape any existing quotes in
1857 ;; the argument with backslashes.
1858 (let ((result "")
1859 (start 0)
1860 end)
1861 (if (or (null (string-match "[^\"]" argument))
1862 (< (match-end 0) (length argument)))
1863 (while (string-match "[\"]" argument start)
1864 (setq end (match-beginning 0)
1865 result (concat result (substring argument start end)
1866 "\\" (substring argument end (1+ end)))
1867 start (1+ end))))
1868 (concat "\"" result (substring argument start) "\""))
1869 (if (eq system-type 'windows-nt)
1870 (concat "\"" argument "\"")
1871 (if (equal argument "")
1872 "''"
1873 ;; Quote everything except POSIX filename characters.
1874 ;; This should be safe enough even for really weird shells.
1875 (let ((result "") (start 0) end)
1876 (while (string-match "[^-0-9a-zA-Z_./]" argument start)
1877 (setq end (match-beginning 0)
1878 result (concat result (substring argument start end)
1879 "\\" (substring argument end (1+ end)))
1880 start (1+ end)))
1881 (concat result (substring argument start)))))))
1882 \f
1883 ;;;; Support for yanking and text properties.
1884
1885 (defvar yank-excluded-properties)
1886
1887 (defun remove-yank-excluded-properties (start end)
1888 "Remove `yank-excluded-properties' between START and END positions.
1889 Replaces `category' properties with their defined properties."
1890 (let ((inhibit-read-only t))
1891 ;; Replace any `category' property with the properties it stands for.
1892 (unless (memq yank-excluded-properties '(t nil))
1893 (save-excursion
1894 (goto-char start)
1895 (while (< (point) end)
1896 (let ((cat (get-text-property (point) 'category))
1897 run-end)
1898 (setq run-end
1899 (next-single-property-change (point) 'category nil end))
1900 (when cat
1901 (let (run-end2 original)
1902 (remove-list-of-text-properties (point) run-end '(category))
1903 (while (< (point) run-end)
1904 (setq run-end2 (next-property-change (point) nil run-end))
1905 (setq original (text-properties-at (point)))
1906 (set-text-properties (point) run-end2 (symbol-plist cat))
1907 (add-text-properties (point) run-end2 original)
1908 (goto-char run-end2))))
1909 (goto-char run-end)))))
1910 (if (eq yank-excluded-properties t)
1911 (set-text-properties start end nil)
1912 (remove-list-of-text-properties start end yank-excluded-properties))))
1913
1914 (defvar yank-undo-function)
1915
1916 (defun insert-for-yank (string)
1917 "Calls `insert-for-yank-1' repetitively for each `yank-handler' segment.
1918
1919 See `insert-for-yank-1' for more details."
1920 (let (to)
1921 (while (setq to (next-single-property-change 0 'yank-handler string))
1922 (insert-for-yank-1 (substring string 0 to))
1923 (setq string (substring string to))))
1924 (insert-for-yank-1 string))
1925
1926 (defun insert-for-yank-1 (string)
1927 "Insert STRING at point, stripping some text properties.
1928
1929 Strip text properties from the inserted text according to
1930 `yank-excluded-properties'. Otherwise just like (insert STRING).
1931
1932 If STRING has a non-nil `yank-handler' property on the first character,
1933 the normal insert behavior is modified in various ways. The value of
1934 the yank-handler property must be a list with one to four elements
1935 with the following format: (FUNCTION PARAM NOEXCLUDE UNDO).
1936 When FUNCTION is present and non-nil, it is called instead of `insert'
1937 to insert the string. FUNCTION takes one argument--the object to insert.
1938 If PARAM is present and non-nil, it replaces STRING as the object
1939 passed to FUNCTION (or `insert'); for example, if FUNCTION is
1940 `yank-rectangle', PARAM may be a list of strings to insert as a
1941 rectangle.
1942 If NOEXCLUDE is present and non-nil, the normal removal of the
1943 yank-excluded-properties is not performed; instead FUNCTION is
1944 responsible for removing those properties. This may be necessary
1945 if FUNCTION adjusts point before or after inserting the object.
1946 If UNDO is present and non-nil, it is a function that will be called
1947 by `yank-pop' to undo the insertion of the current object. It is
1948 called with two arguments, the start and end of the current region.
1949 FUNCTION may set `yank-undo-function' to override the UNDO value."
1950 (let* ((handler (and (stringp string)
1951 (get-text-property 0 'yank-handler string)))
1952 (param (or (nth 1 handler) string))
1953 (opoint (point)))
1954 (setq yank-undo-function t)
1955 (if (nth 0 handler) ;; FUNCTION
1956 (funcall (car handler) param)
1957 (insert param))
1958 (unless (nth 2 handler) ;; NOEXCLUDE
1959 (remove-yank-excluded-properties opoint (point)))
1960 (if (eq yank-undo-function t) ;; not set by FUNCTION
1961 (setq yank-undo-function (nth 3 handler))) ;; UNDO
1962 (if (nth 4 handler) ;; COMMAND
1963 (setq this-command (nth 4 handler)))))
1964
1965 (defun insert-buffer-substring-no-properties (buffer &optional start end)
1966 "Insert before point a substring of BUFFER, without text properties.
1967 BUFFER may be a buffer or a buffer name.
1968 Arguments START and END are character positions specifying the substring.
1969 They default to the values of (point-min) and (point-max) in BUFFER."
1970 (let ((opoint (point)))
1971 (insert-buffer-substring buffer start end)
1972 (let ((inhibit-read-only t))
1973 (set-text-properties opoint (point) nil))))
1974
1975 (defun insert-buffer-substring-as-yank (buffer &optional start end)
1976 "Insert before point a part of BUFFER, stripping some text properties.
1977 BUFFER may be a buffer or a buffer name.
1978 Arguments START and END are character positions specifying the substring.
1979 They default to the values of (point-min) and (point-max) in BUFFER.
1980 Strip text properties from the inserted text according to
1981 `yank-excluded-properties'."
1982 ;; Since the buffer text should not normally have yank-handler properties,
1983 ;; there is no need to handle them here.
1984 (let ((opoint (point)))
1985 (insert-buffer-substring buffer start end)
1986 (remove-yank-excluded-properties opoint (point))))
1987
1988 \f
1989 ;;;; Synchronous shell commands.
1990
1991 (defun start-process-shell-command (name buffer &rest args)
1992 "Start a program in a subprocess. Return the process object for it.
1993 NAME is name for process. It is modified if necessary to make it unique.
1994 BUFFER is the buffer (or buffer name) to associate with the process.
1995 Process output goes at end of that buffer, unless you specify
1996 an output stream or filter function to handle the output.
1997 BUFFER may be also nil, meaning that this process is not associated
1998 with any buffer
1999 COMMAND is the name of a shell command.
2000 Remaining arguments are the arguments for the command.
2001 Wildcards and redirection are handled as usual in the shell.
2002
2003 \(fn NAME BUFFER COMMAND &rest COMMAND-ARGS)"
2004 (cond
2005 ((eq system-type 'vax-vms)
2006 (apply 'start-process name buffer args))
2007 ;; We used to use `exec' to replace the shell with the command,
2008 ;; but that failed to handle (...) and semicolon, etc.
2009 (t
2010 (start-process name buffer shell-file-name shell-command-switch
2011 (mapconcat 'identity args " ")))))
2012
2013 (defun call-process-shell-command (command &optional infile buffer display
2014 &rest args)
2015 "Execute the shell command COMMAND synchronously in separate process.
2016 The remaining arguments are optional.
2017 The program's input comes from file INFILE (nil means `/dev/null').
2018 Insert output in BUFFER before point; t means current buffer;
2019 nil for BUFFER means discard it; 0 means discard and don't wait.
2020 BUFFER can also have the form (REAL-BUFFER STDERR-FILE); in that case,
2021 REAL-BUFFER says what to do with standard output, as above,
2022 while STDERR-FILE says what to do with standard error in the child.
2023 STDERR-FILE may be nil (discard standard error output),
2024 t (mix it with ordinary output), or a file name string.
2025
2026 Fourth arg DISPLAY non-nil means redisplay buffer as output is inserted.
2027 Remaining arguments are strings passed as additional arguments for COMMAND.
2028 Wildcards and redirection are handled as usual in the shell.
2029
2030 If BUFFER is 0, `call-process-shell-command' returns immediately with value nil.
2031 Otherwise it waits for COMMAND to terminate and returns a numeric exit
2032 status or a signal description string.
2033 If you quit, the process is killed with SIGINT, or SIGKILL if you quit again."
2034 (cond
2035 ((eq system-type 'vax-vms)
2036 (apply 'call-process command infile buffer display args))
2037 ;; We used to use `exec' to replace the shell with the command,
2038 ;; but that failed to handle (...) and semicolon, etc.
2039 (t
2040 (call-process shell-file-name
2041 infile buffer display
2042 shell-command-switch
2043 (mapconcat 'identity (cons command args) " ")))))
2044 \f
2045 ;;;; Lisp macros to do various things temporarily.
2046
2047 (defmacro with-current-buffer (buffer &rest body)
2048 "Execute the forms in BODY with BUFFER as the current buffer.
2049 The value returned is the value of the last form in BODY.
2050 See also `with-temp-buffer'."
2051 (declare (indent 1) (debug t))
2052 `(save-current-buffer
2053 (set-buffer ,buffer)
2054 ,@body))
2055
2056 (defmacro with-selected-window (window &rest body)
2057 "Execute the forms in BODY with WINDOW as the selected window.
2058 The value returned is the value of the last form in BODY.
2059
2060 This macro saves and restores the current buffer, since otherwise
2061 its normal operation could potentially make a different
2062 buffer current. It does not alter the buffer list ordering.
2063
2064 This macro saves and restores the selected window, as well as
2065 the selected window in each frame. If the previously selected
2066 window of some frame is no longer live at the end of BODY, that
2067 frame's selected window is left alone. If the selected window is
2068 no longer live, then whatever window is selected at the end of
2069 BODY remains selected.
2070 See also `with-temp-buffer'."
2071 (declare (indent 1) (debug t))
2072 ;; Most of this code is a copy of save-selected-window.
2073 `(let ((save-selected-window-window (selected-window))
2074 ;; It is necessary to save all of these, because calling
2075 ;; select-window changes frame-selected-window for whatever
2076 ;; frame that window is in.
2077 (save-selected-window-alist
2078 (mapcar (lambda (frame) (list frame (frame-selected-window frame)))
2079 (frame-list))))
2080 (save-current-buffer
2081 (unwind-protect
2082 (progn (select-window ,window 'norecord)
2083 ,@body)
2084 (dolist (elt save-selected-window-alist)
2085 (and (frame-live-p (car elt))
2086 (window-live-p (cadr elt))
2087 (set-frame-selected-window (car elt) (cadr elt))))
2088 (if (window-live-p save-selected-window-window)
2089 (select-window save-selected-window-window 'norecord))))))
2090
2091 (defmacro with-selected-frame (frame &rest body)
2092 "Execute the forms in BODY with FRAME as the selected frame.
2093 The value returned is the value of the last form in BODY.
2094 See also `with-temp-buffer'."
2095 (declare (indent 1) (debug t))
2096 `(let ((save-selected-frame (selected-frame)))
2097 (unwind-protect
2098 (progn (select-frame ,frame)
2099 ,@body)
2100 (if (frame-live-p save-selected-frame)
2101 (select-frame save-selected-frame)))))
2102
2103 (defmacro with-temp-file (file &rest body)
2104 "Create a new buffer, evaluate BODY there, and write the buffer to FILE.
2105 The value returned is the value of the last form in BODY.
2106 See also `with-temp-buffer'."
2107 (declare (debug t))
2108 (let ((temp-file (make-symbol "temp-file"))
2109 (temp-buffer (make-symbol "temp-buffer")))
2110 `(let ((,temp-file ,file)
2111 (,temp-buffer
2112 (get-buffer-create (generate-new-buffer-name " *temp file*"))))
2113 (unwind-protect
2114 (prog1
2115 (with-current-buffer ,temp-buffer
2116 ,@body)
2117 (with-current-buffer ,temp-buffer
2118 (widen)
2119 (write-region (point-min) (point-max) ,temp-file nil 0)))
2120 (and (buffer-name ,temp-buffer)
2121 (kill-buffer ,temp-buffer))))))
2122
2123 (defmacro with-temp-message (message &rest body)
2124 "Display MESSAGE temporarily if non-nil while BODY is evaluated.
2125 The original message is restored to the echo area after BODY has finished.
2126 The value returned is the value of the last form in BODY.
2127 MESSAGE is written to the message log buffer if `message-log-max' is non-nil.
2128 If MESSAGE is nil, the echo area and message log buffer are unchanged.
2129 Use a MESSAGE of \"\" to temporarily clear the echo area."
2130 (declare (debug t))
2131 (let ((current-message (make-symbol "current-message"))
2132 (temp-message (make-symbol "with-temp-message")))
2133 `(let ((,temp-message ,message)
2134 (,current-message))
2135 (unwind-protect
2136 (progn
2137 (when ,temp-message
2138 (setq ,current-message (current-message))
2139 (message "%s" ,temp-message))
2140 ,@body)
2141 (and ,temp-message
2142 (if ,current-message
2143 (message "%s" ,current-message)
2144 (message nil)))))))
2145
2146 (defmacro with-temp-buffer (&rest body)
2147 "Create a temporary buffer, and evaluate BODY there like `progn'.
2148 See also `with-temp-file' and `with-output-to-string'."
2149 (declare (indent 0) (debug t))
2150 (let ((temp-buffer (make-symbol "temp-buffer")))
2151 `(let ((,temp-buffer (generate-new-buffer " *temp*")))
2152 (unwind-protect
2153 (with-current-buffer ,temp-buffer
2154 ,@body)
2155 (and (buffer-name ,temp-buffer)
2156 (kill-buffer ,temp-buffer))))))
2157
2158 (defmacro with-output-to-string (&rest body)
2159 "Execute BODY, return the text it sent to `standard-output', as a string."
2160 (declare (indent 0) (debug t))
2161 `(let ((standard-output
2162 (get-buffer-create (generate-new-buffer-name " *string-output*"))))
2163 (let ((standard-output standard-output))
2164 ,@body)
2165 (with-current-buffer standard-output
2166 (prog1
2167 (buffer-string)
2168 (kill-buffer nil)))))
2169
2170 (defmacro with-local-quit (&rest body)
2171 "Execute BODY, allowing quits to terminate BODY but not escape further.
2172 When a quit terminates BODY, `with-local-quit' returns nil but
2173 requests another quit. That quit will be processed, the next time quitting
2174 is allowed once again."
2175 (declare (debug t) (indent 0))
2176 `(condition-case nil
2177 (let ((inhibit-quit nil))
2178 ,@body)
2179 (quit (setq quit-flag t) nil)))
2180
2181 (defmacro while-no-input (&rest body)
2182 "Execute BODY only as long as there's no pending input.
2183 If input arrives, that ends the execution of BODY,
2184 and `while-no-input' returns t. Quitting makes it return nil.
2185 If BODY finishes, `while-no-input' returns whatever value BODY produced."
2186 (declare (debug t) (indent 0))
2187 (let ((catch-sym (make-symbol "input")))
2188 `(with-local-quit
2189 (catch ',catch-sym
2190 (let ((throw-on-input ',catch-sym))
2191 (or (not (sit-for 0 0 t))
2192 ,@body))))))
2193
2194 (defmacro combine-after-change-calls (&rest body)
2195 "Execute BODY, but don't call the after-change functions till the end.
2196 If BODY makes changes in the buffer, they are recorded
2197 and the functions on `after-change-functions' are called several times
2198 when BODY is finished.
2199 The return value is the value of the last form in BODY.
2200
2201 If `before-change-functions' is non-nil, then calls to the after-change
2202 functions can't be deferred, so in that case this macro has no effect.
2203
2204 Do not alter `after-change-functions' or `before-change-functions'
2205 in BODY."
2206 (declare (indent 0) (debug t))
2207 `(unwind-protect
2208 (let ((combine-after-change-calls t))
2209 . ,body)
2210 (combine-after-change-execute)))
2211 \f
2212 ;;;; Constructing completion tables.
2213
2214 (defmacro dynamic-completion-table (fun)
2215 "Use function FUN as a dynamic completion table.
2216 FUN is called with one argument, the string for which completion is required,
2217 and it should return an alist containing all the intended possible
2218 completions. This alist may be a full list of possible completions so that FUN
2219 can ignore the value of its argument. If completion is performed in the
2220 minibuffer, FUN will be called in the buffer from which the minibuffer was
2221 entered.
2222
2223 The result of the `dynamic-completion-table' form is a function
2224 that can be used as the ALIST argument to `try-completion' and
2225 `all-completion'. See Info node `(elisp)Programmed Completion'."
2226 (declare (debug (lambda-expr)))
2227 (let ((win (make-symbol "window"))
2228 (string (make-symbol "string"))
2229 (predicate (make-symbol "predicate"))
2230 (mode (make-symbol "mode")))
2231 `(lambda (,string ,predicate ,mode)
2232 (with-current-buffer (let ((,win (minibuffer-selected-window)))
2233 (if (window-live-p ,win) (window-buffer ,win)
2234 (current-buffer)))
2235 (cond
2236 ((eq ,mode t) (all-completions ,string (,fun ,string) ,predicate))
2237 ((not ,mode) (try-completion ,string (,fun ,string) ,predicate))
2238 (t (test-completion ,string (,fun ,string) ,predicate)))))))
2239
2240 (defmacro lazy-completion-table (var fun &rest args)
2241 "Initialize variable VAR as a lazy completion table.
2242 If the completion table VAR is used for the first time (e.g., by passing VAR
2243 as an argument to `try-completion'), the function FUN is called with arguments
2244 ARGS. FUN must return the completion table that will be stored in VAR.
2245 If completion is requested in the minibuffer, FUN will be called in the buffer
2246 from which the minibuffer was entered. The return value of
2247 `lazy-completion-table' must be used to initialize the value of VAR."
2248 (declare (debug (symbol lambda-expr def-body)))
2249 (let ((str (make-symbol "string")))
2250 `(dynamic-completion-table
2251 (lambda (,str)
2252 (unless (listp ,var)
2253 (setq ,var (,fun ,@args)))
2254 ,var))))
2255
2256 (defmacro complete-in-turn (a b)
2257 "Create a completion table that first tries completion in A and then in B.
2258 A and B should not be costly (or side-effecting) expressions."
2259 (declare (debug (def-form def-form)))
2260 `(lambda (string predicate mode)
2261 (cond
2262 ((eq mode t)
2263 (or (all-completions string ,a predicate)
2264 (all-completions string ,b predicate)))
2265 ((eq mode nil)
2266 (or (try-completion string ,a predicate)
2267 (try-completion string ,b predicate)))
2268 (t
2269 (or (test-completion string ,a predicate)
2270 (test-completion string ,b predicate))))))
2271 \f
2272 ;;; Matching and match data.
2273
2274 (defvar save-match-data-internal)
2275
2276 ;; We use save-match-data-internal as the local variable because
2277 ;; that works ok in practice (people should not use that variable elsewhere).
2278 ;; We used to use an uninterned symbol; the compiler handles that properly
2279 ;; now, but it generates slower code.
2280 (defmacro save-match-data (&rest body)
2281 "Execute the BODY forms, restoring the global value of the match data.
2282 The value returned is the value of the last form in BODY."
2283 ;; It is better not to use backquote here,
2284 ;; because that makes a bootstrapping problem
2285 ;; if you need to recompile all the Lisp files using interpreted code.
2286 (declare (indent 0) (debug t))
2287 (list 'let
2288 '((save-match-data-internal (match-data)))
2289 (list 'unwind-protect
2290 (cons 'progn body)
2291 ;; It is safe to free (evaporate) markers immediately here,
2292 ;; as Lisp programs should not copy from save-match-data-internal.
2293 '(set-match-data save-match-data-internal 'evaporate))))
2294
2295 (defun match-string (num &optional string)
2296 "Return string of text matched by last search.
2297 NUM specifies which parenthesized expression in the last regexp.
2298 Value is nil if NUMth pair didn't match, or there were less than NUM pairs.
2299 Zero means the entire text matched by the whole regexp or whole string.
2300 STRING should be given if the last search was by `string-match' on STRING."
2301 (if (match-beginning num)
2302 (if string
2303 (substring string (match-beginning num) (match-end num))
2304 (buffer-substring (match-beginning num) (match-end num)))))
2305
2306 (defun match-string-no-properties (num &optional string)
2307 "Return string of text matched by last search, without text properties.
2308 NUM specifies which parenthesized expression in the last regexp.
2309 Value is nil if NUMth pair didn't match, or there were less than NUM pairs.
2310 Zero means the entire text matched by the whole regexp or whole string.
2311 STRING should be given if the last search was by `string-match' on STRING."
2312 (if (match-beginning num)
2313 (if string
2314 (substring-no-properties string (match-beginning num)
2315 (match-end num))
2316 (buffer-substring-no-properties (match-beginning num)
2317 (match-end num)))))
2318
2319 (defun looking-back (regexp &optional limit greedy)
2320 "Return non-nil if text before point matches regular expression REGEXP.
2321 Like `looking-at' except matches before point, and is slower.
2322 LIMIT if non-nil speeds up the search by specifying how far back the
2323 match can start.
2324
2325 If GREEDY is non-nil, extend the match backwards as far as possible,
2326 stopping when a single additional previous character cannot be part
2327 of a match for REGEXP."
2328 (let ((start (point))
2329 (pos
2330 (save-excursion
2331 (and (re-search-backward (concat "\\(?:" regexp "\\)\\=") limit t)
2332 (point)))))
2333 (if (and greedy pos)
2334 (save-restriction
2335 (narrow-to-region (point-min) start)
2336 (while (and (> pos (point-min))
2337 (save-excursion
2338 (goto-char pos)
2339 (backward-char 1)
2340 (looking-at (concat "\\(?:" regexp "\\)\\'"))))
2341 (setq pos (1- pos)))
2342 (save-excursion
2343 (goto-char pos)
2344 (looking-at (concat "\\(?:" regexp "\\)\\'")))))
2345 (not (null pos))))
2346
2347 (defun subregexp-context-p (regexp pos &optional start)
2348 "Return non-nil if POS is in a normal subregexp context in REGEXP.
2349 A subregexp context is one where a sub-regexp can appear.
2350 A non-subregexp context is for example within brackets, or within a
2351 repetition bounds operator `\\=\\{...\\}', or right after a `\\'.
2352 If START is non-nil, it should be a position in REGEXP, smaller
2353 than POS, and known to be in a subregexp context."
2354 ;; Here's one possible implementation, with the great benefit that it
2355 ;; reuses the regexp-matcher's own parser, so it understands all the
2356 ;; details of the syntax. A disadvantage is that it needs to match the
2357 ;; error string.
2358 (condition-case err
2359 (progn
2360 (string-match (substring regexp (or start 0) pos) "")
2361 t)
2362 (invalid-regexp
2363 (not (member (cadr err) '("Unmatched [ or [^"
2364 "Unmatched \\{"
2365 "Trailing backslash")))))
2366 ;; An alternative implementation:
2367 ;; (defconst re-context-re
2368 ;; (let* ((harmless-ch "[^\\[]")
2369 ;; (harmless-esc "\\\\[^{]")
2370 ;; (class-harmless-ch "[^][]")
2371 ;; (class-lb-harmless "[^]:]")
2372 ;; (class-lb-colon-maybe-charclass ":\\([a-z]+:]\\)?")
2373 ;; (class-lb (concat "\\[\\(" class-lb-harmless
2374 ;; "\\|" class-lb-colon-maybe-charclass "\\)"))
2375 ;; (class
2376 ;; (concat "\\[^?]?"
2377 ;; "\\(" class-harmless-ch
2378 ;; "\\|" class-lb "\\)*"
2379 ;; "\\[?]")) ; special handling for bare [ at end of re
2380 ;; (braces "\\\\{[0-9,]+\\\\}"))
2381 ;; (concat "\\`\\(" harmless-ch "\\|" harmless-esc
2382 ;; "\\|" class "\\|" braces "\\)*\\'"))
2383 ;; "Matches any prefix that corresponds to a normal subregexp context.")
2384 ;; (string-match re-context-re (substring regexp (or start 0) pos))
2385 )
2386 \f
2387 ;;;; split-string
2388
2389 (defconst split-string-default-separators "[ \f\t\n\r\v]+"
2390 "The default value of separators for `split-string'.
2391
2392 A regexp matching strings of whitespace. May be locale-dependent
2393 \(as yet unimplemented). Should not match non-breaking spaces.
2394
2395 Warning: binding this to a different value and using it as default is
2396 likely to have undesired semantics.")
2397
2398 ;; The specification says that if both SEPARATORS and OMIT-NULLS are
2399 ;; defaulted, OMIT-NULLS should be treated as t. Simplifying the logical
2400 ;; expression leads to the equivalent implementation that if SEPARATORS
2401 ;; is defaulted, OMIT-NULLS is treated as t.
2402 (defun split-string (string &optional separators omit-nulls)
2403 "Split STRING into substrings bounded by matches for SEPARATORS.
2404
2405 The beginning and end of STRING, and each match for SEPARATORS, are
2406 splitting points. The substrings matching SEPARATORS are removed, and
2407 the substrings between the splitting points are collected as a list,
2408 which is returned.
2409
2410 If SEPARATORS is non-nil, it should be a regular expression matching text
2411 which separates, but is not part of, the substrings. If nil it defaults to
2412 `split-string-default-separators', normally \"[ \\f\\t\\n\\r\\v]+\", and
2413 OMIT-NULLS is forced to t.
2414
2415 If OMIT-NULLS is t, zero-length substrings are omitted from the list \(so
2416 that for the default value of SEPARATORS leading and trailing whitespace
2417 are effectively trimmed). If nil, all zero-length substrings are retained,
2418 which correctly parses CSV format, for example.
2419
2420 Note that the effect of `(split-string STRING)' is the same as
2421 `(split-string STRING split-string-default-separators t)'). In the rare
2422 case that you wish to retain zero-length substrings when splitting on
2423 whitespace, use `(split-string STRING split-string-default-separators)'.
2424
2425 Modifies the match data; use `save-match-data' if necessary."
2426 (let ((keep-nulls (not (if separators omit-nulls t)))
2427 (rexp (or separators split-string-default-separators))
2428 (start 0)
2429 notfirst
2430 (list nil))
2431 (while (and (string-match rexp string
2432 (if (and notfirst
2433 (= start (match-beginning 0))
2434 (< start (length string)))
2435 (1+ start) start))
2436 (< start (length string)))
2437 (setq notfirst t)
2438 (if (or keep-nulls (< start (match-beginning 0)))
2439 (setq list
2440 (cons (substring string start (match-beginning 0))
2441 list)))
2442 (setq start (match-end 0)))
2443 (if (or keep-nulls (< start (length string)))
2444 (setq list
2445 (cons (substring string start)
2446 list)))
2447 (nreverse list)))
2448 \f
2449 ;;;; Replacement in strings.
2450
2451 (defun subst-char-in-string (fromchar tochar string &optional inplace)
2452 "Replace FROMCHAR with TOCHAR in STRING each time it occurs.
2453 Unless optional argument INPLACE is non-nil, return a new string."
2454 (let ((i (length string))
2455 (newstr (if inplace string (copy-sequence string))))
2456 (while (> i 0)
2457 (setq i (1- i))
2458 (if (eq (aref newstr i) fromchar)
2459 (aset newstr i tochar)))
2460 newstr))
2461
2462 (defun replace-regexp-in-string (regexp rep string &optional
2463 fixedcase literal subexp start)
2464 "Replace all matches for REGEXP with REP in STRING.
2465
2466 Return a new string containing the replacements.
2467
2468 Optional arguments FIXEDCASE, LITERAL and SUBEXP are like the
2469 arguments with the same names of function `replace-match'. If START
2470 is non-nil, start replacements at that index in STRING.
2471
2472 REP is either a string used as the NEWTEXT arg of `replace-match' or a
2473 function. If it is a function, it is called with the actual text of each
2474 match, and its value is used as the replacement text. When REP is called,
2475 the match-data are the result of matching REGEXP against a substring
2476 of STRING.
2477
2478 To replace only the first match (if any), make REGEXP match up to \\'
2479 and replace a sub-expression, e.g.
2480 (replace-regexp-in-string \"\\\\(foo\\\\).*\\\\'\" \"bar\" \" foo foo\" nil nil 1)
2481 => \" bar foo\"
2482 "
2483
2484 ;; To avoid excessive consing from multiple matches in long strings,
2485 ;; don't just call `replace-match' continually. Walk down the
2486 ;; string looking for matches of REGEXP and building up a (reversed)
2487 ;; list MATCHES. This comprises segments of STRING which weren't
2488 ;; matched interspersed with replacements for segments that were.
2489 ;; [For a `large' number of replacements it's more efficient to
2490 ;; operate in a temporary buffer; we can't tell from the function's
2491 ;; args whether to choose the buffer-based implementation, though it
2492 ;; might be reasonable to do so for long enough STRING.]
2493 (let ((l (length string))
2494 (start (or start 0))
2495 matches str mb me)
2496 (save-match-data
2497 (while (and (< start l) (string-match regexp string start))
2498 (setq mb (match-beginning 0)
2499 me (match-end 0))
2500 ;; If we matched the empty string, make sure we advance by one char
2501 (when (= me mb) (setq me (min l (1+ mb))))
2502 ;; Generate a replacement for the matched substring.
2503 ;; Operate only on the substring to minimize string consing.
2504 ;; Set up match data for the substring for replacement;
2505 ;; presumably this is likely to be faster than munging the
2506 ;; match data directly in Lisp.
2507 (string-match regexp (setq str (substring string mb me)))
2508 (setq matches
2509 (cons (replace-match (if (stringp rep)
2510 rep
2511 (funcall rep (match-string 0 str)))
2512 fixedcase literal str subexp)
2513 (cons (substring string start mb) ; unmatched prefix
2514 matches)))
2515 (setq start me))
2516 ;; Reconstruct a string from the pieces.
2517 (setq matches (cons (substring string start l) matches)) ; leftover
2518 (apply #'concat (nreverse matches)))))
2519 \f
2520 ;;;; invisibility specs
2521
2522 (defun add-to-invisibility-spec (element)
2523 "Add ELEMENT to `buffer-invisibility-spec'.
2524 See documentation for `buffer-invisibility-spec' for the kind of elements
2525 that can be added."
2526 (if (eq buffer-invisibility-spec t)
2527 (setq buffer-invisibility-spec (list t)))
2528 (setq buffer-invisibility-spec
2529 (cons element buffer-invisibility-spec)))
2530
2531 (defun remove-from-invisibility-spec (element)
2532 "Remove ELEMENT from `buffer-invisibility-spec'."
2533 (if (consp buffer-invisibility-spec)
2534 (setq buffer-invisibility-spec (delete element buffer-invisibility-spec))))
2535 \f
2536 ;;;; Syntax tables.
2537
2538 (defmacro with-syntax-table (table &rest body)
2539 "Evaluate BODY with syntax table of current buffer set to TABLE.
2540 The syntax table of the current buffer is saved, BODY is evaluated, and the
2541 saved table is restored, even in case of an abnormal exit.
2542 Value is what BODY returns."
2543 (declare (debug t))
2544 (let ((old-table (make-symbol "table"))
2545 (old-buffer (make-symbol "buffer")))
2546 `(let ((,old-table (syntax-table))
2547 (,old-buffer (current-buffer)))
2548 (unwind-protect
2549 (progn
2550 (set-syntax-table ,table)
2551 ,@body)
2552 (save-current-buffer
2553 (set-buffer ,old-buffer)
2554 (set-syntax-table ,old-table))))))
2555
2556 (defun make-syntax-table (&optional oldtable)
2557 "Return a new syntax table.
2558 Create a syntax table which inherits from OLDTABLE (if non-nil) or
2559 from `standard-syntax-table' otherwise."
2560 (let ((table (make-char-table 'syntax-table nil)))
2561 (set-char-table-parent table (or oldtable (standard-syntax-table)))
2562 table))
2563
2564 (defun syntax-after (pos)
2565 "Return the raw syntax of the char after POS.
2566 If POS is outside the buffer's accessible portion, return nil."
2567 (unless (or (< pos (point-min)) (>= pos (point-max)))
2568 (let ((st (if parse-sexp-lookup-properties
2569 (get-char-property pos 'syntax-table))))
2570 (if (consp st) st
2571 (aref (or st (syntax-table)) (char-after pos))))))
2572
2573 (defun syntax-class (syntax)
2574 "Return the syntax class part of the syntax descriptor SYNTAX.
2575 If SYNTAX is nil, return nil."
2576 (and syntax (logand (car syntax) 65535)))
2577 \f
2578 ;;;; Text clones
2579
2580 (defun text-clone-maintain (ol1 after beg end &optional len)
2581 "Propagate the changes made under the overlay OL1 to the other clones.
2582 This is used on the `modification-hooks' property of text clones."
2583 (when (and after (not undo-in-progress) (overlay-start ol1))
2584 (let ((margin (if (overlay-get ol1 'text-clone-spreadp) 1 0)))
2585 (setq beg (max beg (+ (overlay-start ol1) margin)))
2586 (setq end (min end (- (overlay-end ol1) margin)))
2587 (when (<= beg end)
2588 (save-excursion
2589 (when (overlay-get ol1 'text-clone-syntax)
2590 ;; Check content of the clone's text.
2591 (let ((cbeg (+ (overlay-start ol1) margin))
2592 (cend (- (overlay-end ol1) margin)))
2593 (goto-char cbeg)
2594 (save-match-data
2595 (if (not (re-search-forward
2596 (overlay-get ol1 'text-clone-syntax) cend t))
2597 ;; Mark the overlay for deletion.
2598 (overlay-put ol1 'text-clones nil)
2599 (when (< (match-end 0) cend)
2600 ;; Shrink the clone at its end.
2601 (setq end (min end (match-end 0)))
2602 (move-overlay ol1 (overlay-start ol1)
2603 (+ (match-end 0) margin)))
2604 (when (> (match-beginning 0) cbeg)
2605 ;; Shrink the clone at its beginning.
2606 (setq beg (max (match-beginning 0) beg))
2607 (move-overlay ol1 (- (match-beginning 0) margin)
2608 (overlay-end ol1)))))))
2609 ;; Now go ahead and update the clones.
2610 (let ((head (- beg (overlay-start ol1)))
2611 (tail (- (overlay-end ol1) end))
2612 (str (buffer-substring beg end))
2613 (nothing-left t)
2614 (inhibit-modification-hooks t))
2615 (dolist (ol2 (overlay-get ol1 'text-clones))
2616 (let ((oe (overlay-end ol2)))
2617 (unless (or (eq ol1 ol2) (null oe))
2618 (setq nothing-left nil)
2619 (let ((mod-beg (+ (overlay-start ol2) head)))
2620 ;;(overlay-put ol2 'modification-hooks nil)
2621 (goto-char (- (overlay-end ol2) tail))
2622 (unless (> mod-beg (point))
2623 (save-excursion (insert str))
2624 (delete-region mod-beg (point)))
2625 ;;(overlay-put ol2 'modification-hooks '(text-clone-maintain))
2626 ))))
2627 (if nothing-left (delete-overlay ol1))))))))
2628
2629 (defun text-clone-create (start end &optional spreadp syntax)
2630 "Create a text clone of START...END at point.
2631 Text clones are chunks of text that are automatically kept identical:
2632 changes done to one of the clones will be immediately propagated to the other.
2633
2634 The buffer's content at point is assumed to be already identical to
2635 the one between START and END.
2636 If SYNTAX is provided it's a regexp that describes the possible text of
2637 the clones; the clone will be shrunk or killed if necessary to ensure that
2638 its text matches the regexp.
2639 If SPREADP is non-nil it indicates that text inserted before/after the
2640 clone should be incorporated in the clone."
2641 ;; To deal with SPREADP we can either use an overlay with `nil t' along
2642 ;; with insert-(behind|in-front-of)-hooks or use a slightly larger overlay
2643 ;; (with a one-char margin at each end) with `t nil'.
2644 ;; We opted for a larger overlay because it behaves better in the case
2645 ;; where the clone is reduced to the empty string (we want the overlay to
2646 ;; stay when the clone's content is the empty string and we want to use
2647 ;; `evaporate' to make sure those overlays get deleted when needed).
2648 ;;
2649 (let* ((pt-end (+ (point) (- end start)))
2650 (start-margin (if (or (not spreadp) (bobp) (<= start (point-min)))
2651 0 1))
2652 (end-margin (if (or (not spreadp)
2653 (>= pt-end (point-max))
2654 (>= start (point-max)))
2655 0 1))
2656 (ol1 (make-overlay (- start start-margin) (+ end end-margin) nil t))
2657 (ol2 (make-overlay (- (point) start-margin) (+ pt-end end-margin) nil t))
2658 (dups (list ol1 ol2)))
2659 (overlay-put ol1 'modification-hooks '(text-clone-maintain))
2660 (when spreadp (overlay-put ol1 'text-clone-spreadp t))
2661 (when syntax (overlay-put ol1 'text-clone-syntax syntax))
2662 ;;(overlay-put ol1 'face 'underline)
2663 (overlay-put ol1 'evaporate t)
2664 (overlay-put ol1 'text-clones dups)
2665 ;;
2666 (overlay-put ol2 'modification-hooks '(text-clone-maintain))
2667 (when spreadp (overlay-put ol2 'text-clone-spreadp t))
2668 (when syntax (overlay-put ol2 'text-clone-syntax syntax))
2669 ;;(overlay-put ol2 'face 'underline)
2670 (overlay-put ol2 'evaporate t)
2671 (overlay-put ol2 'text-clones dups)))
2672 \f
2673 ;;;; Mail user agents.
2674
2675 ;; Here we include just enough for other packages to be able
2676 ;; to define them.
2677
2678 (defun define-mail-user-agent (symbol composefunc sendfunc
2679 &optional abortfunc hookvar)
2680 "Define a symbol to identify a mail-sending package for `mail-user-agent'.
2681
2682 SYMBOL can be any Lisp symbol. Its function definition and/or
2683 value as a variable do not matter for this usage; we use only certain
2684 properties on its property list, to encode the rest of the arguments.
2685
2686 COMPOSEFUNC is program callable function that composes an outgoing
2687 mail message buffer. This function should set up the basics of the
2688 buffer without requiring user interaction. It should populate the
2689 standard mail headers, leaving the `to:' and `subject:' headers blank
2690 by default.
2691
2692 COMPOSEFUNC should accept several optional arguments--the same
2693 arguments that `compose-mail' takes. See that function's documentation.
2694
2695 SENDFUNC is the command a user would run to send the message.
2696
2697 Optional ABORTFUNC is the command a user would run to abort the
2698 message. For mail packages that don't have a separate abort function,
2699 this can be `kill-buffer' (the equivalent of omitting this argument).
2700
2701 Optional HOOKVAR is a hook variable that gets run before the message
2702 is actually sent. Callers that use the `mail-user-agent' may
2703 install a hook function temporarily on this hook variable.
2704 If HOOKVAR is nil, `mail-send-hook' is used.
2705
2706 The properties used on SYMBOL are `composefunc', `sendfunc',
2707 `abortfunc', and `hookvar'."
2708 (put symbol 'composefunc composefunc)
2709 (put symbol 'sendfunc sendfunc)
2710 (put symbol 'abortfunc (or abortfunc 'kill-buffer))
2711 (put symbol 'hookvar (or hookvar 'mail-send-hook)))
2712 \f
2713 ;;;; Progress reporters.
2714
2715 ;; Progress reporter has the following structure:
2716 ;;
2717 ;; (NEXT-UPDATE-VALUE . [NEXT-UPDATE-TIME
2718 ;; MIN-VALUE
2719 ;; MAX-VALUE
2720 ;; MESSAGE
2721 ;; MIN-CHANGE
2722 ;; MIN-TIME])
2723 ;;
2724 ;; This weirdeness is for optimization reasons: we want
2725 ;; `progress-reporter-update' to be as fast as possible, so
2726 ;; `(car reporter)' is better than `(aref reporter 0)'.
2727 ;;
2728 ;; NEXT-UPDATE-TIME is a float. While `float-time' loses a couple
2729 ;; digits of precision, it doesn't really matter here. On the other
2730 ;; hand, it greatly simplifies the code.
2731
2732 (defsubst progress-reporter-update (reporter value)
2733 "Report progress of an operation in the echo area.
2734 However, if the change since last echo area update is too small
2735 or not enough time has passed, then do nothing (see
2736 `make-progress-reporter' for details).
2737
2738 First parameter, REPORTER, should be the result of a call to
2739 `make-progress-reporter'. Second, VALUE, determines the actual
2740 progress of operation; it must be between MIN-VALUE and MAX-VALUE
2741 as passed to `make-progress-reporter'.
2742
2743 This function is very inexpensive, you may not bother how often
2744 you call it."
2745 (when (>= value (car reporter))
2746 (progress-reporter-do-update reporter value)))
2747
2748 (defun make-progress-reporter (message min-value max-value
2749 &optional current-value
2750 min-change min-time)
2751 "Return progress reporter object to be used with `progress-reporter-update'.
2752
2753 MESSAGE is shown in the echo area. When at least 1% of operation
2754 is complete, the exact percentage will be appended to the
2755 MESSAGE. When you call `progress-reporter-done', word \"done\"
2756 is printed after the MESSAGE. You can change MESSAGE of an
2757 existing progress reporter with `progress-reporter-force-update'.
2758
2759 MIN-VALUE and MAX-VALUE designate starting (0% complete) and
2760 final (100% complete) states of operation. The latter should be
2761 larger; if this is not the case, then simply negate all values.
2762 Optional CURRENT-VALUE specifies the progress by the moment you
2763 call this function. You should omit it or set it to nil in most
2764 cases since it defaults to MIN-VALUE.
2765
2766 Optional MIN-CHANGE determines the minimal change in percents to
2767 report (default is 1%.) Optional MIN-TIME specifies the minimal
2768 time before echo area updates (default is 0.2 seconds.) If
2769 `float-time' function is not present, then time is not tracked
2770 at all. If OS is not capable of measuring fractions of seconds,
2771 then this parameter is effectively rounded up."
2772
2773 (unless min-time
2774 (setq min-time 0.2))
2775 (let ((reporter
2776 (cons min-value ;; Force a call to `message' now
2777 (vector (if (and (fboundp 'float-time)
2778 (>= min-time 0.02))
2779 (float-time) nil)
2780 min-value
2781 max-value
2782 message
2783 (if min-change (max (min min-change 50) 1) 1)
2784 min-time))))
2785 (progress-reporter-update reporter (or current-value min-value))
2786 reporter))
2787
2788 (defun progress-reporter-force-update (reporter value &optional new-message)
2789 "Report progress of an operation in the echo area unconditionally.
2790
2791 First two parameters are the same as for
2792 `progress-reporter-update'. Optional NEW-MESSAGE allows you to
2793 change the displayed message."
2794 (let ((parameters (cdr reporter)))
2795 (when new-message
2796 (aset parameters 3 new-message))
2797 (when (aref parameters 0)
2798 (aset parameters 0 (float-time)))
2799 (progress-reporter-do-update reporter value)))
2800
2801 (defun progress-reporter-do-update (reporter value)
2802 (let* ((parameters (cdr reporter))
2803 (min-value (aref parameters 1))
2804 (max-value (aref parameters 2))
2805 (one-percent (/ (- max-value min-value) 100.0))
2806 (percentage (if (= max-value min-value)
2807 0
2808 (truncate (/ (- value min-value) one-percent))))
2809 (update-time (aref parameters 0))
2810 (current-time (float-time))
2811 (enough-time-passed
2812 ;; See if enough time has passed since the last update.
2813 (or (not update-time)
2814 (when (>= current-time update-time)
2815 ;; Calculate time for the next update
2816 (aset parameters 0 (+ update-time (aref parameters 5)))))))
2817 ;;
2818 ;; Calculate NEXT-UPDATE-VALUE. If we are not going to print
2819 ;; message this time because not enough time has passed, then use
2820 ;; 1 instead of MIN-CHANGE. This makes delays between echo area
2821 ;; updates closer to MIN-TIME.
2822 (setcar reporter
2823 (min (+ min-value (* (+ percentage
2824 (if enough-time-passed
2825 (aref parameters 4) ;; MIN-CHANGE
2826 1))
2827 one-percent))
2828 max-value))
2829 (when (integerp value)
2830 (setcar reporter (ceiling (car reporter))))
2831 ;;
2832 ;; Only print message if enough time has passed
2833 (when enough-time-passed
2834 (if (> percentage 0)
2835 (message "%s%d%%" (aref parameters 3) percentage)
2836 (message "%s" (aref parameters 3))))))
2837
2838 (defun progress-reporter-done (reporter)
2839 "Print reporter's message followed by word \"done\" in echo area."
2840 (message "%sdone" (aref (cdr reporter) 3)))
2841
2842 (defmacro dotimes-with-progress-reporter (spec message &rest body)
2843 "Loop a certain number of times and report progress in the echo area.
2844 Evaluate BODY with VAR bound to successive integers running from
2845 0, inclusive, to COUNT, exclusive. Then evaluate RESULT to get
2846 the return value (nil if RESULT is omitted).
2847
2848 At each iteration MESSAGE followed by progress percentage is
2849 printed in the echo area. After the loop is finished, MESSAGE
2850 followed by word \"done\" is printed. This macro is a
2851 convenience wrapper around `make-progress-reporter' and friends.
2852
2853 \(fn (VAR COUNT [RESULT]) MESSAGE BODY...)"
2854 (declare (indent 2) (debug ((symbolp form &optional form) form body)))
2855 (let ((temp (make-symbol "--dotimes-temp--"))
2856 (temp2 (make-symbol "--dotimes-temp2--"))
2857 (start 0)
2858 (end (nth 1 spec)))
2859 `(let ((,temp ,end)
2860 (,(car spec) ,start)
2861 (,temp2 (make-progress-reporter ,message ,start ,end)))
2862 (while (< ,(car spec) ,temp)
2863 ,@body
2864 (progress-reporter-update ,temp2
2865 (setq ,(car spec) (1+ ,(car spec)))))
2866 (progress-reporter-done ,temp2)
2867 nil ,@(cdr (cdr spec)))))
2868
2869 \f
2870 ;;;; Comparing version strings.
2871
2872 (defvar version-separator "."
2873 "*Specify the string used to separate the version elements.
2874
2875 Usually the separator is \".\", but it can be any other string.")
2876
2877
2878 (defvar version-regexp-alist
2879 '(("^[-_+]?a\\(lpha\\)?$" . -3)
2880 ("^[-_+]$" . -3) ; treat "1.2.3-20050920" and "1.2-3" as alpha releases
2881 ("^[-_+]cvs$" . -3) ; treat "1.2.3-CVS" as alpha release
2882 ("^[-_+]?b\\(eta\\)?$" . -2)
2883 ("^[-_+]?\\(pre\\|rc\\)$" . -1))
2884 "*Specify association between non-numeric version part and a priority.
2885
2886 This association is used to handle version string like \"1.0pre2\",
2887 \"0.9alpha1\", etc. It's used by `version-to-list' (which see) to convert the
2888 non-numeric part to an integer. For example:
2889
2890 String Version Integer List Version
2891 \"1.0pre2\" (1 0 -1 2)
2892 \"1.0PRE2\" (1 0 -1 2)
2893 \"22.8beta3\" (22 8 -2 3)
2894 \"22.8Beta3\" (22 8 -2 3)
2895 \"0.9alpha1\" (0 9 -3 1)
2896 \"0.9AlphA1\" (0 9 -3 1)
2897 \"0.9alpha\" (0 9 -3)
2898
2899 Each element has the following form:
2900
2901 (REGEXP . PRIORITY)
2902
2903 Where:
2904
2905 REGEXP regexp used to match non-numeric part of a version string.
2906 It should begin with a `^' anchor and end with a `$' to
2907 prevent false hits. Letter-case is ignored while matching
2908 REGEXP.
2909
2910 PRIORITY negative integer which indicate the non-numeric priority.")
2911
2912
2913 (defun version-to-list (ver)
2914 "Convert version string VER into an integer list.
2915
2916 The version syntax is given by the following EBNF:
2917
2918 VERSION ::= NUMBER ( SEPARATOR NUMBER )*.
2919
2920 NUMBER ::= (0|1|2|3|4|5|6|7|8|9)+.
2921
2922 SEPARATOR ::= `version-separator' (which see)
2923 | `version-regexp-alist' (which see).
2924
2925 The NUMBER part is optional if SEPARATOR is a match for an element
2926 in `version-regexp-alist'.
2927
2928 As an example of valid version syntax:
2929
2930 1.0pre2 1.0.7.5 22.8beta3 0.9alpha1 6.9.30Beta
2931
2932 As an example of invalid version syntax:
2933
2934 1.0prepre2 1.0..7.5 22.8X3 alpha3.2 .5
2935
2936 As an example of version convertion:
2937
2938 String Version Integer List Version
2939 \"1.0.7.5\" (1 0 7 5)
2940 \"1.0pre2\" (1 0 -1 2)
2941 \"1.0PRE2\" (1 0 -1 2)
2942 \"22.8beta3\" (22 8 -2 3)
2943 \"22.8Beta3\" (22 8 -2 3)
2944 \"0.9alpha1\" (0 9 -3 1)
2945 \"0.9AlphA1\" (0 9 -3 1)
2946 \"0.9alpha\" (0 9 -3)
2947
2948 See documentation for `version-separator' and `version-regexp-alist'."
2949 (or (and (stringp ver) (not (string= ver "")))
2950 (error "Invalid version string: '%s'" ver))
2951 (save-match-data
2952 (let ((i 0)
2953 (case-fold-search t) ; ignore case in matching
2954 lst s al)
2955 (while (and (setq s (string-match "[0-9]+" ver i))
2956 (= s i))
2957 ;; handle numeric part
2958 (setq lst (cons (string-to-number (substring ver i (match-end 0)))
2959 lst)
2960 i (match-end 0))
2961 ;; handle non-numeric part
2962 (when (and (setq s (string-match "[^0-9]+" ver i))
2963 (= s i))
2964 (setq s (substring ver i (match-end 0))
2965 i (match-end 0))
2966 ;; handle alpha, beta, pre, etc. separator
2967 (unless (string= s version-separator)
2968 (setq al version-regexp-alist)
2969 (while (and al (not (string-match (caar al) s)))
2970 (setq al (cdr al)))
2971 (or al (error "Invalid version syntax: '%s'" ver))
2972 (setq lst (cons (cdar al) lst)))))
2973 (if (null lst)
2974 (error "Invalid version syntax: '%s'" ver)
2975 (nreverse lst)))))
2976
2977
2978 (defun version-list-< (l1 l2)
2979 "Return t if integer list L1 is lesser than L2.
2980
2981 Note that integer list (1) is equal to (1 0), (1 0 0), (1 0 0 0),
2982 etc. That is, the trailing zeroes are irrelevant. Also, integer
2983 list (1) is greater than (1 -1) which is greater than (1 -2)
2984 which is greater than (1 -3)."
2985 (while (and l1 l2 (= (car l1) (car l2)))
2986 (setq l1 (cdr l1)
2987 l2 (cdr l2)))
2988 (cond
2989 ;; l1 not null and l2 not null
2990 ((and l1 l2) (< (car l1) (car l2)))
2991 ;; l1 null and l2 null ==> l1 length = l2 length
2992 ((and (null l1) (null l2)) nil)
2993 ;; l1 not null and l2 null ==> l1 length > l2 length
2994 (l1 (< (version-list-not-zero l1) 0))
2995 ;; l1 null and l2 not null ==> l2 length > l1 length
2996 (t (< 0 (version-list-not-zero l2)))))
2997
2998
2999 (defun version-list-= (l1 l2)
3000 "Return t if integer list L1 is equal to L2.
3001
3002 Note that integer list (1) is equal to (1 0), (1 0 0), (1 0 0 0),
3003 etc. That is, the trailing zeroes are irrelevant. Also, integer
3004 list (1) is greater than (1 -1) which is greater than (1 -2)
3005 which is greater than (1 -3)."
3006 (while (and l1 l2 (= (car l1) (car l2)))
3007 (setq l1 (cdr l1)
3008 l2 (cdr l2)))
3009 (cond
3010 ;; l1 not null and l2 not null
3011 ((and l1 l2) nil)
3012 ;; l1 null and l2 null ==> l1 length = l2 length
3013 ((and (null l1) (null l2)))
3014 ;; l1 not null and l2 null ==> l1 length > l2 length
3015 (l1 (zerop (version-list-not-zero l1)))
3016 ;; l1 null and l2 not null ==> l2 length > l1 length
3017 (t (zerop (version-list-not-zero l2)))))
3018
3019
3020 (defun version-list-<= (l1 l2)
3021 "Return t if integer list L1 is lesser than or equal to L2.
3022
3023 Note that integer list (1) is equal to (1 0), (1 0 0), (1 0 0 0),
3024 etc. That is, the trailing zeroes are irrelevant. Also, integer
3025 list (1) is greater than (1 -1) which is greater than (1 -2)
3026 which is greater than (1 -3)."
3027 (while (and l1 l2 (= (car l1) (car l2)))
3028 (setq l1 (cdr l1)
3029 l2 (cdr l2)))
3030 (cond
3031 ;; l1 not null and l2 not null
3032 ((and l1 l2) (< (car l1) (car l2)))
3033 ;; l1 null and l2 null ==> l1 length = l2 length
3034 ((and (null l1) (null l2)))
3035 ;; l1 not null and l2 null ==> l1 length > l2 length
3036 (l1 (<= (version-list-not-zero l1) 0))
3037 ;; l1 null and l2 not null ==> l2 length > l1 length
3038 (t (<= 0 (version-list-not-zero l2)))))
3039
3040 (defun version-list-not-zero (lst)
3041 "Return the first non-zero element of integer list LST.
3042
3043 If all LST elements are zeroes or LST is nil, return zero."
3044 (while (and lst (zerop (car lst)))
3045 (setq lst (cdr lst)))
3046 (if lst
3047 (car lst)
3048 ;; there is no element different of zero
3049 0))
3050
3051
3052 (defun version< (v1 v2)
3053 "Return t if version V1 is lesser than V2.
3054
3055 Note that version string \"1\" is equal to \"1.0\", \"1.0.0\", \"1.0.0.0\",
3056 etc. That is, the trailing \".0\"s are irrelevant. Also, version string \"1\"
3057 is greater than \"1pre\" which is greater than \"1beta\" which is greater than
3058 \"1alpha\"."
3059 (version-list-< (version-to-list v1) (version-to-list v2)))
3060
3061
3062 (defun version<= (v1 v2)
3063 "Return t if version V1 is lesser than or equal to V2.
3064
3065 Note that version string \"1\" is equal to \"1.0\", \"1.0.0\", \"1.0.0.0\",
3066 etc. That is, the trailing \".0\"s are irrelevant. Also, version string \"1\"
3067 is greater than \"1pre\" which is greater than \"1beta\" which is greater than
3068 \"1alpha\"."
3069 (version-list-<= (version-to-list v1) (version-to-list v2)))
3070
3071 (defun version= (v1 v2)
3072 "Return t if version V1 is equal to V2.
3073
3074 Note that version string \"1\" is equal to \"1.0\", \"1.0.0\", \"1.0.0.0\",
3075 etc. That is, the trailing \".0\"s are irrelevant. Also, version string \"1\"
3076 is greater than \"1pre\" which is greater than \"1beta\" which is greater than
3077 \"1alpha\"."
3078 (version-list-= (version-to-list v1) (version-to-list v2)))
3079
3080
3081
3082 ;; arch-tag: f7e0e6e5-70aa-4897-ae72-7a3511ec40bc
3083 ;;; subr.el ends here