Sync up with r21-4-11-chise-0_21-=gb2312.
[chise/xemacs-chise.git-] / lisp / subr.el
1 ;;; subr.el --- basic lisp subroutines for XEmacs
2
3 ;; Copyright (C) 1985, 1986, 1992, 1994-5, 1997 Free Software Foundation, Inc.
4 ;; Copyright (C) 1995 Tinker Systems and INS Engineering Corp.
5 ;; Copyright (C) 1995 Sun Microsystems.
6 ;; Copyright (C) 2000 Ben Wing.
7
8 ;; Maintainer: XEmacs Development Team
9 ;; Keywords: extensions, dumped
10
11 ;; This file is part of XEmacs.
12
13 ;; XEmacs is free software; you can redistribute it and/or modify it
14 ;; under the terms of the GNU General Public License as published by
15 ;; the Free Software Foundation; either version 2, or (at your option)
16 ;; any later version.
17
18 ;; XEmacs is distributed in the hope that it will be useful, but
19 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
21 ;; General Public License for more details.
22
23 ;; You should have received a copy of the GNU General Public License
24 ;; along with XEmacs; see the file COPYING.  If not, write to the Free
25 ;; Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
26 ;; 02111-1307, USA.
27
28 ;;; Synched up with: FSF 19.34.
29
30 ;;; Commentary:
31
32 ;; This file is dumped with XEmacs.
33
34 ;; There's not a whole lot in common now with the FSF version,
35 ;; be wary when applying differences.  I've left in a number of lines
36 ;; of commentary just to give diff(1) something to synch itself with to
37 ;; provide useful context diffs. -sb
38
39 ;;; Code:
40
41 \f
42 ;;;; Lisp language features.
43
44 (defmacro lambda (&rest cdr)
45   "Return a lambda expression.
46 A call of the form (lambda ARGS DOCSTRING INTERACTIVE BODY) is
47 self-quoting; the result of evaluating the lambda expression is the
48 expression itself.  The lambda expression may then be treated as a
49 function, i.e., stored as the function value of a symbol, passed to
50 funcall or mapcar, etc.
51
52 ARGS should take the same form as an argument list for a `defun'.
53 DOCSTRING is an optional documentation string.
54  If present, it should describe how to call the function.
55  But documentation strings are usually not useful in nameless functions.
56 INTERACTIVE should be a call to the function `interactive', which see.
57 It may also be omitted.
58 BODY should be a list of lisp expressions."
59   `(function (lambda ,@cdr)))
60
61 (defmacro defun-when-void (&rest args)
62   "Define a function, just like `defun', unless it's already defined.
63 Used for compatibility among different emacs variants."
64   `(if (fboundp ',(car args))
65        nil
66      (defun ,@args)))
67
68 (defmacro define-function-when-void (&rest args)
69   "Define a function, just like `define-function', unless it's already defined.
70 Used for compatibility among different emacs variants."
71   `(if (fboundp ,(car args))
72        nil
73      (define-function ,@args)))
74
75 \f
76 ;;;; Keymap support.
77 ;; XEmacs: removed to keymap.el
78
79 ;;;; The global keymap tree.
80
81 ;;; global-map, esc-map, and ctl-x-map have their values set up in
82 ;;; keymap.c; we just give them docstrings here.
83
84 ;;;; Event manipulation functions.
85
86 ;; XEmacs: This stuff is done in C Code.
87
88 ;;;; Obsolescent names for functions.
89 ;; XEmacs: not used.
90
91 ;; XEmacs:
92 (defun local-variable-if-set-p (sym buffer)
93   "Return t if SYM would be local to BUFFER after it is set.
94 A nil value for BUFFER is *not* the same as (current-buffer), but
95 can be used to determine whether `make-variable-buffer-local' has been
96 called on SYM."
97   (local-variable-p sym buffer t))
98
99 \f
100 ;;;; Hook manipulation functions.
101
102 ;; (defconst run-hooks 'run-hooks ...)
103
104 (defun make-local-hook (hook)
105   "Make the hook HOOK local to the current buffer.
106 When a hook is local, its local and global values
107 work in concert: running the hook actually runs all the hook
108 functions listed in *either* the local value *or* the global value
109 of the hook variable.
110
111 This function works by making `t' a member of the buffer-local value,
112 which acts as a flag to run the hook functions in the default value as
113 well.  This works for all normal hooks, but does not work for most
114 non-normal hooks yet.  We will be changing the callers of non-normal
115 hooks so that they can handle localness; this has to be done one by
116 one.
117
118 This function does nothing if HOOK is already local in the current
119 buffer.
120
121 Do not use `make-local-variable' to make a hook variable buffer-local.
122
123 See also `add-local-hook' and `remove-local-hook'."
124   (if (local-variable-p hook (current-buffer)) ; XEmacs
125       nil
126     (or (boundp hook) (set hook nil))
127     (make-local-variable hook)
128     (set hook (list t))))
129
130 (defun add-hook (hook function &optional append local)
131   "Add to the value of HOOK the function FUNCTION.
132 FUNCTION is not added if already present.
133 FUNCTION is added (if necessary) at the beginning of the hook list
134 unless the optional argument APPEND is non-nil, in which case
135 FUNCTION is added at the end.
136
137 The optional fourth argument, LOCAL, if non-nil, says to modify
138 the hook's buffer-local value rather than its default value.
139 This makes no difference if the hook is not buffer-local.
140 To make a hook variable buffer-local, always use
141 `make-local-hook', not `make-local-variable'.
142
143 HOOK should be a symbol, and FUNCTION may be any valid function.  If
144 HOOK is void, it is first set to nil.  If HOOK's value is a single
145 function, it is changed to a list of functions.
146
147 You can remove this hook yourself using `remove-hook'.
148
149 See also `add-local-hook' and `add-one-shot-hook'."
150   (or (boundp hook) (set hook nil))
151   (or (default-boundp hook) (set-default hook nil))
152   ;; If the hook value is a single function, turn it into a list.
153   (let ((old (symbol-value hook)))
154     (if (or (not (listp old)) (eq (car old) 'lambda))
155         (set hook (list old))))
156   (if (or local
157           ;; Detect the case where make-local-variable was used on a hook
158           ;; and do what we used to do.
159           (and (local-variable-if-set-p hook (current-buffer)) ; XEmacs
160                (not (memq t (symbol-value hook)))))
161       ;; Alter the local value only.
162       (or (if (consp function)
163               (member function (symbol-value hook))
164             (memq function (symbol-value hook)))
165           (set hook
166                (if append
167                    (append (symbol-value hook) (list function))
168                  (cons function (symbol-value hook)))))
169     ;; Alter the global value (which is also the only value,
170     ;; if the hook doesn't have a local value).
171     (or (if (consp function)
172             (member function (default-value hook))
173           (memq function (default-value hook)))
174         (set-default hook
175                      (if append
176                          (append (default-value hook) (list function))
177                        (cons function (default-value hook)))))))
178
179 (defun remove-hook (hook function &optional local)
180   "Remove from the value of HOOK the function FUNCTION.
181 HOOK should be a symbol, and FUNCTION may be any valid function.  If
182 FUNCTION isn't the value of HOOK, or, if FUNCTION doesn't appear in the
183 list of hooks to run in HOOK, then nothing is done.  See `add-hook'.
184
185 The optional third argument, LOCAL, if non-nil, says to modify
186 the hook's buffer-local value rather than its default value.
187 This makes no difference if the hook is not buffer-local.
188 To make a hook variable buffer-local, always use
189 `make-local-hook', not `make-local-variable'."
190   (if (or (not (boundp hook))           ;unbound symbol, or
191           (not (default-boundp 'hook))
192           (null (symbol-value hook))    ;value is nil, or
193           (null function))              ;function is nil, then
194       nil                               ;Do nothing.
195     (flet ((hook-remove
196             (function hook-value)
197             (flet ((hook-test
198                     (fn hel)
199                     (or (equal fn hel)
200                         (and (symbolp hel)
201                              (equal fn
202                                     (get hel 'one-shot-hook-fun))))))
203               (if (and (consp hook-value)
204                        (not (functionp hook-value)))
205                   (if (member* function hook-value :test 'hook-test)
206                       (setq hook-value
207                             (delete* function (copy-sequence hook-value)
208                                      :test 'hook-test)))
209                 (if (equal hook-value function)
210                     (setq hook-value nil)))
211               hook-value)))
212       (if (or local
213               ;; Detect the case where make-local-variable was used on a hook
214               ;; and do what we used to do.
215               (and (local-variable-p hook (current-buffer))
216                    (not (memq t (symbol-value hook)))))
217           (set hook (hook-remove function (symbol-value hook)))
218         (set-default hook (hook-remove function (default-value hook)))))))
219
220 ;; XEmacs addition
221 ;; #### we need a coherent scheme for indicating compatibility info,
222 ;; so that it can be programmatically retrieved.
223 (defun add-local-hook (hook function &optional append)
224   "Add to the local value of HOOK the function FUNCTION.
225 This modifies only the buffer-local value for the hook (which is
226 automatically make buffer-local, if necessary), not its default value.
227 FUNCTION is not added if already present.
228 FUNCTION is added (if necessary) at the beginning of the hook list
229 unless the optional argument APPEND is non-nil, in which case
230 FUNCTION is added at the end.
231
232 HOOK should be a symbol, and FUNCTION may be any valid function.  If
233 HOOK is void, it is first set to nil.  If HOOK's value is a single
234 function, it is changed to a list of functions.
235
236 You can remove this hook yourself using `remove-local-hook'.
237
238 See also `add-hook' and `make-local-hook'."
239   (make-local-hook hook)
240   (add-hook hook function append t))
241
242 ;; XEmacs addition
243 (defun remove-local-hook (hook function)
244   "Remove from the local value of HOOK the function FUNCTION.
245 This modifies only the buffer-local value for the hook, not its default
246 value. (Nothing happens if the hook is not buffer-local.)
247 HOOK should be a symbol, and FUNCTION may be any valid function.  If
248 FUNCTION isn't the value of HOOK, or, if FUNCTION doesn't appear in the
249 list of hooks to run in HOOK, then nothing is done.  See `add-hook'.
250
251 See also `add-local-hook' and `make-local-hook'."
252   (if (local-variable-p hook (current-buffer))
253       (remove-hook hook function t)))
254
255 (defun add-one-shot-hook (hook function &optional append local)
256   "Add to the value of HOOK the one-shot function FUNCTION.
257 FUNCTION will automatically be removed from the hook the first time
258 after it runs (whether to completion or to an error).
259 FUNCTION is not added if already present.
260 FUNCTION is added (if necessary) at the beginning of the hook list
261 unless the optional argument APPEND is non-nil, in which case
262 FUNCTION is added at the end.
263
264 HOOK should be a symbol, and FUNCTION may be any valid function.  If
265 HOOK is void, it is first set to nil.  If HOOK's value is a single
266 function, it is changed to a list of functions.
267
268 You can remove this hook yourself using `remove-hook'.
269
270 See also `add-hook', `add-local-hook', and `add-local-one-shot-hook'."
271   (let ((sym (gensym)))
272     (fset sym `(lambda (&rest args)
273                  (unwind-protect
274                      (apply ',function args)
275                    (remove-hook ',hook ',sym ',local))))
276     (put sym 'one-shot-hook-fun function)
277     (add-hook hook sym append local)))
278
279 (defun add-local-one-shot-hook (hook function &optional append)
280   "Add to the local value of HOOK the one-shot function FUNCTION.
281 FUNCTION will automatically be removed from the hook the first time
282 after it runs (whether to completion or to an error).
283 FUNCTION is not added if already present.
284 FUNCTION is added (if necessary) at the beginning of the hook list
285 unless the optional argument APPEND is non-nil, in which case
286 FUNCTION is added at the end.
287
288 The optional fourth argument, LOCAL, if non-nil, says to modify
289 the hook's buffer-local value rather than its default value.
290 This makes no difference if the hook is not buffer-local.
291 To make a hook variable buffer-local, always use
292 `make-local-hook', not `make-local-variable'.
293
294 HOOK should be a symbol, and FUNCTION may be any valid function.  If
295 HOOK is void, it is first set to nil.  If HOOK's value is a single
296 function, it is changed to a list of functions.
297
298 You can remove this hook yourself using `remove-local-hook'.
299
300 See also `add-hook', `add-local-hook', and `add-local-one-shot-hook'."
301   (make-local-hook hook)
302   (add-one-shot-hook hook function append t))
303
304 (defun add-to-list (list-var element)
305   "Add to the value of LIST-VAR the element ELEMENT if it isn't there yet.
306 The test for presence of ELEMENT is done with `equal'.
307 If you want to use `add-to-list' on a variable that is not defined
308 until a certain package is loaded, you should put the call to `add-to-list'
309 into a hook function that will be run only after loading the package.
310 `eval-after-load' provides one way to do this.  In some cases
311 other hooks, such as major mode hooks, can do the job."
312   (or (member element (symbol-value list-var))
313       (set list-var (cons element (symbol-value list-var)))))
314
315 ;; XEmacs additions
316 ;; called by Fkill_buffer()
317 (defvar kill-buffer-hook nil
318   "Function or functions to be called when a buffer is killed.
319 The value of this variable may be buffer-local.
320 The buffer about to be killed is current when this hook is run.")
321
322 ;; in C in FSFmacs
323 (defvar kill-emacs-hook nil
324   "Function or functions to be called when `kill-emacs' is called,
325 just before emacs is actually killed.")
326
327 ;; not obsolete.
328 ;; #### These are a bad idea, because the CL RPLACA and RPLACD
329 ;; return the cons cell, not the new CAR/CDR.         -hniksic
330 ;; The proper definition would be:
331 ;; (defun rplaca (conscell newcar)
332 ;;   (setcar conscell newcar)
333 ;;   conscell)
334 ;; ...and analogously for RPLACD.
335 (define-function 'rplaca 'setcar)
336 (define-function 'rplacd 'setcdr)
337
338 (defun copy-symbol (symbol &optional copy-properties)
339   "Return a new uninterned symbol with the same name as SYMBOL.
340 If COPY-PROPERTIES is non-nil, the new symbol will have a copy of
341 SYMBOL's value, function, and property lists."
342   (let ((new (make-symbol (symbol-name symbol))))
343     (when copy-properties
344       ;; This will not copy SYMBOL's chain of forwarding objects, but
345       ;; I think that's OK.  Callers should not expect such magic to
346       ;; keep working in the copy in the first place.
347       (and (boundp symbol)
348            (set new (symbol-value symbol)))
349       (and (fboundp symbol)
350            (fset new (symbol-function symbol)))
351       (setplist new (copy-list (symbol-plist symbol))))
352     new))
353
354 (defun set-symbol-value-in-buffer (sym val buffer)
355   "Set the value of SYM to VAL in BUFFER.  Useful with buffer-local variables.
356 If SYM has a buffer-local value in BUFFER, or will have one if set, this
357 function allows you to set the local value.
358
359 NOTE: At some point, this will be moved into C and will be very fast."
360   (with-current-buffer buffer
361     (set sym val)))
362
363 ;;;; String functions.
364
365 ;; XEmacs
366 (defun replace-in-string (str regexp newtext &optional literal)
367   "Replace all matches in STR for REGEXP with NEWTEXT string,
368  and returns the new string.
369 Optional LITERAL non-nil means do a literal replacement.
370 Otherwise treat `\\' in NEWTEXT as special:
371   `\\&' in NEWTEXT means substitute original matched text.
372   `\\N' means substitute what matched the Nth `\\(...\\)'.
373        If Nth parens didn't match, substitute nothing.
374   `\\\\' means insert one `\\'.
375   `\\u' means upcase the next character.
376   `\\l' means downcase the next character.
377   `\\U' means begin upcasing all following characters.
378   `\\L' means begin downcasing all following characters.
379   `\\E' means terminate the effect of any `\\U' or `\\L'."
380   (check-argument-type 'stringp str)
381   (check-argument-type 'stringp newtext)
382   (if (> (length str) 50)
383       (with-temp-buffer
384         (insert str)
385         (goto-char 1)
386           (while (re-search-forward regexp nil t)
387             (replace-match newtext t literal))
388           (buffer-string))
389   (let ((start 0) newstr)
390     (while (string-match regexp str start)
391       (setq newstr (replace-match newtext t literal str)
392             start (+ (match-end 0) (- (length newstr) (length str)))
393             str newstr))
394     str)))
395
396 (defun split-string (string &optional pattern)
397   "Return a list of substrings of STRING which are separated by PATTERN.
398 If PATTERN is omitted, it defaults to \"[ \\f\\t\\n\\r\\v]+\"."
399   (or pattern
400       (setq pattern "[ \f\t\n\r\v]+"))
401   (let (parts (start 0) (len (length string)))
402     (if (string-match pattern string)
403         (setq parts (cons (substring string 0 (match-beginning 0)) parts)
404               start (match-end 0)))
405     (while (and (< start len)
406                 (string-match pattern string (if (> start (match-beginning 0))
407                                                  start
408                                                (1+ start))))
409       (setq parts (cons (substring string start (match-beginning 0)) parts)
410             start (match-end 0)))
411     (nreverse (cons (substring string start) parts))))
412
413 ;; #### #### #### AAaargh!  Must be in C, because it is used insanely
414 ;; early in the bootstrap process.
415 ;(defun split-path (path)
416 ;  "Explode a search path into a list of strings.
417 ;The path components are separated with the characters specified
418 ;with `path-separator'."
419 ;  (while (or (not stringp path-separator)
420 ;            (/= (length path-separator) 1))
421 ;    (setq path-separator (signal 'error (list "\
422 ;`path-separator' should be set to a single-character string"
423 ;                                             path-separator))))
424 ;  (split-string-by-char path (aref separator 0)))
425
426 (defmacro with-output-to-string (&rest forms)
427   "Collect output to `standard-output' while evaluating FORMS and return
428 it as a string."
429   ;; by "William G. Dubuque" <wgd@zurich.ai.mit.edu> w/ mods from Stig
430   `(with-current-buffer (get-buffer-create
431                          (generate-new-buffer-name " *string-output*"))
432      (setq buffer-read-only nil)
433      (buffer-disable-undo (current-buffer))
434      (erase-buffer)
435      (let ((standard-output (current-buffer)))
436        ,@forms)
437      (prog1
438          (buffer-string)
439        (erase-buffer))))
440
441 (defmacro with-current-buffer (buffer &rest body)
442   "Temporarily make BUFFER the current buffer and execute the forms in BODY.
443 The value returned is the value of the last form in BODY.
444 See also `with-temp-buffer'."
445   `(save-current-buffer
446     (set-buffer ,buffer)
447     ,@body))
448
449 (defmacro with-temp-file (filename &rest forms)
450   "Create a new buffer, evaluate FORMS there, and write the buffer to FILENAME.
451 The value of the last form in FORMS is returned, like `progn'.
452 See also `with-temp-buffer'."
453   (let ((temp-file (make-symbol "temp-file"))
454         (temp-buffer (make-symbol "temp-buffer")))
455     `(let ((,temp-file ,filename)
456            (,temp-buffer
457             (get-buffer-create (generate-new-buffer-name " *temp file*"))))
458        (unwind-protect
459            (prog1
460                (with-current-buffer ,temp-buffer
461                  ,@forms)
462              (with-current-buffer ,temp-buffer
463                (widen)
464                (write-region (point-min) (point-max) ,temp-file nil 0)))
465          (and (buffer-name ,temp-buffer)
466               (kill-buffer ,temp-buffer))))))
467
468 (defmacro with-temp-buffer (&rest forms)
469   "Create a temporary buffer, and evaluate FORMS there like `progn'.
470 See also `with-temp-file' and `with-output-to-string'."
471   (let ((temp-buffer (make-symbol "temp-buffer")))
472     `(let ((,temp-buffer
473             (get-buffer-create (generate-new-buffer-name " *temp*"))))
474        (unwind-protect
475            (with-current-buffer ,temp-buffer
476              ,@forms)
477          (and (buffer-name ,temp-buffer)
478               (kill-buffer ,temp-buffer))))))
479
480 ;; Moved from mule-coding.el.
481 (defmacro with-string-as-buffer-contents (str &rest body)
482   "With the contents of the current buffer being STR, run BODY.
483 Returns the new contents of the buffer, as modified by BODY.
484 The original current buffer is restored afterwards."
485   `(with-temp-buffer
486      (insert ,str)
487      ,@body
488      (buffer-string)))
489
490 (defun insert-face (string face)
491   "Insert STRING and highlight with FACE.  Return the extent created."
492   (let ((p (point)) ext)
493     (insert string)
494     (setq ext (make-extent p (point)))
495     (set-extent-face ext face)
496     ext))
497
498 ;; not obsolete.
499 (define-function 'string= 'string-equal)
500 (define-function 'string< 'string-lessp)
501 (define-function 'int-to-string 'number-to-string)
502 (define-function 'string-to-int 'string-to-number)
503
504 ;; These two names are a bit awkward, as they conflict with the normal
505 ;; foo-to-bar naming scheme, but CLtL2 has them, so they stay.
506 (define-function 'char-int 'char-to-int)
507 (define-function 'int-char 'int-to-char)
508
509 \f
510 ;; alist/plist functions
511 (defun plist-to-alist (plist)
512   "Convert property list PLIST into the equivalent association-list form.
513 The alist is returned.  This converts from
514
515 \(a 1 b 2 c 3)
516
517 into
518
519 \((a . 1) (b . 2) (c . 3))
520
521 The original plist is not modified.  See also `destructive-plist-to-alist'."
522   (let (alist)
523     (while plist
524       (setq alist (cons (cons (car plist) (cadr plist)) alist))
525       (setq plist (cddr plist)))
526     (nreverse alist)))
527
528 (defun destructive-plist-to-alist (plist)
529   "Convert property list PLIST into the equivalent association-list form.
530 The alist is returned.  This converts from
531
532 \(a 1 b 2 c 3)
533
534 into
535
536 \((a . 1) (b . 2) (c . 3))
537
538 The original plist is destroyed in the process of constructing the alist.
539 See also `plist-to-alist'."
540   (let ((head plist)
541         next)
542     (while plist
543       ;; remember the next plist pair.
544       (setq next (cddr plist))
545       ;; make the cons holding the property value into the alist element.
546       (setcdr (cdr plist) (cadr plist))
547       (setcar (cdr plist) (car plist))
548       ;; reattach into alist form.
549       (setcar plist (cdr plist))
550       (setcdr plist next)
551       (setq plist next))
552     head))
553
554 (defun alist-to-plist (alist)
555   "Convert association list ALIST into the equivalent property-list form.
556 The plist is returned.  This converts from
557
558 \((a . 1) (b . 2) (c . 3))
559
560 into
561
562 \(a 1 b 2 c 3)
563
564 The original alist is not modified.  See also `destructive-alist-to-plist'."
565   (let (plist)
566     (while alist
567       (let ((el (car alist)))
568         (setq plist (cons (cdr el) (cons (car el) plist))))
569       (setq alist (cdr alist)))
570     (nreverse plist)))
571
572 ;; getf, remf in cl*.el.
573
574 (defmacro putf (plist property value)
575   "Add property PROPERTY to plist PLIST with value VALUE.
576 Analogous to (setq PLIST (plist-put PLIST PROPERTY VALUE))."
577   `(setq ,plist (plist-put ,plist ,property ,value)))
578
579 (defmacro laxputf (lax-plist property value)
580   "Add property PROPERTY to lax plist LAX-PLIST with value VALUE.
581 Analogous to (setq LAX-PLIST (lax-plist-put LAX-PLIST PROPERTY VALUE))."
582   `(setq ,lax-plist (lax-plist-put ,lax-plist ,property ,value)))
583
584 (defmacro laxremf (lax-plist property)
585   "Remove property PROPERTY from lax plist LAX-PLIST.
586 Analogous to (setq LAX-PLIST (lax-plist-remprop LAX-PLIST PROPERTY))."
587   `(setq ,lax-plist (lax-plist-remprop ,lax-plist ,property)))
588 \f
589 ;;; Error functions
590
591 (defun error (datum &rest args)
592   "Signal a non-continuable error.
593 DATUM should normally be an error symbol, i.e. a symbol defined using
594 `define-error'.  ARGS will be made into a list, and DATUM and ARGS passed
595 as the two arguments to `signal', the most basic error handling function.
596
597 This error is not continuable: you cannot continue execution after the
598 error using the debugger `r' command.  See also `cerror'.
599
600 The correct semantics of ARGS varies from error to error, but for most
601 errors that need to be generated in Lisp code, the first argument
602 should be a string describing the *context* of the error (i.e. the
603 exact operation being performed and what went wrong), and the remaining
604 arguments or \"frobs\" (most often, there is one) specify the
605 offending object(s) and/or provide additional details such as the exact
606 error when a file error occurred, e.g.:
607
608 -- the buffer in which an editing error occurred.
609 -- an invalid value that was encountered. (In such cases, the string
610    should describe the purpose or \"semantics\" of the value [e.g. if the
611    value is an argument to a function, the name of the argument; if the value
612    is the value corresponding to a keyword, the name of the keyword; if the
613    value is supposed to be a list length, say this and say what the purpose
614    of the list is; etc.] as well as specifying why the value is invalid, if
615    that's not self-evident.)
616 -- the file in which an error occurred. (In such cases, there should be a
617    second frob, probably a string, specifying the exact error that occurred.
618    This does not occur in the string that precedes the first frob, because
619    that frob describes the exact operation that was happening.
620
621 For historical compatibility, DATUM can also be a string.  In this case,
622 DATUM and ARGS are passed together as the arguments to `format', and then
623 an error is signalled using the error symbol `error' and formatted string.
624 Although this usage of `error' is very common, it is deprecated because it
625 totally defeats the purpose of having structured errors.  There is now
626 a rich set of defined errors you can use:
627
628 error
629   syntax-error
630     invalid-read-syntax
631     list-formation-error
632       malformed-list
633         malformed-property-list
634       circular-list
635         circular-property-list
636
637   invalid-argument
638     wrong-type-argument
639     args-out-of-range
640     wrong-number-of-arguments
641     invalid-function
642     no-catch
643
644   invalid-state
645     void-function
646     cyclic-function-indirection
647     void-variable
648     cyclic-variable-indirection
649
650   invalid-operation
651     invalid-change
652       setting-constant
653     editing-error
654       beginning-of-buffer
655       end-of-buffer
656       buffer-read-only
657     io-error
658       end-of-file
659     arith-error
660       range-error
661       domain-error
662       singularity-error
663       overflow-error
664       underflow-error
665
666 The five most common errors you will probably use or base your new
667 errors off of are `syntax-error', `invalid-argument', `invalid-state',
668 `invalid-operation', and `invalid-change'.  Note the semantic differences:
669
670 -- `syntax-error' is for errors in complex structures: parsed strings, lists,
671    and the like.
672 -- `invalid-argument' is for errors in a simple value.  Typically, the entire
673    value, not just one part of it, is wrong.
674 -- `invalid-state' means that some settings have been changed in such a way
675    that their current state is unallowable.  More and more, code is being
676    written more carefully, and catches the error when the settings are being
677    changed, rather than afterwards.  This leads us to the next error:
678 -- `invalid-change' means that an attempt is being made to change some settings
679    into an invalid state.  `invalid-change' is a type of `invalid-operation'.
680 -- `invalid-operation' refers to all cases where code is trying to do something
681    that's disallowed.  This includes file errors, buffer errors (e.g. running
682    off the end of a buffer), `invalid-change' as just mentioned, and
683    arithmetic errors.
684
685 See also `cerror', `signal', and `signal-error'."
686   (while t (apply
687             'cerror datum args)))
688
689 (defun cerror (datum &rest args)
690   "Like `error' but signals a continuable error."
691   (cond ((stringp datum)
692          (signal 'error (list (apply 'format datum args))))
693         ((defined-error-p datum)
694          (signal datum args))
695         (t
696          (error 'invalid-argument "datum not string or error symbol" datum))))
697
698 (defmacro check-argument-type (predicate argument)
699   "Check that ARGUMENT satisfies PREDICATE.
700 This is a macro, and ARGUMENT is not evaluated.  If ARGUMENT is an lvalue,
701 this function signals a continuable `wrong-type-argument' error until the
702 returned value satisfies PREDICATE, and assigns the returned value
703 to ARGUMENT.  Otherwise, this function signals a non-continuable
704 `wrong-type-argument' error if the returned value does not satisfy PREDICATE."
705   (if (symbolp argument)
706       `(if (not (,(eval predicate) ,argument))
707            (setq ,argument
708                  (wrong-type-argument ,predicate ,argument)))
709     `(if (not (,(eval predicate) ,argument))
710          (signal-error 'wrong-type-argument (list ,predicate ,argument)))))
711
712 (defun signal-error (error-symbol data)
713   "Signal a non-continuable error.  Args are ERROR-SYMBOL, and associated DATA.
714 An error symbol is a symbol defined using `define-error'.
715 DATA should be a list.  Its elements are printed as part of the error message.
716 If the signal is handled, DATA is made available to the handler.
717 See also `signal', and the functions to handle errors: `condition-case'
718 and `call-with-condition-handler'."
719   (while t
720     (signal error-symbol data)))
721
722 (defun define-error (error-sym doc-string &optional inherits-from)
723   "Define a new error, denoted by ERROR-SYM.
724 DOC-STRING is an informative message explaining the error, and will be
725 printed out when an unhandled error occurs.
726 ERROR-SYM is a sub-error of INHERITS-FROM (which defaults to `error').
727
728 \[`define-error' internally works by putting on ERROR-SYM an `error-message'
729 property whose value is DOC-STRING, and an `error-conditions' property
730 that is a list of ERROR-SYM followed by each of its super-errors, up
731 to and including `error'.  You will sometimes see code that sets this up
732 directly rather than calling `define-error', but you should *not* do this
733 yourself.]"
734   (check-argument-type 'symbolp error-sym)
735   (check-argument-type 'stringp doc-string)
736   (put error-sym 'error-message doc-string)
737   (or inherits-from (setq inherits-from 'error))
738   (let ((conds (get inherits-from 'error-conditions)))
739     (or conds (signal-error 'error (list "Not an error symbol" error-sym)))
740     (put error-sym 'error-conditions (cons error-sym conds))))
741
742 (defun defined-error-p (sym)
743   "Returns non-nil if SYM names a currently-defined error."
744   (and (symbolp sym) (not (null (get sym 'error-conditions)))))
745
746 ;;;; Miscellanea.
747
748 ;; This is now in C.
749 ;(defun buffer-substring-no-properties (start end)
750 ;  "Return the text from START to END, without text properties, as a string."
751 ;  (let ((string (buffer-substring start end)))
752 ;    (set-text-properties 0 (length string) nil string)
753 ;    string))
754
755 (defun get-buffer-window-list (&optional buffer minibuf frame)
756   "Return windows currently displaying BUFFER, or nil if none.
757 BUFFER defaults to the current buffer.
758 See `walk-windows' for the meaning of MINIBUF and FRAME."
759   (cond ((null buffer)
760          (setq buffer (current-buffer)))
761         ((not (bufferp buffer))
762          (setq buffer (get-buffer buffer))))
763   (let (windows)
764     (walk-windows (lambda (window)
765                     (if (eq (window-buffer window) buffer)
766                         (push window windows)))
767                   minibuf frame)
768     windows))
769
770 (defun ignore (&rest ignore)
771   "Do nothing and return nil.
772 This function accepts any number of arguments, but ignores them."
773   (interactive)
774   nil)
775
776 (define-function 'eval-in-buffer 'with-current-buffer)
777 (make-obsolete 'eval-in-buffer 'with-current-buffer)
778
779 ;;; The real defn is in abbrev.el but some early callers
780 ;;;  (eg lisp-mode-abbrev-table) want this before abbrev.el is loaded...
781
782 (if (not (fboundp 'define-abbrev-table))
783     (progn
784       (setq abbrev-table-name-list '())
785       (fset 'define-abbrev-table (function (lambda (name defs)
786                                    ;; These are fixed-up when abbrev.el loads.
787                                    (setq abbrev-table-name-list
788                                          (cons (cons name defs)
789                                                abbrev-table-name-list)))))))
790
791 ;;; `functionp' has been moved into C.
792
793 ;;(defun functionp (object)
794 ;;  "Non-nil if OBJECT can be called as a function."
795 ;;  (or (and (symbolp object) (fboundp object))
796 ;;      (subrp object)
797 ;;      (compiled-function-p object)
798 ;;      (eq (car-safe object) 'lambda)))
799
800
801
802 (defun function-interactive (function)
803   "Return the interactive specification of FUNCTION.
804 FUNCTION can be any funcallable object.
805 The specification will be returned as the list of the symbol `interactive'
806  and the specs.
807 If FUNCTION is not interactive, nil will be returned."
808   (setq function (indirect-function function))
809   (cond ((compiled-function-p function)
810          (compiled-function-interactive function))
811         ((subrp function)
812          (subr-interactive function))
813         ((eq (car-safe function) 'lambda)
814          (let ((spec (if (stringp (nth 2 function))
815                          (nth 3 function)
816                        (nth 2 function))))
817            (and (eq (car-safe spec) 'interactive)
818                 spec)))
819         (t
820          (error "Non-funcallable object: %s" function))))
821
822 (defun function-allows-args (function n)
823   "Return whether FUNCTION can be called with N arguments."
824   (and (<= (function-min-args function) n)
825        (or (null (function-max-args function))
826            (<= n (function-max-args function)))))
827
828 ;; This function used to be an alias to `buffer-substring', except
829 ;; that FSF Emacs 20.4 added a BUFFER argument in an incompatible way.
830 ;; The new FSF's semantics makes more sense, but we try to support
831 ;; both for backward compatibility.
832 (defun buffer-string (&optional buffer old-end old-buffer)
833   "Return the contents of the current buffer as a string.
834 If narrowing is in effect, this function returns only the visible part
835 of the buffer.
836
837 If BUFFER is specified, the contents of that buffer are returned.
838
839 The arguments OLD-END and OLD-BUFFER are supported for backward
840 compatibility with pre-21.2 XEmacsen times when arguments to this
841 function were (buffer-string &optional START END BUFFER)."
842   (cond
843    ((or (stringp buffer) (bufferp buffer))
844     ;; Most definitely the new way.
845     (buffer-substring nil nil buffer))
846    ((or (stringp old-buffer) (bufferp old-buffer)
847         (natnump buffer) (natnump old-end))
848     ;; Definitely the old way.
849     (buffer-substring buffer old-end old-buffer))
850    (t
851     ;; Probably the old way.
852     (buffer-substring buffer old-end old-buffer))))
853
854 ;; This was not present before.  I think Jamie had some objections
855 ;; to this, so I'm leaving this undefined for now. --ben
856
857 ;;; The objection is this: there is more than one way to load the same file.
858 ;;; "foo", "foo.elc", "foo.el", and "/some/path/foo.elc" are all different
859 ;;; ways to load the exact same code.  `eval-after-load' is too stupid to
860 ;;; deal with this sort of thing.  If this sort of feature is desired, then
861 ;;; it should work off of a hook on `provide'.  Features are unique and
862 ;;; the arguments to (load) are not.  --Stig
863
864 ;; We provide this for FSFmacs compatibility, at least until we devise
865 ;; something better.
866
867 ;;;; Specifying things to do after certain files are loaded.
868
869 (defun eval-after-load (file form)
870   "Arrange that, if FILE is ever loaded, FORM will be run at that time.
871 This makes or adds to an entry on `after-load-alist'.
872 If FILE is already loaded, evaluate FORM right now.
873 It does nothing if FORM is already on the list for FILE.
874 FILE should be the name of a library, with no directory name."
875   ;; Make sure there is an element for FILE.
876   (or (assoc file after-load-alist)
877       (setq after-load-alist (cons (list file) after-load-alist)))
878   ;; Add FORM to the element if it isn't there.
879   (let ((elt (assoc file after-load-alist)))
880     (or (member form (cdr elt))
881         (progn
882           (nconc elt (list form))
883           ;; If the file has been loaded already, run FORM right away.
884           (and (assoc file load-history)
885                (eval form)))))
886   form)
887 (make-compatible 'eval-after-load "")
888
889 (defun eval-next-after-load (file)
890   "Read the following input sexp, and run it whenever FILE is loaded.
891 This makes or adds to an entry on `after-load-alist'.
892 FILE should be the name of a library, with no directory name."
893   (eval-after-load file (read)))
894 (make-compatible 'eval-next-after-load "")
895
896 ; alternate names (not obsolete)
897 (if (not (fboundp 'mod)) (define-function 'mod '%))
898 (define-function 'move-marker 'set-marker)
899 (define-function 'beep 'ding)  ; preserve lingual purity
900 (define-function 'indent-to-column 'indent-to)
901 (define-function 'backward-delete-char 'delete-backward-char)
902 (define-function 'search-forward-regexp (symbol-function 're-search-forward))
903 (define-function 'search-backward-regexp (symbol-function 're-search-backward))
904 (define-function 'remove-directory 'delete-directory)
905 (define-function 'set-match-data 'store-match-data)
906 (define-function 'send-string-to-terminal 'external-debugging-output)
907
908 ;;; subr.el ends here