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