annotate lisp/warnings.el @ 46822:341d8797885c

(ediff-copy-list): Use `defalias' instead of `fset' and `symbol-function'.
author John Paul Wallington <jpw@pobox.com>
date Mon, 05 Aug 2002 22:37:25 +0000
parents ae636e084c86
children fa2c544d95fd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; warnings.el --- log and display warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 ;; Copyright (C) 2002 Free Software Foundation, Inc.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Maintainer: FSF
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Keywords: internal
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; This file is part of GNU Emacs.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; any later version.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU General Public License for more details.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; Boston, MA 02111-1307, USA.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;;; Commentary:
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; This file implements the entry points `warn', `lwarn'
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;; and `display-warnings'.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;;; Code:
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 (defvar warning-levels
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
33 '((:emergency "Emergency%s: " ding)
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
34 (:error "Error%s: ")
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
35 (:warning "Warning%s: ")
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
36 (:debug "Debug%s: "))
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
37 "List of severity level definitions for `display-warning'.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 Each element looks like (LEVEL STRING FUNCTION) and
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 defines LEVEL as a severity level. STRING is the description
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 to use in the buffer, and FUNCTION (which may be omitted)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 if non-nil is a function to call with no arguments
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
42 to get the user's attention. STRING should use `%s' to
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
43 specify where to put the warning group information.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 :debug level is ignored by default (see `warning-minimum-level').")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 (put 'warning-levels 'risky-local-variable t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; These are for compatibility with XEmacs.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; I don't think there is any chance of finding meaningful distinctions
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;; to distinguish so many levels.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 (defvar warning-level-aliases
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 '((emergency . :emergency)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 (error . :error)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 (warning . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 (notice . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 (info . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 (critical . :emergency)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (alarm . :emergency))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 "Alist of aliases for severity levels for `display-warning'.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 Each element looks like (ALIAS . LEVEL) and defines
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ALIAS as equivalent to LEVEL.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (defcustom warning-minimum-level :warning
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 "Minimum severity level for displaying the warning buffer.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 If a warning's severity level is lower than this,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 the warning is logged in the warnings buffer, but the buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 is not immediately displayed. See also `warning-minimum-log-level'."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 :type '(choice (const :emergency) (const :error) (const :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 (defvaralias 'display-warning-minimum-level 'warning-minimum-level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 (defcustom warning-minimum-log-level :warning
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 "Minimum severity level for logging a warning.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 If a warning severity level is lower than this,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 the warning is completely ignored."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 :type '(choice (const :emergency) (const :error) (const :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 (defvaralias 'log-warning-minimum-level 'warning-minimum-log-level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
82 (defcustom warning-suppress-log-types nil
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 "List of warning types that should not be logged.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 If any element of this list matches the GROUP argument to `display-warning',
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 the warning is completely ignored.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 The element must match the first elements of GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 Thus, (foo bar) as an element matches (foo bar)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 or (foo bar ANYTHING...) as GROUP.
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
89 If GROUP is a symbol FOO, that is equivalent to the list (FOO),
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 so only the element (FOO) will match it."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 :type '(repeat (repeat symbol))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
95 (defcustom warning-suppress-types nil
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 "Custom groups for warnings not to display immediately.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 If any element of this list matches the GROUP argument to `display-warning',
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 the warning is logged nonetheless, but the warnings buffer is
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 not immediately displayed.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 The element must match an initial segment of the list GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 Thus, (foo bar) as an element matches (foo bar)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 or (foo bar ANYTHING...) as GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 If GROUP is a symbol FOO, that is equivalent to the list (FOO),
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 so only the element (FOO) will match it.
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
105 See also `warning-suppress-log-types'."
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 :type '(repeat (repeat symbol))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (defvar warning-prefix-function nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 "Function to generate warning prefixes.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 This function, if non-nil, is called with two arguments,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 the severity level and its entry in `warning-levels',
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 and should return the entry that should actually be used.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 The warnings buffer is current when this function is called
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 and the function can insert text in it. This text becomes
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 the beginning of the warning.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (defun warning-numeric-level (level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 "Return a numeric measure of the warning severity level LEVEL."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (let* ((elt (assq level warning-levels))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (link (memq elt warning-levels)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 (length link)))
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
124
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (defvar warning-series nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 "Non-nil means treat multiple `display-warning' calls as a series.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 An integer is a position in the warnings buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 which is the start of the current series.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 t means the next warning begins a series (and stores an integer here).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 A symbol with a function definition is like t, except
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 also call that function before the next warning.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (put 'warning-series 'risky-local-variable t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (defvar warning-fill-prefix nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 "Non-nil means fill each warning text using this string as `fill-prefix'.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
137 (defvar warning-group-format " (%s)"
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
138 "Format for displaying the warning group in the warning message.
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
139 The result of formatting the group this way gets included in the
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
140 message under the control of the string in `warning-levels'.")
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
141
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 (defun warning-suppress-p (group suppress-list)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 "Non-nil if a warning with group GROUP should be suppressed.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 SUPPRESS-LIST is the list of kinds of warnings to suppress."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (let (some-match)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (dolist (elt suppress-list)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (if (symbolp group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 ;; If GROUP is a symbol, the ELT must be (GROUP).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (if (and (consp elt)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (eq (car elt) group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (null (cdr elt)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (setq some-match t))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 ;; If GROUP is a list, ELT must match it or some initial segment of it.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (let ((tem1 group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (tem2 elt)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (match t))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 ;; Check elements of ELT until we run out of them.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 (while tem2
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (if (not (equal (car tem1) (car tem2)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (setq match nil))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (setq tem1 (cdr tem1)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 tem2 (cdr tem2)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 ;; If ELT is an initial segment of GROUP, MATCH is t now.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 ;; So set SOME-MATCH.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (if match
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (setq some-match t)))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ;; If some element of SUPPRESS-LIST matched,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ;; we return t.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 some-match))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
171 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (defun display-warning (group message &optional level buffer-name)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 "Display a warning message, MESSAGE.
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
174 GROUP should be a custom group name (a symbol),
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 or else a list of symbols whose first element is a custom group name.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 \(The rest of the symbols represent subcategories, for warning purposes
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 only, and you can use whatever symbols you like.)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 LEVEL should be either :warning, :error, or :emergency.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 :emergency -- a problem that will seriously impair Emacs operation soon
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 if you do not attend to it promptly.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 :error -- data or circumstances that are inherently wrong.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 :warning -- data or circumstances that are not inherently wrong,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 but raise suspicion of a possible problem.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 :debug -- info for debugging only.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 BUFFER-NAME, if specified, is the name of the buffer for logging the
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 warning. By default, it is `*Warnings*'.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 See the `warnings' custom group for user customization features.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 See also `warning-series', `warning-prefix-function' and
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 `warning-fill-prefix' for additional programming features."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (unless level
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 (setq level :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (if (assq level warning-level-aliases)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (setq level (cdr (assq level warning-level-aliases))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (or (< (warning-numeric-level level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (warning-numeric-level warning-minimum-log-level))
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
200 (warning-suppress-p group warning-suppress-log-types)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (let* ((groupname (if (consp group) (car group) group))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (buffer (get-buffer-create (or buffer-name "*Warnings*")))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (level-info (assq level warning-levels))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 start end)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (with-current-buffer buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (goto-char (point-max))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (when (and warning-series (symbolp warning-series))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (setq warning-series
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (prog1 (point)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (unless (eq warning-series t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (funcall warning-series)))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (unless (bolp)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 (newline))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (setq start (point))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 (if warning-prefix-function
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (setq level-info (funcall warning-prefix-function
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 level level-info)))
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
218 (insert (format (nth 1 level-info)
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
219 (format warning-group-format groupname))
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
220 message)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (newline)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (when (and warning-fill-prefix (not (string-match "\n" message)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (let ((fill-prefix warning-fill-prefix)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (fill-column 78))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 (fill-region start (point))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (setq end (point))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (when warning-series
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (goto-char warning-series)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (if (nth 2 level-info)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (funcall (nth 2 level-info)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (if noninteractive
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 ;; Noninteractively, take the text we inserted
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 ;; in the warnings buffer and print it.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 ;; Do this unconditionally, since there is no way
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 ;; to view logged messages unless we output them.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (with-current-buffer buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (message "%s" (buffer-substring start end)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 ;; Interactively, decide whether the warning merits
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 ;; immediate display.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (or (< (warning-numeric-level level)
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
241 (warning-numeric-level warning-minimum-level))
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
242 (warning-suppress-p group warning-suppress-types)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (let ((window (display-buffer buffer)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (when warning-series
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (set-window-start window warning-series))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (sit-for 0)))))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
248 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (defun lwarn (group level message &rest args)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 "Display a warning message made from (format MESSAGE ARGS...).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 Aside from generating the message with `format',
46696
6caa78f4752d (lwarn, warn): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46656
diff changeset
252 this is equivalent to `display-warning'.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 GROUP should be a custom group name (a symbol).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 or else a list of symbols whose first element is a custom group name.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 \(The rest of the symbols represent subcategories and
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 can be whatever you like.)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 LEVEL should be either :warning, :error, or :emergency.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 :emergency -- a problem that will seriously impair Emacs operation soon
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 if you do not attend to it promptly.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 :error -- invalid data or circumstances.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 :warning -- suspicious data or circumstances."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (display-warning group (apply 'format message args) level))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
266 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (defun warn (message &rest args)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 "Display a warning message made from (format MESSAGE ARGS...).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 Aside from generating the message with `format',
46696
6caa78f4752d (lwarn, warn): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46656
diff changeset
270 this is equivalent to `display-warning', using
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 `emacs' as the group and `:warning' as the level."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (display-warning 'emacs (apply 'format message args)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273
46646
ba559abe46e6 Add `provide' call.
Richard M. Stallman <rms@gnu.org>
parents: 46579
diff changeset
274 (provide 'warnings)
ba559abe46e6 Add `provide' call.
Richard M. Stallman <rms@gnu.org>
parents: 46579
diff changeset
275
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 ;;; warnings.el ends here