Mercurial > emacs
annotate lisp/emacs-lisp/trace.el @ 72863:526dc1f36b09
(produce_image_glyph): Automatically crop wide images at
right window edge so we can draw the cursor on the same row to
avoid confusing redisplay by placing the cursor outside the visible
window area.
author | Kim F. Storm <storm@cua.dk> |
---|---|
date | Thu, 14 Sep 2006 09:37:44 +0000 |
parents | 6ad55ad9813c |
children | 1d4b1a32fd66 c358d0861b16 |
rev | line source |
---|---|
2854 | 1 ;;; trace.el --- tracing facility for Emacs Lisp functions |
2 | |
64751
5b1a238fcbb4
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64085
diff
changeset
|
3 ;; Copyright (C) 1993, 1998, 2000, 2002, 2003, 2004, |
68648
067115a6e738
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64751
diff
changeset
|
4 ;; 2005, 2006 Free Software Foundation, Inc. |
2854 | 5 |
6 ;; Author: Hans Chalupsky <hans@cs.buffalo.edu> | |
28574
23e11bfcfc21
Change maintainer. Use new backquote
Dave Love <fx@gnu.org>
parents:
21365
diff
changeset
|
7 ;; Maintainer: FSF |
2854 | 8 ;; Created: 15 Dec 1992 |
5140 | 9 ;; Keywords: tools, lisp |
2854 | 10 |
11 ;; This file is part of GNU Emacs. | |
12 | |
13 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
14 ;; it 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 ;; GNU Emacs is distributed in the hope that it will be useful, | |
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
21 ;; GNU General Public License for more details. | |
22 | |
23 ;; You should have received a copy of the GNU General Public License | |
14169 | 24 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
64085 | 25 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
26 ;; Boston, MA 02110-1301, USA. | |
2854 | 27 |
28 ;; LCD Archive Entry: | |
29 ;; trace|Hans Chalupsky|hans@cs.buffalo.edu| | |
30 ;; Tracing facility for Emacs Lisp functions| | |
31 ;; 1993/05/18 00:41:16|2.0|~/packages/trace.el.Z| | |
32 | |
33 | |
34 ;;; Commentary: | |
35 | |
36 ;; Introduction: | |
37 ;; ============= | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
38 ;; A simple trace package that utilizes advice.el. It generates trace |
2854 | 39 ;; information in a Lisp-style fashion and inserts it into a trace output |
40 ;; buffer. Tracing can be done in the background (or silently) so that | |
41 ;; generation of trace output won't interfere with what you are currently | |
42 ;; doing. | |
43 | |
44 ;; Requirement: | |
45 ;; ============ | |
46 ;; trace.el needs advice.el version 2.0 or later which you can get from the | |
47 ;; same place from where you got trace.el. | |
48 | |
49 ;; Restrictions: | |
50 ;; ============= | |
51 ;; - Traced subrs when called interactively will always show nil as the | |
52 ;; value of their arguments. | |
53 ;; - Only functions/macros/subrs that are called via their function cell will | |
54 ;; generate trace output, hence, you won't get trace output for: | |
55 ;; + Subrs called directly from other subrs/C-code | |
56 ;; + Compiled calls to subrs that have special byte-codes associated | |
57 ;; with them (e.g., car, cdr, ...) | |
58 ;; + Macros that were expanded during compilation | |
59 ;; - All the restrictions that apply to advice.el | |
60 | |
61 ;; Installation: | |
62 ;; ============= | |
63 ;; Put this file together with advice.el (version 2.0 or later) somewhere | |
64 ;; into your Emacs `load-path', byte-compile it/them for efficiency, and | |
65 ;; put the following autoload declarations into your .emacs | |
66 ;; | |
67 ;; (autoload 'trace-function "trace" "Trace a function" t) | |
68 ;; (autoload 'trace-function-background "trace" "Trace a function" t) | |
69 ;; | |
70 ;; or explicitly load it with (require 'trace) or (load "trace"). | |
71 | |
72 ;; Usage: | |
73 ;; ====== | |
74 ;; - To trace a function say `M-x trace-function' which will ask you for the | |
75 ;; name of the function/subr/macro to trace, as well as for the buffer | |
76 ;; into which trace output should go. | |
77 ;; - If you want to trace a function that switches buffers or does other | |
78 ;; display oriented stuff use `M-x trace-function-background' which will | |
79 ;; generate the trace output silently in the background without popping | |
80 ;; up windows and doing other irritating stuff. | |
81 ;; - To untrace a function say `M-x untrace-function'. | |
82 ;; - To untrace all currently traced functions say `M-x untrace-all'. | |
83 | |
84 ;; Examples: | |
85 ;; ========= | |
86 ;; | |
87 ;; (defun fact (n) | |
88 ;; (if (= n 0) 1 | |
89 ;; (* n (fact (1- n))))) | |
90 ;; fact | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
91 ;; |
2854 | 92 ;; (trace-function 'fact) |
93 ;; fact | |
94 ;; | |
95 ;; Now, evaluating this... | |
96 ;; | |
97 ;; (fact 4) | |
98 ;; 24 | |
99 ;; | |
100 ;; ...will generate the following in *trace-buffer*: | |
101 ;; | |
102 ;; 1 -> fact: n=4 | |
103 ;; | 2 -> fact: n=3 | |
104 ;; | | 3 -> fact: n=2 | |
105 ;; | | | 4 -> fact: n=1 | |
106 ;; | | | | 5 -> fact: n=0 | |
107 ;; | | | | 5 <- fact: 1 | |
108 ;; | | | 4 <- fact: 1 | |
109 ;; | | 3 <- fact: 2 | |
110 ;; | 2 <- fact: 6 | |
111 ;; 1 <- fact: 24 | |
112 ;; | |
113 ;; | |
114 ;; (defun ack (x y z) | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
115 ;; (if (= x 0) |
2854 | 116 ;; (+ y z) |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
117 ;; (if (and (<= x 2) (= z 0)) |
2854 | 118 ;; (1- x) |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
119 ;; (if (and (> x 2) (= z 0)) |
2854 | 120 ;; y |
121 ;; (ack (1- x) y (ack x y (1- z))))))) | |
122 ;; ack | |
123 ;; | |
124 ;; (trace-function 'ack) | |
125 ;; ack | |
126 ;; | |
127 ;; Try this for some interesting trace output: | |
128 ;; | |
129 ;; (ack 3 3 1) | |
130 ;; 27 | |
131 ;; | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
132 ;; |
2854 | 133 ;; The following does something similar to the functionality of the package |
134 ;; log-message.el by Robert Potter, which is giving you a chance to look at | |
135 ;; messages that might have whizzed by too quickly (you won't see subr | |
136 ;; generated messages though): | |
137 ;; | |
138 ;; (trace-function-background 'message "*Message Log*") | |
139 | |
140 | |
141 ;;; Change Log: | |
142 | |
143 ;; Revision 2.0 1993/05/18 00:41:16 hans | |
144 ;; * Adapted for advice.el 2.0; it now also works | |
145 ;; for GNU Emacs-19 and Lemacs | |
146 ;; * Separate function `trace-function-background' | |
147 ;; * Separate pieces of advice for foreground and background tracing | |
148 ;; * Less insane handling of interactive trace buffer specification | |
149 ;; * String arguments and values are now printed properly | |
150 ;; | |
151 ;; Revision 1.1 1992/12/15 22:45:15 hans | |
152 ;; * Created, first public release | |
153 | |
154 | |
155 ;;; Code: | |
156 | |
157 (require 'advice) | |
158 | |
21365 | 159 (defgroup trace nil |
64032
85b597997ef0
(trace): Finish `defgroup' description with period.
Juanma Barranquero <lekktu@gmail.com>
parents:
60276
diff
changeset
|
160 "Tracing facility for Emacs Lisp functions." |
21365 | 161 :prefix "trace-" |
162 :group 'lisp) | |
163 | |
2854 | 164 ;;;###autoload |
21365 | 165 (defcustom trace-buffer "*trace-output*" |
166 "*Trace output will by default go to that buffer." | |
167 :type 'string | |
168 :group 'trace) | |
2854 | 169 |
170 ;; Current level of traced function invocation: | |
171 (defvar trace-level 0) | |
172 | |
173 ;; Semi-cryptic name used for a piece of trace advice: | |
174 (defvar trace-advice-name 'trace-function\ ) | |
175 | |
176 ;; Used to separate new trace output from previous traced runs: | |
177 (defvar trace-separator (format "%s\n" (make-string 70 ?=))) | |
178 | |
60276
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
179 (defvar inhibit-trace nil |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
180 "If non-nil, all tracing is temporarily inhibited.") |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
181 |
2854 | 182 (defun trace-entry-message (function level argument-bindings) |
183 ;; Generates a string that describes that FUNCTION has been entered at | |
184 ;; trace LEVEL with ARGUMENT-BINDINGS. | |
185 (format "%s%s%d -> %s: %s\n" | |
186 (mapconcat 'char-to-string (make-string (1- level) ?|) " ") | |
187 (if (> level 1) " " "") | |
188 level | |
189 function | |
60276
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
190 (mapconcat (lambda (binding) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
191 (concat |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
192 (symbol-name (ad-arg-binding-field binding 'name)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
193 "=" |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
194 ;; do this so we'll see strings: |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
195 (prin1-to-string |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
196 (ad-arg-binding-field binding 'value)))) |
2854 | 197 argument-bindings |
198 " "))) | |
199 | |
200 (defun trace-exit-message (function level value) | |
201 ;; Generates a string that describes that FUNCTION has been exited at | |
202 ;; trace LEVEL and that it returned VALUE. | |
203 (format "%s%s%d <- %s: %s\n" | |
204 (mapconcat 'char-to-string (make-string (1- level) ?|) " ") | |
205 (if (> level 1) " " "") | |
206 level | |
207 function | |
208 ;; do this so we'll see strings: | |
209 (prin1-to-string value))) | |
210 | |
211 (defun trace-make-advice (function buffer background) | |
212 ;; Builds the piece of advice to be added to FUNCTION's advice info | |
213 ;; so that it will generate the proper trace output in BUFFER | |
214 ;; (quietly if BACKGROUND is t). | |
215 (ad-make-advice | |
216 trace-advice-name nil t | |
60276
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
217 `(advice |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
218 lambda () |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
219 (let ((trace-level (1+ trace-level)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
220 (trace-buffer (get-buffer-create ,buffer))) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
221 (unless inhibit-trace |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
222 (with-current-buffer trace-buffer |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
223 ,(unless background '(pop-to-buffer trace-buffer)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
224 (goto-char (point-max)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
225 ;; Insert a separator from previous trace output: |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
226 (if (= trace-level 1) (insert trace-separator)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
227 (insert |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
228 (trace-entry-message |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
229 ',function trace-level ad-arg-bindings)))) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
230 ad-do-it |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
231 (unless inhibit-trace |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
232 (with-current-buffer trace-buffer |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
233 ,(unless background '(pop-to-buffer trace-buffer)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
234 (goto-char (point-max)) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
235 (insert |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
236 (trace-exit-message |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
237 ',function trace-level ad-return-value)))))))) |
2854 | 238 |
239 (defun trace-function-internal (function buffer background) | |
240 ;; Adds trace advice for FUNCTION and activates it. | |
241 (ad-add-advice | |
242 function | |
243 (trace-make-advice function (or buffer trace-buffer) background) | |
244 'around 'last) | |
245 (ad-activate function nil)) | |
246 | |
247 (defun trace-is-traced (function) | |
248 (ad-find-advice function 'around trace-advice-name)) | |
249 | |
250 ;;;###autoload | |
251 (defun trace-function (function &optional buffer) | |
252 "Traces FUNCTION with trace output going to BUFFER. | |
253 For every call of FUNCTION Lisp-style trace messages that display argument | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
254 and return values will be inserted into BUFFER. This function generates the |
2854 | 255 trace advice for FUNCTION and activates it together with any other advice |
256 there might be!! The trace BUFFER will popup whenever FUNCTION is called. | |
257 Do not use this to trace functions that switch buffers or do any other | |
258 display oriented stuff, use `trace-function-background' instead." | |
259 (interactive | |
260 (list | |
261 (intern (completing-read "Trace function: " obarray 'fboundp t)) | |
262 (read-buffer "Output to buffer: " trace-buffer))) | |
263 (trace-function-internal function buffer nil)) | |
264 | |
265 ;;;###autoload | |
266 (defun trace-function-background (function &optional buffer) | |
267 "Traces FUNCTION with trace output going quietly to BUFFER. | |
72586
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
268 When this tracing is enabled, every call to FUNCTION writes |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
269 a Lisp-style trace message (showing the arguments and return value) |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
270 into BUFFER. This function generates advice to trace FUNCTION |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
271 and activates it together with any other advice there might be. |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
272 The trace output goes to BUFFER quietly, without changing |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
273 the window or buffer configuration. |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
274 |
6ad55ad9813c
(trace-function-background): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
68648
diff
changeset
|
275 BUFFER defaults to `trace-buffer'." |
2854 | 276 (interactive |
277 (list | |
278 (intern | |
279 (completing-read "Trace function in background: " obarray 'fboundp t)) | |
280 (read-buffer "Output to buffer: " trace-buffer))) | |
281 (trace-function-internal function buffer t)) | |
282 | |
283 (defun untrace-function (function) | |
284 "Untraces FUNCTION and possibly activates all remaining advice. | |
285 Activation is performed with `ad-update', hence remaining advice will get | |
47609
9c74f4f1d1c0
Add/remove spaces.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
28574
diff
changeset
|
286 activated only if the advice of FUNCTION is currently active. If FUNCTION |
2854 | 287 was not traced this is a noop." |
288 (interactive | |
289 (list (ad-read-advised-function "Untrace function: " 'trace-is-traced))) | |
60276
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
290 (when (trace-is-traced function) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
291 (ad-remove-advice function 'around trace-advice-name) |
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
292 (ad-update function))) |
2854 | 293 |
294 (defun untrace-all () | |
295 "Untraces all currently traced functions." | |
296 (interactive) | |
297 (ad-do-advised-functions (function) | |
298 (untrace-function function))) | |
299 | |
300 (provide 'trace) | |
301 | |
60276
eeb966123ab7
(inhibit-trace): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
302 ;; arch-tag: cfd170a7-4932-4331-8c8b-b7151942e5a1 |
2854 | 303 ;;; trace.el ends here |