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