programs.texi 152 KB
Newer Older
Dave Love's avatar
#  
Dave Love committed
1
@c This is part of the Emacs manual.
2
@c Copyright (C) 1985,86,87,93,94,95,97,99,2000 Free Software Foundation, Inc.
Dave Love's avatar
#  
Dave Love committed
3 4 5 6 7 8 9
@c See file emacs.texi for copying conditions.
@node Programs, Building, Text, Top
@chapter Editing Programs
@cindex Lisp editing
@cindex C editing
@cindex program editing

10 11
  Emacs provides many features to facilitate editing programs.  These
features can:
Dave Love's avatar
#  
Dave Love committed
12 13 14

@itemize @bullet
@item
15
Move over or kill balanced expressions (@pxref{Lists}).
Dave Love's avatar
#  
Dave Love committed
16
@item
17 18
Move over or mark top-level expressions, such as @dfn{defuns} in
Lisp, or function definitions in C (@pxref{Defuns}).
Dave Love's avatar
#  
Dave Love committed
19 20 21 22 23 24 25
@item
Show how parentheses balance (@pxref{Matching}).
@item
Insert, kill or align comments (@pxref{Comments}).
@item
Follow the usual indentation conventions of the language
(@pxref{Program Indent}).
26 27 28 29
@item
Highlight program syntax (@pxref{Font Lock}).
@item
Compile and debug programs (@pxref{Building}).
Dave Love's avatar
#  
Dave Love committed
30 31 32
@end itemize

@menu
33
* Misc for Programs::   Other Emacs features useful for editing programs.
Dave Love's avatar
#  
Dave Love committed
34 35 36 37 38 39 40 41 42 43 44
* Program Modes::       Major modes for editing programs.
* Lists::	        Expressions with balanced parentheses.
* List Commands::       The commands for working with list and sexps.
* Defuns::	        Each program is made up of separate functions.
			  There are editing commands to operate on them.
* Program Indent::      Adjusting indentation to show the nesting.
* Matching::	        Insertion of a close-delimiter flashes matching open.
* Comments::	        Inserting, killing, and aligning comments.
* Balanced Editing::    Inserting two matching parentheses at once, etc.
* Symbol Completion::   Completion on symbol names of your program or language.
* Which Function::      Which Function mode shows which function you are in.
45
* Hideshow::            Displaying blocks selectively.
46
* Glasses::             Making identifiersLikeThis more readable.
Dave Love's avatar
#  
Dave Love committed
47 48
* Documentation::       Getting documentation of functions you plan to call.
* Change Log::	        Maintaining a change history for your program.
Eli Zaretskii's avatar
Eli Zaretskii committed
49
* Authors::             Maintaining an @file{AUTHORS} file.
Dave Love's avatar
#  
Dave Love committed
50 51
* Tags::	        Go direct to any function in your program in one
			  command.  Tags remembers which file it is in.
52
* Imenu::               Making buffer indexes as menus.
Dave Love's avatar
#  
Dave Love committed
53
* Emerge::	        A convenient way of merging two versions of a program.
Francesco Potortì's avatar
etags:  
Francesco Potortì committed
54
* C Modes::             Special commands of C, C++, Objective-C,
Dave Love's avatar
#  
Dave Love committed
55
                          Java, and Pike modes.
56 57
* Fortran::             Fortran mode and its special features.
* Asm Mode::            Asm mode and its special features.
Dave Love's avatar
#  
Dave Love committed
58 59
@end menu

60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85
@node Misc for Programs
@section Other Features Useful for Editing Programs

  A number of Emacs commands that aren't designed specifically for
editing programs are useful for it nonetheless.

  The Emacs commands that operate on words, sentences and paragraphs
are useful for editing code.  Most symbols names contain words
(@pxref{Words}); sentences can be found in strings and comments
(@pxref{Sentences}).  Paragraphs in the strict sense may be found in
program code (in long comments), but the paragraph commands are useful
in other places too, because programming language major modes define
paragraphs to begin and end at blank lines (@pxref{Paragraphs}).
Judicious use of blank lines to make the program clearer will also
provide useful chunks of text for the paragraph commands to work on.

  The selective display feature is useful for looking at the overall
structure of a function (@pxref{Selective Display}).  This feature
hides the lines that are indented more than a specified amount.
Programming modes often support Outline minor mode (@pxref{Outline
Mode}).  The Foldout package provides folding-editor features
(@pxref{Foldout}).

  The ``automatic typing'' features may be useful for writing programs.
@xref{Top,,Autotyping, autotype, Autotyping}.

Dave Love's avatar
#  
Dave Love committed
86 87 88
@node Program Modes
@section Major Modes for Programming Languages
@cindex modes for programming languages
89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104

  Emacs has specialized major modes for various programming languages.
@xref{Major Modes}.  A programming language major mode typically
specifies the syntax of expressions, the customary rules for
indentation, how to do syntax highlighting for the language, and how
to find the beginning of a function definition.  They often provide
facilities for compiling and debugging programs as well.

  Ideally, Emacs should provide a major mode for each programming
language that you might want to edit; if it doesn't have a mode for
your favorite language, you can contribute one.  But often the mode
for one language can serve for other syntactically similar languages.
The major mode for language @var{l} is called @code{@var{l}-mode},
and you can enable it by typing @kbd{M-x @var{l}-mode @key{RET}}.
@xref{Choosing Modes}.

Dave Love's avatar
#  
Dave Love committed
105 106 107 108 109 110
@cindex Perl mode
@cindex Icon mode
@cindex Awk mode
@cindex Makefile mode
@cindex Tcl mode
@cindex CPerl mode
Dave Love's avatar
Dave Love committed
111 112 113 114 115 116 117 118 119
@cindex DSSSL mode
@cindex Octave mode
@cindex Metafont mode
@cindex Modula2 mode
@cindex Prolog mode
@cindex Simula mode
@cindex VHDL mode
@cindex M4 mode
@cindex Shell-script mode
120 121
@cindex Delphi mode
@cindex PostScript mode
122 123 124 125 126 127 128 129 130 131 132
  The existing programming language major modes include Lisp, Scheme (a
variant of Lisp) and the Scheme-based DSSSL expression language, Ada,
Awk, C, C++, Delphi (Object Pascal), Fortran (free format and fixed
format), Icon, IDL (CORBA), IDLWAVE, Java, Metafont (@TeX{}'s
companion for font creation), Modula2, Objective-C, Octave, Pascal,
Perl, Pike, PostScript, Prolog, Simula, and Tcl, and VHDL.  There is
also a major mode for makefiles, called Makefile mode.  An alternative
mode for Perl is called CPerl mode.  Modes are available for the
scripting languages of the common Unix shells, VMS DCL, and
MS-DOS/MS-Windows @samp{BAT} files.  There are also major modes for
editing various sorts of configuration files.
Dave Love's avatar
#  
Dave Love committed
133 134

@kindex DEL @r{(programming modes)}
135 136 137
@findex c-electric-backspace
  In most programming languages, indentation is likely to vary from
line to line.  So the major modes for those languages rebind @key{DEL}
138 139 140 141
to treat a tab as if it were the equivalent number of spaces.  This
makes it possible to reduce indentation one column at a time without
worrying whether it is made up of spaces or tabs.  Use @kbd{C-b C-d}
to delete a tab character before point, in these modes.
Dave Love's avatar
#  
Dave Love committed
142 143 144 145 146 147

  Programming language modes define paragraphs to be separated only by
blank lines, so that the paragraph commands remain useful.  Auto Fill mode,
if enabled in a programming language major mode, indents the new lines
which it creates.

148 149 150 151
  Separate manuals are available for the modes for Ada (@pxref{Top, , Ada
Mode, ada-mode, Ada Mode}), C/C++/Objective C/Java/Corba IDL
(@pxref{Top, , CC Mode, ccmode, CC Mode}) and the IDLWAVE modes
(@pxref{Top, , IDLWAVE, idlwave, IDLWAVE User Manual}).
152

Dave Love's avatar
#  
Dave Love committed
153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170
@cindex mode hook
@vindex c-mode-hook
@vindex lisp-mode-hook
@vindex emacs-lisp-mode-hook
@vindex lisp-interaction-mode-hook
@vindex scheme-mode-hook
  Turning on a major mode runs a normal hook called the @dfn{mode hook},
which is the value of a Lisp variable.  Each major mode has a mode hook,
and the hook's name is always made from the mode command's name by
adding @samp{-hook}.  For example, turning on C mode runs the hook
@code{c-mode-hook}, while turning on Lisp mode runs the hook
@code{lisp-mode-hook}.  @xref{Hooks}.

@node Lists
@section Lists and Sexps

@cindex Control-Meta
  By convention, Emacs keys for dealing with balanced expressions are
171 172 173 174 175 176 177 178
Control-Meta characters.  They act like the corresponding Control and
Meta equivalents, except that they operate on balanced expressions
instead of on characters or words.  For instance, the command
@kbd{C-M-b} moves backward over a balanced expression, just as
@kbd{C-b} moves back over a character and @kbd{M-b} moves back over a
word.  These commands are intended for expressions in programming
languages, but can be useful for editing any text that has
parentheses.
Dave Love's avatar
#  
Dave Love committed
179 180 181 182 183 184 185 186 187

@cindex list
@cindex sexp
@cindex expression
  These commands fall into two classes.  Some deal only with @dfn{lists}
(parenthetical groupings).  They see nothing except parentheses, brackets,
braces (whichever ones must balance in the language you are working with),
and escape characters that might be used to quote those.

Richard M. Stallman's avatar
Richard M. Stallman committed
188
  The other commands deal with expressions or @dfn{sexps}.  The word ``sexp''
Dave Love's avatar
#  
Dave Love committed
189
is derived from @dfn{s-expression}, the ancient term for an expression in
Richard M. Stallman's avatar
Richard M. Stallman committed
190
Lisp.  But in Emacs, the notion of ``sexp'' is not limited to Lisp.  It
Dave Love's avatar
#  
Dave Love committed
191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236
refers to an expression in whatever language your program is written in.
Each programming language has its own major mode, which customizes the
syntax tables so that expressions in that language count as sexps.

  Sexps typically include symbols, numbers, and string constants, as well
as anything contained in parentheses, brackets or braces.

  In languages that use prefix and infix operators, such as C, it is not
possible for all expressions to be sexps.  For example, C mode does not
recognize @samp{foo + bar} as a sexp, even though it @emph{is} a C expression;
it recognizes @samp{foo} as one sexp and @samp{bar} as another, with the
@samp{+} as punctuation between them.  This is a fundamental ambiguity:
both @samp{foo + bar} and @samp{foo} are legitimate choices for the sexp to
move over if point is at the @samp{f}.  Note that @samp{(foo + bar)} is a
single sexp in C mode.

  Some languages have obscure forms of expression syntax that nobody
has bothered to make Emacs understand properly.

@node List Commands
@section List And Sexp Commands

@c doublewidecommands
@table @kbd
@item C-M-f
Move forward over a sexp (@code{forward-sexp}).
@item C-M-b
Move backward over a sexp (@code{backward-sexp}).
@item C-M-k
Kill sexp forward (@code{kill-sexp}).
@item C-M-@key{DEL}
Kill sexp backward (@code{backward-kill-sexp}).
@item C-M-u
Move up and backward in list structure (@code{backward-up-list}).
@item C-M-d
Move down and forward in list structure (@code{down-list}).
@item C-M-n
Move forward over a list (@code{forward-list}).
@item C-M-p
Move backward over a list (@code{backward-list}).
@item C-M-t
Transpose expressions (@code{transpose-sexps}).
@item C-M-@@
Put mark after following expression (@code{mark-sexp}).
@end table

237 238 239
@cindex parentheses, moving across
@cindex matching parenthesis and braces, moving to
@cindex braces, moving across
Dave Love's avatar
#  
Dave Love committed
240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260
@kindex C-M-f
@kindex C-M-b
@findex forward-sexp
@findex backward-sexp
  To move forward over a sexp, use @kbd{C-M-f} (@code{forward-sexp}).  If
the first significant character after point is an opening delimiter
(@samp{(} in Lisp; @samp{(}, @samp{[} or @samp{@{} in C), @kbd{C-M-f}
moves past the matching closing delimiter.  If the character begins a
symbol, string, or number, @kbd{C-M-f} moves over that.

  The command @kbd{C-M-b} (@code{backward-sexp}) moves backward over a
sexp.  The detailed rules are like those above for @kbd{C-M-f}, but with
directions reversed.  If there are any prefix characters (single-quote,
backquote and comma, in Lisp) preceding the sexp, @kbd{C-M-b} moves back
over them as well.  The sexp commands move across comments as if they
were whitespace in most modes.

  @kbd{C-M-f} or @kbd{C-M-b} with an argument repeats that operation the
specified number of times; with a negative argument, it moves in the
opposite direction.

261
@cindex deleting parenthesized expressions
Dave Love's avatar
#  
Dave Love committed
262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298
@kindex C-M-k
@findex kill-sexp
@kindex C-M-DEL
@findex backward-kill-sexp
  Killing a whole sexp can be done with @kbd{C-M-k} (@code{kill-sexp})
or @kbd{C-M-@key{DEL}} (@code{backward-kill-sexp}).  @kbd{C-M-k} kills
the characters that @kbd{C-M-f} would move over, and @kbd{C-M-@key{DEL}}
kills the characters that @kbd{C-M-b} would move over.

@kindex C-M-n
@kindex C-M-p
@findex forward-list
@findex backward-list
  The @dfn{list commands} move over lists, as the sexp commands do, but skip
blithely over any number of other kinds of sexps (symbols, strings, etc.).
They are @kbd{C-M-n} (@code{forward-list}) and @kbd{C-M-p}
(@code{backward-list}).  The main reason they are useful is that they
usually ignore comments (since the comments usually do not contain any
lists).@refill

@kindex C-M-u
@kindex C-M-d
@findex backward-up-list
@findex down-list
  @kbd{C-M-n} and @kbd{C-M-p} stay at the same level in parentheses, when
that's possible.  To move @emph{up} one (or @var{n}) levels, use @kbd{C-M-u}
(@code{backward-up-list}).
@kbd{C-M-u} moves backward up past one unmatched opening delimiter.  A
positive argument serves as a repeat count; a negative argument reverses
direction of motion and also requests repetition, so it moves forward and
up one or more levels.@refill

  To move @emph{down} in list structure, use @kbd{C-M-d}
(@code{down-list}).  In Lisp mode, where @samp{(} is the only opening
delimiter, this is nearly the same as searching for a @samp{(}.  An
argument specifies the number of levels of parentheses to go down.

299
@cindex transposition of parenthesized expressions
Dave Love's avatar
#  
Dave Love committed
300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333
@kindex C-M-t
@findex transpose-sexps
  A somewhat random-sounding command which is nevertheless handy is
@kbd{C-M-t} (@code{transpose-sexps}), which drags the previous sexp
across the next one.  An argument serves as a repeat count, and a
negative argument drags backwards (thus canceling out the effect of
@kbd{C-M-t} with a positive argument).  An argument of zero, rather than
doing nothing, transposes the sexps ending after point and the mark.

@kindex C-M-@@
@findex mark-sexp
  To set the region around the next sexp in the buffer, use @kbd{C-M-@@}
(@code{mark-sexp}), which sets mark at the same place that @kbd{C-M-f}
would move to.  @kbd{C-M-@@} takes arguments like @kbd{C-M-f}.  In
particular, a negative argument is useful for putting the mark at the
beginning of the previous sexp.

  The list and sexp commands' understanding of syntax is completely
controlled by the syntax table.  Any character can, for example, be
declared to be an opening delimiter and act like an open parenthesis.
@xref{Syntax}.

@node Defuns
@section Defuns
@cindex defuns

  In Emacs, a parenthetical grouping at the top level in the buffer is
called a @dfn{defun}.  The name derives from the fact that most top-level
lists in a Lisp file are instances of the special form @code{defun}, but
any top-level parenthetical grouping counts as a defun in Emacs parlance
regardless of what its contents are, and regardless of the programming
language in use.  For example, in C, the body of a function definition is a
defun.

334 335 336 337 338 339 340 341 342

@cindex move to beginning or end of function
@cindex function, move to beginning or end
@kindex C-M-a
@kindex C-M-e
@kindex C-M-h
@findex beginning-of-defun
@findex end-of-defun
@findex mark-defun
Dave Love's avatar
#  
Dave Love committed
343 344 345 346 347 348 349 350 351 352 353
@c doublewidecommands
@table @kbd
@item C-M-a
Move to beginning of current or preceding defun
(@code{beginning-of-defun}).
@item C-M-e
Move to end of current or following defun (@code{end-of-defun}).
@item C-M-h
Put region around whole current or following defun (@code{mark-defun}).
@end table

354
@kindex C-M-h @r{(C mode)}
Dave Love's avatar
#  
Dave Love committed
355 356 357 358 359 360 361 362 363 364
@findex c-mark-function
  If you wish to operate on the current defun, use @kbd{C-M-h}
(@code{mark-defun}) which puts point at the beginning and mark at the end
of the current or next defun.  For example, this is the easiest way to get
ready to move the defun to a different place in the text.  In C mode,
@kbd{C-M-h} runs the function @code{c-mark-function}, which is almost the
same as @code{mark-defun}; the difference is that it backs up over the
argument declarations, function name and returned data type so that the
entire C function is inside the region.  @xref{Marking Objects}.

365 366
@cindex open-parenthesis in leftmost column
@cindex ( in leftmost column
Dave Love's avatar
#  
Dave Love committed
367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409
  Emacs assumes that any open-parenthesis found in the leftmost column
is the start of a defun.  Therefore, @strong{never put an
open-parenthesis at the left margin in a Lisp file unless it is the
start of a top-level list.  Never put an open-brace or other opening
delimiter at the beginning of a line of C code unless it starts the body
of a function.}  The most likely problem case is when you want an
opening delimiter at the start of a line inside a string.  To avoid
trouble, put an escape character (@samp{\}, in C and Emacs Lisp,
@samp{/} in some other Lisp dialects) before the opening delimiter.  It
will not affect the contents of the string.

  In the remotest past, the original Emacs found defuns by moving upward a
level of parentheses until there were no more levels to go up.  This always
required scanning all the way back to the beginning of the buffer, even for
a small function.  To speed up the operation, Emacs was changed to assume
that any @samp{(} (or other character assigned the syntactic class of
opening-delimiter) at the left margin is the start of a defun.  This
heuristic is nearly always right and avoids the costly scan; however,
it mandates the convention described above.

@node Program Indent
@section Indentation for Programs
@cindex indentation for programs

  The best way to keep a program properly indented is to use Emacs to
reindent it as you change it.  Emacs has commands to indent properly
either a single line, a specified number of lines, or all of the lines
inside a single parenthetical grouping.

@menu
* Basic Indent::	Indenting a single line.
* Multi-line Indent::   Commands to reindent many lines at once.
* Lisp Indent::		Specifying how each Lisp function should be indented.
* C Indent::		Extra features for indenting C and related modes.
* Custom C Indent::	Controlling indentation style for C and related modes.
@end menu

  Emacs also provides a Lisp pretty-printer in the library @code{pp}.
This program reformats a Lisp object with indentation chosen to look nice.

@node Basic Indent
@subsection Basic Program Indentation Commands

410 411 412 413 414
   Programming language major modes define the @key{TAB} key to indent
according to the usual conventions of the language you are editing.
@kbd{C-j} is normally defined to do @key{RET} followed by @key{TAB};
thus, it too indents in a mode-specific fashion.

Dave Love's avatar
#  
Dave Love committed
415 416 417 418 419 420 421 422 423
@c WideCommands
@table @kbd
@item @key{TAB}
Adjust indentation of current line.
@item C-j
Equivalent to @key{RET} followed by @key{TAB} (@code{newline-and-indent}).
@end table

@kindex TAB @r{(programming modes)}
424 425
@findex c-indent-command
@findex indent-line-function
Dave Love's avatar
#  
Dave Love committed
426 427
  The basic indentation command is @key{TAB}, which gives the current line
the correct indentation as determined from the previous lines.  The
428 429
function that @key{TAB} runs depends on the major mode; it is
@code{indent-for-tab-command}
430
in Lisp mode, @code{c-indent-command} in C mode, etc.  These functions
431 432
understand the syntax and conventions of different languages, but they all do
conceptually the same job: @key{TAB} in any programming-language major mode
Dave Love's avatar
#  
Dave Love committed
433
inserts or deletes whitespace at the beginning of the current line,
434 435 436
independent of where point is in the line.  If point was inside the
whitespace at the beginning of the line, @key{TAB} puts it at the end of
that whitespace; otherwise, @key{TAB} keeps point fixed with respect to
Dave Love's avatar
#  
Dave Love committed
437 438 439 440 441 442
the characters around it.

  Use @kbd{C-q @key{TAB}} to insert a tab at point.

@kindex C-j
@findex newline-and-indent
443 444 445 446
  When entering lines of new code, use @kbd{C-j}
(@code{newline-and-indent}), which is equivalent to a @key{RET}
followed by a @key{TAB}.  @kbd{C-j} at the end of a line creates a
blank line and then gives it the appropriate indentation.
Dave Love's avatar
#  
Dave Love committed
447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462

  @key{TAB} indents the second and following lines of the body of a
parenthetical grouping each under the preceding one; therefore, if you
alter one line's indentation to be nonstandard, the lines below will
tend to follow it.  This behavior is convenient in cases where you have
overridden the standard result of @key{TAB} because you find it
unaesthetic for a particular line.

  Remember that an open-parenthesis, open-brace or other opening delimiter
at the left margin is assumed by Emacs (including the indentation routines)
to be the start of a function.  Therefore, you must never have an opening
delimiter in column zero that is not the beginning of a function, not even
inside a string.  This restriction is vital for making the indentation
commands fast; you must simply accept it.  @xref{Defuns}, for more
information on this.

463 464 465
  Normally, lines are indented with tabs and spaces.  If you want Emacs
to use spaces only, see @ref{Just Spaces}.

Dave Love's avatar
#  
Dave Love committed
466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679
@node Multi-line Indent
@subsection Indenting Several Lines

  When you wish to reindent several lines of code which have been altered
or moved to a different level in the list structure, you have several
commands available.

@table @kbd
@item C-M-q
Reindent all the lines within one list (@code{indent-sexp}).
@item C-u @key{TAB}
Shift an entire list rigidly sideways so that its first line
is properly indented.
@item C-M-\
Reindent all lines in the region (@code{indent-region}).
@end table

@kindex C-M-q
@findex indent-sexp
  You can reindent the contents of a single list by positioning point
before the beginning of it and typing @kbd{C-M-q} (@code{indent-sexp} in
Lisp mode, @code{c-indent-exp} in C mode; also bound to other suitable
commands in other modes).  The indentation of the line the sexp starts on
is not changed; therefore, only the relative indentation within the list,
and not its position, is changed.  To correct the position as well, type a
@key{TAB} before the @kbd{C-M-q}.

@kindex C-u TAB
  If the relative indentation within a list is correct but the
indentation of its first line is not, go to that line and type @kbd{C-u
@key{TAB}}.  @key{TAB} with a numeric argument reindents the current
line as usual, then reindents by the same amount all the lines in the
grouping starting on the current line.  In other words, it reindents the
whole grouping rigidly as a unit.  It is clever, though, and does not
alter lines that start inside strings, or C preprocessor lines when in C
mode.

  Another way to specify the range to be reindented is with the region.
The command @kbd{C-M-\} (@code{indent-region}) applies @key{TAB} to
every line whose first character is between point and mark.

@node Lisp Indent
@subsection Customizing Lisp Indentation
@cindex customizing Lisp indentation

  The indentation pattern for a Lisp expression can depend on the function
called by the expression.  For each Lisp function, you can choose among
several predefined patterns of indentation, or define an arbitrary one with
a Lisp program.

  The standard pattern of indentation is as follows: the second line of the
expression is indented under the first argument, if that is on the same
line as the beginning of the expression; otherwise, the second line is
indented underneath the function name.  Each following line is indented
under the previous line whose nesting depth is the same.

@vindex lisp-indent-offset
  If the variable @code{lisp-indent-offset} is non-@code{nil}, it overrides
the usual indentation pattern for the second line of an expression, so that
such lines are always indented @code{lisp-indent-offset} more columns than
the containing list.

@vindex lisp-body-indent
  The standard pattern is overridden for certain functions.  Functions
whose names start with @code{def} always indent the second line by
@code{lisp-body-indent} extra columns beyond the open-parenthesis
starting the expression.

  The standard pattern can be overridden in various ways for individual
functions, according to the @code{lisp-indent-function} property of the
function name.  There are four possibilities for this property:

@table @asis
@item @code{nil}
This is the same as no property; the standard indentation pattern is used.
@item @code{defun}
The pattern used for function names that start with @code{def} is used for
this function also.
@item a number, @var{number}
The first @var{number} arguments of the function are
@dfn{distinguished} arguments; the rest are considered the @dfn{body}
of the expression.  A line in the expression is indented according to
whether the first argument on it is distinguished or not.  If the
argument is part of the body, the line is indented @code{lisp-body-indent}
more columns than the open-parenthesis starting the containing
expression.  If the argument is distinguished and is either the first
or second argument, it is indented @emph{twice} that many extra columns.
If the argument is distinguished and not the first or second argument,
the standard pattern is followed for that line.
@item a symbol, @var{symbol}
@var{symbol} should be a function name; that function is called to
calculate the indentation of a line within this expression.  The
function receives two arguments:
@table @asis
@item @var{state}
The value returned by @code{parse-partial-sexp} (a Lisp primitive for
indentation and nesting computation) when it parses up to the
beginning of this line.
@item @var{pos}
The position at which the line being indented begins.
@end table
@noindent
It should return either a number, which is the number of columns of
indentation for that line, or a list whose car is such a number.  The
difference between returning a number and returning a list is that a
number says that all following lines at the same nesting level should
be indented just like this one; a list says that following lines might
call for different indentations.  This makes a difference when the
indentation is being computed by @kbd{C-M-q}; if the value is a
number, @kbd{C-M-q} need not recalculate indentation for the following
lines until the end of the list.
@end table

@node C Indent
@subsection Commands for C Indentation

  Here are the commands for indentation in C mode and related modes:

@table @code
@item C-c C-q
@kindex C-c C-q @r{(C mode)}
@findex c-indent-defun
Reindent the current top-level function definition or aggregate type
declaration (@code{c-indent-defun}).

@item C-M-q
@kindex C-M-q @r{(C mode)}
@findex c-indent-exp
Reindent each line in the balanced expression that follows point
(@code{c-indent-exp}).  A prefix argument inhibits error checking and
warning messages about invalid syntax.

@item @key{TAB}
@findex c-indent-command
Reindent the current line, and/or in some cases insert a tab character
(@code{c-indent-command}).

If @code{c-tab-always-indent} is @code{t}, this command always reindents
the current line and does nothing else.  This is the default.

If that variable is @code{nil}, this command reindents the current line
only if point is at the left margin or in the line's indentation;
otherwise, it inserts a tab (or the equivalent number of spaces,
if @code{indent-tabs-mode} is @code{nil}).

Any other value (not @code{nil} or @code{t}) means always reindent the
line, and also insert a tab if within a comment, a string, or a
preprocessor directive.

@item C-u @key{TAB}
Reindent the current line according to its syntax; also rigidly reindent
any other lines of the expression that starts on the current line.
@xref{Multi-line Indent}.
@end table

  To reindent the whole current buffer, type @kbd{C-x h C-M-\}.  This
first selects the whole buffer as the region, then reindents that
region.

  To reindent the current block, use @kbd{C-M-u C-M-q}.  This moves
to the front of the block and then reindents it all.

@node Custom C Indent
@subsection Customizing C Indentation

  C mode and related modes use a simple yet flexible mechanism for
customizing indentation.  The mechanism works in two steps: first it
classifies the line syntactically according to its contents and context;
second, it associates each kind of syntactic construct with an
indentation offset which you can customize.

@menu
* Syntactic Analysis::
* Indentation Calculation::
* Changing Indent Style::
* Syntactic Symbols::
* Variables for C Indent::
* C Indent Styles::
@end menu

@node Syntactic Analysis
@subsubsection Step 1---Syntactic Analysis
@cindex syntactic analysis

  In the first step, the C indentation mechanism looks at the line
before the one you are currently indenting and determines the syntactic
components of the construct on that line.  It builds a list of these
syntactic components, each of which contains a @dfn{syntactic symbol}
and sometimes also a buffer position.  Some syntactic symbols describe
grammatical elements, for example @code{statement} and
@code{substatement}; others describe locations amidst grammatical
elements, for example @code{class-open} and @code{knr-argdecl}.

  Conceptually, a line of C code is always indented relative to the
indentation of some line higher up in the buffer.  This is represented
by the buffer positions in the syntactic component list.

  Here is an example.  Suppose we have the following code in a C++ mode
buffer (the line numbers don't actually appear in the buffer):

@example
1: void swap (int& a, int& b)
2: @{
3:   int tmp = a;
4:   a = b;
5:   b = tmp;
6: @}
@end example

  If you type @kbd{C-c C-s} (which runs the command
@code{c-show-syntactic-information}) on line 4, it shows the result of
the indentation mechanism for that line:

@example
680
syntactic analysis: ((statement . 32))
Dave Love's avatar
#  
Dave Love committed
681 682 683 684 685 686 687 688
@end example

  This indicates that the line is a statement and it is indented
relative to buffer position 32, which happens to be the @samp{i} in
@code{int} on line 3.  If you move the cursor to line 3 and type
@kbd{C-c C-s}, it displays this:

@example
689
syntactic analysis: ((defun-block-intro . 28))
Dave Love's avatar
#  
Dave Love committed
690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713
@end example

  This indicates that the @code{int} line is the first statement in a
block, and is indented relative to buffer position 28, which is the
brace just after the function header.

@noindent
Here is another example:

@example
1: int add (int val, int incr, int doit)
2: @{
3:   if (doit)
4:     @{
5:       return (val + incr);
6:     @}
7:   return (val);
8: @}
@end example

@noindent
Typing @kbd{C-c C-s} on line 4 displays this:

@example
714
syntactic analysis: ((substatement-open . 43))
Dave Love's avatar
#  
Dave Love committed
715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809
@end example

  This says that the brace @emph{opens} a substatement block.  By the
way, a @dfn{substatement} indicates the line after an @code{if},
@code{else}, @code{while}, @code{do}, @code{switch}, @code{for},
@code{try}, @code{catch}, @code{finally}, or @code{synchronized}
statement.

@cindex syntactic component
@cindex syntactic symbol
@vindex c-syntactic-context
  Within the C indentation commands, after a line has been analyzed
syntactically for indentation, the variable @code{c-syntactic-context}
contains a list that describes the results.  Each element in this list
is a @dfn{syntactic component}: a cons cell containing a syntactic
symbol and (optionally) its corresponding buffer position.  There may be
several elements in a component list; typically only one element has a
buffer position.

@node Indentation Calculation
@subsubsection  Step 2---Indentation Calculation
@cindex Indentation Calculation

  The C indentation mechanism calculates the indentation for the current
line using the list of syntactic components, @code{c-syntactic-context},
derived from syntactic analysis.  Each component is a cons cell that
contains a syntactic symbol and may also contain a buffer position.

  Each component contributes to the final total indentation of the line
in two ways.  First, the syntactic symbol identifies an element of
@code{c-offsets-alist}, which is an association list mapping syntactic
symbols into indentation offsets.  Each syntactic symbol's offset adds
to the total indentation.  Second, if the component includes a buffer
position, the column number of that position adds to the indentation.
All these offsets and column numbers, added together, give the total
indentation.

  The following examples demonstrate the workings of the C indentation
mechanism:

@example
1: void swap (int& a, int& b)
2: @{
3:   int tmp = a;
4:   a = b;
5:   b = tmp;
6: @}
@end example

  Suppose that point is on line 3 and you type @key{TAB} to reindent the
line.  As explained above (@pxref{Syntactic Analysis}), the syntactic
component list for that line is:

@example
((defun-block-intro . 28))
@end example

  In this case, the indentation calculation first looks up
@code{defun-block-intro} in the @code{c-offsets-alist} alist.  Suppose
that it finds the integer 2; it adds this to the running total
(initialized to zero), yielding a updated total indentation of 2 spaces.

  The next step is to find the column number of buffer position 28.
Since the brace at buffer position 28 is in column zero, this adds 0 to
the running total.  Since this line has only one syntactic component,
the total indentation for the line is 2 spaces.

@example
1: int add (int val, int incr, int doit)
2: @{
3:   if (doit)
4:     @{
5:       return(val + incr);
6:     @}
7:   return(val);
8: @}
@end example

  If you type @key{TAB} on line 4, the same process is performed, but
with different data.  The syntactic component list for this line is:

@example
((substatement-open . 43))
@end example

   Here, the indentation calculation's first job is to look up the
symbol @code{substatement-open} in @code{c-offsets-alist}.  Let's assume
that the offset for this symbol is 2.  At this point the running total
is 2 (0 + 2 = 2).  Then it adds the column number of buffer position 43,
which is the @samp{i} in @code{if} on line 3.  This character is in
column 2 on that line.  Adding this yields a total indentation of 4
spaces.

@vindex c-strict-syntax-p
   If a syntactic symbol in the analysis of a line does not appear in
810
@code{c-offsets-alist}, it is ignored.
Dave Love's avatar
#  
Dave Love committed
811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852

@node Changing Indent Style
@subsubsection Changing Indentation Style

   There are two ways to customize the indentation style for the C-like
modes.  First, you can select one of several predefined styles, each of
which specifies offsets for all the syntactic symbols.  For more
flexibility, you can customize the handling of individual syntactic
symbols.  @xref{Syntactic Symbols}, for a list of all defined syntactic
symbols.

@table @kbd
@item M-x c-set-style @key{RET} @var{style} @key{RET}
Select predefined indentation style @var{style}.  Type @kbd{?} when
entering @var{style} to see a list of supported styles; to find out what
a style looks like, select it and reindent some C code.

@item C-c C-o @var{symbol} @key{RET} @var{offset} @key{RET}
Set the indentation offset for syntactic symbol @var{symbol}
(@code{c-set-offset}).  The second argument @var{offset} specifies the
new indentation offset.
@end table

   The @code{c-offsets-alist} variable controls the amount of
indentation to give to each syntactic symbol.  Its value is an
association list, and each element of the list has the form
@code{(@var{syntactic-symbol} . @var{offset})}.  By changing the offsets
for various syntactic symbols, you can customize indentation in fine
detail.  To change this alist, use @code{c-set-offset} (see below).

   Each offset value in @code{c-offsets-alist} can be an integer, a
function or variable name, a list, or one of the following symbols: @code{+},
@code{-}, @code{++}, @code{--}, @code{*}, or @code{/}, indicating positive or negative
multiples of the variable @code{c-basic-offset}.  Thus, if you want to
change the levels of indentation to be 3 spaces instead of 2 spaces, set
@code{c-basic-offset} to 3.

   Using a function as the offset value provides the ultimate flexibility
in customizing indentation.  The function is called with a single
argument containing the @code{cons} of the syntactic symbol and
the buffer position, if any.  The function should return an integer
offset.
Francesco Potortì's avatar
etags:  
Francesco Potortì committed
853

Dave Love's avatar
#  
Dave Love committed
854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090
   If the offset value is a list, its elements are processed according
to the rules above until a non-@code{nil} value is found.  That value is
then added to the total indentation in the normal manner.  The primary
use for this is to combine the results of several functions.

@kindex C-c C-o @r{(C mode)}
@findex c-set-offset
   The command @kbd{C-c C-o} (@code{c-set-offset}) is the easiest way to
set offsets, both interactively or in your @file{~/.emacs} file.  First
specify the syntactic symbol, then the offset you want.  @xref{Syntactic
Symbols}, for a list of valid syntactic symbols and their meanings.

@node Syntactic Symbols
@subsubsection Syntactic Symbols

   Here is a table of valid syntactic symbols for indentation in C and
related modes, with their syntactic meanings.  Normally, most of these
symbols are assigned offsets in @code{c-offsets-alist}.

@table @code
@item string
Inside a multi-line string.

@item c
Inside a multi-line C style block comment.

@item defun-open
On a brace that opens a function definition.

@item defun-close
On a brace that closes a function definition.

@item defun-block-intro
In the first line in a top-level defun.

@item class-open
On a brace that opens a class definition.

@item class-close
On a brace that closes a class definition.

@item inline-open
On a brace that opens an in-class inline method.

@item inline-close
On a brace that closes an in-class inline method.

@item extern-lang-open
On a brace that opens an external language block.

@item extern-lang-close
On a brace that closes an external language block.

@item func-decl-cont
The region between a function definition's argument list and the defun
opening brace (excluding K&R function definitions).  In C, you cannot
put anything but whitespace and comments between them; in C++ and Java,
@code{throws} declarations and other things can appear in this context.

@item knr-argdecl-intro
On the first line of a K&R C argument declaration.

@item knr-argdecl
In one of the subsequent lines in a K&R C argument declaration.

@item topmost-intro
On the first line in a topmost construct definition.

@item topmost-intro-cont
On the topmost definition continuation lines.

@item member-init-intro
On the first line in a member initialization list.

@item member-init-cont
On one of the subsequent member initialization list lines.

@item inher-intro
On the first line of a multiple inheritance list.

@item inher-cont
On one of the subsequent multiple inheritance lines.

@item block-open
On a statement block open brace.

@item block-close
On a statement block close brace.

@item brace-list-open
On the opening brace of an @code{enum} or @code{static} array list.

@item brace-list-close
On the closing brace of an @code{enum} or @code{static} array list.

@item brace-list-intro
On the first line in an @code{enum} or @code{static} array list.

@item brace-list-entry
On one of the subsequent lines in an @code{enum} or @code{static} array
list.

@item brace-entry-open
On one of the subsequent lines in an @code{enum} or @code{static} array
list, when the line begins with an open brace.

@item statement
On an ordinary statement.

@item statement-cont
On a continuation line of a statement.

@item statement-block-intro
On the first line in a new statement block.

@item statement-case-intro
On the first line in a @code{case} ``block.''

@item statement-case-open
On the first line in a @code{case} block starting with brace.

@item inexpr-statement
On a statement block inside an expression.  This is used for a GNU
extension to the C language, and for Pike special functions that take a
statement block as an argument.

@item inexpr-class
On a class definition inside an expression.  This is used for anonymous
classes and anonymous array initializers in Java.

@item substatement
On the first line after an @code{if}, @code{while}, @code{for},
@code{do}, or @code{else}.

@item substatement-open
On the brace that opens a substatement block.

@item case-label
On a @code{case} or @code{default} label.

@item access-label
On a C++ @code{private}, @code{protected}, or @code{public} access label.

@item label
On any ordinary label.

@item do-while-closure
On the @code{while} that ends a @code{do}-@code{while} construct.

@item else-clause
On the @code{else} of an @code{if}-@code{else} construct.

@item catch-clause
On the @code{catch} and @code{finally} lines in
@code{try}@dots{}@code{catch} constructs in C++ and Java.

@item comment-intro
On a line containing only a comment introduction.

@item arglist-intro
On the first line in an argument list.

@item arglist-cont
On one of the subsequent argument list lines when no arguments follow on
the same line as the arglist opening parenthesis.

@item arglist-cont-nonempty
On one of the subsequent argument list lines when at least one argument
follows on the same line as the arglist opening parenthesis.

@item arglist-close
On the closing parenthesis of an argument list.

@item stream-op
On one of the lines continuing a stream operator construct.

@item inclass
On a construct that is nested inside a class definition.  The
indentation is relative to the open brace of the class definition.

@item inextern-lang
On a construct that is nested inside an external language block.

@item inexpr-statement
On the first line of statement block inside an expression.  This is used
for the GCC extension to C that uses the syntax @code{(@{ @dots{} @})}.
It is also used for the special functions that takes a statement block
as an argument in Pike.

@item inexpr-class
On the first line of a class definition inside an expression.  This is
used for anonymous classes and anonymous array initializers in Java.

@item cpp-macro
On the start of a cpp macro.

@item friend
On a C++ @code{friend} declaration.

@item objc-method-intro
On the first line of an Objective-C method definition.

@item objc-method-args-cont
On one of the lines continuing an Objective-C method definition.

@item objc-method-call-cont
On one of the lines continuing an Objective-C method call.

@item inlambda
Like @code{inclass}, but used inside lambda (i.e. anonymous) functions.  Only
used in Pike.

@item lambda-intro-cont
On a line continuing the header of a lambda function, between the
@code{lambda} keyword and the function body.  Only used in Pike.
@end table

@node Variables for C Indent
@subsubsection Variables for C Indentation

  This section describes additional variables which control the
indentation behavior of C mode and related mode.

@table @code
@item c-offsets-alist
@vindex c-offsets-alist
Association list of syntactic symbols and their indentation offsets.
You should not set this directly, only with @code{c-set-offset}.
@xref{Changing Indent Style}, for details.

@item c-style-alist
@vindex c-style-alist
Variable for defining indentation styles; see below.

@item c-basic-offset
@vindex c-basic-offset
Amount of basic offset used by @code{+} and @code{-} symbols in
Francesco Potortì's avatar
etags:  
Francesco Potortì committed
1091
@code{c-offsets-alist}.@refill
Dave Love's avatar
#  
Dave Love committed
1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123

@item c-special-indent-hook
@vindex c-special-indent-hook
Hook for user-defined special indentation adjustments.  This hook is
called after a line is indented by C mode and related modes.
@end table

  The variable @code{c-style-alist} specifies the predefined indentation
styles.  Each element has form @code{(@var{name}
@var{variable-setting}@dots{})}, where @var{name} is the name of the
style.  Each @var{variable-setting} has the form @code{(@var{variable}
. @var{value})}; @var{variable} is one of the customization variables
used by C mode, and @var{value} is the value for that variable when
using the selected style.

  When @var{variable} is @code{c-offsets-alist}, that is a special case:
@var{value} is appended to the front of the value of @code{c-offsets-alist}
instead of replacing that value outright.  Therefore, it is not necessary
for @var{value} to specify each and every syntactic symbol---only those
for which the style differs from the default.

  The indentation of lines containing only comments is also affected by
the variable @code{c-comment-only-line-offset} (@pxref{Comments in C}).

@node C Indent Styles
@subsubsection C Indentation Styles
@cindex c indentation styles

  A @dfn{C style} is a collection of indentation style customizations.
Emacs comes with several predefined indentation styles for C and related
modes, including @code{gnu}, @code{k&r}, @code{bsd}, @code{stroustrup},
@code{linux}, @code{python}, @code{java}, @code{whitesmith},
1124
@code{ellemtel}, @code{cc-mode}, and @code{user}.
Dave Love's avatar
#  
Dave Love committed
1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144

@findex c-set-style
@vindex c-default-style
  To choose the style you want, use the command @kbd{M-x c-set-style}.
Specify a style name as an argument (case is not significant in C style
names).  The chosen style only affects newly visited buffers, not those
you are already editing.  You can also set the variable
@code{c-default-style} to specify the style for various major modes.
Its value should be an alist, in which each element specifies one major
mode and which indentation style to use for it.  For example,

@example
(setq c-default-style
      '((java-mode . "java") (other . "gnu")))
@end example

@noindent
specifies an explicit choice for Java mode, and the default @samp{gnu}
style for the other C-like modes.

1145 1146
  The style @code{gnu} defines the formatting recommend by the GNU
Project; it is the default, so as to encourage the indentation we
1147 1148 1149 1150
recommend.  However, if you make changes in variables such as
@code{c-basic-offset} and @code{c-offsets-alist} in your
@file{~/.emacs} file, your changes override the what @code{gnu} style
says.
1151

Dave Love's avatar
#  
Dave Love committed
1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165
@findex c-add-style
  To define a new C indentation style, call the function
@code{c-add-style}:

@example
(c-add-style @var{name} @var{values} @var{use-now})
@end example

@noindent
Here @var{name} is the name of the new style (a string), and
@var{values} is an alist whose elements have the form
@code{(@var{variable} . @var{value})}.  The variables you specify should
be among those documented in @ref{Variables for C Indent}.

1166 1167
  If @var{use-now} is non-@code{nil}, @code{c-add-style} selects the new
style after defining it.
Dave Love's avatar
#  
Dave Love committed
1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202

@node Matching
@section Automatic Display Of Matching Parentheses
@cindex matching parentheses
@cindex parentheses, displaying matches

  The Emacs parenthesis-matching feature is designed to show
automatically how parentheses match in the text.  Whenever you type a
self-inserting character that is a closing delimiter, the cursor moves
momentarily to the location of the matching opening delimiter, provided
that is on the screen.  If it is not on the screen, some text near it is
displayed in the echo area.  Either way, you can tell what grouping is
being closed off.

  In Lisp, automatic matching applies only to parentheses.  In C, it
applies to braces and brackets too.  Emacs knows which characters to regard
as matching delimiters based on the syntax table, which is set by the major
mode.  @xref{Syntax}.

  If the opening delimiter and closing delimiter are mismatched---such as
in @samp{[x)}---a warning message is displayed in the echo area.  The
correct matches are specified in the syntax table.

@vindex blink-matching-paren
@vindex blink-matching-paren-distance
@vindex blink-matching-delay
  Three variables control parenthesis match display.
@code{blink-matching-paren} turns the feature on or off; @code{nil}
turns it off, but the default is @code{t} to turn match display on.
@code{blink-matching-delay} says how many seconds to wait; the default
is 1, but on some systems it is useful to specify a fraction of a
second.  @code{blink-matching-paren-distance} specifies how many
characters back to search to find the matching opening delimiter.  If
the match is not found in that far, scanning stops, and nothing is
displayed.  This is to prevent scanning for the matching delimiter from
1203
wasting lots of time when there is no match.  The default is 25600.
Dave Love's avatar
#  
Dave Love committed
1204 1205

@cindex Show Paren mode
1206
@cindex highlighting matching parentheses
Dave Love's avatar
#  
Dave Love committed
1207
@findex show-paren-mode
1208 1209 1210 1211
  Show Paren mode provides a more powerful kind of automatic
parenthesis matching.  Whenever point is after a close parenthesis,
the close parenthesis and its matching open parenthesis are both
highlighted; otherwise, if point is before an open parenthesis, the
1212
matching close parenthesis is highlighted.  (There is no need to
1213 1214 1215
highlight the open parenthesis after point because the cursor appears
on top of that character.)  Use the command @kbd{M-x show-paren-mode}
to enable or disable this mode.
1216 1217 1218 1219 1220 1221

  By default, @code{show-paren-mode} uses colors to highlight the
parentheses.  However, if your display doesn't support colors, you can
customize the faces @code{show-paren-match-face} and
@code{show-paren-mismatch-face} to use other attributes, such as bold or
underline.  @xref{Face Customization}.
Dave Love's avatar
#  
Dave Love committed
1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239

@node Comments
@section Manipulating Comments
@cindex comments

  Because comments are such an important part of programming, Emacs
provides special commands for editing and inserting comments.

@menu
* Comment Commands::
* Multi-Line Comments::
* Options for Comments::
@end menu

@node Comment Commands
@subsection Comment Commands
@cindex indentation for comments

1240 1241
  The comment commands in this table insert, kill and align comments.
They are described in this section and following sections.
Dave Love's avatar
#  
Dave Love committed
1242 1243 1244

@table @kbd
@item M-;
1245 1246 1247 1248
Insert or realign comment on current line; alternatively, comment or
uncomment the region (@code{comment-dwim}).
@item C-u M-;
Kill comment on current line (@code{comment-kill}).
Dave Love's avatar
#  
Dave Love committed
1249
@item C-x ;
1250
Set comment column (@code{comment-set-column}).
Dave Love's avatar
#  
Dave Love committed
1251 1252
@item C-M-j
Like @key{RET} followed by inserting and aligning a comment
1253
(@code{comment-indent-new-line}).
Dave Love's avatar
#  
Dave Love committed
1254 1255 1256 1257
@item M-x comment-region
Add or remove comment delimiters on all the lines in the region.
@end table

1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303
@kindex M-;
@findex comment-dwim
  The command to create or align a comment is @kbd{M-;}
(@code{comment-dwim}).  The word ``dwim'' is an acronym for ``Do What
I Mean''; it indicates that this command can be used for many
different jobs relating to comments, depending on the situation where
you use it.

  If there is no comment already on the line, @kbd{M-;} inserts a new
comment, aligned at a specific column called the @dfn{comment column}.
The new comment begins with the string Emacs thinks comments should
start with (the value of @code{comment-start}; see below).  Point is
after that string, so you can insert the text of the comment right
away.  If the major mode has specified a string to terminate comments,
@kbd{M-;} inserts that too, to keep the syntax valid.

  If the text of the line extends past the comment column, then the
comment start string is indented to a suitable boundary (usually, at
least one space is inserted).

  You can also use @kbd{M-;} to align an existing comment.  If a line
already contains the comment-start string, @kbd{M-;} reindents it to
the conventional alignment and moves point after it.  (Exception:
comments starting in column 0 are not moved.)  Even when an existing
comment is properly aligned, @kbd{M-;} is still useful for moving
directly to the start of the text inside the comment.

@findex comment-kill
@kindex C-u M-;
  @kbd{C-u M-;} kills any comment on the current line, along with the
whitespace before it.  To reinsert the comment on another line, move
to the end of that line, do @kbd{C-y}, and then do @kbd{M-;} to
realign it.

  Note that @kbd{C-u M-;} is not a distinct key; it is @kbd{M-;}
(@code{comment-dwim}) with a prefix argument.  That command is
programmed so that when it receives a prefix argument it calls
@code{comment-kill}.  However, @code{comment-kill} is a valid command
in its own right, and you can bind it directly to a key if you wish.

  @kbd{M-;} does two other jobs when used with an active region in
Transient Mark mode (@pxref{Transient Mark}).  Then it either adds or
removes comment delimiters on each line of the region.  (If every line
is a comment, it removes comment delimiters from each; otherwise, it
adds comment delimiters to each.)  If you are not using Transient Mark
mode, then you should use the commands @code{comment-region} and
Andreas Schwab's avatar
Andreas Schwab committed
1304
@code{uncomment-region} to do these jobs (@pxref{Multi-Line Comments}).
1305 1306
A prefix argument used in these circumstances specifies how many
comment delimiters to add or how many to delete.
Dave Love's avatar
#  
Dave Love committed
1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332

  Some major modes have special rules for indenting certain kinds of
comments in certain contexts.  For example, in Lisp code, comments which
start with two semicolons are indented as if they were lines of code,
instead of at the comment column.  Comments which start with three
semicolons are supposed to start at the left margin.  Emacs understands
these conventions by indenting a double-semicolon comment using @key{TAB},
and by not changing the indentation of a triple-semicolon comment at all.

@example
;; This function is just an example
;;; Here either two or three semicolons are appropriate.
(defun foo (x)
;;; And now, the first part of the function:
  ;; The following line adds one.
  (1+ x))           ; This line adds one.
@end example

  In C code, a comment preceded on its line by nothing but whitespace
is indented like a line of code.

@node Multi-Line Comments
@subsection Multiple Lines of Comments

@kindex C-M-j
@cindex blank lines in programs
1333
@findex comment-indent-new-line
Dave Love's avatar
#  
Dave Love committed
1334
  If you are typing a comment and wish to continue it on another line,
1335
you can use the command @kbd{C-M-j} (@code{comment-indent-new-line}).
Dave Love's avatar
#  
Dave Love committed
1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355
This terminates the comment you are typing, creates a new blank line
afterward, and begins a new comment indented under the old one.  When
Auto Fill mode is on, going past the fill column while typing a comment
causes the comment to be continued in just this fashion.  If point is
not at the end of the line when @kbd{C-M-j} is typed, the text on
the rest of the line becomes part of the new comment line.

@findex comment-region
  To turn existing lines into comment lines, use the @kbd{M-x
comment-region} command.  It adds comment delimiters to the lines that start
in the region, thus commenting them out.  With a negative argument, it
does the opposite---it deletes comment delimiters from the lines in the
region.

  With a positive argument, @code{comment-region} duplicates the last
character of the comment start sequence it adds; the argument specifies
how many copies of the character to insert.  Thus, in Lisp mode,
@kbd{C-u 2 M-x comment-region} adds @samp{;;} to each line.  Duplicating
the comment delimiter is a way of calling attention to the comment.  It
can also affect how the comment is indented.  In Lisp, for proper
1356 1357
indentation, you should use an argument of two or three, if between defuns;
if within a defun, it must be three.
Dave Love's avatar
#  
Dave Love committed
1358 1359 1360 1361 1362 1363

@node Options for Comments
@subsection Options Controlling Comments

@vindex comment-column
@kindex C-x ;
1364
@findex comment-set-column
Dave Love's avatar
#  
Dave Love committed
1365 1366
  The comment column is stored in the variable @code{comment-column}.  You
can set it to a number explicitly.  Alternatively, the command @kbd{C-x ;}
1367
(@code{comment-set-column}) sets the comment column to the column point is
Dave Love's avatar
#  
Dave Love committed
1368 1369
at.  @kbd{C-u C-x ;} sets the comment column to match the last comment
before point in the buffer, and then does a @kbd{M-;} to align the
1370
current line's comment under the previous one.
Dave Love's avatar
#  
Dave Love committed
1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382

  The variable @code{comment-column} is per-buffer: setting the variable
in the normal fashion affects only the current buffer, but there is a
default value which you can change with @code{setq-default}.
@xref{Locals}.  Many major modes initialize this variable for the
current buffer.

@vindex comment-start-skip
  The comment commands recognize comments based on the regular
expression that is the value of the variable @code{comment-start-skip}.
Make sure this regexp does not match the null string.  It may match more
than the comment starting delimiter in the strictest sense of the word;
1383 1384 1385 1386
for example, in C mode the value of the variable is
@c This stops M-q from breaking the line inside that @code.
@code{@w{"/\\*+ *\\|//+ *""}}, which matches extra stars and spaces
after the @samp{/*} itself, and accepts C++ style comments also.
Dave Love's avatar
#  
Dave Love committed
1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398
(Note that @samp{\\} is needed in Lisp syntax to include a @samp{\} in
the string, which is needed to deny the first star its special meaning
in regexp syntax.  @xref{Regexps}.)

@vindex comment-start
@vindex comment-end
  When a comment command makes a new comment, it inserts the value of
@code{comment-start} to begin it.  The value of @code{comment-end} is
inserted after point, so that it will follow the text that you will insert
into the comment.  In C mode, @code{comment-start} has the value
@w{@code{"/* "}} and @code{comment-end} has the value @w{@code{" */"}}.

1399 1400 1401
@vindex comment-padding
  The variable @code{comment-padding} specifies how many spaces
@code{comment-region} should insert on each line between the
1402 1403
comment delimiter and the line's original text.  The default is 1,
to insert one space.
1404

Dave Love's avatar
#  
Dave Love committed
1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461
@vindex comment-multi-line
  The variable @code{comment-multi-line} controls how @kbd{C-M-j}
(@code{indent-new-comment-line}) behaves when used inside a comment.  If
@code{comment-multi-line} is @code{nil}, as it normally is, then the
comment on the starting line is terminated and a new comment is started
on the new following line.  If @code{comment-multi-line} is not
@code{nil}, then the new following line is set up as part of the same
comment that was found on the starting line.  This is done by not
inserting a terminator on the old line, and not inserting a starter on
the new line.  In languages where multi-line comments work, the choice
of value for this variable is a matter of taste.

@vindex comment-indent-function
  The variable @code{comment-indent-function} should contain a function
that will be called to compute the indentation for a newly inserted
comment or for aligning an existing comment.  It is set differently by
various major modes.  The function is called with no arguments, but with
point at the beginning of the comment, or at the end of a line if a new
comment is to be inserted.  It should return the column in which the
comment ought to start.  For example, in Lisp mode, the indent hook
function bases its decision on how many semicolons begin an existing
comment, and on the code in the preceding lines.

@node Balanced Editing
@section Editing Without Unbalanced Parentheses

@table @kbd
@item M-(
Put parentheses around next sexp(s) (@code{insert-parentheses}).
@item M-)
Move past next close parenthesis and reindent
(@code{move-past-close-and-reindent}).
@end table

@kindex M-(
@kindex M-)
@findex insert-parentheses
@findex move-past-close-and-reindent
  The commands @kbd{M-(} (@code{insert-parentheses}) and @kbd{M-)}
(@code{move-past-close-and-reindent}) are designed to facilitate a style
of editing which keeps parentheses balanced at all times.  @kbd{M-(}
inserts a pair of parentheses, either together as in @samp{()}, or, if
given an argument, around the next several sexps.  It leaves point after
the open parenthesis.  The command @kbd{M-)} moves past the close
parenthesis, deleting any indentation preceding it, and indenting with
@kbd{C-j} after it.

  For example, instead of typing @kbd{( F O O )}, you can type @kbd{M-(
F O O}, which has the same effect except for leaving the cursor before
the close parenthesis.

@vindex parens-require-spaces
  @kbd{M-(} may insert a space before the open parenthesis, depending on
the syntax class of the preceding character.  Set
@code{parens-require-spaces} to @code{nil} value if you wish to inhibit
this.

1462
@findex check-parens
1463
@cindex unbalanced parentheses and quotes
1464 1465
  You can use @kbd{M-x check-parens} to find any unbalanced
parentheses and unbalanced string quotes in a buffer.
1466

Dave Love's avatar
#  
Dave Love committed
1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483
@node Symbol Completion
@section Completion for Symbol Names
@cindex completion (symbol names)

  Usually completion happens in the minibuffer.  But one kind of completion
is available in all buffers: completion for symbol names.

@kindex M-TAB
  The character @kbd{M-@key{TAB}} runs a command to complete the partial
symbol before point against the set of meaningful symbol names.  Any
additional characters determined by the partial name are inserted at
point.

  If the partial name in the buffer has more than one possible completion
and they have no additional characters in common, a list of all possible
completions is displayed in another window.

1484
@cindex tags-based completion
Dave Love's avatar
#  
Dave Love committed
1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498
@cindex Info index completion
@findex complete-symbol
  In most programming language major modes, @kbd{M-@key{TAB}} runs the
command @code{complete-symbol}, which provides two kinds of completion.
Normally it does completion based on a tags table (@pxref{Tags}); with a
numeric argument (regardless of the value), it does completion based on
the names listed in the Info file indexes for your language.  Thus, to
complete the name of a symbol defined in your own program, use
@kbd{M-@key{TAB}} with no argument; to complete the name of a standard
library function, use @kbd{C-u M-@key{TAB}}.  Of course, Info-based
completion works only if there is an Info file for the standard library
functions of your language, and only if it is installed at your site.

@cindex Lisp symbol completion
1499
@cindex completion (Lisp symbols)
Dave Love's avatar
#  
Dave Love committed
1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526
@findex lisp-complete-symbol
  In Emacs-Lisp mode, the name space for completion normally consists of
nontrivial symbols present in Emacs---those that have function
definitions, values or properties.  However, if there is an
open-parenthesis immediately before the beginning of the partial symbol,
only symbols with function definitions are considered as completions.
The command which implements this is @code{lisp-complete-symbol}.

  In Text mode and related modes, @kbd{M-@key{TAB}} completes words
based on the spell-checker's dictionary.  @xref{Spelling}.

@node Which Function
@section Which Function Mode

  Which Function mode is a minor mode that displays the current function
name in the mode line, as you move around in a buffer.

@findex which-function-mode
@vindex which-func-modes
  To enable (or disable) Which Function mode, use the command @kbd{M-x
which-function-mode}.  This command is global; it applies to all
buffers, both existing ones and those yet to be created.  However, this
only affects certain major modes, those listed in the value of
@code{which-func-modes}.  (If the value is @code{t}, then Which Function
mode applies to all major modes that know how to support it---which are
the major modes that support Imenu.)

1527 1528 1529 1530
@node Hideshow
@section Hideshow minor mode

@findex hs-minor-mode
1531 1532 1533 1534 1535
  Hideshow minor mode provides selective display of portions of a
file, known as @dfn{blocks}.  You can use @kbd{M-x hs-minor-mode} to
enable or disable this mode, or add @code{hs-minor-mode} to the mode
hook for certain major modes in order to enable it automatically for
those modes.
1536

1537 1538 1539 1540
  Just what constitutes a block depends on the major mode.  In C mode
or C++ mode, they are delimited by braces, while in Lisp mode and
similar modes they are delimited by parentheses.  Multi-line comments
also count as blocks.
1541 1542 1543 1544 1545 1546 1547 1548

@findex hs-hide-all
@findex hs-hide-block
@findex hs-show-all
@findex hs-show-block
@findex hs-show-region
@findex hs-hide-level
@findex hs-minor-mode
1549 1550 1551 1552 1553 1554
@kindex C-c @@ C-h
@kindex C-c @@ C-s
@kindex C-c @@ C-M-h
@kindex C-c @@ C-M-s
@kindex C-c @@ C-r
@kindex C-c @@ C-l
1555 1556
@kindex S-Mouse-2
@table @kbd