]> code.delx.au - gnu-emacs/blob - man/building.texi
(calc-embedded-close-formula, calc-embedded-open-formula,
[gnu-emacs] / man / building.texi
1 @c This is part of the Emacs manual.
2 @c Copyright (C) 1985, 1986, 1987, 1993, 1994, 1995, 1997, 2000, 2001,
3 @c 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
4 @c See file emacs.texi for copying conditions.
5 @node Building, Maintaining, Programs, Top
6 @chapter Compiling and Testing Programs
7 @cindex building programs
8 @cindex program building
9 @cindex running Lisp functions
10
11 The previous chapter discusses the Emacs commands that are useful for
12 making changes in programs. This chapter deals with commands that assist
13 in the larger process of developing and maintaining programs.
14
15 @menu
16 * Compilation:: Compiling programs in languages other
17 than Lisp (C, Pascal, etc.).
18 * Compilation Mode:: The mode for visiting compiler errors.
19 * Compilation Shell:: Customizing your shell properly
20 for use in the compilation buffer.
21 * Grep Searching:: Searching with grep.
22 * Flymake:: Finding syntax errors on the fly.
23 * Debuggers:: Running symbolic debuggers for non-Lisp programs.
24 * Executing Lisp:: Various modes for editing Lisp programs,
25 with different facilities for running
26 the Lisp programs.
27 * Libraries: Lisp Libraries. Creating Lisp programs to run in Emacs.
28 * Eval: Lisp Eval. Executing a single Lisp expression in Emacs.
29 * Interaction: Lisp Interaction. Executing Lisp in an Emacs buffer.
30 * External Lisp:: Communicating through Emacs with a separate Lisp.
31 @end menu
32
33 @node Compilation
34 @section Running Compilations under Emacs
35 @cindex inferior process
36 @cindex make
37 @cindex compilation errors
38 @cindex error log
39
40 Emacs can run compilers for noninteractive languages such as C and
41 Fortran as inferior processes, feeding the error log into an Emacs buffer.
42 It can also parse the error messages and show you the source lines where
43 compilation errors occurred.
44
45 @table @kbd
46 @item M-x compile
47 Run a compiler asynchronously under Emacs, with error messages going to
48 the @samp{*compilation*} buffer.
49 @item M-x recompile
50 Invoke a compiler with the same command as in the last invocation of
51 @kbd{M-x compile}.
52 @item M-x kill-compilation
53 Kill the running compilation subprocess.
54 @end table
55
56 @findex compile
57 To run @code{make} or another compilation command, do @kbd{M-x
58 compile}. This command reads a shell command line using the minibuffer,
59 and then executes the command in an inferior shell, putting output in
60 the buffer named @samp{*compilation*}. The current buffer's default
61 directory is used as the working directory for the execution of the
62 command; normally, therefore, the compilation happens in this
63 directory.
64
65 @vindex compile-command
66 When the shell command line is read, the minibuffer appears
67 containing a default command line, which is the command you used the
68 last time you did @kbd{M-x compile}. If you type just @key{RET}, the
69 same command line is used again. For the first @kbd{M-x compile}, the
70 default is @samp{make -k}, which is correct most of the time for
71 nontrivial programs. (@xref{Top,, Make, make, GNU Make Manual}.)
72 The default compilation command comes from the variable
73 @code{compile-command}; if the appropriate compilation command for a
74 file is something other than @samp{make -k}, it can be useful for the
75 file to specify a local value for @code{compile-command} (@pxref{File
76 Variables}).
77
78 Starting a compilation displays the buffer @samp{*compilation*} in
79 another window but does not select it. The buffer's mode line tells
80 you whether compilation is finished, with the word @samp{run},
81 @samp{signal} or @samp{exit} inside the parentheses. You do not have
82 to keep this buffer visible; compilation continues in any case. While
83 a compilation is going on, the string @samp{Compiling} appears in the
84 mode lines of all windows. When this string disappears, the
85 compilation is finished.
86
87 If you want to watch the compilation transcript as it appears, switch
88 to the @samp{*compilation*} buffer and move point to the end of the
89 buffer. When point is at the end, new compilation output is inserted
90 above point, which remains at the end. If point is not at the end of
91 the buffer, it remains fixed while more compilation output is added at
92 the end of the buffer.
93
94 @cindex compilation buffer, keeping current position at the end
95 @vindex compilation-scroll-output
96 If you set the variable @code{compilation-scroll-output} to a
97 non-@code{nil} value, then the compilation buffer always scrolls to
98 follow output as it comes in.
99
100 @findex kill-compilation
101 When the compiler process terminates, for whatever reason, the mode
102 line of the @samp{*compilation*} buffer changes to say @samp{exit}
103 (followed by the exit code, @samp{[0]} for a normal exit), or
104 @samp{signal} (if a signal terminated the process), instead of
105 @samp{run}. Starting a new compilation also kills any running
106 compilation, as only one can exist at any time. However, @kbd{M-x
107 compile} asks for confirmation before actually killing a compilation
108 that is running. You can also kill the compilation process with
109 @kbd{M-x kill-compilation}.
110
111 @findex recompile
112 To rerun the last compilation with the same command, type @kbd{M-x
113 recompile}. This automatically reuses the compilation command from
114 the last invocation of @kbd{M-x compile}. It also reuses the
115 @samp{*compilation*} buffer and starts the compilation in its default
116 directory, which is the directory in which the previous compilation
117 was started.
118
119 Emacs does not expect a compiler process to launch asynchronous
120 subprocesses; if it does, and they keep running after the main
121 compiler process has terminated, Emacs may kill them or their output
122 may not arrive in Emacs. To avoid this problem, make the main process
123 wait for its subprocesses to finish. In a shell script, you can do this
124 using @samp{$!} and @samp{wait}, like this:
125
126 @example
127 (sleep 10; echo 2nd)& pid=$! # @r{Record pid of subprocess}
128 echo first message
129 wait $pid # @r{Wait for subprocess}
130 @end example
131
132 If the background process does not output to the compilation buffer,
133 so you only need to prevent it from being killed when the main
134 compilation process terminates, this is sufficient:
135
136 @example
137 nohup @var{command}; sleep 1
138 @end example
139
140 @vindex compilation-environment
141 You can control the environment passed to the compilation command
142 with the variable @code{compilation-environment}. Its value is a list
143 of environment variable settings; each element should be a string of
144 the form @code{"@var{envvarname}=@var{value}"}. These environment
145 variable settings override the usual ones.
146
147 @node Compilation Mode
148 @section Compilation Mode
149
150 @findex compile-goto-error
151 @cindex Compilation mode
152 @cindex mode, Compilation
153 The @samp{*compilation*} buffer uses a special major mode, Compilation
154 mode, whose main feature is to provide a convenient way to look at the
155 source line where the error happened.
156
157 If you set the variable @code{compilation-scroll-output} to a
158 non-@code{nil} value, then the compilation buffer always scrolls to
159 follow output as it comes in.
160
161 @table @kbd
162 @item M-g M-n
163 @itemx M-g n
164 @itemx C-x `
165 Visit the locus of the next compiler error message or @code{grep} match.
166 @item M-g M-p
167 @itemx M-g p
168 Visit the locus of the previous compiler error message or @code{grep} match.
169 @item @key{RET}
170 Visit the locus of the error message that point is on.
171 This command is used in the compilation buffer.
172 @item Mouse-2
173 Visit the locus of the error message that you click on.
174 @item M-n
175 Find and highlight the locus of the next error message, without
176 selecting the source buffer.
177 @item M-p
178 Find and highlight the locus of the previous error message, without
179 selecting the source buffer.
180 @item M-@}
181 Move point to the next error for a different file than the current
182 one.
183 @item M-@{
184 Move point to the previous error for a different file than the current
185 one.
186 @item C-c C-f
187 Toggle Next Error Follow minor mode, which makes cursor motion in the
188 compilation buffer produce automatic source display.
189 @end table
190
191 @kindex M-g M-n
192 @kindex M-g n
193 @kindex C-x `
194 @findex next-error
195 You can visit the source for any particular error message by moving
196 point in the @samp{*compilation*} buffer to that error message and
197 typing @key{RET} (@code{compile-goto-error}). Alternatively, you can
198 click @kbd{Mouse-2} on the error message; you need not switch to the
199 @samp{*compilation*} buffer first.
200
201 @vindex next-error-highlight
202 To parse the compiler error messages sequentially, type @kbd{C-x `}
203 (@code{next-error}). The character following the @kbd{C-x} is the
204 backquote or ``grave accent,'' not the single-quote. This command is
205 available in all buffers, not just in @samp{*compilation*}; it
206 displays the next error message at the top of one window and source
207 location of the error in another window. It also momentarily
208 highlights the relevant source line. You can change the behavior of
209 this highlighting with the variable @code{next-error-highlight}.
210
211 The first time @kbd{C-x `} is used after the start of a compilation,
212 it moves to the first error's location. Subsequent uses of @kbd{C-x `}
213 advance down to subsequent errors. If you visit a specific error
214 message with @key{RET} or @kbd{Mouse-2}, subsequent @kbd{C-x `}
215 commands advance from there. When @kbd{C-x `} gets to the end of the
216 buffer and finds no more error messages to visit, it fails and signals
217 an Emacs error.
218
219 When the left fringe is displayed, an arrow points to the
220 current message in the compilation buffer. The variable
221 @code{compilation-context-lines} controls the number of lines of
222 leading context in the window before the current message. If it is
223 @code{nil} and the left fringe is displayed, the window doesn't
224 scroll. If there is no left fringe, no arrow is displayed and a value
225 of @code{nil} means display the message at the top of the window.
226
227 You don't have to be in the compilation buffer in order to use
228 @code{next-error}. If one window on the selected frame can be the
229 target of the @code{next-error} call, it is used. Else, if a buffer
230 previously had @code{next-error} called on it, it is used. Else,
231 if the current buffer can be the target of @code{next-error}, it is
232 used. Else, all the buffers Emacs manages are tried for
233 @code{next-error} support.
234
235 @kbd{C-u C-x `} starts scanning from the beginning of the compilation
236 buffer. This is one way to process the same set of errors again.
237
238 @vindex compilation-error-regexp-alist
239 @vindex grep-regexp-alist
240 To parse messages from the compiler, Compilation mode uses the
241 variable @code{compilation-error-regexp-alist} which lists various
242 formats of error messages and tells Emacs how to extract the source file
243 and the line number from the text of a message. If your compiler isn't
244 supported, you can tailor Compilation mode to it by adding elements to
245 that list. A similar variable @code{grep-regexp-alist} tells Emacs how
246 to parse output of a @code{grep} command.
247
248 @findex compilation-next-error
249 @findex compilation-previous-error
250 @findex compilation-next-file
251 @findex compilation-previous-file
252 Compilation mode also redefines the keys @key{SPC} and @key{DEL} to
253 scroll by screenfuls, and @kbd{M-n} (@code{compilation-next-error})
254 and @kbd{M-p} (@code{compilation-previous-error}) to move to the next
255 or previous error message. You can also use @kbd{M-@{}
256 (@code{compilation-next-file} and @kbd{M-@}}
257 (@code{compilation-previous-file}) to move up or down to an error
258 message for a different source file.
259
260 @cindex Next Error Follow mode
261 @findex next-error-follow-minor-mode
262 You can type @kbd{C-c C-f} to toggle Next Error Follow mode. In
263 this minor mode, ordinary cursor motion in the compilation buffer
264 automatically updates the source buffer. For instance, moving the
265 cursor to the next error message causes the location of that error to
266 be displayed immediately.
267
268 The features of Compilation mode are also available in a minor mode
269 called Compilation Minor mode. This lets you parse error messages in
270 any buffer, not just a normal compilation output buffer. Type @kbd{M-x
271 compilation-minor-mode} to enable the minor mode. This defines the keys
272 @key{RET} and @kbd{Mouse-2}, as in the Compilation major mode.
273
274 Compilation minor mode works in any buffer, as long as the contents
275 are in a format that it understands. In an Rlogin buffer (@pxref{Remote
276 Host}), Compilation minor mode automatically accesses remote source
277 files by FTP (@pxref{File Names}).
278
279 @node Compilation Shell
280 @section Subshells for Compilation
281
282 Emacs uses a shell to run the compilation command, but specifies
283 the option for a noninteractive shell. This means, in particular, that
284 the shell should start with no prompt. If you find your usual shell
285 prompt making an unsightly appearance in the @samp{*compilation*}
286 buffer, it means you have made a mistake in your shell's init file by
287 setting the prompt unconditionally. (This init file's name may be
288 @file{.bashrc}, @file{.profile}, @file{.cshrc}, @file{.shrc}, or various
289 other things, depending on the shell you use.) The shell init file
290 should set the prompt only if there already is a prompt. In csh, here
291 is how to do it:
292
293 @example
294 if ($?prompt) set prompt = @dots{}
295 @end example
296
297 @noindent
298 And here's how to do it in bash:
299
300 @example
301 if [ "$@{PS1+set@}" = set ]
302 then PS1=@dots{}
303 fi
304 @end example
305
306 There may well be other things that your shell's init file
307 ought to do only for an interactive shell. You can use the same
308 method to conditionalize them.
309
310 The MS-DOS ``operating system'' does not support asynchronous
311 subprocesses; to work around this lack, @kbd{M-x compile} runs the
312 compilation command synchronously on MS-DOS. As a consequence, you must
313 wait until the command finishes before you can do anything else in
314 Emacs. @xref{MS-DOS}.
315
316 @node Grep Searching
317 @section Searching with Grep under Emacs
318
319 Just as you can run a compiler from Emacs and then visit the lines
320 with compilation errors, you can also run @code{grep} and
321 then visit the lines on which matches were found. This works by
322 treating the matches reported by @code{grep} as if they were ``errors.''
323
324 @table @kbd
325 @item M-x grep
326 Run @code{grep} asynchronously under Emacs, with matching lines
327 listed in the buffer named @samp{*grep*}.
328 @item M-x grep-find
329 @itemx M-x find-grep
330 Run @code{grep} via @code{find}, with user-specified arguments, and
331 collect output in the buffer named @samp{*grep*}.
332 @item M-x kill-grep
333 Kill the running @code{grep} subprocess.
334 @end table
335
336 @findex grep
337 To run @code{grep}, type @kbd{M-x grep}, then enter a command line that
338 specifies how to run @code{grep}. Use the same arguments you would give
339 @code{grep} when running it normally: a @code{grep}-style regexp
340 (usually in single-quotes to quote the shell's special characters)
341 followed by file names, which may use wildcards. If you specify a
342 prefix argument for @kbd{M-x grep}, it figures out the tag
343 (@pxref{Tags}) around point, and puts that into the default
344 @code{grep} command.
345
346 The output from @code{grep} goes in the @samp{*grep*} buffer. You
347 can find the corresponding lines in the original files using @kbd{C-x
348 `}, @key{RET}, and so forth, just like compilation errors.
349
350 Some grep programs accept a @samp{--color} option to output special
351 markers around matches for the purpose of highlighting. You can make
352 use of this feature by setting @code{grep-highlight-matches} to
353 @code{t}. When displaying a match in the source buffer, the exact
354 match will be highlighted, instead of the entire source line.
355
356 @findex grep-find
357 @findex find-grep
358 The command @kbd{M-x grep-find} (also available as @kbd{M-x
359 find-grep}) is similar to @kbd{M-x grep}, but it supplies a different
360 initial default for the command---one that runs both @code{find} and
361 @code{grep}, so as to search every file in a directory tree. See also
362 the @code{find-grep-dired} command, in @ref{Dired and Find}.
363
364 @node Flymake
365 @section Finding Syntax Errors On The Fly
366 @cindex checking syntax
367
368 Flymake mode is a minor mode that performs on-the-fly syntax
369 checking for many programming and markup languages, including C, C++,
370 Perl, HTML, and @TeX{}/La@TeX{}. It is somewhat analogous to Flyspell
371 mode, which performs spell checking for ordinary human languages in a
372 similar fashion (@pxref{Spelling}). As you edit a file, Flymake mode
373 runs an appropriate syntax checking tool in the background, using a
374 temporary copy of the buffer. It then parses the error and warning
375 messages, and highlights the erroneous lines in the buffer. The
376 syntax checking tool used depends on the language; for example, for
377 C/C++ files this is usually the C compiler. Flymake can also use
378 build tools such as @code{make} for checking complicated projects.
379
380 To activate Flymake mode, type @kbd{M-x flymake-mode}. You can move
381 to the errors spotted by Flymake mode with @kbd{M-x
382 flymake-goto-next-error} and @kbd{M-x flymake-goto-prev-error}. To
383 display any error messages associated with the current line, use
384 @kbd{M-x flymake-display-err-menu-for-current-line}.
385
386 For more details about using Flymake, see @ref{Top, Flymake,
387 Flymake, flymake, The Flymake Manual}.
388
389 @node Debuggers
390 @section Running Debuggers Under Emacs
391 @cindex debuggers
392 @cindex GUD library
393 @cindex GDB
394 @cindex DBX
395 @cindex SDB
396 @cindex XDB
397 @cindex Perldb
398 @cindex bashdb
399 @cindex JDB
400 @cindex PDB
401
402 @c Do you believe in GUD?
403 The GUD (Grand Unified Debugger) library provides an interface to
404 various symbolic debuggers from within Emacs. We recommend the
405 debugger GDB, which is free software, but you can also run DBX, SDB or
406 XDB if you have them. GUD can also serve as an interface to Perl's
407 debugging mode, the Python debugger PDB, the bash debugger, and to
408 JDB, the Java Debugger. @xref{Debugging,, The Lisp Debugger, elisp,
409 the Emacs Lisp Reference Manual}, for information on debugging Emacs
410 Lisp programs.
411
412 @menu
413 * Starting GUD:: How to start a debugger subprocess.
414 * Debugger Operation:: Connection between the debugger and source buffers.
415 * Commands of GUD:: Key bindings for common commands.
416 * GUD Customization:: Defining your own commands for GUD.
417 * GDB Graphical Interface:: An enhanced mode that uses GDB features to
418 implement a graphical debugging environment through
419 Emacs.
420 @end menu
421
422 @node Starting GUD
423 @subsection Starting GUD
424
425 There are several commands for starting a debugger, each corresponding
426 to a particular debugger program.
427
428 @table @kbd
429 @item M-x gdb @key{RET} @var{file} @key{RET}
430 @findex gdb
431 Run GDB as a subprocess of Emacs. By default, this operates in
432 graphical mode; @xref{GDB Graphical Interface}. Graphical mode
433 does not support any other debuggers.
434
435 @item M-x dbx @key{RET} @var{file} @key{RET}
436 @findex dbx
437 Similar, but run DBX instead of GDB.
438
439 @item M-x xdb @key{RET} @var{file} @key{RET}
440 @findex xdb
441 @vindex gud-xdb-directories
442 Similar, but run XDB instead of GDB. Use the variable
443 @code{gud-xdb-directories} to specify directories to search for source
444 files.
445
446 @item M-x sdb @key{RET} @var{file} @key{RET}
447 @findex sdb
448 Similar, but run SDB instead of GDB.
449
450 Some versions of SDB do not mention source file names in their
451 messages. When you use them, you need to have a valid tags table
452 (@pxref{Tags}) in order for GUD to find functions in the source code.
453 If you have not visited a tags table or the tags table doesn't list one
454 of the functions, you get a message saying @samp{The sdb support
455 requires a valid tags table to work}. If this happens, generate a valid
456 tags table in the working directory and try again.
457
458 @item M-x bashdb @key{RET} @var{file} @key{RET}
459 @findex bashdb
460 Run the bash debugger to debug @var{file}, a shell script.
461
462 @item M-x perldb @key{RET} @var{file} @key{RET}
463 @findex perldb
464 Run the Perl interpreter in debug mode to debug @var{file}, a Perl program.
465
466 @item M-x jdb @key{RET} @var{file} @key{RET}
467 @findex jdb
468 Run the Java debugger to debug @var{file}.
469
470 @item M-x pdb @key{RET} @var{file} @key{RET}
471 @findex pdb
472 Run the Python debugger to debug @var{file}.
473 @end table
474
475 Each of these commands takes one argument: a command line to invoke
476 the debugger. In the simplest case, specify just the name of the
477 executable file you want to debug. You may also use options that the
478 debugger supports. However, shell wildcards and variables are not
479 allowed. GUD assumes that the first argument not starting with a
480 @samp{-} is the executable file name.
481
482 @node Debugger Operation
483 @subsection Debugger Operation
484
485 @cindex fringes, and current execution line in GUD
486 When you run a debugger with GUD, the debugger uses an Emacs buffer
487 for its ordinary input and output. This is called the GUD buffer. The
488 debugger displays the source files of the program by visiting them in
489 Emacs buffers. An arrow (@samp{=>}) in one of these buffers indicates
490 the current execution line.@footnote{Under a window system, the arrow
491 appears in the left fringe of the Emacs window.} Moving point in this
492 buffer does not move the arrow.
493
494 You can start editing these source files at any time in the buffers
495 that display them. The arrow is not part of the file's
496 text; it appears only on the screen. If you do modify a source file,
497 keep in mind that inserting or deleting lines will throw off the arrow's
498 positioning; GUD has no way of figuring out which line corresponded
499 before your changes to the line number in a debugger message. Also,
500 you'll typically have to recompile and restart the program for your
501 changes to be reflected in the debugger's tables.
502
503 If you wish, you can control your debugger process entirely through the
504 debugger buffer, which uses a variant of Shell mode. All the usual
505 commands for your debugger are available, and you can use the Shell mode
506 history commands to repeat them. @xref{Shell Mode}.
507
508 @cindex tooltips with GUD
509 @vindex tooltip-gud-modes
510 @vindex gud-tooltip-mode
511 @vindex gud-tooltip-echo-area
512 The Tooltip facility (@pxref{Tooltips}) provides support for GUD@.
513 You activate this feature by turning on the minor mode
514 @code{gud-tooltip-mode}. Then you can display a variable's value in a
515 tooltip simply by pointing at it with the mouse. In graphical mode,
516 with a C program, you can also display the @code{#define} directive
517 associated with an identifier when the program is not executing. This
518 operates in the GUD buffer and in source buffers with major modes in
519 the list @code{gud-tooltip-modes}. If the variable
520 @code{gud-tooltip-echo-area} is non-@code{nil} then the variable's
521 value is displayed in the echo area.
522
523 With GDB in text command mode (@pxref{GDB Graphical Interface}),
524 it is possible that use of GUD tooltips can cause a function to be
525 called with harmful side-effects. In this case, Emacs disables
526 them.
527
528 @node Commands of GUD
529 @subsection Commands of GUD
530
531 The GUD interaction buffer uses a variant of Shell mode, so the
532 commands of Shell mode are available (@pxref{Shell Mode}). GUD mode
533 also provides commands for setting and clearing breakpoints, for
534 selecting stack frames, and for stepping through the program. These
535 commands are available both in the GUD buffer and globally, but with
536 different key bindings. It also has its own tool bar from which you
537 can invoke the more common commands by clicking on the appropriate
538 icon. This is particularly useful for repetitive commands like
539 gud-next and gud-step and allows the user to hide the GUD buffer.
540
541 The breakpoint commands are normally used in source file buffers,
542 because that is the easiest way to specify where to set or clear the
543 breakpoint. Here's the global command to set a breakpoint:
544
545 @table @kbd
546 @item C-x @key{SPC}
547 @kindex C-x SPC
548 Set a breakpoint on the source line that point is on.
549 @end table
550
551 @kindex C-x C-a @r{(GUD)}
552 Here are the other special commands provided by GUD. The keys
553 starting with @kbd{C-c} are available only in the GUD interaction
554 buffer. The key bindings that start with @kbd{C-x C-a} are available in
555 the GUD interaction buffer and also in source files.
556
557 @table @kbd
558 @item C-c C-l
559 @kindex C-c C-l @r{(GUD)}
560 @itemx C-x C-a C-l
561 @findex gud-refresh
562 Display in another window the last line referred to in the GUD
563 buffer (that is, the line indicated in the last location message).
564 This runs the command @code{gud-refresh}.
565
566 @item C-c C-s
567 @kindex C-c C-s @r{(GUD)}
568 @itemx C-x C-a C-s
569 @findex gud-step
570 Execute a single line of code (@code{gud-step}). If the line contains
571 a function call, execution stops after entering the called function.
572
573 @item C-c C-n
574 @kindex C-c C-n @r{(GUD)}
575 @itemx C-x C-a C-n
576 @findex gud-next
577 Execute a single line of code, stepping across entire function calls
578 at full speed (@code{gud-next}).
579
580 @item C-c C-i
581 @kindex C-c C-i @r{(GUD)}
582 @itemx C-x C-a C-i
583 @findex gud-stepi
584 Execute a single machine instruction (@code{gud-stepi}).
585
586 @need 3000
587 @item C-c C-r
588 @kindex C-c C-r @r{(GUD)}
589 @itemx C-x C-a C-r
590 @findex gud-cont
591 Continue execution without specifying any stopping point. The program
592 will run until it hits a breakpoint, terminates, or gets a signal that
593 the debugger is checking for (@code{gud-cont}).
594
595 @need 1000
596 @item C-c C-d
597 @kindex C-c C-d @r{(GUD)}
598 @itemx C-x C-a C-d
599 @findex gud-remove
600 Delete the breakpoint(s) on the current source line, if any
601 (@code{gud-remove}). If you use this command in the GUD interaction
602 buffer, it applies to the line where the program last stopped.
603
604 @item C-c C-t
605 @kindex C-c C-t @r{(GUD)}
606 @itemx C-x C-a C-t
607 @findex gud-tbreak
608 Set a temporary breakpoint on the current source line, if any.
609 If you use this command in the GUD interaction buffer,
610 it applies to the line where the program last stopped.
611 @end table
612
613 The above commands are common to all supported debuggers. If you are
614 using GDB or (some versions of) DBX, these additional commands are available:
615
616 @table @kbd
617 @item C-c <
618 @kindex C-c < @r{(GUD)}
619 @itemx C-x C-a <
620 @findex gud-up
621 Select the next enclosing stack frame (@code{gud-up}). This is
622 equivalent to the @samp{up} command.
623
624 @item C-c >
625 @kindex C-c > @r{(GUD)}
626 @itemx C-x C-a >
627 @findex gud-down
628 Select the next inner stack frame (@code{gud-down}). This is
629 equivalent to the @samp{down} command.
630 @end table
631
632 If you are using GDB, these additional key bindings are available:
633
634 @table @kbd
635 @item C-c C-r
636 @kindex C-c C-r @r{(GUD)}
637 @itemx C-x C-a C-r
638 @findex gud-run
639 Start execution of the program (@code{gud-run}).
640
641 @item C-c C-u
642 @kindex C-c C-u @r{(GUD)}
643 @itemx C-x C-a C-u
644 @findex gud-until
645 Continue execution to the current line. The program will run until
646 it hits a breakpoint, terminates, gets a signal that the debugger is
647 checking for, or reaches the line on which the cursor currently sits
648 (@code{gud-until}).
649
650 @item @key{TAB}
651 @kindex TAB @r{(GUD)}
652 @findex gud-gdb-complete-command
653 With GDB, complete a symbol name (@code{gud-gdb-complete-command}).
654 This key is available only in the GUD interaction buffer, and requires
655 GDB versions 4.13 and later.
656
657 @item C-c C-f
658 @kindex C-c C-f @r{(GUD)}
659 @itemx C-x C-a C-f
660 @findex gud-finish
661 Run the program until the selected stack frame returns (or until it
662 stops for some other reason).
663
664 @item C-x C-a C-j
665 @kindex C-x C-a C-j @r{(GUD)}
666 @findex gud-jump
667 Only useful in a source buffer, (@code{gud-jump}) transfers the
668 program's execution point to the current line. In other words, the
669 next line that the program executes will be the one where you gave the
670 command. If the new execution line is in a different function from
671 the previously one, GDB prompts for confirmation since the results may
672 be bizarre. See the GDB manual entry regarding @code{jump} for
673 details.
674 @end table
675
676 These commands interpret a numeric argument as a repeat count, when
677 that makes sense.
678
679 Because @key{TAB} serves as a completion command, you can't use it to
680 enter a tab as input to the program you are debugging with GDB.
681 Instead, type @kbd{C-q @key{TAB}} to enter a tab.
682
683 @node GUD Customization
684 @subsection GUD Customization
685
686 @vindex gdb-mode-hook
687 @vindex dbx-mode-hook
688 @vindex sdb-mode-hook
689 @vindex xdb-mode-hook
690 @vindex perldb-mode-hook
691 @vindex pdb-mode-hook
692 @vindex jdb-mode-hook
693 On startup, GUD runs one of the following hooks: @code{gdb-mode-hook},
694 if you are using GDB; @code{dbx-mode-hook}, if you are using DBX;
695 @code{sdb-mode-hook}, if you are using SDB; @code{xdb-mode-hook}, if you
696 are using XDB; @code{perldb-mode-hook}, for Perl debugging mode;
697 @code{pdb-mode-hook}, for PDB; @code{jdb-mode-hook}, for JDB. You can
698 use these hooks to define custom key bindings for the debugger
699 interaction buffer. @xref{Hooks}.
700
701 Here is a convenient way to define a command that sends a particular
702 command string to the debugger, and set up a key binding for it in the
703 debugger interaction buffer:
704
705 @findex gud-def
706 @example
707 (gud-def @var{function} @var{cmdstring} @var{binding} @var{docstring})
708 @end example
709
710 This defines a command named @var{function} which sends
711 @var{cmdstring} to the debugger process, and gives it the documentation
712 string @var{docstring}. You can then use the command @var{function} in any
713 buffer. If @var{binding} is non-@code{nil}, @code{gud-def} also binds
714 the command to @kbd{C-c @var{binding}} in the GUD buffer's mode and to
715 @kbd{C-x C-a @var{binding}} generally.
716
717 The command string @var{cmdstring} may contain certain
718 @samp{%}-sequences that stand for data to be filled in at the time
719 @var{function} is called:
720
721 @table @samp
722 @item %f
723 The name of the current source file. If the current buffer is the GUD
724 buffer, then the ``current source file'' is the file that the program
725 stopped in.
726 @c This said, ``the name of the file the program counter was in at the last breakpoint.''
727 @c But I suspect it is really the last stop file.
728
729 @item %l
730 The number of the current source line. If the current buffer is the GUD
731 buffer, then the ``current source line'' is the line that the program
732 stopped in.
733
734 @item %e
735 The text of the C lvalue or function-call expression at or adjacent to point.
736
737 @item %a
738 The text of the hexadecimal address at or adjacent to point.
739
740 @item %p
741 The numeric argument of the called function, as a decimal number. If
742 the command is used without a numeric argument, @samp{%p} stands for the
743 empty string.
744
745 If you don't use @samp{%p} in the command string, the command you define
746 ignores any numeric argument.
747 @end table
748
749 @node GDB Graphical Interface
750 @subsection GDB Graphical Interface
751
752 By default, the command @code{gdb} starts GDB using a graphical
753 interface where you view and control the program's data using Emacs
754 windows. You can still interact with GDB through the GUD buffer, but
755 the point of this mode is that you can do it through menus and clicks,
756 without needing to know GDB commands. For example, you can click
757 @kbd{Mouse-1} on a line of the source buffer, in the fringe or display
758 margin, to set a breakpoint there. If a breakpoint already exists on
759 that line, this action will remove it
760 (@code{gdb-mouse-set-clear-breakpoint}). Where Emacs uses the margin
761 to display breakpoints, it is also possible to enable or disable them
762 when you click @kbd{Mouse-3} there
763 (@code{gdb-mouse-toggle-breakpoint}).
764
765 @vindex gud-gdb-command-name
766 @findex gdba
767 You can also run GDB in text command mode, which creates a buffer
768 for input and output to GDB. To do this, set
769 @code{gud-gdb-command-name} to @code{"gdb --fullname"} or edit the
770 startup command in the minibuffer to say that. You need to do use
771 text command mode to run multiple debugging sessions within one Emacs
772 session. If you have customized @code{gud-gdb-command-name} in that
773 way, then you can use @kbd{M-x gdba} to invoke GDB in graphical mode.
774
775 @menu
776 * GDB User Interface Layout:: Control the number of displayed buffers.
777 * Breakpoints Buffer:: A breakpoint control panel.
778 * Stack Buffer:: Select a frame from the call stack.
779 * Watch Expressions:: Monitor variable values in the speedbar.
780 * Other GDB User Interface Buffers:: Input/output, locals, registers,
781 assembler, threads and memory buffers.
782 @end menu
783
784 @node GDB User Interface Layout
785 @subsubsection GDB User Interface Layout
786 @cindex GDB User Interface layout
787
788 @findex gdb-many-windows
789 @vindex gdb-many-windows
790
791 If the variable @code{gdb-many-windows} is @code{nil} (the default
792 value) then gdb just pops up the GUD buffer unless the variable
793 @code{gdb-show-main} is non-@code{nil}. In this case it starts with
794 two windows: one displaying the GUD buffer and the other with the
795 source file with the main routine of the inferior.
796
797 If @code{gdb-many-windows} is non-@code{nil}, regardless of the value of
798 @code{gdb-show-main}, the layout below will appear unless
799 @code{gdb-use-inferior-io-buffer} is @code{nil}. In this case the
800 source buffer occupies the full width of the frame.
801
802 @multitable @columnfractions .5 .5
803 @item GUD buffer (I/O of GDB)
804 @tab Locals buffer
805 @item
806 @tab
807 @item Source buffer
808 @tab Input/Output (of inferior) buffer
809 @item
810 @tab
811 @item Stack buffer
812 @tab Breakpoints buffer
813 @end multitable
814
815 To toggle this layout, do @kbd{M-x gdb-many-windows}.
816
817 @findex gdb-restore-windows
818 If you change the window layout, for example, while editing and
819 re-compiling your program, then you can restore it with the command
820 @code{gdb-restore-windows}.
821
822 You may also choose which additional buffers you want to display,
823 either in the same frame or a different one. Select GDB-windows or
824 GDB-Frames from the menu-bar under the heading GUD. If the menu-bar
825 is unavailable, type @code{M-x
826 gdb-display-@var{buffertype}-buffer} or @code{M-x
827 gdb-frame-@var{buffertype}-buffer} respectively, where @var{buffertype}
828 is the relevant buffer type e.g breakpoints.
829
830 When you finish debugging then kill the GUD buffer with @kbd{C-x k},
831 which will also kill all the buffers associated with the session.
832 However you need not do this if, after editing and re-compiling your
833 source code within Emacs, you wish continue debugging. When you
834 restart execution, GDB will automatically find your new executable.
835 Keeping the GUD buffer has the advantage of keeping the shell history
836 as well as GDB's breakpoints. You need to check, however, that the
837 breakpoints in the recently edited code are still where you want them.
838
839 @node Breakpoints Buffer
840 @subsubsection Breakpoints Buffer
841
842 The breakpoints buffer shows the existing breakpoints and watchpoints
843 (@pxref{Breakpoints,,, gdb, The GNU debugger}). It has three special
844 commands:
845
846 @table @kbd
847 @item @key{SPC}
848 @kindex SPC @r{(GDB breakpoints buffer)}
849 @findex gdb-toggle-breakpoint
850 Enable/disable the breakpoint at the current line
851 (@code{gdb-toggle-breakpoint}). On a graphical display, this changes
852 the color of a bullet in the margin of the source buffer at the
853 relevant line. This is red when the breakpoint is enabled and grey
854 when it is disabled. Text-only terminals correspondingly display
855 a @samp{B} or @samp{b}.
856
857 @item @kbd{d}
858 @kindex d @r{(GDB breakpoints buffer)}
859 @findex gdb-delete-breakpoint
860 Delete the breakpoint at the current line (@code{gdb-delete-breakpoint}).
861
862 @item @key{RET}
863 @kindex RET @r{(GDB breakpoints buffer)}
864 @findex gdb-goto-breakpoint
865 Display the file in the source buffer at the breakpoint specified at
866 the current line (@code{gdb-goto-breakpoint}). Alternatively, click
867 @kbd{Mouse-2} on the breakpoint that you wish to visit.
868 @end table
869
870 @node Stack Buffer
871 @subsubsection Stack Buffer
872
873 The stack buffer displays a @dfn{call stack}, with one line for each
874 of the nested subroutine calls (@dfn{stack frames}) now active in the
875 program. @xref{Backtrace,,info stack, gdb, The GNU debugger}.
876
877 The selected frame is displayed in reverse contrast. Move point to
878 any frame in the stack and type @key{RET} to select it (@code{gdb-frames-select})
879 and display the associated source in the source buffer. Alternatively,
880 click @kbd{Mouse-2} to make the selected frame become the current one.
881 If the locals buffer is displayed then its contents update to display
882 the variables that are local to the new frame.
883
884 @node Watch Expressions
885 @subsubsection Watch Expressions
886 @cindex Watching expressions in GDB
887
888 If you want to see how a variable changes each time your program stops
889 then place the cursor over the variable name and click on the watch
890 icon in the tool bar (@code{gud-watch}).
891
892 Each watch expression is displayed in the speedbar. Complex data
893 types, such as arrays, structures and unions are represented in a tree
894 format. To expand or contract a complex data type, click @kbd{Mouse-2}
895 on the tag to the left of the expression.
896
897 @kindex RET @r{(GDB speedbar)}
898 @findex gdb-var-delete
899 With the cursor over the root expression of a complex data type, type
900 @kbd{D} to delete it from the speedbar
901 (@code{gdb-var-delete}).
902
903 @findex gdb-edit-value
904 With the cursor over a simple data type or an element of a complex
905 data type which holds a value, type @key{RET} or click @kbd{Mouse-2} to edit
906 its value. A prompt for a new value appears in the mini-buffer
907 (@code{gdb-edit-value}).
908
909 If you set the variable @code{gdb-show-changed-values} to
910 non-@code{nil} (the default value), then Emacs will use
911 font-lock-warning-face to display values that have recently changed in
912 the speedbar.
913
914 If you set the variable @code{gdb-use-colon-colon-notation} to a
915 non-@code{nil} value, then, in C, Emacs will use the
916 FUNCTION::VARIABLE format to display variables in the speedbar.
917 Since this does not work for variables defined in compound statements,
918 the default value is @code{nil}.
919
920 @node Other GDB User Interface Buffers
921 @subsubsection Other Buffers
922
923 @table @asis
924 @item Input/Output Buffer
925 If the variable @code{gdb-use-inferior-io-buffer} is non-@code{nil},
926 the executable program that is being debugged takes its input and
927 displays its output here. Some of the commands from shell mode are
928 available here. @xref{Shell Mode}.
929
930 @item Locals Buffer
931 The locals buffer displays the values of local variables of the
932 current frame for simple data types (@pxref{Frame Info,,, gdb, The GNU
933 debugger}).
934
935 Arrays and structures display their type only. You must display them
936 separately to examine their values. @xref{Watch Expressions}.
937
938 @item Registers Buffer
939 The registers buffer displays the values held by the registers
940 (@pxref{Registers,,, gdb, The GNU debugger}). Press @key{SPC} to
941 toggle the display of floating point registers.
942
943 @item Assembler Buffer
944 The assembler buffer displays the current frame as machine code. An
945 overlay arrow points to the current instruction and you can set and
946 remove breakpoints as with the source buffer. Breakpoint icons also
947 appear in the fringe or margin.
948
949 @item Threads Buffer
950
951 The threads buffer displays a summary of all threads currently in your
952 program (@pxref{Threads,,, gdb, The GNU debugger}). Move point to
953 any thread in the list and press @key{RET} to make it become the
954 current thread (@code{gdb-threads-select}) and display the associated
955 source in the source buffer. Alternatively, click @kbd{Mouse-2} to
956 make the selected thread become the current one.
957
958 @item Memory Buffer
959
960 The memory buffer allows the user to examine sections of program
961 memory (@pxref{Memory,,, gdb, The GNU debugger}). Click @kbd{Mouse-1}
962 on the appropriate part of the header line to change the starting
963 address or number of data items that the buffer displays.
964 Click @kbd{Mouse-3} on the header line to select the display format
965 or unit size for these data items.
966
967 @end table
968
969 @node Executing Lisp
970 @section Executing Lisp Expressions
971
972 Emacs has several different major modes for Lisp and Scheme. They are
973 the same in terms of editing commands, but differ in the commands for
974 executing Lisp expressions. Each mode has its own purpose.
975
976 @table @asis
977 @item Emacs-Lisp mode
978 The mode for editing source files of programs to run in Emacs Lisp.
979 This mode defines @kbd{C-M-x} to evaluate the current defun.
980 @xref{Lisp Libraries}.
981 @item Lisp Interaction mode
982 The mode for an interactive session with Emacs Lisp. It defines
983 @kbd{C-j} to evaluate the sexp before point and insert its value in the
984 buffer. @xref{Lisp Interaction}.
985 @item Lisp mode
986 The mode for editing source files of programs that run in Lisps other
987 than Emacs Lisp. This mode defines @kbd{C-M-x} to send the current defun
988 to an inferior Lisp process. @xref{External Lisp}.
989 @item Inferior Lisp mode
990 The mode for an interactive session with an inferior Lisp process.
991 This mode combines the special features of Lisp mode and Shell mode
992 (@pxref{Shell Mode}).
993 @item Scheme mode
994 Like Lisp mode but for Scheme programs.
995 @item Inferior Scheme mode
996 The mode for an interactive session with an inferior Scheme process.
997 @end table
998
999 Most editing commands for working with Lisp programs are in fact
1000 available globally. @xref{Programs}.
1001
1002 @node Lisp Libraries
1003 @section Libraries of Lisp Code for Emacs
1004 @cindex libraries
1005 @cindex loading Lisp code
1006
1007 Lisp code for Emacs editing commands is stored in files whose names
1008 conventionally end in @file{.el}. This ending tells Emacs to edit them in
1009 Emacs-Lisp mode (@pxref{Executing Lisp}).
1010
1011 @findex load-file
1012 To execute a file of Emacs Lisp code, use @kbd{M-x load-file}. This
1013 command reads a file name using the minibuffer and then executes the
1014 contents of that file as Lisp code. It is not necessary to visit the
1015 file first; in any case, this command reads the file as found on disk,
1016 not text in an Emacs buffer.
1017
1018 @findex load
1019 @findex load-library
1020 Once a file of Lisp code is installed in the Emacs Lisp library
1021 directories, users can load it using @kbd{M-x load-library}. Programs can
1022 load it by calling @code{load-library}, or with @code{load}, a more primitive
1023 function that is similar but accepts some additional arguments.
1024
1025 @kbd{M-x load-library} differs from @kbd{M-x load-file} in that it
1026 searches a sequence of directories and tries three file names in each
1027 directory. Suppose your argument is @var{lib}; the three names are
1028 @file{@var{lib}.elc}, @file{@var{lib}.el}, and lastly just
1029 @file{@var{lib}}. If @file{@var{lib}.elc} exists, it is by convention
1030 the result of compiling @file{@var{lib}.el}; it is better to load the
1031 compiled file, since it will load and run faster.
1032
1033 If @code{load-library} finds that @file{@var{lib}.el} is newer than
1034 @file{@var{lib}.elc} file, it issues a warning, because it's likely that
1035 somebody made changes to the @file{.el} file and forgot to recompile
1036 it.
1037
1038 Because the argument to @code{load-library} is usually not in itself
1039 a valid file name, file name completion is not available. Indeed, when
1040 using this command, you usually do not know exactly what file name
1041 will be used.
1042
1043 @vindex load-path
1044 The sequence of directories searched by @kbd{M-x load-library} is
1045 specified by the variable @code{load-path}, a list of strings that are
1046 directory names. The default value of the list contains the directory where
1047 the Lisp code for Emacs itself is stored. If you have libraries of
1048 your own, put them in a single directory and add that directory
1049 to @code{load-path}. @code{nil} in this list stands for the current default
1050 directory, but it is probably not a good idea to put @code{nil} in the
1051 list. If you find yourself wishing that @code{nil} were in the list,
1052 most likely what you really want to do is use @kbd{M-x load-file}
1053 this once.
1054
1055 @cindex autoload
1056 Often you do not have to give any command to load a library, because
1057 the commands defined in the library are set up to @dfn{autoload} that
1058 library. Trying to run any of those commands calls @code{load} to load
1059 the library; this replaces the autoload definitions with the real ones
1060 from the library.
1061
1062 @cindex byte code
1063 Emacs Lisp code can be compiled into byte-code which loads faster,
1064 takes up less space when loaded, and executes faster. @xref{Byte
1065 Compilation,, Byte Compilation, elisp, the Emacs Lisp Reference Manual}.
1066 By convention, the compiled code for a library goes in a separate file
1067 whose name consists of the library source file with @samp{c} appended.
1068 Thus, the compiled code for @file{foo.el} goes in @file{foo.elc}.
1069 That's why @code{load-library} searches for @samp{.elc} files first.
1070
1071 @vindex load-dangerous-libraries
1072 @cindex Lisp files byte-compiled by XEmacs
1073 By default, Emacs refuses to load compiled Lisp files which were
1074 compiled with XEmacs, a modified versions of Emacs---they can cause
1075 Emacs to crash. Set the variable @code{load-dangerous-libraries} to
1076 @code{t} if you want to try loading them.
1077
1078 @node Lisp Eval
1079 @section Evaluating Emacs Lisp Expressions
1080 @cindex Emacs-Lisp mode
1081 @cindex mode, Emacs-Lisp
1082
1083 @findex emacs-lisp-mode
1084 Lisp programs intended to be run in Emacs should be edited in
1085 Emacs-Lisp mode; this happens automatically for file names ending in
1086 @file{.el}. By contrast, Lisp mode itself is used for editing Lisp
1087 programs intended for other Lisp systems. To switch to Emacs-Lisp mode
1088 explicitly, use the command @kbd{M-x emacs-lisp-mode}.
1089
1090 For testing of Lisp programs to run in Emacs, it is often useful to
1091 evaluate part of the program as it is found in the Emacs buffer. For
1092 example, after changing the text of a Lisp function definition,
1093 evaluating the definition installs the change for future calls to the
1094 function. Evaluation of Lisp expressions is also useful in any kind of
1095 editing, for invoking noninteractive functions (functions that are
1096 not commands).
1097
1098 @table @kbd
1099 @item M-:
1100 Read a single Lisp expression in the minibuffer, evaluate it, and print
1101 the value in the echo area (@code{eval-expression}).
1102 @item C-x C-e
1103 Evaluate the Lisp expression before point, and print the value in the
1104 echo area (@code{eval-last-sexp}).
1105 @item C-M-x
1106 Evaluate the defun containing or after point, and print the value in
1107 the echo area (@code{eval-defun}).
1108 @item M-x eval-region
1109 Evaluate all the Lisp expressions in the region.
1110 @item M-x eval-current-buffer
1111 Evaluate all the Lisp expressions in the buffer.
1112 @end table
1113
1114 @ifinfo
1115 @c This uses ``colon'' instead of a literal `:' because Info cannot
1116 @c cope with a `:' in a menu
1117 @kindex M-@key{colon}
1118 @end ifinfo
1119 @ifnotinfo
1120 @kindex M-:
1121 @end ifnotinfo
1122 @findex eval-expression
1123 @kbd{M-:} (@code{eval-expression}) is the most basic command for evaluating
1124 a Lisp expression interactively. It reads the expression using the
1125 minibuffer, so you can execute any expression on a buffer regardless of
1126 what the buffer contains. When the expression is evaluated, the current
1127 buffer is once again the buffer that was current when @kbd{M-:} was
1128 typed.
1129
1130 @kindex C-M-x @r{(Emacs-Lisp mode)}
1131 @findex eval-defun
1132 In Emacs-Lisp mode, the key @kbd{C-M-x} is bound to the command
1133 @code{eval-defun}, which parses the defun containing or following point
1134 as a Lisp expression and evaluates it. The value is printed in the echo
1135 area. This command is convenient for installing in the Lisp environment
1136 changes that you have just made in the text of a function definition.
1137
1138 @kbd{C-M-x} treats @code{defvar} expressions specially. Normally,
1139 evaluating a @code{defvar} expression does nothing if the variable it
1140 defines already has a value. But @kbd{C-M-x} unconditionally resets the
1141 variable to the initial value specified in the @code{defvar} expression.
1142 @code{defcustom} expressions are treated similarly.
1143 This special feature is convenient for debugging Lisp programs.
1144 Typing @kbd{C-M-x} on a @code{defface} expression reinitializes
1145 the face according to the @code{defface} specification.
1146
1147 @kindex C-x C-e
1148 @findex eval-last-sexp
1149 The command @kbd{C-x C-e} (@code{eval-last-sexp}) evaluates the Lisp
1150 expression preceding point in the buffer, and displays the value in the
1151 echo area. It is available in all major modes, not just Emacs-Lisp
1152 mode. It does not treat @code{defvar} specially.
1153
1154 When the result of an evaluation is an integer, you can type
1155 @kbd{C-x C-e} a second time to display the value of the integer result
1156 in additional formats (octal, hexadecimal, and character).
1157
1158 If @kbd{C-x C-e}, or @kbd{M-:} is given a numeric argument, it
1159 inserts the value into the current buffer at point, rather than
1160 displaying it in the echo area. The argument's value does not matter.
1161 @kbd{C-M-x} with a numeric argument instruments the function
1162 definition for Edebug (@pxref{Instrumenting, Instrumenting for Edebug,, elisp, the Emacs Lisp Reference Manual}).
1163
1164 @findex eval-region
1165 @findex eval-current-buffer
1166 The most general command for evaluating Lisp expressions from a buffer
1167 is @code{eval-region}. @kbd{M-x eval-region} parses the text of the
1168 region as one or more Lisp expressions, evaluating them one by one.
1169 @kbd{M-x eval-current-buffer} is similar but evaluates the entire
1170 buffer. This is a reasonable way to install the contents of a file of
1171 Lisp code that you are ready to test. Later, as you find bugs and
1172 change individual functions, use @kbd{C-M-x} on each function that you
1173 change. This keeps the Lisp world in step with the source file.
1174
1175 @vindex eval-expression-print-level
1176 @vindex eval-expression-print-length
1177 @vindex eval-expression-debug-on-error
1178 The customizable variables @code{eval-expression-print-level} and
1179 @code{eval-expression-print-length} control the maximum depth and length
1180 of lists to print in the result of the evaluation commands before
1181 abbreviating them. @code{eval-expression-debug-on-error} controls
1182 whether evaluation errors invoke the debugger when these commands are
1183 used.
1184
1185 @node Lisp Interaction
1186 @section Lisp Interaction Buffers
1187
1188 The buffer @samp{*scratch*} which is selected when Emacs starts up is
1189 provided for evaluating Lisp expressions interactively inside Emacs.
1190
1191 The simplest way to use the @samp{*scratch*} buffer is to insert Lisp
1192 expressions and type @kbd{C-j} after each expression. This command
1193 reads the Lisp expression before point, evaluates it, and inserts the
1194 value in printed representation before point. The result is a complete
1195 typescript of the expressions you have evaluated and their values.
1196
1197 The @samp{*scratch*} buffer's major mode is Lisp Interaction mode, which
1198 is the same as Emacs-Lisp mode except for the binding of @kbd{C-j}.
1199
1200 @findex lisp-interaction-mode
1201 The rationale for this feature is that Emacs must have a buffer when
1202 it starts up, but that buffer is not useful for editing files since a
1203 new buffer is made for every file that you visit. The Lisp interpreter
1204 typescript is the most useful thing I can think of for the initial
1205 buffer to do. Type @kbd{M-x lisp-interaction-mode} to put the current
1206 buffer in Lisp Interaction mode.
1207
1208 @findex ielm
1209 An alternative way of evaluating Emacs Lisp expressions interactively
1210 is to use Inferior Emacs-Lisp mode, which provides an interface rather
1211 like Shell mode (@pxref{Shell Mode}) for evaluating Emacs Lisp
1212 expressions. Type @kbd{M-x ielm} to create an @samp{*ielm*} buffer
1213 which uses this mode.
1214
1215 @node External Lisp
1216 @section Running an External Lisp
1217
1218 Emacs has facilities for running programs in other Lisp systems. You can
1219 run a Lisp process as an inferior of Emacs, and pass expressions to it to
1220 be evaluated. You can also pass changed function definitions directly from
1221 the Emacs buffers in which you edit the Lisp programs to the inferior Lisp
1222 process.
1223
1224 @findex run-lisp
1225 @vindex inferior-lisp-program
1226 @kindex C-x C-z
1227 To run an inferior Lisp process, type @kbd{M-x run-lisp}. This runs
1228 the program named @code{lisp}, the same program you would run by typing
1229 @code{lisp} as a shell command, with both input and output going through
1230 an Emacs buffer named @samp{*lisp*}. That is to say, any ``terminal
1231 output'' from Lisp will go into the buffer, advancing point, and any
1232 ``terminal input'' for Lisp comes from text in the buffer. (You can
1233 change the name of the Lisp executable file by setting the variable
1234 @code{inferior-lisp-program}.)
1235
1236 To give input to Lisp, go to the end of the buffer and type the input,
1237 terminated by @key{RET}. The @samp{*lisp*} buffer is in Inferior Lisp
1238 mode, which combines the special characteristics of Lisp mode with most
1239 of the features of Shell mode (@pxref{Shell Mode}). The definition of
1240 @key{RET} to send a line to a subprocess is one of the features of Shell
1241 mode.
1242
1243 @findex lisp-mode
1244 For the source files of programs to run in external Lisps, use Lisp
1245 mode. This mode can be selected with @kbd{M-x lisp-mode}, and is used
1246 automatically for files whose names end in @file{.l}, @file{.lsp}, or
1247 @file{.lisp}, as most Lisp systems usually expect.
1248
1249 @kindex C-M-x @r{(Lisp mode)}
1250 @findex lisp-eval-defun
1251 When you edit a function in a Lisp program you are running, the easiest
1252 way to send the changed definition to the inferior Lisp process is the key
1253 @kbd{C-M-x}. In Lisp mode, this runs the function @code{lisp-eval-defun},
1254 which finds the defun around or following point and sends it as input to
1255 the Lisp process. (Emacs can send input to any inferior process regardless
1256 of what buffer is current.)
1257
1258 Contrast the meanings of @kbd{C-M-x} in Lisp mode (for editing programs
1259 to be run in another Lisp system) and Emacs-Lisp mode (for editing Lisp
1260 programs to be run in Emacs): in both modes it has the effect of installing
1261 the function definition that point is in, but the way of doing so is
1262 different according to where the relevant Lisp environment is found.
1263 @xref{Executing Lisp}.
1264
1265 @ignore
1266 arch-tag: 9c3c2f71-b332-4144-8500-3ff9945a50ed
1267 @end ignore