Trailing whitespace deleted.
[bpt/emacs.git] / lispref / strings.texi
CommitLineData
869f4785
RS
1@c -*-texinfo-*-
2@c This is part of the GNU Emacs Lisp Reference Manual.
fd897522 3@c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998, 1999
177c0ea7 4@c Free Software Foundation, Inc.
869f4785
RS
5@c See the file elisp.texi for copying conditions.
6@setfilename ../info/strings
7@node Strings and Characters, Lists, Numbers, Top
8@comment node-name, next, previous, up
9@chapter Strings and Characters
10@cindex strings
11@cindex character arrays
12@cindex characters
13@cindex bytes
14
15 A string in Emacs Lisp is an array that contains an ordered sequence
16of characters. Strings are used as names of symbols, buffers, and
b6ae404e
KH
17files; to send messages to users; to hold text being copied between
18buffers; and for many other purposes. Because strings are so important,
869f4785
RS
19Emacs Lisp has many functions expressly for manipulating them. Emacs
20Lisp programs use strings more often than individual characters.
21
22 @xref{Strings of Events}, for special considerations for strings of
23keyboard character events.
24
25@menu
26* Basics: String Basics. Basic properties of strings and characters.
27* Predicates for Strings:: Testing whether an object is a string or char.
28* Creating Strings:: Functions to allocate new strings.
f9f59935 29* Modifying Strings:: Altering the contents of an existing string.
869f4785 30* Text Comparison:: Comparing characters or strings.
8241495d 31* String Conversion:: Converting to and from characters and strings.
a9f0a989 32* Formatting Strings:: @code{format}: Emacs's analogue of @code{printf}.
969fe9b5
RS
33* Case Conversion:: Case conversion functions.
34* Case Tables:: Customizing case conversion.
869f4785
RS
35@end menu
36
37@node String Basics
38@section String and Character Basics
39
b6ae404e 40 Characters are represented in Emacs Lisp as integers;
969fe9b5
RS
41whether an integer is a character or not is determined only by how it is
42used. Thus, strings really contain integers.
869f4785 43
f9f59935
RS
44 The length of a string (like any array) is fixed, and cannot be
45altered once the string exists. Strings in Lisp are @emph{not}
46terminated by a distinguished character code. (By contrast, strings in
8241495d 47C are terminated by a character with @sc{ascii} code 0.)
869f4785 48
969fe9b5
RS
49 Since strings are arrays, and therefore sequences as well, you can
50operate on them with the general array and sequence functions.
51(@xref{Sequences Arrays Vectors}.) For example, you can access or
52change individual characters in a string using the functions @code{aref}
53and @code{aset} (@pxref{Array Functions}).
869f4785 54
8241495d 55 There are two text representations for non-@sc{ascii} characters in
f9f59935 56Emacs strings (and in buffers): unibyte and multibyte (@pxref{Text
8241495d
RS
57Representations}). An @sc{ascii} character always occupies one byte in a
58string; in fact, when a string is all @sc{ascii}, there is no real
b6ae404e
KH
59difference between the unibyte and multibyte representations.
60For most Lisp programming, you don't need to be concerned with these two
f9f59935 61representations.
869f4785
RS
62
63 Sometimes key sequences are represented as strings. When a string is
64a key sequence, string elements in the range 128 to 255 represent meta
8241495d 65characters (which are large integers) rather than character
969fe9b5 66codes in the range 128 to 255.
869f4785
RS
67
68 Strings cannot hold characters that have the hyper, super or alt
8241495d
RS
69modifiers; they can hold @sc{ascii} control characters, but no other
70control characters. They do not distinguish case in @sc{ascii} control
f9f59935
RS
71characters. If you want to store such characters in a sequence, such as
72a key sequence, you must use a vector instead of a string.
8241495d 73@xref{Character Type}, for more information about the representation of meta
f9f59935 74and other modifiers for keyboard input characters.
869f4785 75
bfe721d1
KH
76 Strings are useful for holding regular expressions. You can also
77match regular expressions against strings (@pxref{Regexp Search}). The
78functions @code{match-string} (@pxref{Simple Match Data}) and
79@code{replace-match} (@pxref{Replacing Match}) are useful for
80decomposing and modifying strings based on regular expression matching.
81
869f4785
RS
82 Like a buffer, a string can contain text properties for the characters
83in it, as well as the characters themselves. @xref{Text Properties}.
bfe721d1
KH
84All the Lisp primitives that copy text from strings to buffers or other
85strings also copy the properties of the characters being copied.
869f4785
RS
86
87 @xref{Text}, for information about functions that display strings or
88copy them into buffers. @xref{Character Type}, and @ref{String Type},
89for information about the syntax of characters and strings.
f9f59935 90@xref{Non-ASCII Characters}, for functions to convert between text
b6ae404e 91representations and to encode and decode character codes.
869f4785
RS
92
93@node Predicates for Strings
94@section The Predicates for Strings
95
96For more information about general sequence and array predicates,
97see @ref{Sequences Arrays Vectors}, and @ref{Arrays}.
98
99@defun stringp object
a9f0a989 100This function returns @code{t} if @var{object} is a string, @code{nil}
869f4785
RS
101otherwise.
102@end defun
103
104@defun char-or-string-p object
a9f0a989 105This function returns @code{t} if @var{object} is a string or a
869f4785
RS
106character (i.e., an integer), @code{nil} otherwise.
107@end defun
108
109@node Creating Strings
110@section Creating Strings
111
112 The following functions create strings, either from scratch, or by
113putting strings together, or by taking them apart.
114
115@defun make-string count character
a9f0a989 116This function returns a string made up of @var{count} repetitions of
869f4785
RS
117@var{character}. If @var{count} is negative, an error is signaled.
118
119@example
120(make-string 5 ?x)
121 @result{} "xxxxx"
122(make-string 0 ?x)
123 @result{} ""
124@end example
125
126 Other functions to compare with this one include @code{char-to-string}
127(@pxref{String Conversion}), @code{make-vector} (@pxref{Vectors}), and
128@code{make-list} (@pxref{Building Lists}).
129@end defun
130
f9f59935
RS
131@defun string &rest characters
132This returns a string containing the characters @var{characters}.
133
134@example
135(string ?a ?b ?c)
136 @result{} "abc"
137@end example
138@end defun
139
869f4785 140@defun substring string start &optional end
bfe721d1 141This function returns a new string which consists of those characters
869f4785
RS
142from @var{string} in the range from (and including) the character at the
143index @var{start} up to (but excluding) the character at the index
144@var{end}. The first character is at index zero.
145
146@example
147@group
148(substring "abcdefg" 0 3)
149 @result{} "abc"
150@end group
151@end example
152
153@noindent
154Here the index for @samp{a} is 0, the index for @samp{b} is 1, and the
155index for @samp{c} is 2. Thus, three letters, @samp{abc}, are copied
156from the string @code{"abcdefg"}. The index 3 marks the character
157position up to which the substring is copied. The character whose index
158is 3 is actually the fourth character in the string.
159
160A negative number counts from the end of the string, so that @minus{}1
177c0ea7 161signifies the index of the last character of the string. For example:
869f4785
RS
162
163@example
164@group
165(substring "abcdefg" -3 -1)
166 @result{} "ef"
167@end group
168@end example
169
170@noindent
171In this example, the index for @samp{e} is @minus{}3, the index for
172@samp{f} is @minus{}2, and the index for @samp{g} is @minus{}1.
173Therefore, @samp{e} and @samp{f} are included, and @samp{g} is excluded.
174
175When @code{nil} is used as an index, it stands for the length of the
176string. Thus,
177
178@example
179@group
180(substring "abcdefg" -3 nil)
181 @result{} "efg"
182@end group
183@end example
184
185Omitting the argument @var{end} is equivalent to specifying @code{nil}.
186It follows that @code{(substring @var{string} 0)} returns a copy of all
187of @var{string}.
188
189@example
190@group
191(substring "abcdefg" 0)
192 @result{} "abcdefg"
193@end group
194@end example
195
196@noindent
197But we recommend @code{copy-sequence} for this purpose (@pxref{Sequence
198Functions}).
199
bfe721d1
KH
200If the characters copied from @var{string} have text properties, the
201properties are copied into the new string also. @xref{Text Properties}.
202
8241495d 203@code{substring} also accepts a vector for the first argument.
969fe9b5
RS
204For example:
205
206@example
207(substring [a b (c) "d"] 1 3)
208 @result{} [b (c)]
209@end example
210
869f4785
RS
211A @code{wrong-type-argument} error is signaled if either @var{start} or
212@var{end} is not an integer or @code{nil}. An @code{args-out-of-range}
213error is signaled if @var{start} indicates a character following
214@var{end}, or if either integer is out of range for @var{string}.
215
216Contrast this function with @code{buffer-substring} (@pxref{Buffer
217Contents}), which returns a string containing a portion of the text in
218the current buffer. The beginning of a string is at index 0, but the
219beginning of a buffer is at index 1.
220@end defun
221
222@defun concat &rest sequences
223@cindex copying strings
224@cindex concatenating strings
225This function returns a new string consisting of the characters in the
bfe721d1
KH
226arguments passed to it (along with their text properties, if any). The
227arguments may be strings, lists of numbers, or vectors of numbers; they
228are not themselves changed. If @code{concat} receives no arguments, it
229returns an empty string.
869f4785
RS
230
231@example
232(concat "abc" "-def")
233 @result{} "abc-def"
a9f0a989 234(concat "abc" (list 120 121) [122])
869f4785
RS
235 @result{} "abcxyz"
236;; @r{@code{nil} is an empty sequence.}
237(concat "abc" nil "-def")
238 @result{} "abc-def"
239(concat "The " "quick brown " "fox.")
240 @result{} "The quick brown fox."
241(concat)
242 @result{} ""
243@end example
244
245@noindent
869f4785
RS
246The @code{concat} function always constructs a new string that is
247not @code{eq} to any existing string.
248
315fe0e9
DL
249In Emacs versions before 21, when an argument was an integer (not a
250sequence of integers), it was converted to a string of digits making up
251the decimal printed representation of the integer. This obsolete usage
252no longer works. The proper way to convert an integer to its decimal
253printed form is with @code{format} (@pxref{Formatting Strings}) or
a10f6c69 254@code{number-to-string} (@pxref{String Conversion}).
869f4785 255
869f4785
RS
256For information about other concatenation functions, see the
257description of @code{mapconcat} in @ref{Mapping Functions},
258@code{vconcat} in @ref{Vectors}, and @code{append} in @ref{Building
259Lists}.
260@end defun
261
f9f59935 262@defun split-string string separators
8241495d 263This function splits @var{string} into substrings at matches for the regular
f9f59935
RS
264expression @var{separators}. Each match for @var{separators} defines a
265splitting point; the substrings between the splitting points are made
b6ae404e
KH
266into a list, which is the value returned by @code{split-string}.
267If @var{separators} is @code{nil} (or omitted),
268the default is @code{"[ \f\t\n\r\v]+"}.
f9f59935
RS
269
270For example,
271
272@example
273(split-string "Soup is good food" "o")
274@result{} ("S" "up is g" "" "d f" "" "d")
275(split-string "Soup is good food" "o+")
276@result{} ("S" "up is g" "d f" "d")
277@end example
278
279When there is a match adjacent to the beginning or end of the string,
280this does not cause a null string to appear at the beginning or end
281of the list:
282
283@example
284(split-string "out to moo" "o+")
285@result{} ("ut t" " m")
286@end example
287
288Empty matches do count, when not adjacent to another match:
289
290@example
291(split-string "Soup is good food" "o*")
292@result{}("S" "u" "p" " " "i" "s" " " "g" "d" " " "f" "d")
293(split-string "Nice doggy!" "")
294@result{}("N" "i" "c" "e" " " "d" "o" "g" "g" "y" "!")
295@end example
296@end defun
297
298@node Modifying Strings
299@section Modifying Strings
300
301 The most basic way to alter the contents of an existing string is with
302@code{aset} (@pxref{Array Functions}). @code{(aset @var{string}
303@var{idx} @var{char})} stores @var{char} into @var{string} at index
304@var{idx}. Each character occupies one or more bytes, and if @var{char}
305needs a different number of bytes from the character already present at
969fe9b5 306that index, @code{aset} signals an error.
f9f59935
RS
307
308 A more powerful function is @code{store-substring}:
309
f9f59935
RS
310@defun store-substring string idx obj
311This function alters part of the contents of the string @var{string}, by
312storing @var{obj} starting at index @var{idx}. The argument @var{obj}
313may be either a character or a (smaller) string.
314
315Since it is impossible to change the length of an existing string, it is
316an error if @var{obj} doesn't fit within @var{string}'s actual length,
b6ae404e 317or if any new character requires a different number of bytes from the
969fe9b5 318character currently present at that point in @var{string}.
f9f59935
RS
319@end defun
320
bda144f4 321@need 2000
869f4785
RS
322@node Text Comparison
323@section Comparison of Characters and Strings
324@cindex string equality
325
326@defun char-equal character1 character2
327This function returns @code{t} if the arguments represent the same
328character, @code{nil} otherwise. This function ignores differences
329in case if @code{case-fold-search} is non-@code{nil}.
330
331@example
332(char-equal ?x ?x)
333 @result{} t
f9f59935
RS
334(let ((case-fold-search nil))
335 (char-equal ?x ?X))
336 @result{} nil
869f4785
RS
337@end example
338@end defun
339
340@defun string= string1 string2
341This function returns @code{t} if the characters of the two strings
b6ae404e
KH
342match exactly.
343Case is always significant, regardless of @code{case-fold-search}.
869f4785
RS
344
345@example
346(string= "abc" "abc")
347 @result{} t
348(string= "abc" "ABC")
349 @result{} nil
350(string= "ab" "ABC")
351 @result{} nil
352@end example
22697dac 353
f9f59935
RS
354The function @code{string=} ignores the text properties of the two
355strings. When @code{equal} (@pxref{Equality Predicates}) compares two
356strings, it uses @code{string=}.
357
8241495d 358If the strings contain non-@sc{ascii} characters, and one is unibyte
f9f59935
RS
359while the other is multibyte, then they cannot be equal. @xref{Text
360Representations}.
869f4785
RS
361@end defun
362
363@defun string-equal string1 string2
364@code{string-equal} is another name for @code{string=}.
365@end defun
366
367@cindex lexical comparison
368@defun string< string1 string2
369@c (findex string< causes problems for permuted index!!)
8241495d
RS
370This function compares two strings a character at a time. It
371scans both the strings at the same time to find the first pair of corresponding
372characters that do not match. If the lesser character of these two is
869f4785
RS
373the character from @var{string1}, then @var{string1} is less, and this
374function returns @code{t}. If the lesser character is the one from
375@var{string2}, then @var{string1} is greater, and this function returns
376@code{nil}. If the two strings match entirely, the value is @code{nil}.
377
969fe9b5
RS
378Pairs of characters are compared according to their character codes.
379Keep in mind that lower case letters have higher numeric values in the
8241495d 380@sc{ascii} character set than their upper case counterparts; digits and
869f4785 381many punctuation characters have a lower numeric value than upper case
8241495d
RS
382letters. An @sc{ascii} character is less than any non-@sc{ascii}
383character; a unibyte non-@sc{ascii} character is always less than any
384multibyte non-@sc{ascii} character (@pxref{Text Representations}).
869f4785
RS
385
386@example
387@group
388(string< "abc" "abd")
389 @result{} t
390(string< "abd" "abc")
391 @result{} nil
392(string< "123" "abc")
393 @result{} t
394@end group
395@end example
396
397When the strings have different lengths, and they match up to the
398length of @var{string1}, then the result is @code{t}. If they match up
399to the length of @var{string2}, the result is @code{nil}. A string of
400no characters is less than any other string.
401
402@example
403@group
404(string< "" "abc")
405 @result{} t
406(string< "ab" "abc")
407 @result{} t
408(string< "abc" "")
409 @result{} nil
410(string< "abc" "ab")
411 @result{} nil
412(string< "" "")
177c0ea7 413 @result{} nil
869f4785
RS
414@end group
415@end example
416@end defun
417
418@defun string-lessp string1 string2
419@code{string-lessp} is another name for @code{string<}.
a9f0a989
RS
420@end defun
421
422@defun compare-strings string1 start1 end1 string2 start2 end2 &optional ignore-case
8241495d 423This function compares the specified part of @var{string1} with the
a9f0a989 424specified part of @var{string2}. The specified part of @var{string1}
8241495d
RS
425runs from index @var{start1} up to index @var{end1} (@code{nil} means
426the end of the string). The specified part of @var{string2} runs from
427index @var{start2} up to index @var{end2} (@code{nil} means the end of
428the string).
a9f0a989
RS
429
430The strings are both converted to multibyte for the comparison
1911e6e5
RS
431(@pxref{Text Representations}) so that a unibyte string can be equal to
432a multibyte string. If @var{ignore-case} is non-@code{nil}, then case
433is ignored, so that upper case letters can be equal to lower case letters.
a9f0a989
RS
434
435If the specified portions of the two strings match, the value is
436@code{t}. Otherwise, the value is an integer which indicates how many
437leading characters agree, and which string is less. Its absolute value
438is one plus the number of characters that agree at the beginning of the
439two strings. The sign is negative if @var{string1} (or its specified
440portion) is less.
441@end defun
442
443@defun assoc-ignore-case key alist
a9f0a989 444This function works like @code{assoc}, except that @var{key} must be a
ea626e87
RS
445string, and comparison is done using @code{compare-strings}, ignoring
446case differences. @xref{Association Lists}.
a9f0a989
RS
447@end defun
448
449@defun assoc-ignore-representation key alist
a9f0a989
RS
450This function works like @code{assoc}, except that @var{key} must be a
451string, and comparison is done using @code{compare-strings}.
452Case differences are significant.
869f4785
RS
453@end defun
454
455 See also @code{compare-buffer-substrings} in @ref{Comparing Text}, for
456a way to compare text in buffers. The function @code{string-match},
457which matches a regular expression against a string, can be used
458for a kind of string comparison; see @ref{Regexp Search}.
459
460@node String Conversion
461@comment node-name, next, previous, up
462@section Conversion of Characters and Strings
463@cindex conversion of strings
464
465 This section describes functions for conversions between characters,
466strings and integers. @code{format} and @code{prin1-to-string}
467(@pxref{Output Functions}) can also convert Lisp objects into strings.
468@code{read-from-string} (@pxref{Input Functions}) can ``convert'' a
f9f59935
RS
469string representation of a Lisp object into an object. The functions
470@code{string-make-multibyte} and @code{string-make-unibyte} convert the
471text representation of a string (@pxref{Converting Representations}).
869f4785
RS
472
473 @xref{Documentation}, for functions that produce textual descriptions
474of text characters and general input events
475(@code{single-key-description} and @code{text-char-description}). These
476functions are used primarily for making help messages.
477
478@defun char-to-string character
479@cindex character to string
969fe9b5
RS
480This function returns a new string containing one character,
481@var{character}. This function is semi-obsolete because the function
482@code{string} is more general. @xref{Creating Strings}.
869f4785
RS
483@end defun
484
485@defun string-to-char string
486@cindex string to character
487 This function returns the first character in @var{string}. If the
488string is empty, the function returns 0. The value is also 0 when the
8241495d 489first character of @var{string} is the null character, @sc{ascii} code
869f4785
RS
4900.
491
492@example
493(string-to-char "ABC")
494 @result{} 65
495(string-to-char "xyz")
496 @result{} 120
497(string-to-char "")
498 @result{} 0
8241495d 499@group
869f4785
RS
500(string-to-char "\000")
501 @result{} 0
8241495d 502@end group
869f4785
RS
503@end example
504
505This function may be eliminated in the future if it does not seem useful
506enough to retain.
507@end defun
508
509@defun number-to-string number
510@cindex integer to string
511@cindex integer to decimal
b6ae404e 512This function returns a string consisting of the printed base-ten
869f4785 513representation of @var{number}, which may be an integer or a floating
8241495d 514point number. The returned value starts with a minus sign if the argument is
869f4785
RS
515negative.
516
517@example
518(number-to-string 256)
519 @result{} "256"
520(number-to-string -23)
521 @result{} "-23"
522(number-to-string -23.5)
523 @result{} "-23.5"
524@end example
525
526@cindex int-to-string
527@code{int-to-string} is a semi-obsolete alias for this function.
528
529See also the function @code{format} in @ref{Formatting Strings}.
530@end defun
531
a9f0a989 532@defun string-to-number string &optional base
869f4785
RS
533@cindex string to number
534This function returns the numeric value of the characters in
f9f59935
RS
535@var{string}. If @var{base} is non-@code{nil}, integers are converted
536in that base. If @var{base} is @code{nil}, then base ten is used.
537Floating point conversion always uses base ten; we have not implemented
538other radices for floating point numbers, because that would be much
3afd8c25
EZ
539more work and does not seem useful. If @var{string} looks like an
540integer but its value is too large to fit into a Lisp integer,
541@code{string-to-number} returns a floating point result.
f9f59935
RS
542
543The parsing skips spaces and tabs at the beginning of @var{string}, then
544reads as much of @var{string} as it can interpret as a number. (On some
545systems it ignores other whitespace at the beginning, not just spaces
8241495d
RS
546and tabs.) If the first character after the ignored whitespace is
547neither a digit, nor a plus or minus sign, nor the leading dot of a
548floating point number, this function returns 0.
869f4785
RS
549
550@example
551(string-to-number "256")
552 @result{} 256
553(string-to-number "25 is a perfect square.")
554 @result{} 25
555(string-to-number "X256")
556 @result{} 0
557(string-to-number "-4.5")
558 @result{} -4.5
ea626e87
RS
559(string-to-number "1e5")
560 @result{} 100000.0
869f4785
RS
561@end example
562
563@findex string-to-int
564@code{string-to-int} is an obsolete alias for this function.
565@end defun
566
f9f59935
RS
567 Here are some other functions that can convert to or from a string:
568
569@table @code
570@item concat
571@code{concat} can convert a vector or a list into a string.
572@xref{Creating Strings}.
573
574@item vconcat
575@code{vconcat} can convert a string into a vector. @xref{Vector
576Functions}.
577
578@item append
579@code{append} can convert a string into a list. @xref{Building Lists}.
580@end table
581
869f4785
RS
582@node Formatting Strings
583@comment node-name, next, previous, up
584@section Formatting Strings
585@cindex formatting strings
586@cindex strings, formatting them
587
588 @dfn{Formatting} means constructing a string by substitution of
b6ae404e
KH
589computed values at various places in a constant string. This constant string
590controls how the other values are printed, as well as where they appear;
869f4785
RS
591it is called a @dfn{format string}.
592
593 Formatting is often useful for computing messages to be displayed. In
594fact, the functions @code{message} and @code{error} provide the same
595formatting feature described here; they differ from @code{format} only
596in how they use the result of formatting.
597
598@defun format string &rest objects
969fe9b5 599This function returns a new string that is made by copying
177c0ea7 600@var{string} and then replacing any format specification
869f4785
RS
601in the copy with encodings of the corresponding @var{objects}. The
602arguments @var{objects} are the computed values to be formatted.
8241495d
RS
603
604The characters in @var{string}, other than the format specifications,
605are copied directly into the output; starting in Emacs 21, if they have
606text properties, these are copied into the output also.
869f4785
RS
607@end defun
608
609@cindex @samp{%} in format
610@cindex format specification
611 A format specification is a sequence of characters beginning with a
612@samp{%}. Thus, if there is a @samp{%d} in @var{string}, the
613@code{format} function replaces it with the printed representation of
614one of the values to be formatted (one of the arguments @var{objects}).
615For example:
616
617@example
618@group
619(format "The value of fill-column is %d." fill-column)
620 @result{} "The value of fill-column is 72."
621@end group
622@end example
623
624 If @var{string} contains more than one format specification, the
b6ae404e 625format specifications correspond to successive values from
869f4785
RS
626@var{objects}. Thus, the first format specification in @var{string}
627uses the first such value, the second format specification uses the
628second such value, and so on. Any extra format specifications (those
629for which there are no corresponding values) cause unpredictable
630behavior. Any extra values to be formatted are ignored.
631
a9f0a989
RS
632 Certain format specifications require values of particular types. If
633you supply a value that doesn't fit the requirements, an error is
634signaled.
869f4785
RS
635
636 Here is a table of valid format specifications:
637
638@table @samp
639@item %s
640Replace the specification with the printed representation of the object,
f9f59935 641made without quoting (that is, using @code{princ}, not
969fe9b5 642@code{prin1}---@pxref{Output Functions}). Thus, strings are represented
f9f59935
RS
643by their contents alone, with no @samp{"} characters, and symbols appear
644without @samp{\} characters.
869f4785 645
8241495d
RS
646Starting in Emacs 21, if the object is a string, its text properties are
647copied into the output. The text properties of the @samp{%s} itself
648are also copied, but those of the object take priority.
649
869f4785
RS
650If there is no corresponding object, the empty string is used.
651
652@item %S
653Replace the specification with the printed representation of the object,
f9f59935
RS
654made with quoting (that is, using @code{prin1}---@pxref{Output
655Functions}). Thus, strings are enclosed in @samp{"} characters, and
656@samp{\} characters appear where necessary before special characters.
869f4785
RS
657
658If there is no corresponding object, the empty string is used.
659
660@item %o
661@cindex integer to octal
662Replace the specification with the base-eight representation of an
663integer.
664
665@item %d
666Replace the specification with the base-ten representation of an
667integer.
668
669@item %x
898bb59a 670@itemx %X
869f4785
RS
671@cindex integer to hexadecimal
672Replace the specification with the base-sixteen representation of an
898bb59a 673integer. @samp{%x} uses lower case and @samp{%X} uses upper case.
869f4785
RS
674
675@item %c
676Replace the specification with the character which is the value given.
677
678@item %e
679Replace the specification with the exponential notation for a floating
394d33a8 680point number.
869f4785
RS
681
682@item %f
683Replace the specification with the decimal-point notation for a floating
684point number.
685
686@item %g
687Replace the specification with notation for a floating point number,
a9f0a989 688using either exponential notation or decimal-point notation, whichever
394d33a8 689is shorter.
869f4785
RS
690
691@item %%
898bb59a
DL
692Replace the specification with a single @samp{%}. This format
693specification is unusual in that it does not use a value. For example,
694@code{(format "%% %d" 30)} returns @code{"% 30"}.
869f4785
RS
695@end table
696
697 Any other format character results in an @samp{Invalid format
698operation} error.
699
700 Here are several examples:
701
702@example
703@group
704(format "The name of this buffer is %s." (buffer-name))
705 @result{} "The name of this buffer is strings.texi."
706
707(format "The buffer object prints as %s." (current-buffer))
9feb90da 708 @result{} "The buffer object prints as strings.texi."
869f4785 709
177c0ea7 710(format "The octal value of %d is %o,
869f4785 711 and the hex value is %x." 18 18 18)
177c0ea7 712 @result{} "The octal value of 18 is 22,
869f4785
RS
713 and the hex value is 12."
714@end group
715@end example
716
717@cindex numeric prefix
718@cindex field width
719@cindex padding
720 All the specification characters allow an optional numeric prefix
721between the @samp{%} and the character. The optional numeric prefix
722defines the minimum width for the object. If the printed representation
723of the object contains fewer characters than this, then it is padded.
724The padding is on the left if the prefix is positive (or starts with
725zero) and on the right if the prefix is negative. The padding character
726is normally a space, but if the numeric prefix starts with a zero, zeros
f9f59935 727are used for padding. Here are some examples of padding:
869f4785
RS
728
729@example
730(format "%06d is padded on the left with zeros" 123)
731 @result{} "000123 is padded on the left with zeros"
732
733(format "%-6d is padded on the right" 123)
734 @result{} "123 is padded on the right"
735@end example
736
737 @code{format} never truncates an object's printed representation, no
738matter what width you specify. Thus, you can use a numeric prefix to
739specify a minimum spacing between columns with no risk of losing
740information.
741
742 In the following three examples, @samp{%7s} specifies a minimum width
743of 7. In the first case, the string inserted in place of @samp{%7s} has
744only 3 letters, so 4 blank spaces are inserted for padding. In the
745second case, the string @code{"specification"} is 13 letters wide but is
746not truncated. In the third case, the padding is on the right.
747
177c0ea7 748@smallexample
869f4785
RS
749@group
750(format "The word `%7s' actually has %d letters in it."
751 "foo" (length "foo"))
177c0ea7 752 @result{} "The word ` foo' actually has 3 letters in it."
869f4785
RS
753@end group
754
755@group
756(format "The word `%7s' actually has %d letters in it."
177c0ea7
JB
757 "specification" (length "specification"))
758 @result{} "The word `specification' actually has 13 letters in it."
869f4785
RS
759@end group
760
761@group
762(format "The word `%-7s' actually has %d letters in it."
763 "foo" (length "foo"))
177c0ea7 764 @result{} "The word `foo ' actually has 3 letters in it."
869f4785
RS
765@end group
766@end smallexample
767
969fe9b5 768@node Case Conversion
177c0ea7 769@comment node-name, next, previous, up
969fe9b5 770@section Case Conversion in Lisp
177c0ea7
JB
771@cindex upper case
772@cindex lower case
773@cindex character case
969fe9b5 774@cindex case conversion in Lisp
869f4785
RS
775
776 The character case functions change the case of single characters or
a9f0a989
RS
777of the contents of strings. The functions normally convert only
778alphabetic characters (the letters @samp{A} through @samp{Z} and
8241495d
RS
779@samp{a} through @samp{z}, as well as non-@sc{ascii} letters); other
780characters are not altered. You can specify a different case
781conversion mapping by specifying a case table (@pxref{Case Tables}).
a9f0a989
RS
782
783 These functions do not modify the strings that are passed to them as
784arguments.
869f4785
RS
785
786 The examples below use the characters @samp{X} and @samp{x} which have
8241495d 787@sc{ascii} codes 88 and 120 respectively.
869f4785
RS
788
789@defun downcase string-or-char
790This function converts a character or a string to lower case.
791
792When the argument to @code{downcase} is a string, the function creates
793and returns a new string in which each letter in the argument that is
794upper case is converted to lower case. When the argument to
795@code{downcase} is a character, @code{downcase} returns the
796corresponding lower case character. This value is an integer. If the
797original character is lower case, or is not a letter, then the value
798equals the original character.
799
800@example
801(downcase "The cat in the hat")
802 @result{} "the cat in the hat"
803
804(downcase ?X)
805 @result{} 120
806@end example
807@end defun
808
809@defun upcase string-or-char
810This function converts a character or a string to upper case.
811
812When the argument to @code{upcase} is a string, the function creates
813and returns a new string in which each letter in the argument that is
814lower case is converted to upper case.
815
816When the argument to @code{upcase} is a character, @code{upcase}
817returns the corresponding upper case character. This value is an integer.
818If the original character is upper case, or is not a letter, then the
8241495d 819value returned equals the original character.
869f4785
RS
820
821@example
822(upcase "The cat in the hat")
823 @result{} "THE CAT IN THE HAT"
824
825(upcase ?x)
826 @result{} 88
827@end example
828@end defun
829
830@defun capitalize string-or-char
831@cindex capitalization
832This function capitalizes strings or characters. If
833@var{string-or-char} is a string, the function creates and returns a new
834string, whose contents are a copy of @var{string-or-char} in which each
835word has been capitalized. This means that the first character of each
836word is converted to upper case, and the rest are converted to lower
837case.
838
839The definition of a word is any sequence of consecutive characters that
840are assigned to the word constituent syntax class in the current syntax
15da7853 841table (@pxref{Syntax Class Table}).
869f4785
RS
842
843When the argument to @code{capitalize} is a character, @code{capitalize}
844has the same result as @code{upcase}.
845
846@example
847(capitalize "The cat in the hat")
848 @result{} "The Cat In The Hat"
849
850(capitalize "THE 77TH-HATTED CAT")
851 @result{} "The 77th-Hatted Cat"
852
853@group
854(capitalize ?x)
855 @result{} 88
856@end group
857@end example
858@end defun
859
969fe9b5 860@defun upcase-initials string
b6ae404e 861This function capitalizes the initials of the words in @var{string},
969fe9b5 862without altering any letters other than the initials. It returns a new
a9f0a989 863string whose contents are a copy of @var{string}, in which each word has
b6ae404e 864had its initial letter converted to upper case.
969fe9b5
RS
865
866The definition of a word is any sequence of consecutive characters that
867are assigned to the word constituent syntax class in the current syntax
15da7853 868table (@pxref{Syntax Class Table}).
969fe9b5
RS
869
870@example
871@group
872(upcase-initials "The CAT in the hAt")
873 @result{} "The CAT In The HAt"
874@end group
875@end example
876@end defun
877
a9f0a989
RS
878 @xref{Text Comparison}, for functions that compare strings; some of
879them ignore case differences, or can optionally ignore case differences.
880
969fe9b5 881@node Case Tables
869f4785
RS
882@section The Case Table
883
884 You can customize case conversion by installing a special @dfn{case
885table}. A case table specifies the mapping between upper case and lower
969fe9b5
RS
886case letters. It affects both the case conversion functions for Lisp
887objects (see the previous section) and those that apply to text in the
888buffer (@pxref{Case Changes}). Each buffer has a case table; there is
889also a standard case table which is used to initialize the case table
890of new buffers.
f9f59935 891
969fe9b5
RS
892 A case table is a char-table (@pxref{Char-Tables}) whose subtype is
893@code{case-table}. This char-table maps each character into the
894corresponding lower case character. It has three extra slots, which
895hold related tables:
f9f59935
RS
896
897@table @var
898@item upcase
899The upcase table maps each character into the corresponding upper
900case character.
901@item canonicalize
902The canonicalize table maps all of a set of case-related characters
a9f0a989 903into a particular member of that set.
f9f59935 904@item equivalences
a9f0a989
RS
905The equivalences table maps each one of a set of case-related characters
906into the next character in that set.
f9f59935 907@end table
869f4785 908
f9f59935
RS
909 In simple cases, all you need to specify is the mapping to lower-case;
910the three related tables will be calculated automatically from that one.
869f4785
RS
911
912 For some languages, upper and lower case letters are not in one-to-one
913correspondence. There may be two different lower case letters with the
914same upper case equivalent. In these cases, you need to specify the
f9f59935 915maps for both lower case and upper case.
869f4785 916
f9f59935 917 The extra table @var{canonicalize} maps each character to a canonical
869f4785 918equivalent; any two characters that are related by case-conversion have
f9f59935
RS
919the same canonical equivalent character. For example, since @samp{a}
920and @samp{A} are related by case-conversion, they should have the same
921canonical equivalent character (which should be either @samp{a} for both
922of them, or @samp{A} for both of them).
869f4785 923
f9f59935
RS
924 The extra table @var{equivalences} is a map that cyclicly permutes
925each equivalence class (of characters with the same canonical
8241495d 926equivalent). (For ordinary @sc{ascii}, this would map @samp{a} into
f9f59935
RS
927@samp{A} and @samp{A} into @samp{a}, and likewise for each set of
928equivalent characters.)
869f4785 929
2778c642 930 When you construct a case table, you can provide @code{nil} for
969fe9b5 931@var{canonicalize}; then Emacs fills in this slot from the lower case
f9f59935 932and upper case mappings. You can also provide @code{nil} for
969fe9b5 933@var{equivalences}; then Emacs fills in this slot from
2778c642
RS
934@var{canonicalize}. In a case table that is actually in use, those
935components are non-@code{nil}. Do not try to specify @var{equivalences}
936without also specifying @var{canonicalize}.
869f4785 937
869f4785
RS
938 Here are the functions for working with case tables:
939
940@defun case-table-p object
941This predicate returns non-@code{nil} if @var{object} is a valid case
942table.
943@end defun
944
945@defun set-standard-case-table table
946This function makes @var{table} the standard case table, so that it will
969fe9b5 947be used in any buffers created subsequently.
869f4785
RS
948@end defun
949
950@defun standard-case-table
951This returns the standard case table.
952@end defun
953
954@defun current-case-table
955This function returns the current buffer's case table.
956@end defun
957
958@defun set-case-table table
959This sets the current buffer's case table to @var{table}.
960@end defun
961
962 The following three functions are convenient subroutines for packages
8241495d 963that define non-@sc{ascii} character sets. They modify the specified
f9f59935 964case table @var{case-table}; they also modify the standard syntax table.
969fe9b5
RS
965@xref{Syntax Tables}. Normally you would use these functions to change
966the standard case table.
869f4785 967
f9f59935 968@defun set-case-syntax-pair uc lc case-table
869f4785
RS
969This function specifies a pair of corresponding letters, one upper case
970and one lower case.
971@end defun
972
f9f59935 973@defun set-case-syntax-delims l r case-table
869f4785
RS
974This function makes characters @var{l} and @var{r} a matching pair of
975case-invariant delimiters.
976@end defun
977
f9f59935 978@defun set-case-syntax char syntax case-table
869f4785
RS
979This function makes @var{char} case-invariant, with syntax
980@var{syntax}.
981@end defun
982
983@deffn Command describe-buffer-case-table
984This command displays a description of the contents of the current
985buffer's case table.
986@end deffn