|
428
|
1 /* Output like sprintf to a buffer of specified size.
|
|
|
2 Also takes args differently: pass one pointer to an array of strings
|
|
|
3 in addition to the format string which is separate.
|
|
|
4 Copyright (C) 1995 Free Software Foundation, Inc.
|
|
793
|
5 Copyright (C) 2001, 2002 Ben Wing.
|
|
428
|
6 Rewritten by mly to use varargs.h.
|
|
|
7 Rewritten from scratch by Ben Wing (February 1995) for Mule; expanded
|
|
|
8 to full printf spec.
|
|
|
9
|
|
|
10 This file is part of XEmacs.
|
|
|
11
|
|
|
12 XEmacs is free software; you can redistribute it and/or modify it
|
|
|
13 under the terms of the GNU General Public License as published by the
|
|
|
14 Free Software Foundation; either version 2, or (at your option) any
|
|
|
15 later version.
|
|
|
16
|
|
|
17 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
|
18 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
19 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
20 for more details.
|
|
|
21
|
|
|
22 You should have received a copy of the GNU General Public License
|
|
|
23 along with XEmacs; see the file COPYING. If not, write to
|
|
|
24 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
25 Boston, MA 02111-1307, USA. */
|
|
|
26
|
|
793
|
27 /* Synched up with: Rewritten by Ben Wing. Not in FSF. */
|
|
428
|
28
|
|
|
29 #include <config.h>
|
|
|
30 #include "lisp.h"
|
|
|
31
|
|
|
32 #include "buffer.h"
|
|
|
33 #include "lstream.h"
|
|
|
34
|
|
446
|
35 static const char * const valid_flags = "-+ #0";
|
|
|
36 static const char * const valid_converters = "dic" "ouxX" "feEgG" "sS";
|
|
|
37 static const char * const int_converters = "dic";
|
|
|
38 static const char * const unsigned_int_converters = "ouxX";
|
|
|
39 static const char * const double_converters = "feEgG";
|
|
|
40 static const char * const string_converters = "sS";
|
|
428
|
41
|
|
|
42 typedef struct printf_spec printf_spec;
|
|
|
43 struct printf_spec
|
|
|
44 {
|
|
|
45 int argnum; /* which argument does this spec want? This is one-based:
|
|
|
46 The first argument given is numbered 1, the second
|
|
|
47 is 2, etc. This is to handle %##$x-type specs. */
|
|
|
48 int minwidth;
|
|
|
49 int precision;
|
|
|
50 unsigned int minus_flag:1;
|
|
|
51 unsigned int plus_flag:1;
|
|
|
52 unsigned int space_flag:1;
|
|
|
53 unsigned int number_flag:1;
|
|
|
54 unsigned int zero_flag:1;
|
|
|
55 unsigned int h_flag:1;
|
|
|
56 unsigned int l_flag:1;
|
|
|
57 unsigned int forwarding_precision:1;
|
|
|
58 char converter; /* converter character or 0 for dummy marker
|
|
|
59 indicating literal text at the end of the
|
|
|
60 specification */
|
|
|
61 Bytecount text_before; /* position of the first character of the
|
|
|
62 block of literal text before this spec */
|
|
|
63 Bytecount text_before_len; /* length of that text */
|
|
|
64 };
|
|
|
65
|
|
|
66 typedef union printf_arg printf_arg;
|
|
|
67 union printf_arg
|
|
|
68 {
|
|
|
69 long l;
|
|
|
70 unsigned long ul;
|
|
|
71 double d;
|
|
665
|
72 Intbyte *bp;
|
|
428
|
73 };
|
|
|
74
|
|
|
75 /* We maintain a list of all the % specs in the specification,
|
|
|
76 along with the offset and length of the block of literal text
|
|
|
77 before each spec. In addition, we have a "dummy" spec that
|
|
|
78 represents all the literal text at the end of the specification.
|
|
|
79 Its converter is 0. */
|
|
|
80
|
|
|
81 typedef struct
|
|
|
82 {
|
|
|
83 Dynarr_declare (struct printf_spec);
|
|
|
84 } printf_spec_dynarr;
|
|
|
85
|
|
|
86 typedef struct
|
|
|
87 {
|
|
|
88 Dynarr_declare (union printf_arg);
|
|
|
89 } printf_arg_dynarr;
|
|
|
90
|
|
448
|
91 /* Append STRING (of length LEN bytes) to STREAM.
|
|
|
92 MINLEN is the minimum field width.
|
|
|
93 If MINUS_FLAG is set, left-justify the string in its field;
|
|
|
94 otherwise, right-justify.
|
|
|
95 If ZERO_FLAG is set, pad with 0's; otherwise pad with spaces.
|
|
|
96 If MAXLEN is non-negative, the string is first truncated on the
|
|
|
97 right to that many characters.
|
|
428
|
98
|
|
|
99 Note that MINLEN and MAXLEN are Charcounts but LEN is a Bytecount. */
|
|
|
100
|
|
|
101 static void
|
|
771
|
102 doprnt_2 (Lisp_Object stream, const Intbyte *string, Bytecount len,
|
|
428
|
103 Charcount minlen, Charcount maxlen, int minus_flag, int zero_flag)
|
|
|
104 {
|
|
|
105 Lstream *lstr = XLSTREAM (stream);
|
|
448
|
106 Charcount cclen = bytecount_to_charcount (string, len);
|
|
|
107 int to_add = minlen - cclen;
|
|
428
|
108
|
|
|
109 /* Padding at beginning to right-justify ... */
|
|
448
|
110 if (!minus_flag)
|
|
|
111 while (to_add-- > 0)
|
|
|
112 Lstream_putc (lstr, zero_flag ? '0' : ' ');
|
|
428
|
113
|
|
448
|
114 if (0 <= maxlen && maxlen < cclen)
|
|
|
115 len = charcount_to_bytecount (string, maxlen);
|
|
428
|
116 Lstream_write (lstr, string, len);
|
|
|
117
|
|
|
118 /* Padding at end to left-justify ... */
|
|
448
|
119 if (minus_flag)
|
|
|
120 while (to_add-- > 0)
|
|
|
121 Lstream_putc (lstr, zero_flag ? '0' : ' ');
|
|
428
|
122 }
|
|
|
123
|
|
665
|
124 static const Intbyte *
|
|
|
125 parse_off_posnum (const Intbyte *start, const Intbyte *end, int *returned_num)
|
|
428
|
126 {
|
|
665
|
127 Intbyte arg_convert[100];
|
|
|
128 REGISTER Intbyte *arg_ptr = arg_convert;
|
|
428
|
129
|
|
|
130 *returned_num = -1;
|
|
|
131 while (start != end && isdigit (*start))
|
|
|
132 {
|
|
647
|
133 if (arg_ptr - arg_convert >= (int) sizeof (arg_convert) - 1)
|
|
|
134 syntax_error ("Format converter number too large", Qunbound);
|
|
428
|
135 *arg_ptr++ = *start++;
|
|
|
136 }
|
|
|
137 *arg_ptr = '\0';
|
|
|
138 if (arg_convert != arg_ptr)
|
|
|
139 *returned_num = atoi ((char *) arg_convert);
|
|
|
140 return start;
|
|
|
141 }
|
|
|
142
|
|
793
|
143 #define NEXT_ASCII_BYTE(ch) \
|
|
|
144 do { \
|
|
|
145 if (fmt == fmt_end) \
|
|
|
146 syntax_error ("Premature end of format string", Qunbound); \
|
|
|
147 ch = *fmt; \
|
|
|
148 if (ch >= 0200) \
|
|
|
149 syntax_error ("Non-ASCII character in format converter spec", \
|
|
|
150 Qunbound); \
|
|
|
151 fmt++; \
|
|
428
|
152 } while (0)
|
|
|
153
|
|
|
154 #define RESOLVE_FLAG_CONFLICTS(spec) \
|
|
|
155 do { \
|
|
|
156 if (spec.space_flag && spec.plus_flag) \
|
|
|
157 spec.space_flag = 0; \
|
|
|
158 if (spec.zero_flag && spec.space_flag) \
|
|
|
159 spec.zero_flag = 0; \
|
|
|
160 } while (0)
|
|
|
161
|
|
|
162 static printf_spec_dynarr *
|
|
665
|
163 parse_doprnt_spec (const Intbyte *format, Bytecount format_length)
|
|
428
|
164 {
|
|
665
|
165 const Intbyte *fmt = format;
|
|
|
166 const Intbyte *fmt_end = format + format_length;
|
|
428
|
167 printf_spec_dynarr *specs = Dynarr_new (printf_spec);
|
|
|
168 int prev_argnum = 0;
|
|
|
169
|
|
|
170 while (1)
|
|
|
171 {
|
|
|
172 struct printf_spec spec;
|
|
665
|
173 const Intbyte *text_end;
|
|
|
174 Intbyte ch;
|
|
428
|
175
|
|
|
176 xzero (spec);
|
|
|
177 if (fmt == fmt_end)
|
|
|
178 return specs;
|
|
665
|
179 text_end = (Intbyte *) memchr (fmt, '%', fmt_end - fmt);
|
|
428
|
180 if (!text_end)
|
|
|
181 text_end = fmt_end;
|
|
|
182 spec.text_before = fmt - format;
|
|
|
183 spec.text_before_len = text_end - fmt;
|
|
|
184 fmt = text_end;
|
|
|
185 if (fmt != fmt_end)
|
|
|
186 {
|
|
|
187 fmt++; /* skip over % */
|
|
|
188
|
|
|
189 /* A % is special -- no arg number. According to ANSI specs,
|
|
|
190 field width does not apply to %% conversion. */
|
|
|
191 if (fmt != fmt_end && *fmt == '%')
|
|
|
192 {
|
|
|
193 spec.converter = '%';
|
|
|
194 Dynarr_add (specs, spec);
|
|
|
195 fmt++;
|
|
|
196 continue;
|
|
|
197 }
|
|
|
198
|
|
|
199 /* Is there a field number specifier? */
|
|
|
200 {
|
|
665
|
201 const Intbyte *ptr;
|
|
428
|
202 int fieldspec;
|
|
|
203
|
|
|
204 ptr = parse_off_posnum (fmt, fmt_end, &fieldspec);
|
|
|
205 if (fieldspec > 0 && ptr != fmt_end && *ptr == '$')
|
|
|
206 {
|
|
|
207 /* There is a format specifier */
|
|
|
208 prev_argnum = fieldspec;
|
|
|
209 fmt = ptr + 1;
|
|
|
210 }
|
|
|
211 else
|
|
|
212 prev_argnum++;
|
|
|
213 spec.argnum = prev_argnum;
|
|
|
214 }
|
|
|
215
|
|
|
216 /* Parse off any flags */
|
|
|
217 NEXT_ASCII_BYTE (ch);
|
|
|
218 while (strchr (valid_flags, ch))
|
|
|
219 {
|
|
|
220 switch (ch)
|
|
|
221 {
|
|
446
|
222 case '-': spec.minus_flag = 1; break;
|
|
|
223 case '+': spec.plus_flag = 1; break;
|
|
|
224 case ' ': spec.space_flag = 1; break;
|
|
428
|
225 case '#': spec.number_flag = 1; break;
|
|
446
|
226 case '0': spec.zero_flag = 1; break;
|
|
428
|
227 default: abort ();
|
|
|
228 }
|
|
|
229 NEXT_ASCII_BYTE (ch);
|
|
|
230 }
|
|
|
231
|
|
|
232 /* Parse off the minimum field width */
|
|
|
233 fmt--; /* back up */
|
|
|
234
|
|
|
235 /*
|
|
|
236 * * means the field width was passed as an argument.
|
|
|
237 * Mark the current spec as one that forwards its
|
|
|
238 * field width and flags to the next spec in the array.
|
|
|
239 * Then create a new spec and continue with the parsing.
|
|
|
240 */
|
|
|
241 if (fmt != fmt_end && *fmt == '*')
|
|
|
242 {
|
|
|
243 spec.converter = '*';
|
|
|
244 RESOLVE_FLAG_CONFLICTS(spec);
|
|
|
245 Dynarr_add (specs, spec);
|
|
|
246 xzero (spec);
|
|
|
247 spec.argnum = ++prev_argnum;
|
|
|
248 fmt++;
|
|
|
249 }
|
|
|
250 else
|
|
|
251 {
|
|
|
252 fmt = parse_off_posnum (fmt, fmt_end, &spec.minwidth);
|
|
|
253 if (spec.minwidth == -1)
|
|
|
254 spec.minwidth = 0;
|
|
|
255 }
|
|
|
256
|
|
|
257 /* Parse off any precision specified */
|
|
|
258 NEXT_ASCII_BYTE (ch);
|
|
|
259 if (ch == '.')
|
|
|
260 {
|
|
|
261 /*
|
|
|
262 * * means the precision was passed as an argument.
|
|
|
263 * Mark the current spec as one that forwards its
|
|
|
264 * fieldwidth, flags and precision to the next spec in
|
|
|
265 * the array. Then create a new spec and continue
|
|
|
266 * with the parse.
|
|
|
267 */
|
|
|
268 if (fmt != fmt_end && *fmt == '*')
|
|
|
269 {
|
|
|
270 spec.converter = '*';
|
|
|
271 spec.forwarding_precision = 1;
|
|
|
272 RESOLVE_FLAG_CONFLICTS(spec);
|
|
|
273 Dynarr_add (specs, spec);
|
|
|
274 xzero (spec);
|
|
|
275 spec.argnum = ++prev_argnum;
|
|
|
276 fmt++;
|
|
|
277 }
|
|
|
278 else
|
|
|
279 {
|
|
|
280 fmt = parse_off_posnum (fmt, fmt_end, &spec.precision);
|
|
|
281 if (spec.precision == -1)
|
|
|
282 spec.precision = 0;
|
|
|
283 }
|
|
|
284 NEXT_ASCII_BYTE (ch);
|
|
|
285 }
|
|
|
286 else
|
|
|
287 /* No precision specified */
|
|
|
288 spec.precision = -1;
|
|
|
289
|
|
|
290 /* Parse off h or l flag */
|
|
|
291 if (ch == 'h' || ch == 'l')
|
|
|
292 {
|
|
|
293 if (ch == 'h')
|
|
|
294 spec.h_flag = 1;
|
|
|
295 else
|
|
|
296 spec.l_flag = 1;
|
|
|
297 NEXT_ASCII_BYTE (ch);
|
|
|
298 }
|
|
|
299
|
|
|
300 if (!strchr (valid_converters, ch))
|
|
563
|
301 syntax_error ("Invalid converter character", make_char (ch));
|
|
428
|
302 spec.converter = ch;
|
|
|
303 }
|
|
|
304
|
|
|
305 RESOLVE_FLAG_CONFLICTS(spec);
|
|
|
306 Dynarr_add (specs, spec);
|
|
|
307 }
|
|
|
308
|
|
|
309 RETURN_NOT_REACHED(specs) /* suppress compiler warning */
|
|
|
310 }
|
|
|
311
|
|
|
312 static int
|
|
|
313 get_args_needed (printf_spec_dynarr *specs)
|
|
|
314 {
|
|
|
315 int args_needed = 0;
|
|
|
316 REGISTER int i;
|
|
|
317
|
|
|
318 /* Figure out how many args are needed. This may be less than
|
|
|
319 the number of specs because a spec could be %% or could be
|
|
|
320 missing (literal text at end of format string) or there
|
|
|
321 could be specs where the field number is explicitly given.
|
|
|
322 We just look for the maximum argument number that's referenced. */
|
|
|
323
|
|
|
324 for (i = 0; i < Dynarr_length (specs); i++)
|
|
|
325 {
|
|
|
326 char ch = Dynarr_at (specs, i).converter;
|
|
|
327 if (ch && ch != '%')
|
|
|
328 {
|
|
|
329 int argnum = Dynarr_at (specs, i).argnum;
|
|
|
330 if (argnum > args_needed)
|
|
|
331 args_needed = argnum;
|
|
|
332 }
|
|
|
333 }
|
|
|
334
|
|
|
335 return args_needed;
|
|
|
336 }
|
|
|
337
|
|
|
338 static printf_arg_dynarr *
|
|
|
339 get_doprnt_args (printf_spec_dynarr *specs, va_list vargs)
|
|
|
340 {
|
|
|
341 printf_arg_dynarr *args = Dynarr_new (printf_arg);
|
|
|
342 union printf_arg arg;
|
|
|
343 REGISTER int i;
|
|
|
344 int args_needed = get_args_needed (specs);
|
|
|
345
|
|
|
346 xzero (arg);
|
|
|
347 for (i = 1; i <= args_needed; i++)
|
|
|
348 {
|
|
|
349 int j;
|
|
|
350 char ch;
|
|
|
351 struct printf_spec *spec = 0;
|
|
|
352
|
|
|
353 for (j = 0; j < Dynarr_length (specs); j++)
|
|
|
354 {
|
|
|
355 spec = Dynarr_atp (specs, j);
|
|
|
356 if (spec->argnum == i)
|
|
|
357 break;
|
|
|
358 }
|
|
|
359
|
|
|
360 if (j == Dynarr_length (specs))
|
|
563
|
361 syntax_error ("No conversion spec for argument", make_int (i));
|
|
428
|
362
|
|
|
363 ch = spec->converter;
|
|
|
364
|
|
|
365 if (strchr (int_converters, ch))
|
|
|
366 {
|
|
446
|
367 if (spec->l_flag)
|
|
428
|
368 arg.l = va_arg (vargs, long);
|
|
|
369 else
|
|
446
|
370 /* int even if ch == 'c' or spec->h_flag:
|
|
|
371 "the type used in va_arg is supposed to match the
|
|
|
372 actual type **after default promotions**."
|
|
|
373 Hence we read an int, not a short, if spec->h_flag. */
|
|
|
374 arg.l = va_arg (vargs, int);
|
|
428
|
375 }
|
|
|
376 else if (strchr (unsigned_int_converters, ch))
|
|
|
377 {
|
|
446
|
378 if (spec->l_flag)
|
|
428
|
379 arg.ul = va_arg (vargs, unsigned long);
|
|
|
380 else
|
|
446
|
381 /* unsigned int even if ch == 'c' or spec->h_flag */
|
|
|
382 arg.ul = (unsigned long) va_arg (vargs, unsigned int);
|
|
428
|
383 }
|
|
|
384 else if (strchr (double_converters, ch))
|
|
|
385 arg.d = va_arg (vargs, double);
|
|
|
386 else if (strchr (string_converters, ch))
|
|
665
|
387 arg.bp = va_arg (vargs, Intbyte *);
|
|
428
|
388 else abort ();
|
|
|
389
|
|
|
390 Dynarr_add (args, arg);
|
|
|
391 }
|
|
|
392
|
|
|
393 return args;
|
|
|
394 }
|
|
|
395
|
|
771
|
396 /* Most basic entry point into string formatting.
|
|
|
397
|
|
|
398 Generate output from a format-spec (either a Lisp string
|
|
|
399 FORMAT_RELOC, or a C string FORMAT_NONRELOC of length FORMAT_LENGTH
|
|
|
400 -- which *MUST NOT* come from Lisp string data, unless GC is
|
|
|
401 inhibited). Output goes to STREAM. Returns the number of bytes
|
|
|
402 stored into STREAM. Arguments are either C-type arguments in
|
|
|
403 va_list VARGS, or an array of Lisp objects in LARGS of size
|
|
|
404 NARGS. (Behavior is different in the two cases -- you either get
|
|
|
405 standard sprintf() behavior or `format' behavior.) */
|
|
428
|
406
|
|
|
407 static Bytecount
|
|
665
|
408 emacs_doprnt_1 (Lisp_Object stream, const Intbyte *format_nonreloc,
|
|
771
|
409 Bytecount format_length, Lisp_Object format_reloc,
|
|
|
410 int nargs, const Lisp_Object *largs, va_list vargs)
|
|
428
|
411 {
|
|
|
412 printf_spec_dynarr *specs = 0;
|
|
|
413 printf_arg_dynarr *args = 0;
|
|
|
414 REGISTER int i;
|
|
|
415 int init_byte_count = Lstream_byte_count (XLSTREAM (stream));
|
|
771
|
416 int count;
|
|
428
|
417
|
|
|
418 if (!NILP (format_reloc))
|
|
|
419 {
|
|
|
420 format_nonreloc = XSTRING_DATA (format_reloc);
|
|
|
421 format_length = XSTRING_LENGTH (format_reloc);
|
|
|
422 }
|
|
|
423 if (format_length < 0)
|
|
442
|
424 format_length = (Bytecount) strlen ((const char *) format_nonreloc);
|
|
428
|
425
|
|
|
426 specs = parse_doprnt_spec (format_nonreloc, format_length);
|
|
771
|
427 count = record_unwind_protect_freeing_dynarr (specs);
|
|
|
428
|
|
428
|
429 if (largs)
|
|
|
430 {
|
|
446
|
431 /* allow too many args for string, but not too few */
|
|
428
|
432 if (nargs < get_args_needed (specs))
|
|
563
|
433 signal_error_1 (Qwrong_number_of_arguments,
|
|
428
|
434 list3 (Qformat,
|
|
|
435 make_int (nargs),
|
|
|
436 !NILP (format_reloc) ? format_reloc :
|
|
|
437 make_string (format_nonreloc, format_length)));
|
|
|
438 }
|
|
|
439 else
|
|
|
440 {
|
|
|
441 args = get_doprnt_args (specs, vargs);
|
|
771
|
442 record_unwind_protect_freeing_dynarr (args);
|
|
428
|
443 }
|
|
|
444
|
|
|
445 for (i = 0; i < Dynarr_length (specs); i++)
|
|
|
446 {
|
|
|
447 struct printf_spec *spec = Dynarr_atp (specs, i);
|
|
|
448 char ch;
|
|
|
449
|
|
|
450 /* Copy the text before */
|
|
|
451 if (!NILP (format_reloc)) /* refetch in case of GC below */
|
|
|
452 format_nonreloc = XSTRING_DATA (format_reloc);
|
|
446
|
453
|
|
771
|
454 doprnt_2 (stream, format_nonreloc + spec->text_before,
|
|
446
|
455 spec->text_before_len, 0, -1, 0, 0);
|
|
428
|
456
|
|
|
457 ch = spec->converter;
|
|
|
458
|
|
|
459 if (!ch)
|
|
|
460 continue;
|
|
|
461
|
|
|
462 if (ch == '%')
|
|
|
463 {
|
|
771
|
464 doprnt_2 (stream, (Intbyte *) &ch, 1, 0, -1, 0, 0);
|
|
428
|
465 continue;
|
|
|
466 }
|
|
|
467
|
|
|
468 /* The char '*' as converter means the field width, precision
|
|
|
469 was specified as an argument. Extract the data and forward
|
|
|
470 it to the next spec, to which it will apply. */
|
|
|
471 if (ch == '*')
|
|
|
472 {
|
|
|
473 struct printf_spec *nextspec = Dynarr_atp (specs, i + 1);
|
|
|
474 Lisp_Object obj = largs[spec->argnum - 1];
|
|
|
475
|
|
|
476 if (INTP (obj))
|
|
|
477 {
|
|
|
478 if (spec->forwarding_precision)
|
|
|
479 {
|
|
|
480 nextspec->precision = XINT (obj);
|
|
|
481 nextspec->minwidth = spec->minwidth;
|
|
|
482 }
|
|
|
483 else
|
|
|
484 {
|
|
|
485 nextspec->minwidth = XINT (obj);
|
|
446
|
486 if (XINT (obj) < 0)
|
|
428
|
487 {
|
|
|
488 spec->minus_flag = 1;
|
|
|
489 nextspec->minwidth = - nextspec->minwidth;
|
|
|
490 }
|
|
|
491 }
|
|
446
|
492 nextspec->minus_flag = spec->minus_flag;
|
|
|
493 nextspec->plus_flag = spec->plus_flag;
|
|
|
494 nextspec->space_flag = spec->space_flag;
|
|
428
|
495 nextspec->number_flag = spec->number_flag;
|
|
446
|
496 nextspec->zero_flag = spec->zero_flag;
|
|
428
|
497 }
|
|
|
498 continue;
|
|
|
499 }
|
|
|
500
|
|
|
501 if (largs && (spec->argnum < 1 || spec->argnum > nargs))
|
|
771
|
502 syntax_error ("Invalid repositioning argument",
|
|
|
503 make_int (spec->argnum));
|
|
428
|
504
|
|
|
505 else if (ch == 'S' || ch == 's')
|
|
|
506 {
|
|
665
|
507 Intbyte *string;
|
|
428
|
508 Bytecount string_len;
|
|
|
509
|
|
|
510 if (!largs)
|
|
|
511 {
|
|
|
512 string = Dynarr_at (args, spec->argnum - 1).bp;
|
|
771
|
513 #if 0
|
|
|
514 /* [[ error() can be called with null string arguments.
|
|
428
|
515 E.g., in fileio.c, the return value of strerror()
|
|
|
516 is never checked. We'll print (null), like some
|
|
|
517 printf implementations do. Would it be better (and safe)
|
|
|
518 to signal an error instead? Or should we just use the
|
|
771
|
519 empty string? -dkindred@cs.cmu.edu 8/1997 ]]
|
|
|
520 Do not hide bugs. --ben
|
|
428
|
521 */
|
|
|
522 if (!string)
|
|
665
|
523 string = (Intbyte *) "(null)";
|
|
771
|
524 #else
|
|
|
525 assert (string);
|
|
|
526 #endif
|
|
428
|
527 string_len = strlen ((char *) string);
|
|
|
528 }
|
|
|
529 else
|
|
|
530 {
|
|
|
531 Lisp_Object obj = largs[spec->argnum - 1];
|
|
793
|
532 Lisp_Object ls;
|
|
428
|
533
|
|
|
534 if (ch == 'S')
|
|
|
535 {
|
|
|
536 /* For `S', prin1 the argument and then treat like
|
|
|
537 a string. */
|
|
793
|
538 ls = Fprin1_to_string (obj, Qnil);
|
|
428
|
539 }
|
|
|
540 else if (STRINGP (obj))
|
|
793
|
541 ls = obj;
|
|
428
|
542 else if (SYMBOLP (obj))
|
|
|
543 ls = XSYMBOL (obj)->name;
|
|
|
544 else
|
|
|
545 {
|
|
|
546 /* convert to string using princ. */
|
|
793
|
547 ls = Fprin1_to_string (obj, Qt);
|
|
428
|
548 }
|
|
793
|
549 string = XSTRING_DATA (ls);
|
|
|
550 string_len = XSTRING_LENGTH (ls);
|
|
428
|
551 }
|
|
|
552
|
|
771
|
553 doprnt_2 (stream, string, string_len, spec->minwidth,
|
|
428
|
554 spec->precision, spec->minus_flag, spec->zero_flag);
|
|
|
555 }
|
|
|
556
|
|
|
557 else
|
|
|
558 {
|
|
|
559 /* Must be a number. */
|
|
|
560 union printf_arg arg;
|
|
|
561
|
|
|
562 if (!largs)
|
|
|
563 {
|
|
|
564 arg = Dynarr_at (args, spec->argnum - 1);
|
|
|
565 }
|
|
|
566 else
|
|
|
567 {
|
|
|
568 Lisp_Object obj = largs[spec->argnum - 1];
|
|
|
569 if (CHARP (obj))
|
|
|
570 obj = make_int (XCHAR (obj));
|
|
|
571 if (!INT_OR_FLOATP (obj))
|
|
|
572 {
|
|
793
|
573 syntax_error
|
|
|
574 ("format specifier %%%c doesn't match argument type",
|
|
|
575 make_char (ch));
|
|
428
|
576 }
|
|
|
577 else if (strchr (double_converters, ch))
|
|
|
578 arg.d = XFLOATINT (obj);
|
|
|
579 else
|
|
|
580 {
|
|
446
|
581 if (FLOATP (obj))
|
|
|
582 obj = Ftruncate (obj);
|
|
428
|
583
|
|
|
584 if (strchr (unsigned_int_converters, ch))
|
|
446
|
585 arg.ul = (unsigned long) XINT (obj);
|
|
428
|
586 else
|
|
446
|
587 arg.l = XINT (obj);
|
|
428
|
588 }
|
|
|
589 }
|
|
|
590
|
|
|
591
|
|
|
592 if (ch == 'c')
|
|
|
593 {
|
|
|
594 Emchar a;
|
|
|
595 Bytecount charlen;
|
|
665
|
596 Intbyte charbuf[MAX_EMCHAR_LEN];
|
|
428
|
597
|
|
446
|
598 a = (Emchar) arg.l;
|
|
428
|
599
|
|
|
600 if (!valid_char_p (a))
|
|
793
|
601 syntax_error ("invalid character value %d to %%c spec",
|
|
|
602 make_char (a));
|
|
428
|
603
|
|
|
604 charlen = set_charptr_emchar (charbuf, a);
|
|
771
|
605 doprnt_2 (stream, charbuf, charlen, spec->minwidth,
|
|
428
|
606 -1, spec->minus_flag, spec->zero_flag);
|
|
|
607 }
|
|
|
608 else
|
|
|
609 {
|
|
448
|
610 /* ASCII Decimal representation uses 2.4 times as many
|
|
|
611 bits as machine binary. */
|
|
|
612 char *text_to_print =
|
|
|
613 alloca_array (char, 32 +
|
|
|
614 max (spec->minwidth,
|
|
647
|
615 (int) max (sizeof (double),
|
|
|
616 sizeof (long)) * 3 +
|
|
448
|
617 max (spec->precision, 0)));
|
|
428
|
618 char constructed_spec[100];
|
|
446
|
619 char *p = constructed_spec;
|
|
428
|
620
|
|
448
|
621 /* Mostly reconstruct the spec and use sprintf() to
|
|
428
|
622 format the string. */
|
|
|
623
|
|
446
|
624 *p++ = '%';
|
|
|
625 if (spec->plus_flag) *p++ = '+';
|
|
|
626 if (spec->space_flag) *p++ = ' ';
|
|
|
627 if (spec->number_flag) *p++ = '#';
|
|
448
|
628 if (spec->minus_flag) *p++ = '-';
|
|
|
629 if (spec->zero_flag) *p++ = '0';
|
|
446
|
630
|
|
448
|
631 if (spec->minwidth >= 0)
|
|
577
|
632 {
|
|
|
633 long_to_string (p, spec->minwidth);
|
|
|
634 p += strlen (p);
|
|
|
635 }
|
|
448
|
636 if (spec->precision >= 0)
|
|
428
|
637 {
|
|
446
|
638 *p++ = '.';
|
|
577
|
639 long_to_string (p, spec->precision);
|
|
|
640 p += strlen (p);
|
|
428
|
641 }
|
|
448
|
642
|
|
428
|
643 if (strchr (double_converters, ch))
|
|
442
|
644 {
|
|
446
|
645 *p++ = ch;
|
|
|
646 *p++ = '\0';
|
|
442
|
647 sprintf (text_to_print, constructed_spec, arg.d);
|
|
|
648 }
|
|
428
|
649 else
|
|
|
650 {
|
|
448
|
651 *p++ = 'l'; /* Always use longs with sprintf() */
|
|
|
652 *p++ = ch;
|
|
|
653 *p++ = '\0';
|
|
446
|
654
|
|
|
655 if (strchr (unsigned_int_converters, ch))
|
|
|
656 sprintf (text_to_print, constructed_spec, arg.ul);
|
|
|
657 else
|
|
428
|
658 sprintf (text_to_print, constructed_spec, arg.l);
|
|
|
659 }
|
|
|
660
|
|
771
|
661 doprnt_2 (stream, (Intbyte *) text_to_print,
|
|
448
|
662 strlen (text_to_print), 0, -1, 0, 0);
|
|
428
|
663 }
|
|
|
664 }
|
|
|
665 }
|
|
|
666
|
|
771
|
667 unbind_to (count);
|
|
428
|
668 return Lstream_byte_count (XLSTREAM (stream)) - init_byte_count;
|
|
|
669 }
|
|
|
670
|
|
771
|
671 /* Basic external entry point into string formatting. See
|
|
|
672 emacs_doprnt_1().
|
|
|
673 */
|
|
|
674
|
|
|
675 Bytecount
|
|
|
676 emacs_doprnt_va (Lisp_Object stream, const Intbyte *format_nonreloc,
|
|
|
677 Bytecount format_length, Lisp_Object format_reloc,
|
|
|
678 va_list vargs)
|
|
|
679 {
|
|
|
680 return emacs_doprnt_1 (stream, format_nonreloc, format_length,
|
|
|
681 format_reloc, 0, 0, vargs);
|
|
|
682 }
|
|
|
683
|
|
|
684 /* Basic external entry point into string formatting. See
|
|
|
685 emacs_doprnt_1().
|
|
|
686 */
|
|
|
687
|
|
|
688 Bytecount
|
|
|
689 emacs_doprnt (Lisp_Object stream, const Intbyte *format_nonreloc,
|
|
|
690 Bytecount format_length, Lisp_Object format_reloc,
|
|
|
691 int nargs, const Lisp_Object *largs, ...)
|
|
428
|
692 {
|
|
|
693 va_list vargs;
|
|
|
694 Bytecount val;
|
|
|
695 va_start (vargs, largs);
|
|
771
|
696 val = emacs_doprnt_1 (stream, format_nonreloc, format_length,
|
|
|
697 format_reloc, nargs, largs, vargs);
|
|
428
|
698 va_end (vargs);
|
|
|
699 return val;
|
|
|
700 }
|
|
|
701
|
|
771
|
702 /* Similar to `format' in that its arguments are Lisp objects rather than C
|
|
|
703 objects. (For the versions that take C objects, see the
|
|
|
704 emacs_[v]sprintf... functions below.) Accepts the format string as
|
|
|
705 either a C string (FORMAT_NONRELOC, which *MUST NOT* come from Lisp
|
|
|
706 string data, unless GC is inhibited) or a Lisp string (FORMAT_RELOC).
|
|
|
707 Return resulting formatted string as a Lisp string.
|
|
428
|
708
|
|
771
|
709 All arguments are GCPRO'd, including FORMAT_RELOC; this makes it OK to
|
|
|
710 pass newly created objects into this function (as often happens).
|
|
428
|
711
|
|
771
|
712 #### It shouldn't be necessary to specify the number of arguments.
|
|
|
713 This would require some rewriting of the doprnt() functions, though.
|
|
|
714 */
|
|
428
|
715
|
|
|
716 Lisp_Object
|
|
771
|
717 emacs_vsprintf_string_lisp (const CIntbyte *format_nonreloc,
|
|
|
718 Lisp_Object format_reloc, int nargs,
|
|
|
719 const Lisp_Object *largs)
|
|
428
|
720 {
|
|
771
|
721 Lisp_Object stream;
|
|
428
|
722 Lisp_Object obj;
|
|
771
|
723 struct gcpro gcpro1, gcpro2;
|
|
|
724 GCPRO2 (largs[0], format_reloc);
|
|
|
725 gcpro1.nvars = nargs;
|
|
428
|
726
|
|
771
|
727 stream = make_resizing_buffer_output_stream ();
|
|
|
728 emacs_doprnt (stream, (Intbyte *) format_nonreloc, format_nonreloc ?
|
|
|
729 strlen (format_nonreloc) : 0,
|
|
|
730 format_reloc, nargs, largs);
|
|
428
|
731 Lstream_flush (XLSTREAM (stream));
|
|
|
732 obj = make_string (resizing_buffer_stream_ptr (XLSTREAM (stream)),
|
|
|
733 Lstream_byte_count (XLSTREAM (stream)));
|
|
771
|
734 Lstream_delete (XLSTREAM (stream));
|
|
428
|
735 UNGCPRO;
|
|
|
736 return obj;
|
|
|
737 }
|
|
|
738
|
|
771
|
739 /* Like emacs_vsprintf_string_lisp() but accepts its extra args directly
|
|
|
740 (using variable arguments), rather than as an array. */
|
|
|
741
|
|
428
|
742 Lisp_Object
|
|
771
|
743 emacs_sprintf_string_lisp (const CIntbyte *format_nonreloc,
|
|
|
744 Lisp_Object format_reloc, int nargs, ...)
|
|
428
|
745 {
|
|
771
|
746 Lisp_Object *args = alloca_array (Lisp_Object, nargs);
|
|
|
747 va_list va;
|
|
|
748 int i;
|
|
428
|
749 Lisp_Object obj;
|
|
|
750
|
|
771
|
751 va_start (va, nargs);
|
|
|
752 for (i = 0; i < nargs; i++)
|
|
|
753 args[i] = va_arg (va, Lisp_Object);
|
|
|
754 va_end (va);
|
|
|
755 obj = emacs_vsprintf_string_lisp (format_nonreloc, format_reloc, nargs,
|
|
|
756 args);
|
|
428
|
757 return obj;
|
|
|
758 }
|
|
|
759
|
|
771
|
760 /* Like emacs_vsprintf_string_lisp() but returns a malloc()ed memory block.
|
|
|
761 Return length out through LEN_OUT, if not null. */
|
|
|
762
|
|
|
763 Intbyte *
|
|
|
764 emacs_vsprintf_malloc_lisp (const CIntbyte *format_nonreloc,
|
|
|
765 Lisp_Object format_reloc, int nargs,
|
|
|
766 const Lisp_Object *largs, Bytecount *len_out)
|
|
|
767 {
|
|
|
768 Lisp_Object stream;
|
|
|
769 Intbyte *retval;
|
|
|
770 Bytecount len;
|
|
|
771 struct gcpro gcpro1, gcpro2;
|
|
|
772
|
|
|
773 GCPRO2 (largs[0], format_reloc);
|
|
|
774 gcpro1.nvars = nargs;
|
|
|
775
|
|
|
776 stream = make_resizing_buffer_output_stream ();
|
|
|
777 emacs_doprnt (stream, (Intbyte *) format_nonreloc, format_nonreloc ?
|
|
|
778 strlen (format_nonreloc) : 0,
|
|
|
779 format_reloc, nargs, largs);
|
|
|
780 Lstream_flush (XLSTREAM (stream));
|
|
|
781 len = Lstream_byte_count (XLSTREAM (stream));
|
|
|
782 retval = (Intbyte *) xmalloc (len + 1);
|
|
|
783 memcpy (retval, resizing_buffer_stream_ptr (XLSTREAM (stream)), len);
|
|
|
784 retval[len] = '\0';
|
|
|
785 Lstream_delete (XLSTREAM (stream));
|
|
|
786
|
|
|
787 if (len_out)
|
|
|
788 *len_out = len;
|
|
|
789 UNGCPRO;
|
|
|
790 return retval;
|
|
|
791 }
|
|
|
792
|
|
|
793 /* Like emacs_sprintf_string_lisp() but returns a malloc()ed memory block.
|
|
|
794 Return length out through LEN_OUT, if not null. */
|
|
|
795
|
|
|
796 Intbyte *
|
|
|
797 emacs_sprintf_malloc_lisp (Bytecount *len_out, const CIntbyte *format_nonreloc,
|
|
|
798 Lisp_Object format_reloc, int nargs, ...)
|
|
|
799 {
|
|
|
800 Lisp_Object *args = alloca_array (Lisp_Object, nargs);
|
|
|
801 va_list va;
|
|
|
802 int i;
|
|
|
803 Intbyte *retval;
|
|
|
804
|
|
|
805 va_start (va, nargs);
|
|
|
806 for (i = 0; i < nargs; i++)
|
|
|
807 args[i] = va_arg (va, Lisp_Object);
|
|
|
808 va_end (va);
|
|
|
809 retval = emacs_vsprintf_malloc_lisp (format_nonreloc, format_reloc, nargs,
|
|
|
810 args, len_out);
|
|
|
811 return retval;
|
|
|
812 }
|
|
|
813
|
|
|
814 /* vsprintf()-like replacement. Returns a Lisp string. Data
|
|
|
815 from Lisp strings is OK because we explicitly inhibit GC. */
|
|
|
816
|
|
428
|
817 Lisp_Object
|
|
771
|
818 emacs_vsprintf_string (const CIntbyte *format, va_list vargs)
|
|
428
|
819 {
|
|
771
|
820 Lisp_Object stream = make_resizing_buffer_output_stream ();
|
|
428
|
821 Lisp_Object obj;
|
|
771
|
822 int count = begin_gc_forbidden ();
|
|
428
|
823
|
|
771
|
824 emacs_doprnt_va (stream, (Intbyte *) format, strlen (format), Qnil,
|
|
|
825 vargs);
|
|
428
|
826 Lstream_flush (XLSTREAM (stream));
|
|
|
827 obj = make_string (resizing_buffer_stream_ptr (XLSTREAM (stream)),
|
|
|
828 Lstream_byte_count (XLSTREAM (stream)));
|
|
|
829 Lstream_delete (XLSTREAM (stream));
|
|
771
|
830 end_gc_forbidden (count);
|
|
428
|
831 return obj;
|
|
|
832 }
|
|
|
833
|
|
771
|
834 /* sprintf()-like replacement. Returns a Lisp string. Data
|
|
|
835 from Lisp strings is OK because we explicitly inhibit GC. */
|
|
|
836
|
|
428
|
837 Lisp_Object
|
|
771
|
838 emacs_sprintf_string (const CIntbyte *format, ...)
|
|
|
839 {
|
|
|
840 va_list vargs;
|
|
|
841 Lisp_Object retval;
|
|
|
842
|
|
|
843 va_start (vargs, format);
|
|
|
844 retval = emacs_vsprintf_string (format, vargs);
|
|
|
845 va_end (vargs);
|
|
|
846 return retval;
|
|
|
847 }
|
|
|
848
|
|
|
849 /* vsprintf()-like replacement. Returns a malloc()ed memory block. Data
|
|
|
850 from Lisp strings is OK because we explicitly inhibit GC. Return
|
|
|
851 length out through LEN_OUT, if not null. */
|
|
|
852
|
|
|
853 Intbyte *
|
|
|
854 emacs_vsprintf_malloc (const CIntbyte *format, va_list vargs,
|
|
|
855 Bytecount *len_out)
|
|
428
|
856 {
|
|
771
|
857 int count = begin_gc_forbidden ();
|
|
428
|
858 Lisp_Object stream = make_resizing_buffer_output_stream ();
|
|
771
|
859 Intbyte *retval;
|
|
|
860 Bytecount len;
|
|
|
861
|
|
|
862 emacs_doprnt_va (stream, (Intbyte *) format, strlen (format), Qnil,
|
|
|
863 vargs);
|
|
|
864 Lstream_flush (XLSTREAM (stream));
|
|
|
865 len = Lstream_byte_count (XLSTREAM (stream));
|
|
|
866 retval = (Intbyte *) xmalloc (len + 1);
|
|
|
867 memcpy (retval, resizing_buffer_stream_ptr (XLSTREAM (stream)), len);
|
|
|
868 retval[len] = '\0';
|
|
|
869 end_gc_forbidden (count);
|
|
|
870 Lstream_delete (XLSTREAM (stream));
|
|
|
871
|
|
|
872 if (len_out)
|
|
|
873 *len_out = len;
|
|
|
874 return retval;
|
|
|
875 }
|
|
|
876
|
|
|
877 /* sprintf()-like replacement. Returns a malloc()ed memory block. Data
|
|
|
878 from Lisp strings is OK because we explicitly inhibit GC. Return length
|
|
|
879 out through LEN_OUT, if not null. */
|
|
428
|
880
|
|
771
|
881 Intbyte *
|
|
|
882 emacs_sprintf_malloc (Bytecount *len_out, const CIntbyte *format, ...)
|
|
|
883 {
|
|
|
884 va_list vargs;
|
|
|
885 Intbyte *retval;
|
|
|
886
|
|
|
887 va_start (vargs, format);
|
|
|
888 retval = emacs_vsprintf_malloc (format, vargs, len_out);
|
|
428
|
889 va_end (vargs);
|
|
771
|
890 return retval;
|
|
|
891 }
|
|
|
892
|
|
|
893 /* vsprintf() replacement. Writes output into OUTPUT, which better
|
|
|
894 have enough space for the output. Data from Lisp strings is OK
|
|
|
895 because we explicitly inhibit GC. */
|
|
|
896
|
|
|
897 Bytecount
|
|
|
898 emacs_vsprintf (Intbyte *output, const CIntbyte *format, va_list vargs)
|
|
|
899 {
|
|
|
900 Bytecount retval;
|
|
|
901 int count = begin_gc_forbidden ();
|
|
|
902 Lisp_Object stream = make_resizing_buffer_output_stream ();
|
|
|
903 Bytecount len;
|
|
428
|
904
|
|
771
|
905 retval = emacs_doprnt_va (stream, (Intbyte *) format, strlen (format), Qnil,
|
|
|
906 vargs);
|
|
428
|
907 Lstream_flush (XLSTREAM (stream));
|
|
771
|
908 len = Lstream_byte_count (XLSTREAM (stream));
|
|
|
909 memcpy (output, resizing_buffer_stream_ptr (XLSTREAM (stream)), len);
|
|
|
910 output[len] = '\0';
|
|
|
911 end_gc_forbidden (count);
|
|
428
|
912 Lstream_delete (XLSTREAM (stream));
|
|
771
|
913
|
|
|
914 return retval;
|
|
428
|
915 }
|
|
771
|
916
|
|
|
917 /* sprintf() replacement. Writes output into OUTPUT, which better
|
|
|
918 have enough space for the output. Data from Lisp strings is OK
|
|
|
919 because we explicitly inhibit GC. */
|
|
|
920
|
|
|
921 Bytecount
|
|
|
922 emacs_sprintf (Intbyte *output, const CIntbyte *format, ...)
|
|
|
923 {
|
|
|
924 va_list vargs;
|
|
|
925 Bytecount retval;
|
|
|
926
|
|
|
927 va_start (vargs, format);
|
|
|
928 retval = emacs_vsprintf (output, format, vargs);
|
|
|
929 va_end (vargs);
|
|
|
930 return retval;
|
|
|
931 }
|
