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