(JSP-4F63): Add JU+7852.
[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 &optional append)
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 ELEMENT is added, it is added at the beginning of the list,
308 unless the optional argument APPEND is non-nil, in which case
309 ELEMENT is added at the end.
310
311 If you want to use `add-to-list' on a variable that is not defined
312 until a certain package is loaded, you should put the call to `add-to-list'
313 into a hook function that will be run only after loading the package.
314 `eval-after-load' provides one way to do this.  In some cases
315 other hooks, such as major mode hooks, can do the job."
316   (if (member element (symbol-value list-var))
317       (symbol-value list-var)
318     (set list-var
319          (if append
320              (append (symbol-value list-var) (list element))
321            (cons element (symbol-value list-var))))))
322
323 ;; XEmacs additions
324 ;; called by Fkill_buffer()
325 (defvar kill-buffer-hook nil
326   "Function or functions to be called when a buffer is killed.
327 The value of this variable may be buffer-local.
328 The buffer about to be killed is current when this hook is run.")
329
330 ;; in C in FSFmacs
331 (defvar kill-emacs-hook nil
332   "Function or functions to be called when `kill-emacs' is called,
333 just before emacs is actually killed.")
334
335 ;; not obsolete.
336 ;; #### These are a bad idea, because the CL RPLACA and RPLACD
337 ;; return the cons cell, not the new CAR/CDR.         -hniksic
338 ;; The proper definition would be:
339 ;; (defun rplaca (conscell newcar)
340 ;;   (setcar conscell newcar)
341 ;;   conscell)
342 ;; ...and analogously for RPLACD.
343 (define-function 'rplaca 'setcar)
344 (define-function 'rplacd 'setcdr)
345
346 (defun copy-symbol (symbol &optional copy-properties)
347   "Return a new uninterned symbol with the same name as SYMBOL.
348 If COPY-PROPERTIES is non-nil, the new symbol will have a copy of
349 SYMBOL's value, function, and property lists."
350   (let ((new (make-symbol (symbol-name symbol))))
351     (when copy-properties
352       ;; This will not copy SYMBOL's chain of forwarding objects, but
353       ;; I think that's OK.  Callers should not expect such magic to
354       ;; keep working in the copy in the first place.
355       (and (boundp symbol)
356            (set new (symbol-value symbol)))
357       (and (fboundp symbol)
358            (fset new (symbol-function symbol)))
359       (setplist new (copy-list (symbol-plist symbol))))
360     new))
361
362 (defun set-symbol-value-in-buffer (sym val buffer)
363   "Set the value of SYM to VAL in BUFFER.  Useful with buffer-local variables.
364 If SYM has a buffer-local value in BUFFER, or will have one if set, this
365 function allows you to set the local value.
366
367 NOTE: At some point, this will be moved into C and will be very fast."
368   (with-current-buffer buffer
369     (set sym val)))
370
371 ;;;; String functions.
372
373 ;; XEmacs
374 (defun replace-in-string (str regexp newtext &optional literal)
375   "Replace all matches in STR for REGEXP with NEWTEXT string,
376  and returns the new string.
377 Optional LITERAL non-nil means do a literal replacement.
378 Otherwise treat `\\' in NEWTEXT as special:
379   `\\&' in NEWTEXT means substitute original matched text.
380   `\\N' means substitute what matched the Nth `\\(...\\)'.
381        If Nth parens didn't match, substitute nothing.
382   `\\\\' means insert one `\\'.
383   `\\u' means upcase the next character.
384   `\\l' means downcase the next character.
385   `\\U' means begin upcasing all following characters.
386   `\\L' means begin downcasing all following characters.
387   `\\E' means terminate the effect of any `\\U' or `\\L'."
388   (check-argument-type 'stringp str)
389   (check-argument-type 'stringp newtext)
390   (if (> (length str) 50)
391       (let ((cfs case-fold-search))
392         (with-temp-buffer
393           (setq case-fold-search cfs)
394           (insert str)
395           (goto-char 1)
396           (while (re-search-forward regexp nil t)
397             (replace-match newtext t literal))
398           (buffer-string)))
399   (let ((start 0) newstr)
400     (while (string-match regexp str start)
401       (setq newstr (replace-match newtext t literal str)
402             start (+ (match-end 0) (- (length newstr) (length str)))
403             str newstr))
404     str)))
405
406 (defun split-string (string &optional pattern)
407   "Return a list of substrings of STRING which are separated by PATTERN.
408 If PATTERN is omitted, it defaults to \"[ \\f\\t\\n\\r\\v]+\"."
409   (or pattern
410       (setq pattern "[ \f\t\n\r\v]+"))
411   (let (parts (start 0) (len (length string)))
412     (if (string-match pattern string)
413         (setq parts (cons (substring string 0 (match-beginning 0)) parts)
414               start (match-end 0)))
415     (while (and (< start len)
416                 (string-match pattern string (if (> start (match-beginning 0))
417                                                  start
418                                                (1+ start))))
419       (setq parts (cons (substring string start (match-beginning 0)) parts)
420             start (match-end 0)))
421     (nreverse (cons (substring string start) parts))))
422
423 ;; #### #### #### AAaargh!  Must be in C, because it is used insanely
424 ;; early in the bootstrap process.
425 ;(defun split-path (path)
426 ;  "Explode a search path into a list of strings.
427 ;The path components are separated with the characters specified
428 ;with `path-separator'."
429 ;  (while (or (not stringp path-separator)
430 ;            (/= (length path-separator) 1))
431 ;    (setq path-separator (signal 'error (list "\
432 ;`path-separator' should be set to a single-character string"
433 ;                                             path-separator))))
434 ;  (split-string-by-char path (aref separator 0)))
435
436 (defmacro with-output-to-string (&rest forms)
437   "Collect output to `standard-output' while evaluating FORMS and return
438 it as a string."
439   ;; by "William G. Dubuque" <wgd@zurich.ai.mit.edu> w/ mods from Stig
440   `(with-current-buffer (get-buffer-create
441                          (generate-new-buffer-name " *string-output*"))
442      (setq buffer-read-only nil)
443      (buffer-disable-undo (current-buffer))
444      (erase-buffer)
445      (let ((standard-output (current-buffer)))
446        ,@forms)
447      (prog1
448          (buffer-string)
449        (erase-buffer))))
450
451 (defmacro with-current-buffer (buffer &rest body)
452   "Temporarily make BUFFER the current buffer and execute the forms in BODY.
453 The value returned is the value of the last form in BODY.
454 See also `with-temp-buffer'."
455   `(save-current-buffer
456     (set-buffer ,buffer)
457     ,@body))
458
459 (defmacro with-temp-file (filename &rest forms)
460   "Create a new buffer, evaluate FORMS there, and write the buffer to FILENAME.
461 The value of the last form in FORMS is returned, like `progn'.
462 See also `with-temp-buffer'."
463   (let ((temp-file (make-symbol "temp-file"))
464         (temp-buffer (make-symbol "temp-buffer")))
465     `(let ((,temp-file ,filename)
466            (,temp-buffer
467             (get-buffer-create (generate-new-buffer-name " *temp file*"))))
468        (unwind-protect
469            (prog1
470                (with-current-buffer ,temp-buffer
471                  ,@forms)
472              (with-current-buffer ,temp-buffer
473                (widen)
474                (write-region (point-min) (point-max) ,temp-file nil 0)))
475          (and (buffer-name ,temp-buffer)
476               (kill-buffer ,temp-buffer))))))
477
478 (defmacro with-temp-buffer (&rest forms)
479   "Create a temporary buffer, and evaluate FORMS there like `progn'.
480 See also `with-temp-file' and `with-output-to-string'."
481   (let ((temp-buffer (make-symbol "temp-buffer")))
482     `(let ((,temp-buffer
483             (get-buffer-create (generate-new-buffer-name " *temp*"))))
484        (unwind-protect
485            (with-current-buffer ,temp-buffer
486              ,@forms)
487          (and (buffer-name ,temp-buffer)
488               (kill-buffer ,temp-buffer))))))
489
490 ;; Moved from mule-coding.el.
491 (defmacro with-string-as-buffer-contents (str &rest body)
492   "With the contents of the current buffer being STR, run BODY.
493 Returns the new contents of the buffer, as modified by BODY.
494 The original current buffer is restored afterwards."
495   `(with-temp-buffer
496      (insert ,str)
497      ,@body
498      (buffer-string)))
499
500 (defun insert-face (string face)
501   "Insert STRING and highlight with FACE.  Return the extent created."
502   (let ((p (point)) ext)
503     (insert string)
504     (setq ext (make-extent p (point)))
505     (set-extent-face ext face)
506     ext))
507
508 ;; not obsolete.
509 (define-function 'string= 'string-equal)
510 (define-function 'string< 'string-lessp)
511 (define-function 'int-to-string 'number-to-string)
512 (define-function 'string-to-int 'string-to-number)
513
514 ;; These two names are a bit awkward, as they conflict with the normal
515 ;; foo-to-bar naming scheme, but CLtL2 has them, so they stay.
516 (define-function 'char-int 'char-to-int)
517 (define-function 'int-char 'int-to-char)
518
519 \f
520 ;; alist/plist functions
521 (defun plist-to-alist (plist)
522   "Convert property list PLIST into the equivalent association-list form.
523 The alist is returned.  This converts from
524
525 \(a 1 b 2 c 3)
526
527 into
528
529 \((a . 1) (b . 2) (c . 3))
530
531 The original plist is not modified.  See also `destructive-plist-to-alist'."
532   (let (alist)
533     (while plist
534       (setq alist (cons (cons (car plist) (cadr plist)) alist))
535       (setq plist (cddr plist)))
536     (nreverse alist)))
537
538 (defun destructive-plist-to-alist (plist)
539   "Convert property list PLIST into the equivalent association-list form.
540 The alist is returned.  This converts from
541
542 \(a 1 b 2 c 3)
543
544 into
545
546 \((a . 1) (b . 2) (c . 3))
547
548 The original plist is destroyed in the process of constructing the alist.
549 See also `plist-to-alist'."
550   (let ((head plist)
551         next)
552     (while plist
553       ;; remember the next plist pair.
554       (setq next (cddr plist))
555       ;; make the cons holding the property value into the alist element.
556       (setcdr (cdr plist) (cadr plist))
557       (setcar (cdr plist) (car plist))
558       ;; reattach into alist form.
559       (setcar plist (cdr plist))
560       (setcdr plist next)
561       (setq plist next))
562     head))
563
564 (defun alist-to-plist (alist)
565   "Convert association list ALIST into the equivalent property-list form.
566 The plist is returned.  This converts from
567
568 \((a . 1) (b . 2) (c . 3))
569
570 into
571
572 \(a 1 b 2 c 3)
573
574 The original alist is not modified.  See also `destructive-alist-to-plist'."
575   (let (plist)
576     (while alist
577       (let ((el (car alist)))
578         (setq plist (cons (cdr el) (cons (car el) plist))))
579       (setq alist (cdr alist)))
580     (nreverse plist)))
581
582 ;; getf, remf in cl*.el.
583
584 (defmacro putf (plist property value)
585   "Add property PROPERTY to plist PLIST with value VALUE.
586 Analogous to (setq PLIST (plist-put PLIST PROPERTY VALUE))."
587   `(setq ,plist (plist-put ,plist ,property ,value)))
588
589 (defmacro laxputf (lax-plist property value)
590   "Add property PROPERTY to lax plist LAX-PLIST with value VALUE.
591 Analogous to (setq LAX-PLIST (lax-plist-put LAX-PLIST PROPERTY VALUE))."
592   `(setq ,lax-plist (lax-plist-put ,lax-plist ,property ,value)))
593
594 (defmacro laxremf (lax-plist property)
595   "Remove property PROPERTY from lax plist LAX-PLIST.
596 Analogous to (setq LAX-PLIST (lax-plist-remprop LAX-PLIST PROPERTY))."
597   `(setq ,lax-plist (lax-plist-remprop ,lax-plist ,property)))
598 \f
599 ;;; Error functions
600
601 (defun error (datum &rest args)
602   "Signal a non-continuable error.
603 DATUM should normally be an error symbol, i.e. a symbol defined using
604 `define-error'.  ARGS will be made into a list, and DATUM and ARGS passed
605 as the two arguments to `signal', the most basic error handling function.
606
607 This error is not continuable: you cannot continue execution after the
608 error using the debugger `r' command.  See also `cerror'.
609
610 The correct semantics of ARGS varies from error to error, but for most
611 errors that need to be generated in Lisp code, the first argument
612 should be a string describing the *context* of the error (i.e. the
613 exact operation being performed and what went wrong), and the remaining
614 arguments or \"frobs\" (most often, there is one) specify the
615 offending object(s) and/or provide additional details such as the exact
616 error when a file error occurred, e.g.:
617
618 -- the buffer in which an editing error occurred.
619 -- an invalid value that was encountered. (In such cases, the string
620    should describe the purpose or \"semantics\" of the value [e.g. if the
621    value is an argument to a function, the name of the argument; if the value
622    is the value corresponding to a keyword, the name of the keyword; if the
623    value is supposed to be a list length, say this and say what the purpose
624    of the list is; etc.] as well as specifying why the value is invalid, if
625    that's not self-evident.)
626 -- the file in which an error occurred. (In such cases, there should be a
627    second frob, probably a string, specifying the exact error that occurred.
628    This does not occur in the string that precedes the first frob, because
629    that frob describes the exact operation that was happening.
630
631 For historical compatibility, DATUM can also be a string.  In this case,
632 DATUM and ARGS are passed together as the arguments to `format', and then
633 an error is signalled using the error symbol `error' and formatted string.
634 Although this usage of `error' is very common, it is deprecated because it
635 totally defeats the purpose of having structured errors.  There is now
636 a rich set of defined errors you can use:
637
638 error
639   syntax-error
640     invalid-read-syntax
641     list-formation-error
642       malformed-list
643         malformed-property-list
644       circular-list
645         circular-property-list
646     invalid-regexp
647     specifier-syntax-error
648
649
650   invalid-argument
651     wrong-type-argument
652     args-out-of-range
653     wrong-number-of-arguments
654     invalid-function
655     no-catch
656     undefined-keystroke-sequence
657     specifier-argument-error
658
659   invalid-state
660     void-function
661     cyclic-function-indirection
662     void-variable
663     cyclic-variable-indirection
664     protected-field
665     invalid-byte-code
666
667   invalid-operation
668     invalid-change
669       setting-constant
670       specifier-change-error
671     editing-error
672       beginning-of-buffer
673       end-of-buffer
674       buffer-read-only
675     io-error
676       file-error
677         file-already-exists
678         file-locked
679         file-supersession
680       end-of-file
681       coding-system-error
682       image-conversion-error
683       tooltalk-error
684     arith-error
685       range-error
686       domain-error
687       singularity-error
688       overflow-error
689       underflow-error
690     dialog-box-error
691     search-failed
692     selection-conversion-error
693
694   unimplemented
695
696   internal-error
697
698 The five most common errors you will probably use or base your new
699 errors off of are `syntax-error', `invalid-argument', `invalid-state',
700 `invalid-operation', and `invalid-change'.  Note the semantic differences:
701
702 -- `syntax-error' is for errors in complex structures: parsed strings, lists,
703    and the like.
704 -- `invalid-argument' is for errors in a simple value.  Typically, the entire
705    value, not just one part of it, is wrong.
706 -- `invalid-state' means that some settings have been changed in such a way
707    that their current state is unallowable.  More and more, code is being
708    written more carefully, and catches the error when the settings are being
709    changed, rather than afterwards.  This leads us to the next error:
710 -- `invalid-change' means that an attempt is being made to change some settings
711    into an invalid state.  `invalid-change' is a type of `invalid-operation'.
712 -- `invalid-operation' refers to all cases where code is trying to do something
713    that's disallowed.  This includes file errors, buffer errors (e.g. running
714    off the end of a buffer), `invalid-change' as just mentioned, and
715    arithmetic errors.
716
717 See also `cerror', `signal', and `signal-error'."
718   (while t (apply
719             'cerror datum args)))
720
721 (defun cerror (datum &rest args)
722   "Like `error' but signals a continuable error."
723   (cond ((stringp datum)
724          (signal 'error (list (apply 'format datum args))))
725         ((defined-error-p datum)
726          (signal datum args))
727         (t
728          (error 'invalid-argument "datum not string or error symbol" datum))))
729
730 (defmacro check-argument-type (predicate argument)
731   "Check that ARGUMENT satisfies PREDICATE.
732 This is a macro, and ARGUMENT is not evaluated.  If ARGUMENT is an lvalue,
733 this function signals a continuable `wrong-type-argument' error until the
734 returned value satisfies PREDICATE, and assigns the returned value
735 to ARGUMENT.  Otherwise, this function signals a non-continuable
736 `wrong-type-argument' error if the returned value does not satisfy PREDICATE."
737   (if (symbolp argument)
738       `(if (not (,(eval predicate) ,argument))
739            (setq ,argument
740                  (wrong-type-argument ,predicate ,argument)))
741     `(if (not (,(eval predicate) ,argument))
742          (signal-error 'wrong-type-argument (list ,predicate ,argument)))))
743
744 (defun signal-error (error-symbol data)
745   "Signal a non-continuable error.  Args are ERROR-SYMBOL, and associated DATA.
746 An error symbol is a symbol defined using `define-error'.
747 DATA should be a list.  Its elements are printed as part of the error message.
748 If the signal is handled, DATA is made available to the handler.
749 See also `signal', and the functions to handle errors: `condition-case'
750 and `call-with-condition-handler'."
751   (while t
752     (signal error-symbol data)))
753
754 (defun define-error (error-sym doc-string &optional inherits-from)
755   "Define a new error, denoted by ERROR-SYM.
756 DOC-STRING is an informative message explaining the error, and will be
757 printed out when an unhandled error occurs.
758 ERROR-SYM is a sub-error of INHERITS-FROM (which defaults to `error').
759
760 \[`define-error' internally works by putting on ERROR-SYM an `error-message'
761 property whose value is DOC-STRING, and an `error-conditions' property
762 that is a list of ERROR-SYM followed by each of its super-errors, up
763 to and including `error'.  You will sometimes see code that sets this up
764 directly rather than calling `define-error', but you should *not* do this
765 yourself.]"
766   (check-argument-type 'symbolp error-sym)
767   (check-argument-type 'stringp doc-string)
768   (put error-sym 'error-message doc-string)
769   (or inherits-from (setq inherits-from 'error))
770   (let ((conds (get inherits-from 'error-conditions)))
771     (or conds (signal-error 'error (list "Not an error symbol" error-sym)))
772     (put error-sym 'error-conditions (cons error-sym conds))))
773
774 (defun defined-error-p (sym)
775   "Returns non-nil if SYM names a currently-defined error."
776   (and (symbolp sym) (not (null (get sym 'error-conditions)))))
777
778 ;;;; Miscellanea.
779
780 ;; This is now in C.
781 ;(defun buffer-substring-no-properties (start end)
782 ;  "Return the text from START to END, without text properties, as a string."
783 ;  (let ((string (buffer-substring start end)))
784 ;    (set-text-properties 0 (length string) nil string)
785 ;    string))
786
787 (defun get-buffer-window-list (&optional buffer minibuf frame)
788   "Return windows currently displaying BUFFER, or nil if none.
789 BUFFER defaults to the current buffer.
790 See `walk-windows' for the meaning of MINIBUF and FRAME."
791   (cond ((null buffer)
792          (setq buffer (current-buffer)))
793         ((not (bufferp buffer))
794          (setq buffer (get-buffer buffer))))
795   (let (windows)
796     (walk-windows (lambda (window)
797                     (if (eq (window-buffer window) buffer)
798                         (push window windows)))
799                   minibuf frame)
800     windows))
801
802 (defun ignore (&rest ignore)
803   "Do nothing and return nil.
804 This function accepts any number of arguments, but ignores them."
805   (interactive)
806   nil)
807
808 (define-function 'eval-in-buffer 'with-current-buffer)
809 (make-obsolete 'eval-in-buffer 'with-current-buffer)
810
811 ;;; The real defn is in abbrev.el but some early callers
812 ;;;  (eg lisp-mode-abbrev-table) want this before abbrev.el is loaded...
813
814 (if (not (fboundp 'define-abbrev-table))
815     (progn
816       (setq abbrev-table-name-list '())
817       (fset 'define-abbrev-table (function (lambda (name defs)
818                                    ;; These are fixed-up when abbrev.el loads.
819                                    (setq abbrev-table-name-list
820                                          (cons (cons name defs)
821                                                abbrev-table-name-list)))))))
822
823 ;;; `functionp' has been moved into C.
824
825 ;;(defun functionp (object)
826 ;;  "Non-nil if OBJECT can be called as a function."
827 ;;  (or (and (symbolp object) (fboundp object))
828 ;;      (subrp object)
829 ;;      (compiled-function-p object)
830 ;;      (eq (car-safe object) 'lambda)))
831
832
833
834 (defun function-interactive (function)
835   "Return the interactive specification of FUNCTION.
836 FUNCTION can be any funcallable object.
837 The specification will be returned as the list of the symbol `interactive'
838  and the specs.
839 If FUNCTION is not interactive, nil will be returned."
840   (setq function (indirect-function function))
841   (cond ((compiled-function-p function)
842          (compiled-function-interactive function))
843         ((subrp function)
844          (subr-interactive function))
845         ((eq (car-safe function) 'lambda)
846          (let ((spec (if (stringp (nth 2 function))
847                          (nth 3 function)
848                        (nth 2 function))))
849            (and (eq (car-safe spec) 'interactive)
850                 spec)))
851         (t
852          (error "Non-funcallable object: %s" function))))
853
854 (defun function-allows-args (function n)
855   "Return whether FUNCTION can be called with N arguments."
856   (and (<= (function-min-args function) n)
857        (or (null (function-max-args function))
858            (<= n (function-max-args function)))))
859
860 ;; This function used to be an alias to `buffer-substring', except
861 ;; that FSF Emacs 20.4 added a BUFFER argument in an incompatible way.
862 ;; The new FSF's semantics makes more sense, but we try to support
863 ;; both for backward compatibility.
864 (defun buffer-string (&optional buffer old-end old-buffer)
865   "Return the contents of the current buffer as a string.
866 If narrowing is in effect, this function returns only the visible part
867 of the buffer.
868
869 If BUFFER is specified, the contents of that buffer are returned.
870
871 The arguments OLD-END and OLD-BUFFER are supported for backward
872 compatibility with pre-21.2 XEmacsen times when arguments to this
873 function were (buffer-string &optional START END BUFFER)."
874   (cond
875    ((or (stringp buffer) (bufferp buffer))
876     ;; Most definitely the new way.
877     (buffer-substring nil nil buffer))
878    ((or (stringp old-buffer) (bufferp old-buffer)
879         (natnump buffer) (natnump old-end))
880     ;; Definitely the old way.
881     (buffer-substring buffer old-end old-buffer))
882    (t
883     ;; Probably the old way.
884     (buffer-substring buffer old-end old-buffer))))
885
886 ;; This was not present before.  I think Jamie had some objections
887 ;; to this, so I'm leaving this undefined for now. --ben
888
889 ;;; The objection is this: there is more than one way to load the same file.
890 ;;; "foo", "foo.elc", "foo.el", and "/some/path/foo.elc" are all different
891 ;;; ways to load the exact same code.  `eval-after-load' is too stupid to
892 ;;; deal with this sort of thing.  If this sort of feature is desired, then
893 ;;; it should work off of a hook on `provide'.  Features are unique and
894 ;;; the arguments to (load) are not.  --Stig
895
896 ;; We provide this for FSFmacs compatibility, at least until we devise
897 ;; something better.
898
899 ;;;; Specifying things to do after certain files are loaded.
900
901 (defun eval-after-load (file form)
902   "Arrange that, if FILE is ever loaded, FORM will be run at that time.
903 This makes or adds to an entry on `after-load-alist'.
904 If FILE is already loaded, evaluate FORM right now.
905 It does nothing if FORM is already on the list for FILE.
906 FILE should be the name of a library, with no directory name."
907   ;; Make sure there is an element for FILE.
908   (or (assoc file after-load-alist)
909       (setq after-load-alist (cons (list file) after-load-alist)))
910   ;; Add FORM to the element if it isn't there.
911   (let ((elt (assoc file after-load-alist)))
912     (or (member form (cdr elt))
913         (progn
914           (nconc elt (list form))
915           ;; If the file has been loaded already, run FORM right away.
916           (and (assoc file load-history)
917                (eval form)))))
918   form)
919 (make-compatible 'eval-after-load "")
920
921 (defun eval-next-after-load (file)
922   "Read the following input sexp, and run it whenever FILE is loaded.
923 This makes or adds to an entry on `after-load-alist'.
924 FILE should be the name of a library, with no directory name."
925   (eval-after-load file (read)))
926 (make-compatible 'eval-next-after-load "")
927
928 ; alternate names (not obsolete)
929 (if (not (fboundp 'mod)) (define-function 'mod '%))
930 (define-function 'move-marker 'set-marker)
931 (define-function 'beep 'ding)  ; preserve lingual purity
932 (define-function 'indent-to-column 'indent-to)
933 (define-function 'backward-delete-char 'delete-backward-char)
934 (define-function 'search-forward-regexp (symbol-function 're-search-forward))
935 (define-function 'search-backward-regexp (symbol-function 're-search-backward))
936 (define-function 'remove-directory 'delete-directory)
937 (define-function 'set-match-data 'store-match-data)
938 (define-function 'send-string-to-terminal 'external-debugging-output)
939
940 ;;; subr.el ends here