annotate lisp/warnings.el @ 49236:8df2e5ef3962

(log-view-message-re): The rev might be locked.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 14 Jan 2003 21:46:13 +0000
parents 3f0f00c7a374
children
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
48370
3f0f00c7a374 (defgroup warnings): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 47480
diff changeset
32 (defgroup warnings nil
3f0f00c7a374 (defgroup warnings): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 47480
diff changeset
33 "Log and display warnings."
3f0f00c7a374 (defgroup warnings): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 47480
diff changeset
34 :version "21.4"
3f0f00c7a374 (defgroup warnings): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 47480
diff changeset
35 :group 'lisp)
3f0f00c7a374 (defgroup warnings): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 47480
diff changeset
36
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 (defvar warning-levels
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
38 '((:emergency "Emergency%s: " ding)
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
39 (:error "Error%s: ")
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
40 (:warning "Warning%s: ")
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
41 (:debug "Debug%s: "))
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
42 "List of severity level definitions for `display-warning'.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 Each element looks like (LEVEL STRING FUNCTION) and
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
44 defines LEVEL as a severity level. STRING specifies the
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
45 description of this level. STRING should use `%s' to
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
46 specify where to put the warning group information,
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
47 or it can omit the `%s' so as not to include that information.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
49 The optional FUNCTION, if non-nil, is a function to call
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
50 with no arguments, to get the user's attention.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
51
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
52 The standard levels are :emergency, :error, :warning and :debug.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
53 See `display-warning' for documentation of their meanings.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
54 Level :debug is ignored by default (see `warning-minimum-level').")
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 (put 'warning-levels 'risky-local-variable t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;; These are for compatibility with XEmacs.
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
58 ;; I don't think there is any chance of designing meaningful criteria
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;; to distinguish so many levels.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 (defvar warning-level-aliases
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 '((emergency . :emergency)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 (error . :error)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (warning . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (notice . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (info . :warning)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 (critical . :emergency)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (alarm . :emergency))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 "Alist of aliases for severity levels for `display-warning'.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 Each element looks like (ALIAS . LEVEL) and defines
47271
b4cd4023d957 (warning-level-aliases): Fix spacing.
Juanma Barranquero <lekktu@gmail.com>
parents: 47109
diff changeset
70 ALIAS as equivalent to LEVEL. LEVEL must be defined in `warning-levels';
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
71 it may not itself be an alias.")
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
72
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 (defcustom warning-minimum-level :warning
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 "Minimum severity level for displaying the warning buffer.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 If a warning's severity level is lower than this,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 the warning is logged in the warnings buffer, but the buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 is not immediately displayed. See also `warning-minimum-log-level'."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 :type '(choice (const :emergency) (const :error) (const :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (defvaralias 'display-warning-minimum-level 'warning-minimum-level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 (defcustom warning-minimum-log-level :warning
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 "Minimum severity level for logging a warning.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 If a warning severity level is lower than this,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 the warning is completely ignored."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 :type '(choice (const :emergency) (const :error) (const :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (defvaralias 'log-warning-minimum-level 'warning-minimum-log-level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
92 (defcustom warning-suppress-log-types nil
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 "List of warning types that should not be logged.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 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
95 the warning is completely ignored.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 The element must match the first elements of GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 Thus, (foo bar) as an element matches (foo bar)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 or (foo bar ANYTHING...) as GROUP.
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
99 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
100 so only the element (FOO) will match it."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 :type '(repeat (repeat symbol))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 :version "21.4")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
105 (defcustom warning-suppress-types nil
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 "Custom groups for warnings not to display immediately.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 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
108 the warning is logged nonetheless, but the warnings buffer is
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 not immediately displayed.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 The element must match an initial segment of the list GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 Thus, (foo bar) as an element matches (foo bar)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 or (foo bar ANYTHING...) as GROUP.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 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
114 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
115 See also `warning-suppress-log-types'."
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 :group 'warnings
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 :type '(repeat (repeat symbol))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 :version "21.4")
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
119
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
120 ;;; The autoload cookie is so that programs can bind this variable
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
121 ;;; safely, testing the existing value, before they call one of the
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
122 ;;; warnings functions.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
123 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (defvar warning-prefix-function nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 "Function to generate warning prefixes.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 This function, if non-nil, is called with two arguments,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 the severity level and its entry in `warning-levels',
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 and should return the entry that should actually be used.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 The warnings buffer is current when this function is called
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 and the function can insert text in it. This text becomes
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 the beginning of the warning.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
133 ;;; The autoload cookie is so that programs can bind this variable
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
134 ;;; safely, testing the existing value, before they call one of the
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
135 ;;; warnings functions.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
136 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 (defvar warning-series nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 "Non-nil means treat multiple `display-warning' calls as a series.
47109
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
139 A marker indicates a position in the warnings buffer
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
140 which is the start of the current series; it means that
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
141 additional warnings in the same buffer should not move point.
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
142 t means the next warning begins a series (and stores a marker here).
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 A symbol with a function definition is like t, except
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 also call that function before the next warning.")
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (put 'warning-series 'risky-local-variable t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
147 ;;; The autoload cookie is so that programs can bind this variable
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
148 ;;; safely, testing the existing value, before they call one of the
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
149 ;;; warnings functions.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
150 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (defvar warning-fill-prefix nil
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 "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
153
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
154 ;;; The autoload cookie is so that programs can bind this variable
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
155 ;;; safely, testing the existing value, before they call one of the
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
156 ;;; warnings functions.
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
157 ;;;###autoload
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
158 (defvar warning-group-format " (%s)"
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
159 "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
160 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
161 message under the control of the string in `warning-levels'.")
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
162
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
163 (defun warning-numeric-level (level)
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
164 "Return a numeric measure of the warning severity level LEVEL."
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
165 (let* ((elt (assq level warning-levels))
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
166 (link (memq elt warning-levels)))
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
167 (length link)))
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
168
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (defun warning-suppress-p (group suppress-list)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 "Non-nil if a warning with group GROUP should be suppressed.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 SUPPRESS-LIST is the list of kinds of warnings to suppress."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (let (some-match)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (dolist (elt suppress-list)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (if (symbolp group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ;; If GROUP is a symbol, the ELT must be (GROUP).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (if (and (consp elt)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (eq (car elt) group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (null (cdr elt)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (setq some-match t))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ;; 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
181 (let ((tem1 group)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (tem2 elt)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (match t))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ;; Check elements of ELT until we run out of them.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (while tem2
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (if (not (equal (car tem1) (car tem2)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (setq match nil))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (setq tem1 (cdr tem1)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 tem2 (cdr tem2)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 ;; If ELT is an initial segment of GROUP, MATCH is t now.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;; So set SOME-MATCH.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (if match
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (setq some-match t)))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 ;; If some element of SUPPRESS-LIST matched,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 ;; we return t.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 some-match))
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
197
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
198 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (defun display-warning (group message &optional level buffer-name)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 "Display a warning message, MESSAGE.
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
201 GROUP should be a custom group name (a symbol),
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 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
203 \(The rest of the symbols represent subcategories, for warning purposes
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 only, and you can use whatever symbols you like.)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 LEVEL should be either :warning, :error, or :emergency.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 :emergency -- a problem that will seriously impair Emacs operation soon
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 if you do not attend to it promptly.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 :error -- data or circumstances that are inherently wrong.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 :warning -- data or circumstances that are not inherently wrong,
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 but raise suspicion of a possible problem.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 :debug -- info for debugging only.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 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
215 warning. By default, it is `*Warnings*'.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 See the `warnings' custom group for user customization features.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 See also `warning-series', `warning-prefix-function' and
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 `warning-fill-prefix' for additional programming features."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (unless level
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (setq level :warning))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (if (assq level warning-level-aliases)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (setq level (cdr (assq level warning-level-aliases))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 (or (< (warning-numeric-level level)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (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
227 (warning-suppress-p group warning-suppress-log-types)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (let* ((groupname (if (consp group) (car group) group))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (buffer (get-buffer-create (or buffer-name "*Warnings*")))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (level-info (assq level warning-levels))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 start end)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (with-current-buffer buffer
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (goto-char (point-max))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (when (and warning-series (symbolp warning-series))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (setq warning-series
47109
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
236 (prog1 (point-marker)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (unless (eq warning-series t)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (funcall warning-series)))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (unless (bolp)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (newline))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (setq start (point))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (if warning-prefix-function
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (setq level-info (funcall warning-prefix-function
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 level level-info)))
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
245 (insert (format (nth 1 level-info)
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
246 (format warning-group-format groupname))
46656
ac53ae45c502 (warning-levels): Add %s to the strings.
Richard M. Stallman <rms@gnu.org>
parents: 46646
diff changeset
247 message)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (newline)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (when (and warning-fill-prefix (not (string-match "\n" message)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (let ((fill-prefix warning-fill-prefix)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (fill-column 78))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (fill-region start (point))))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 (setq end (point))
47109
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
254 (when (and (markerp warning-series)
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
255 (eq (marker-buffer warning-series) buffer))
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (goto-char warning-series)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (if (nth 2 level-info)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (funcall (nth 2 level-info)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (if noninteractive
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 ;; Noninteractively, take the text we inserted
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ;; in the warnings buffer and print it.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 ;; Do this unconditionally, since there is no way
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 ;; to view logged messages unless we output them.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (with-current-buffer buffer
47480
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
265 (save-excursion
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
266 ;; Don't include the final newline in the arg
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
267 ;; to `message', because it adds a newline.
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
268 (goto-char end)
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
269 (if (bolp)
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
270 (forward-char -1))
0d4291124ff0 (display-warning): In batch mode,
Richard M. Stallman <rms@gnu.org>
parents: 47271
diff changeset
271 (message "%s" (buffer-substring start (point)))))
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 ;; Interactively, decide whether the warning merits
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 ;; immediate display.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 (or (< (warning-numeric-level level)
46698
ae636e084c86 (warning-levels): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46696
diff changeset
275 (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
276 (warning-suppress-p group warning-suppress-types)
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (let ((window (display-buffer buffer)))
47109
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
278 (when (and (markerp warning-series)
796b2ef84d40 (warning-series): Now can be a marker, not an integer.
Richard M. Stallman <rms@gnu.org>
parents: 46830
diff changeset
279 (eq (marker-buffer warning-series) buffer))
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 (set-window-start window warning-series))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 (sit-for 0)))))))
46830
fa2c544d95fd (warning-prefix-function, warning-series)
Richard M. Stallman <rms@gnu.org>
parents: 46698
diff changeset
282
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
283 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (defun lwarn (group level message &rest args)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 "Display a warning message made from (format MESSAGE ARGS...).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 Aside from generating the message with `format',
46696
6caa78f4752d (lwarn, warn): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46656
diff changeset
287 this is equivalent to `display-warning'.
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 GROUP should be a custom group name (a symbol).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 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
291 \(The rest of the symbols represent subcategories and
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 can be whatever you like.)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 LEVEL should be either :warning, :error, or :emergency.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 :emergency -- a problem that will seriously impair Emacs operation soon
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 if you do not attend to it promptly.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 :error -- invalid data or circumstances.
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 :warning -- suspicious data or circumstances."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (display-warning group (apply 'format message args) level))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300
46579
e07579b3efcc (display-warning, warn, lwarn): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents: 46575
diff changeset
301 ;;;###autoload
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (defun warn (message &rest args)
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 "Display a warning message made from (format MESSAGE ARGS...).
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 Aside from generating the message with `format',
46696
6caa78f4752d (lwarn, warn): Doc fix.
Juanma Barranquero <lekktu@gmail.com>
parents: 46656
diff changeset
305 this is equivalent to `display-warning', using
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 `emacs' as the group and `:warning' as the level."
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (display-warning 'emacs (apply 'format message args)))
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308
46646
ba559abe46e6 Add `provide' call.
Richard M. Stallman <rms@gnu.org>
parents: 46579
diff changeset
309 (provide 'warnings)
ba559abe46e6 Add `provide' call.
Richard M. Stallman <rms@gnu.org>
parents: 46579
diff changeset
310
46575
30fda32839de New file.
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 ;;; warnings.el ends here