blob: f09578fa13d7f5ac3fd6242c1a84bdfc74097008 [file] [log] [blame]
Eric Smitha9f7d622008-02-17 19:46:49 +00001/* implements the string, long, and float formatters. that is,
2 string.__format__, etc. */
3
Eric Smithaca19e62009-04-22 13:29:05 +00004#include <locale.h>
5
Eric Smitha9f7d622008-02-17 19:46:49 +00006/* Before including this, you must include either:
7 stringlib/unicodedefs.h
8 stringlib/stringdefs.h
9
10 Also, you should define the names:
11 FORMAT_STRING
12 FORMAT_LONG
13 FORMAT_FLOAT
Eric Smith9139cc62009-04-30 00:58:58 +000014 FORMAT_COMPLEX
Eric Smitha9f7d622008-02-17 19:46:49 +000015 to be whatever you want the public names of these functions to
16 be. These are the only non-static functions defined here.
17*/
18
Eric Smithe9fb6862009-02-20 14:02:36 +000019/* Raises an exception about an unknown presentation type for this
20 * type. */
21
22static void
23unknown_presentation_type(STRINGLIB_CHAR presentation_type,
24 const char* type_name)
25{
26#if STRINGLIB_IS_UNICODE
27 /* If STRINGLIB_CHAR is Py_UNICODE, %c might be out-of-range,
28 hence the two cases. If it is char, gcc complains that the
29 condition below is always true, hence the ifdef. */
30 if (presentation_type > 32 && presentation_type < 128)
31#endif
32 PyErr_Format(PyExc_ValueError,
33 "Unknown format code '%c' "
34 "for object of type '%.200s'",
Eric Smith5c4a5d22009-07-30 13:39:44 +000035 (char)presentation_type,
Eric Smithe9fb6862009-02-20 14:02:36 +000036 type_name);
37#if STRINGLIB_IS_UNICODE
38 else
39 PyErr_Format(PyExc_ValueError,
40 "Unknown format code '\\x%x' "
41 "for object of type '%.200s'",
42 (unsigned int)presentation_type,
43 type_name);
44#endif
45}
46
Eric Smith5c4a5d22009-07-30 13:39:44 +000047static void
48invalid_comma_type(STRINGLIB_CHAR presentation_type)
49{
50#if STRINGLIB_IS_UNICODE
51 /* See comment in unknown_presentation_type */
52 if (presentation_type > 32 && presentation_type < 128)
53#endif
54 PyErr_Format(PyExc_ValueError,
55 "Cannot specify ',' with '%c'.",
56 (char)presentation_type);
57#if STRINGLIB_IS_UNICODE
58 else
59 PyErr_Format(PyExc_ValueError,
60 "Cannot specify ',' with '\\x%x'.",
61 (unsigned int)presentation_type);
62#endif
63}
64
Eric Smitha9f7d622008-02-17 19:46:49 +000065/*
66 get_integer consumes 0 or more decimal digit characters from an
67 input string, updates *result with the corresponding positive
68 integer, and returns the number of digits consumed.
69
70 returns -1 on error.
71*/
72static int
73get_integer(STRINGLIB_CHAR **ptr, STRINGLIB_CHAR *end,
74 Py_ssize_t *result)
75{
76 Py_ssize_t accumulator, digitval, oldaccumulator;
77 int numdigits;
78 accumulator = numdigits = 0;
79 for (;;(*ptr)++, numdigits++) {
80 if (*ptr >= end)
81 break;
82 digitval = STRINGLIB_TODECIMAL(**ptr);
83 if (digitval < 0)
84 break;
85 /*
86 This trick was copied from old Unicode format code. It's cute,
87 but would really suck on an old machine with a slow divide
88 implementation. Fortunately, in the normal case we do not
89 expect too many digits.
90 */
91 oldaccumulator = accumulator;
92 accumulator *= 10;
93 if ((accumulator+10)/10 != oldaccumulator+1) {
94 PyErr_Format(PyExc_ValueError,
95 "Too many decimal digits in format string");
96 return -1;
97 }
98 accumulator += digitval;
99 }
100 *result = accumulator;
101 return numdigits;
102}
103
104/************************************************************************/
105/*********** standard format specifier parsing **************************/
106/************************************************************************/
107
108/* returns true if this character is a specifier alignment token */
109Py_LOCAL_INLINE(int)
110is_alignment_token(STRINGLIB_CHAR c)
111{
112 switch (c) {
113 case '<': case '>': case '=': case '^':
114 return 1;
115 default:
116 return 0;
117 }
118}
119
120/* returns true if this character is a sign element */
121Py_LOCAL_INLINE(int)
122is_sign_element(STRINGLIB_CHAR c)
123{
124 switch (c) {
125 case ' ': case '+': case '-':
Eric Smitha9f7d622008-02-17 19:46:49 +0000126 return 1;
127 default:
128 return 0;
129 }
130}
131
132
133typedef struct {
134 STRINGLIB_CHAR fill_char;
135 STRINGLIB_CHAR align;
Eric Smithd0c84122008-07-15 10:10:07 +0000136 int alternate;
Eric Smitha9f7d622008-02-17 19:46:49 +0000137 STRINGLIB_CHAR sign;
138 Py_ssize_t width;
Eric Smithaca19e62009-04-22 13:29:05 +0000139 int thousands_separators;
Eric Smitha9f7d622008-02-17 19:46:49 +0000140 Py_ssize_t precision;
141 STRINGLIB_CHAR type;
142} InternalFormatSpec;
143
144/*
145 ptr points to the start of the format_spec, end points just past its end.
146 fills in format with the parsed information.
147 returns 1 on success, 0 on failure.
148 if failure, sets the exception
149*/
150static int
Eric Smithdc13b792008-05-30 18:10:04 +0000151parse_internal_render_format_spec(STRINGLIB_CHAR *format_spec,
Eric Smithaca19e62009-04-22 13:29:05 +0000152 Py_ssize_t format_spec_len,
Eric Smitha9f7d622008-02-17 19:46:49 +0000153 InternalFormatSpec *format,
154 char default_type)
155{
Eric Smithdc13b792008-05-30 18:10:04 +0000156 STRINGLIB_CHAR *ptr = format_spec;
157 STRINGLIB_CHAR *end = format_spec + format_spec_len;
Eric Smitha9f7d622008-02-17 19:46:49 +0000158
159 /* end-ptr is used throughout this code to specify the length of
160 the input string */
161
Eric Smithaca19e62009-04-22 13:29:05 +0000162 Py_ssize_t consumed;
Eric Smitha9f7d622008-02-17 19:46:49 +0000163
164 format->fill_char = '\0';
165 format->align = '\0';
Eric Smithd0c84122008-07-15 10:10:07 +0000166 format->alternate = 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000167 format->sign = '\0';
168 format->width = -1;
Eric Smithaca19e62009-04-22 13:29:05 +0000169 format->thousands_separators = 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000170 format->precision = -1;
171 format->type = default_type;
172
173 /* If the second char is an alignment token,
174 then parse the fill char */
175 if (end-ptr >= 2 && is_alignment_token(ptr[1])) {
176 format->align = ptr[1];
177 format->fill_char = ptr[0];
178 ptr += 2;
179 }
180 else if (end-ptr >= 1 && is_alignment_token(ptr[0])) {
181 format->align = ptr[0];
Eric Smith8a803dd2008-02-20 23:39:28 +0000182 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000183 }
184
185 /* Parse the various sign options */
186 if (end-ptr >= 1 && is_sign_element(ptr[0])) {
187 format->sign = ptr[0];
Eric Smith8a803dd2008-02-20 23:39:28 +0000188 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000189 }
190
Eric Smitha5fa5a22008-07-16 00:11:49 +0000191 /* If the next character is #, we're in alternate mode. This only
192 applies to integers. */
193 if (end-ptr >= 1 && ptr[0] == '#') {
Eric Smithaca19e62009-04-22 13:29:05 +0000194 format->alternate = 1;
195 ++ptr;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000196 }
197
Eric Smitha9f7d622008-02-17 19:46:49 +0000198 /* The special case for 0-padding (backwards compat) */
199 if (format->fill_char == '\0' && end-ptr >= 1 && ptr[0] == '0') {
200 format->fill_char = '0';
201 if (format->align == '\0') {
202 format->align = '=';
203 }
Eric Smith8a803dd2008-02-20 23:39:28 +0000204 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000205 }
206
Eric Smithaca19e62009-04-22 13:29:05 +0000207 consumed = get_integer(&ptr, end, &format->width);
208 if (consumed == -1)
209 /* Overflow error. Exception already set. */
210 return 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000211
Eric Smithaca19e62009-04-22 13:29:05 +0000212 /* If consumed is 0, we didn't consume any characters for the
213 width. In that case, reset the width to -1, because
214 get_integer() will have set it to zero. -1 is how we record
215 that the width wasn't specified. */
216 if (consumed == 0)
Eric Smitha9f7d622008-02-17 19:46:49 +0000217 format->width = -1;
Eric Smithaca19e62009-04-22 13:29:05 +0000218
219 /* Comma signifies add thousands separators */
220 if (end-ptr && ptr[0] == ',') {
221 format->thousands_separators = 1;
222 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000223 }
224
225 /* Parse field precision */
226 if (end-ptr && ptr[0] == '.') {
Eric Smith8a803dd2008-02-20 23:39:28 +0000227 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000228
Eric Smithaca19e62009-04-22 13:29:05 +0000229 consumed = get_integer(&ptr, end, &format->precision);
230 if (consumed == -1)
231 /* Overflow error. Exception already set. */
232 return 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000233
Eric Smithaca19e62009-04-22 13:29:05 +0000234 /* Not having a precision after a dot is an error. */
235 if (consumed == 0) {
Eric Smitha9f7d622008-02-17 19:46:49 +0000236 PyErr_Format(PyExc_ValueError,
237 "Format specifier missing precision");
238 return 0;
239 }
240
241 }
242
Eric Smithaca19e62009-04-22 13:29:05 +0000243 /* Finally, parse the type field. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000244
245 if (end-ptr > 1) {
Eric Smithaca19e62009-04-22 13:29:05 +0000246 /* More than one char remain, invalid conversion spec. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000247 PyErr_Format(PyExc_ValueError, "Invalid conversion specification");
248 return 0;
249 }
250
251 if (end-ptr == 1) {
252 format->type = ptr[0];
Eric Smith8a803dd2008-02-20 23:39:28 +0000253 ++ptr;
Eric Smitha9f7d622008-02-17 19:46:49 +0000254 }
255
Eric Smithaca19e62009-04-22 13:29:05 +0000256 /* Do as much validating as we can, just by looking at the format
257 specifier. Do not take into account what type of formatting
258 we're doing (int, float, string). */
259
260 if (format->thousands_separators) {
261 switch (format->type) {
262 case 'd':
263 case 'e':
264 case 'f':
265 case 'g':
266 case 'E':
267 case 'G':
268 case '%':
269 case 'F':
Eric Smithebafbb72009-04-22 16:20:47 +0000270 case '\0':
Eric Smithaca19e62009-04-22 13:29:05 +0000271 /* These are allowed. See PEP 378.*/
272 break;
273 default:
Eric Smith5c4a5d22009-07-30 13:39:44 +0000274 invalid_comma_type(format->type);
Eric Smithaca19e62009-04-22 13:29:05 +0000275 return 0;
276 }
277 }
278
Eric Smitha9f7d622008-02-17 19:46:49 +0000279 return 1;
280}
281
Eric Smith9139cc62009-04-30 00:58:58 +0000282/* Calculate the padding needed. */
283static void
284calc_padding(Py_ssize_t nchars, Py_ssize_t width, STRINGLIB_CHAR align,
285 Py_ssize_t *n_lpadding, Py_ssize_t *n_rpadding,
286 Py_ssize_t *n_total)
287{
288 if (width >= 0) {
289 if (nchars > width)
290 *n_total = nchars;
291 else
292 *n_total = width;
293 }
294 else {
295 /* not specified, use all of the chars and no more */
296 *n_total = nchars;
297 }
298
299 /* figure out how much leading space we need, based on the
300 aligning */
301 if (align == '>')
302 *n_lpadding = *n_total - nchars;
303 else if (align == '^')
304 *n_lpadding = (*n_total - nchars) / 2;
305 else
306 *n_lpadding = 0;
307
308 *n_rpadding = *n_total - nchars - *n_lpadding;
309}
310
311/* Do the padding, and return a pointer to where the caller-supplied
312 content goes. */
313static STRINGLIB_CHAR *
314fill_padding(STRINGLIB_CHAR *p, Py_ssize_t nchars, STRINGLIB_CHAR fill_char,
315 Py_ssize_t n_lpadding, Py_ssize_t n_rpadding)
316{
317 /* Pad on left. */
318 if (n_lpadding)
319 STRINGLIB_FILL(p, fill_char, n_lpadding);
320
321 /* Pad on right. */
322 if (n_rpadding)
323 STRINGLIB_FILL(p + nchars + n_lpadding, fill_char, n_rpadding);
324
325 /* Pointer to the user content. */
326 return p + n_lpadding;
327}
328
329#if defined FORMAT_FLOAT || defined FORMAT_LONG || defined FORMAT_COMPLEX
Eric Smitha9f7d622008-02-17 19:46:49 +0000330/************************************************************************/
331/*********** common routines for numeric formatting *********************/
332/************************************************************************/
333
Eric Smithaca19e62009-04-22 13:29:05 +0000334/* Locale type codes. */
335#define LT_CURRENT_LOCALE 0
336#define LT_DEFAULT_LOCALE 1
337#define LT_NO_LOCALE 2
338
339/* Locale info needed for formatting integers and the part of floats
340 before and including the decimal. Note that locales only support
341 8-bit chars, not unicode. */
342typedef struct {
343 char *decimal_point;
344 char *thousands_sep;
345 char *grouping;
346} LocaleInfo;
347
Eric Smitha9f7d622008-02-17 19:46:49 +0000348/* describes the layout for an integer, see the comment in
Eric Smitha5fa5a22008-07-16 00:11:49 +0000349 calc_number_widths() for details */
Eric Smitha9f7d622008-02-17 19:46:49 +0000350typedef struct {
351 Py_ssize_t n_lpadding;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000352 Py_ssize_t n_prefix;
Eric Smitha9f7d622008-02-17 19:46:49 +0000353 Py_ssize_t n_spadding;
354 Py_ssize_t n_rpadding;
Eric Smithaca19e62009-04-22 13:29:05 +0000355 char sign;
356 Py_ssize_t n_sign; /* number of digits needed for sign (0/1) */
357 Py_ssize_t n_grouped_digits; /* Space taken up by the digits, including
358 any grouping chars. */
359 Py_ssize_t n_decimal; /* 0 if only an integer */
360 Py_ssize_t n_remainder; /* Digits in decimal and/or exponent part,
361 excluding the decimal itself, if
362 present. */
363
364 /* These 2 are not the widths of fields, but are needed by
365 STRINGLIB_GROUPING. */
366 Py_ssize_t n_digits; /* The number of digits before a decimal
367 or exponent. */
368 Py_ssize_t n_min_width; /* The min_width we used when we computed
369 the n_grouped_digits width. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000370} NumberFieldWidths;
371
Eric Smith9139cc62009-04-30 00:58:58 +0000372
Eric Smithaca19e62009-04-22 13:29:05 +0000373/* Given a number of the form:
374 digits[remainder]
375 where ptr points to the start and end points to the end, find where
376 the integer part ends. This could be a decimal, an exponent, both,
377 or neither.
378 If a decimal point is present, set *has_decimal and increment
379 remainder beyond it.
380 Results are undefined (but shouldn't crash) for improperly
381 formatted strings.
382*/
383static void
384parse_number(STRINGLIB_CHAR *ptr, Py_ssize_t len,
385 Py_ssize_t *n_remainder, int *has_decimal)
386{
387 STRINGLIB_CHAR *end = ptr + len;
388 STRINGLIB_CHAR *remainder;
389
390 while (ptr<end && isdigit(*ptr))
391 ++ptr;
392 remainder = ptr;
393
394 /* Does remainder start with a decimal point? */
395 *has_decimal = ptr<end && *remainder == '.';
396
397 /* Skip the decimal point. */
398 if (*has_decimal)
399 remainder++;
400
401 *n_remainder = end - remainder;
402}
403
Eric Smitha9f7d622008-02-17 19:46:49 +0000404/* not all fields of format are used. for example, precision is
405 unused. should this take discrete params in order to be more clear
406 about what it does? or is passing a single format parameter easier
407 and more efficient enough to justify a little obfuscation? */
Eric Smithaca19e62009-04-22 13:29:05 +0000408static Py_ssize_t
409calc_number_widths(NumberFieldWidths *spec, Py_ssize_t n_prefix,
410 STRINGLIB_CHAR sign_char, STRINGLIB_CHAR *number,
411 Py_ssize_t n_number, Py_ssize_t n_remainder,
412 int has_decimal, const LocaleInfo *locale,
413 const InternalFormatSpec *format)
Eric Smitha9f7d622008-02-17 19:46:49 +0000414{
Eric Smithaca19e62009-04-22 13:29:05 +0000415 Py_ssize_t n_non_digit_non_padding;
416 Py_ssize_t n_padding;
417
418 spec->n_digits = n_number - n_remainder - (has_decimal?1:0);
Eric Smith4cb965c2008-07-16 18:29:51 +0000419 spec->n_lpadding = 0;
Eric Smithaca19e62009-04-22 13:29:05 +0000420 spec->n_prefix = n_prefix;
421 spec->n_decimal = has_decimal ? strlen(locale->decimal_point) : 0;
422 spec->n_remainder = n_remainder;
Eric Smith4cb965c2008-07-16 18:29:51 +0000423 spec->n_spadding = 0;
424 spec->n_rpadding = 0;
Eric Smithaca19e62009-04-22 13:29:05 +0000425 spec->sign = '\0';
426 spec->n_sign = 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000427
428 /* the output will look like:
Eric Smithaca19e62009-04-22 13:29:05 +0000429 | |
430 | <lpadding> <sign> <prefix> <spadding> <grouped_digits> <decimal> <remainder> <rpadding> |
431 | |
Eric Smitha9f7d622008-02-17 19:46:49 +0000432
Eric Smithaca19e62009-04-22 13:29:05 +0000433 sign is computed from format->sign and the actual
Eric Smitha9f7d622008-02-17 19:46:49 +0000434 sign of the number
435
Eric Smithd0c84122008-07-15 10:10:07 +0000436 prefix is given (it's for the '0x' prefix)
437
Eric Smitha9f7d622008-02-17 19:46:49 +0000438 digits is already known
439
440 the total width is either given, or computed from the
441 actual digits
442
443 only one of lpadding, spadding, and rpadding can be non-zero,
444 and it's calculated from the width and other fields
445 */
446
447 /* compute the various parts we're going to write */
Eric Smithaca19e62009-04-22 13:29:05 +0000448 switch (format->sign) {
449 case '+':
Eric Smitha9f7d622008-02-17 19:46:49 +0000450 /* always put a + or - */
Eric Smithaca19e62009-04-22 13:29:05 +0000451 spec->n_sign = 1;
452 spec->sign = (sign_char == '-' ? '-' : '+');
453 break;
454 case ' ':
455 spec->n_sign = 1;
456 spec->sign = (sign_char == '-' ? '-' : ' ');
457 break;
458 default:
459 /* Not specified, or the default (-) */
460 if (sign_char == '-') {
461 spec->n_sign = 1;
462 spec->sign = '-';
Eric Smitha9f7d622008-02-17 19:46:49 +0000463 }
464 }
465
Eric Smithaca19e62009-04-22 13:29:05 +0000466 /* The number of chars used for non-digits and non-padding. */
467 n_non_digit_non_padding = spec->n_sign + spec->n_prefix + spec->n_decimal +
468 spec->n_remainder;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000469
Eric Smithaca19e62009-04-22 13:29:05 +0000470 /* min_width can go negative, that's okay. format->width == -1 means
471 we don't care. */
472 if (format->fill_char == '0')
473 spec->n_min_width = format->width - n_non_digit_non_padding;
474 else
475 spec->n_min_width = 0;
476
477 if (spec->n_digits == 0)
478 /* This case only occurs when using 'c' formatting, we need
479 to special case it because the grouping code always wants
480 to have at least one character. */
481 spec->n_grouped_digits = 0;
482 else
483 spec->n_grouped_digits = STRINGLIB_GROUPING(NULL, 0, NULL,
484 spec->n_digits,
485 spec->n_min_width,
486 locale->grouping,
487 locale->thousands_sep);
488
489 /* Given the desired width and the total of digit and non-digit
490 space we consume, see if we need any padding. format->width can
491 be negative (meaning no padding), but this code still works in
492 that case. */
493 n_padding = format->width -
494 (n_non_digit_non_padding + spec->n_grouped_digits);
495 if (n_padding > 0) {
496 /* Some padding is needed. Determine if it's left, space, or right. */
497 switch (format->align) {
498 case '<':
499 spec->n_rpadding = n_padding;
500 break;
501 case '^':
502 spec->n_lpadding = n_padding / 2;
503 spec->n_rpadding = n_padding - spec->n_lpadding;
504 break;
505 case '=':
506 spec->n_spadding = n_padding;
507 break;
508 default:
509 /* Handles '>', plus catch-all just in case. */
510 spec->n_lpadding = n_padding;
511 break;
Eric Smitha9f7d622008-02-17 19:46:49 +0000512 }
513 }
Eric Smithaca19e62009-04-22 13:29:05 +0000514 return spec->n_lpadding + spec->n_sign + spec->n_prefix +
515 spec->n_spadding + spec->n_grouped_digits + spec->n_decimal +
516 spec->n_remainder + spec->n_rpadding;
Eric Smitha9f7d622008-02-17 19:46:49 +0000517}
518
Eric Smithaca19e62009-04-22 13:29:05 +0000519/* Fill in the digit parts of a numbers's string representation,
520 as determined in calc_number_widths().
521 No error checking, since we know the buffer is the correct size. */
522static void
523fill_number(STRINGLIB_CHAR *buf, const NumberFieldWidths *spec,
524 STRINGLIB_CHAR *digits, Py_ssize_t n_digits,
525 STRINGLIB_CHAR *prefix, STRINGLIB_CHAR fill_char,
526 LocaleInfo *locale, int toupper)
Eric Smitha9f7d622008-02-17 19:46:49 +0000527{
Eric Smithaca19e62009-04-22 13:29:05 +0000528 /* Used to keep track of digits, decimal, and remainder. */
529 STRINGLIB_CHAR *p = digits;
530
531#ifndef NDEBUG
532 Py_ssize_t r;
533#endif
Eric Smitha9f7d622008-02-17 19:46:49 +0000534
535 if (spec->n_lpadding) {
Eric Smithaca19e62009-04-22 13:29:05 +0000536 STRINGLIB_FILL(buf, fill_char, spec->n_lpadding);
537 buf += spec->n_lpadding;
Eric Smitha9f7d622008-02-17 19:46:49 +0000538 }
Eric Smithaca19e62009-04-22 13:29:05 +0000539 if (spec->n_sign == 1) {
540 *buf++ = spec->sign;
Eric Smitha9f7d622008-02-17 19:46:49 +0000541 }
Eric Smitha5fa5a22008-07-16 00:11:49 +0000542 if (spec->n_prefix) {
Eric Smithaca19e62009-04-22 13:29:05 +0000543 memmove(buf,
544 prefix,
545 spec->n_prefix * sizeof(STRINGLIB_CHAR));
546 if (toupper) {
547 Py_ssize_t t;
548 for (t = 0; t < spec->n_prefix; ++t)
549 buf[t] = STRINGLIB_TOUPPER(buf[t]);
550 }
551 buf += spec->n_prefix;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000552 }
Eric Smitha9f7d622008-02-17 19:46:49 +0000553 if (spec->n_spadding) {
Eric Smithaca19e62009-04-22 13:29:05 +0000554 STRINGLIB_FILL(buf, fill_char, spec->n_spadding);
555 buf += spec->n_spadding;
Eric Smitha9f7d622008-02-17 19:46:49 +0000556 }
Eric Smithaca19e62009-04-22 13:29:05 +0000557
558 /* Only for type 'c' special case, it has no digits. */
559 if (spec->n_digits != 0) {
560 /* Fill the digits with InsertThousandsGrouping. */
561#ifndef NDEBUG
562 r =
563#endif
564 STRINGLIB_GROUPING(buf, spec->n_grouped_digits, digits,
565 spec->n_digits, spec->n_min_width,
566 locale->grouping, locale->thousands_sep);
567#ifndef NDEBUG
568 assert(r == spec->n_grouped_digits);
569#endif
570 p += spec->n_digits;
Eric Smitha9f7d622008-02-17 19:46:49 +0000571 }
Eric Smithaca19e62009-04-22 13:29:05 +0000572 if (toupper) {
573 Py_ssize_t t;
574 for (t = 0; t < spec->n_grouped_digits; ++t)
575 buf[t] = STRINGLIB_TOUPPER(buf[t]);
576 }
577 buf += spec->n_grouped_digits;
578
579 if (spec->n_decimal) {
580 Py_ssize_t t;
581 for (t = 0; t < spec->n_decimal; ++t)
582 buf[t] = locale->decimal_point[t];
583 buf += spec->n_decimal;
584 p += 1;
585 }
586
587 if (spec->n_remainder) {
588 memcpy(buf, p, spec->n_remainder * sizeof(STRINGLIB_CHAR));
589 buf += spec->n_remainder;
590 p += spec->n_remainder;
591 }
592
Eric Smitha9f7d622008-02-17 19:46:49 +0000593 if (spec->n_rpadding) {
Eric Smithaca19e62009-04-22 13:29:05 +0000594 STRINGLIB_FILL(buf, fill_char, spec->n_rpadding);
595 buf += spec->n_rpadding;
Eric Smitha9f7d622008-02-17 19:46:49 +0000596 }
Eric Smitha9f7d622008-02-17 19:46:49 +0000597}
Eric Smithaca19e62009-04-22 13:29:05 +0000598
599static char no_grouping[1] = {CHAR_MAX};
600
601/* Find the decimal point character(s?), thousands_separator(s?), and
602 grouping description, either for the current locale if type is
603 LT_CURRENT_LOCALE, a hard-coded locale if LT_DEFAULT_LOCALE, or
604 none if LT_NO_LOCALE. */
605static void
606get_locale_info(int type, LocaleInfo *locale_info)
607{
608 switch (type) {
609 case LT_CURRENT_LOCALE: {
610 struct lconv *locale_data = localeconv();
611 locale_info->decimal_point = locale_data->decimal_point;
612 locale_info->thousands_sep = locale_data->thousands_sep;
613 locale_info->grouping = locale_data->grouping;
614 break;
615 }
616 case LT_DEFAULT_LOCALE:
617 locale_info->decimal_point = ".";
618 locale_info->thousands_sep = ",";
619 locale_info->grouping = "\3"; /* Group every 3 characters,
620 trailing 0 means repeat
621 infinitely. */
622 break;
623 case LT_NO_LOCALE:
624 locale_info->decimal_point = ".";
625 locale_info->thousands_sep = "";
626 locale_info->grouping = no_grouping;
627 break;
628 default:
629 assert(0);
630 }
631}
632
Eric Smith9139cc62009-04-30 00:58:58 +0000633#endif /* FORMAT_FLOAT || FORMAT_LONG || FORMAT_COMPLEX */
Eric Smitha9f7d622008-02-17 19:46:49 +0000634
635/************************************************************************/
636/*********** string formatting ******************************************/
637/************************************************************************/
638
639static PyObject *
640format_string_internal(PyObject *value, const InternalFormatSpec *format)
641{
Eric Smitha9f7d622008-02-17 19:46:49 +0000642 Py_ssize_t lpad;
Eric Smith9139cc62009-04-30 00:58:58 +0000643 Py_ssize_t rpad;
644 Py_ssize_t total;
645 STRINGLIB_CHAR *p;
Eric Smitha9f7d622008-02-17 19:46:49 +0000646 Py_ssize_t len = STRINGLIB_LEN(value);
647 PyObject *result = NULL;
648
649 /* sign is not allowed on strings */
650 if (format->sign != '\0') {
651 PyErr_SetString(PyExc_ValueError,
652 "Sign not allowed in string format specifier");
653 goto done;
654 }
655
Eric Smithd0c84122008-07-15 10:10:07 +0000656 /* alternate is not allowed on strings */
657 if (format->alternate) {
658 PyErr_SetString(PyExc_ValueError,
659 "Alternate form (#) not allowed in string format "
Eric Smithaca19e62009-04-22 13:29:05 +0000660 "specifier");
Eric Smithd0c84122008-07-15 10:10:07 +0000661 goto done;
662 }
663
Eric Smitha9f7d622008-02-17 19:46:49 +0000664 /* '=' alignment not allowed on strings */
665 if (format->align == '=') {
666 PyErr_SetString(PyExc_ValueError,
667 "'=' alignment not allowed "
668 "in string format specifier");
669 goto done;
670 }
671
672 /* if precision is specified, output no more that format.precision
673 characters */
674 if (format->precision >= 0 && len >= format->precision) {
675 len = format->precision;
676 }
677
Eric Smith9139cc62009-04-30 00:58:58 +0000678 calc_padding(len, format->width, format->align, &lpad, &rpad, &total);
Eric Smitha9f7d622008-02-17 19:46:49 +0000679
680 /* allocate the resulting string */
Eric Smith9139cc62009-04-30 00:58:58 +0000681 result = STRINGLIB_NEW(NULL, total);
Eric Smitha9f7d622008-02-17 19:46:49 +0000682 if (result == NULL)
683 goto done;
684
Eric Smith9139cc62009-04-30 00:58:58 +0000685 /* Write into that space. First the padding. */
686 p = fill_padding(STRINGLIB_STR(result), len,
687 format->fill_char=='\0'?' ':format->fill_char,
688 lpad, rpad);
Eric Smitha9f7d622008-02-17 19:46:49 +0000689
Eric Smith9139cc62009-04-30 00:58:58 +0000690 /* Then the source string. */
691 memcpy(p, STRINGLIB_STR(value), len * sizeof(STRINGLIB_CHAR));
Eric Smitha9f7d622008-02-17 19:46:49 +0000692
693done:
694 return result;
695}
696
697
698/************************************************************************/
699/*********** long formatting ********************************************/
700/************************************************************************/
701
702#if defined FORMAT_LONG || defined FORMAT_INT
703typedef PyObject*
704(*IntOrLongToString)(PyObject *value, int base);
705
706static PyObject *
707format_int_or_long_internal(PyObject *value, const InternalFormatSpec *format,
Eric Smithaca19e62009-04-22 13:29:05 +0000708 IntOrLongToString tostring)
Eric Smitha9f7d622008-02-17 19:46:49 +0000709{
710 PyObject *result = NULL;
711 PyObject *tmp = NULL;
712 STRINGLIB_CHAR *pnumeric_chars;
713 STRINGLIB_CHAR numeric_char;
Eric Smithaca19e62009-04-22 13:29:05 +0000714 STRINGLIB_CHAR sign_char = '\0';
Eric Smitha9f7d622008-02-17 19:46:49 +0000715 Py_ssize_t n_digits; /* count of digits need from the computed
716 string */
Eric Smithaca19e62009-04-22 13:29:05 +0000717 Py_ssize_t n_remainder = 0; /* Used only for 'c' formatting, which
718 produces non-digits */
Eric Smitha5fa5a22008-07-16 00:11:49 +0000719 Py_ssize_t n_prefix = 0; /* Count of prefix chars, (e.g., '0x') */
Eric Smithaca19e62009-04-22 13:29:05 +0000720 Py_ssize_t n_total;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000721 STRINGLIB_CHAR *prefix = NULL;
Eric Smitha9f7d622008-02-17 19:46:49 +0000722 NumberFieldWidths spec;
723 long x;
724
Eric Smithaca19e62009-04-22 13:29:05 +0000725 /* Locale settings, either from the actual locale or
726 from a hard-code pseudo-locale */
727 LocaleInfo locale;
728
Eric Smitha9f7d622008-02-17 19:46:49 +0000729 /* no precision allowed on integers */
730 if (format->precision != -1) {
731 PyErr_SetString(PyExc_ValueError,
732 "Precision not allowed in integer format specifier");
733 goto done;
734 }
735
Eric Smitha9f7d622008-02-17 19:46:49 +0000736 /* special case for character formatting */
737 if (format->type == 'c') {
738 /* error to specify a sign */
739 if (format->sign != '\0') {
740 PyErr_SetString(PyExc_ValueError,
741 "Sign not allowed with integer"
742 " format specifier 'c'");
743 goto done;
744 }
745
Eric Smithaca19e62009-04-22 13:29:05 +0000746 /* Error to specify a comma. */
747 if (format->thousands_separators) {
748 PyErr_SetString(PyExc_ValueError,
749 "Thousands separators not allowed with integer"
750 " format specifier 'c'");
751 goto done;
752 }
753
Eric Smitha9f7d622008-02-17 19:46:49 +0000754 /* taken from unicodeobject.c formatchar() */
755 /* Integer input truncated to a character */
756/* XXX: won't work for int */
757 x = PyLong_AsLong(value);
758 if (x == -1 && PyErr_Occurred())
759 goto done;
760#ifdef Py_UNICODE_WIDE
761 if (x < 0 || x > 0x10ffff) {
762 PyErr_SetString(PyExc_OverflowError,
763 "%c arg not in range(0x110000) "
764 "(wide Python build)");
765 goto done;
766 }
767#else
768 if (x < 0 || x > 0xffff) {
769 PyErr_SetString(PyExc_OverflowError,
770 "%c arg not in range(0x10000) "
771 "(narrow Python build)");
772 goto done;
773 }
774#endif
Eric Smithaca19e62009-04-22 13:29:05 +0000775 numeric_char = (STRINGLIB_CHAR)x;
776 pnumeric_chars = &numeric_char;
Eric Smitha9f7d622008-02-17 19:46:49 +0000777 n_digits = 1;
Eric Smithaca19e62009-04-22 13:29:05 +0000778
779 /* As a sort-of hack, we tell calc_number_widths that we only
780 have "remainder" characters. calc_number_widths thinks
781 these are characters that don't get formatted, only copied
782 into the output string. We do this for 'c' formatting,
783 because the characters are likely to be non-digits. */
784 n_remainder = 1;
Eric Smitha9f7d622008-02-17 19:46:49 +0000785 }
786 else {
787 int base;
Eric Smithaca19e62009-04-22 13:29:05 +0000788 int leading_chars_to_skip = 0; /* Number of characters added by
789 PyNumber_ToBase that we want to
790 skip over. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000791
792 /* Compute the base and how many characters will be added by
793 PyNumber_ToBase */
794 switch (format->type) {
795 case 'b':
796 base = 2;
Eric Smithaca19e62009-04-22 13:29:05 +0000797 leading_chars_to_skip = 2; /* 0b */
Eric Smitha9f7d622008-02-17 19:46:49 +0000798 break;
799 case 'o':
800 base = 8;
Eric Smithaca19e62009-04-22 13:29:05 +0000801 leading_chars_to_skip = 2; /* 0o */
Eric Smitha9f7d622008-02-17 19:46:49 +0000802 break;
803 case 'x':
804 case 'X':
805 base = 16;
Eric Smithaca19e62009-04-22 13:29:05 +0000806 leading_chars_to_skip = 2; /* 0x */
Eric Smitha9f7d622008-02-17 19:46:49 +0000807 break;
808 default: /* shouldn't be needed, but stops a compiler warning */
809 case 'd':
Eric Smithcf537ff2008-05-11 19:52:48 +0000810 case 'n':
Eric Smitha9f7d622008-02-17 19:46:49 +0000811 base = 10;
Eric Smitha9f7d622008-02-17 19:46:49 +0000812 break;
813 }
814
Eric Smithaca19e62009-04-22 13:29:05 +0000815 /* The number of prefix chars is the same as the leading
816 chars to skip */
817 if (format->alternate)
818 n_prefix = leading_chars_to_skip;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000819
Eric Smitha9f7d622008-02-17 19:46:49 +0000820 /* Do the hard part, converting to a string in a given base */
Eric Smithaca19e62009-04-22 13:29:05 +0000821 tmp = tostring(value, base);
Eric Smitha9f7d622008-02-17 19:46:49 +0000822 if (tmp == NULL)
823 goto done;
824
Eric Smithaca19e62009-04-22 13:29:05 +0000825 pnumeric_chars = STRINGLIB_STR(tmp);
Eric Smitha9f7d622008-02-17 19:46:49 +0000826 n_digits = STRINGLIB_LEN(tmp);
827
Eric Smithaca19e62009-04-22 13:29:05 +0000828 prefix = pnumeric_chars;
Eric Smitha5fa5a22008-07-16 00:11:49 +0000829
Eric Smithaca19e62009-04-22 13:29:05 +0000830 /* Remember not to modify what pnumeric_chars points to. it
831 might be interned. Only modify it after we copy it into a
832 newly allocated output buffer. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000833
834 /* Is a sign character present in the output? If so, remember it
835 and skip it */
Eric Smithaca19e62009-04-22 13:29:05 +0000836 if (pnumeric_chars[0] == '-') {
837 sign_char = pnumeric_chars[0];
838 ++prefix;
839 ++leading_chars_to_skip;
Eric Smitha9f7d622008-02-17 19:46:49 +0000840 }
841
Eric Smithaca19e62009-04-22 13:29:05 +0000842 /* Skip over the leading chars (0x, 0b, etc.) */
843 n_digits -= leading_chars_to_skip;
844 pnumeric_chars += leading_chars_to_skip;
Eric Smitha9f7d622008-02-17 19:46:49 +0000845 }
846
Eric Smithaca19e62009-04-22 13:29:05 +0000847 /* Determine the grouping, separator, and decimal point, if any. */
848 get_locale_info(format->type == 'n' ? LT_CURRENT_LOCALE :
849 (format->thousands_separators ?
850 LT_DEFAULT_LOCALE :
851 LT_NO_LOCALE),
852 &locale);
Eric Smithcf537ff2008-05-11 19:52:48 +0000853
Eric Smithaca19e62009-04-22 13:29:05 +0000854 /* Calculate how much memory we'll need. */
855 n_total = calc_number_widths(&spec, n_prefix, sign_char, pnumeric_chars,
856 n_digits, n_remainder, 0, &locale, format);
Eric Smith5dce7e92008-06-24 11:11:59 +0000857
Eric Smithaca19e62009-04-22 13:29:05 +0000858 /* Allocate the memory. */
859 result = STRINGLIB_NEW(NULL, n_total);
Eric Smitha9f7d622008-02-17 19:46:49 +0000860 if (!result)
Eric Smithaca19e62009-04-22 13:29:05 +0000861 goto done;
Eric Smitha9f7d622008-02-17 19:46:49 +0000862
Eric Smithaca19e62009-04-22 13:29:05 +0000863 /* Populate the memory. */
864 fill_number(STRINGLIB_STR(result), &spec, pnumeric_chars, n_digits,
865 prefix, format->fill_char == '\0' ? ' ' : format->fill_char,
866 &locale, format->type == 'X');
Eric Smitha5fa5a22008-07-16 00:11:49 +0000867
Eric Smitha9f7d622008-02-17 19:46:49 +0000868done:
869 Py_XDECREF(tmp);
870 return result;
871}
872#endif /* defined FORMAT_LONG || defined FORMAT_INT */
873
874/************************************************************************/
875/*********** float formatting *******************************************/
876/************************************************************************/
877
878#ifdef FORMAT_FLOAT
879#if STRINGLIB_IS_UNICODE
Eric Smithaca19e62009-04-22 13:29:05 +0000880static void
881strtounicode(Py_UNICODE *buffer, const char *charbuffer, Py_ssize_t len)
Eric Smitha9f7d622008-02-17 19:46:49 +0000882{
Eric Smithaca19e62009-04-22 13:29:05 +0000883 Py_ssize_t i;
884 for (i = 0; i < len; ++i)
885 buffer[i] = (Py_UNICODE)charbuffer[i];
Eric Smitha9f7d622008-02-17 19:46:49 +0000886}
887#endif
888
Eric Smitha9f7d622008-02-17 19:46:49 +0000889/* much of this is taken from unicodeobject.c */
Eric Smitha9f7d622008-02-17 19:46:49 +0000890static PyObject *
Eric Smith8a803dd2008-02-20 23:39:28 +0000891format_float_internal(PyObject *value,
Eric Smithaca19e62009-04-22 13:29:05 +0000892 const InternalFormatSpec *format)
Eric Smitha9f7d622008-02-17 19:46:49 +0000893{
Eric Smithaca19e62009-04-22 13:29:05 +0000894 char *buf = NULL; /* buffer returned from PyOS_double_to_string */
Eric Smitha9f7d622008-02-17 19:46:49 +0000895 Py_ssize_t n_digits;
Eric Smithaca19e62009-04-22 13:29:05 +0000896 Py_ssize_t n_remainder;
897 Py_ssize_t n_total;
898 int has_decimal;
899 double val;
Eric Smitha9f7d622008-02-17 19:46:49 +0000900 Py_ssize_t precision = format->precision;
Eric Smitha985a3a2009-05-05 18:26:08 +0000901 Py_ssize_t default_precision = 6;
Eric Smithaca19e62009-04-22 13:29:05 +0000902 STRINGLIB_CHAR type = format->type;
903 int add_pct = 0;
Eric Smitha9f7d622008-02-17 19:46:49 +0000904 STRINGLIB_CHAR *p;
905 NumberFieldWidths spec;
Eric Smithaca19e62009-04-22 13:29:05 +0000906 int flags = 0;
907 PyObject *result = NULL;
908 STRINGLIB_CHAR sign_char = '\0';
909 int float_type; /* Used to see if we have a nan, inf, or regular float. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000910
911#if STRINGLIB_IS_UNICODE
Eric Smithaca19e62009-04-22 13:29:05 +0000912 Py_UNICODE *unicode_tmp = NULL;
Eric Smitha9f7d622008-02-17 19:46:49 +0000913#endif
914
Eric Smithaca19e62009-04-22 13:29:05 +0000915 /* Locale settings, either from the actual locale or
916 from a hard-code pseudo-locale */
917 LocaleInfo locale;
918
919 /* Alternate is not allowed on floats. */
Eric Smithd0c84122008-07-15 10:10:07 +0000920 if (format->alternate) {
921 PyErr_SetString(PyExc_ValueError,
922 "Alternate form (#) not allowed in float format "
Eric Smithaca19e62009-04-22 13:29:05 +0000923 "specifier");
Eric Smithd0c84122008-07-15 10:10:07 +0000924 goto done;
925 }
926
Eric Smithaca19e62009-04-22 13:29:05 +0000927 if (type == '\0') {
Eric Smitha985a3a2009-05-05 18:26:08 +0000928 /* Omitted type specifier. This is like 'g' but with at least one
929 digit after the decimal point, and different default precision.*/
Eric Smithaca19e62009-04-22 13:29:05 +0000930 type = 'g';
Eric Smitha985a3a2009-05-05 18:26:08 +0000931 default_precision = PyFloat_STR_PRECISION;
Eric Smithaca19e62009-04-22 13:29:05 +0000932 flags |= Py_DTSF_ADD_DOT_0;
933 }
934
935 if (type == 'n')
936 /* 'n' is the same as 'g', except for the locale used to
937 format the result. We take care of that later. */
938 type = 'g';
Eric Smitha9f7d622008-02-17 19:46:49 +0000939
Eric Smithe94a8262009-07-27 01:58:25 +0000940#if PY_VERSION_HEX < 0x0301000
Eric Smithd6c393a2008-07-17 19:49:47 +0000941 /* 'F' is the same as 'f', per the PEP */
Eric Smithe94a8262009-07-27 01:58:25 +0000942 /* This is no longer the case in 3.x */
Eric Smithd6c393a2008-07-17 19:49:47 +0000943 if (type == 'F')
944 type = 'f';
Eric Smithe94a8262009-07-27 01:58:25 +0000945#endif
Eric Smithd6c393a2008-07-17 19:49:47 +0000946
Eric Smithaca19e62009-04-22 13:29:05 +0000947 val = PyFloat_AsDouble(value);
948 if (val == -1.0 && PyErr_Occurred())
Eric Smitha9f7d622008-02-17 19:46:49 +0000949 goto done;
950
951 if (type == '%') {
952 type = 'f';
Eric Smithaca19e62009-04-22 13:29:05 +0000953 val *= 100;
954 add_pct = 1;
Eric Smitha9f7d622008-02-17 19:46:49 +0000955 }
956
957 if (precision < 0)
Eric Smitha985a3a2009-05-05 18:26:08 +0000958 precision = default_precision;
Eric Smith27f204d2009-05-02 09:58:09 +0000959
Eric Smithaca19e62009-04-22 13:29:05 +0000960 /* Cast "type", because if we're in unicode we need to pass a
961 8-bit char. This is safe, because we've restricted what "type"
962 can be. */
963 buf = PyOS_double_to_string(val, (char)type, precision, flags,
964 &float_type);
965 if (buf == NULL)
966 goto done;
967 n_digits = strlen(buf);
Eric Smitha9f7d622008-02-17 19:46:49 +0000968
Eric Smithaca19e62009-04-22 13:29:05 +0000969 if (add_pct) {
970 /* We know that buf has a trailing zero (since we just called
971 strlen() on it), and we don't use that fact any more. So we
972 can just write over the trailing zero. */
973 buf[n_digits] = '%';
974 n_digits += 1;
975 }
Eric Smitha9f7d622008-02-17 19:46:49 +0000976
Eric Smithaca19e62009-04-22 13:29:05 +0000977 /* Since there is no unicode version of PyOS_double_to_string,
978 just use the 8 bit version and then convert to unicode. */
Eric Smitha9f7d622008-02-17 19:46:49 +0000979#if STRINGLIB_IS_UNICODE
Eric Smithaca19e62009-04-22 13:29:05 +0000980 unicode_tmp = (Py_UNICODE*)PyMem_Malloc((n_digits)*sizeof(Py_UNICODE));
981 if (unicode_tmp == NULL) {
982 PyErr_NoMemory();
983 goto done;
984 }
985 strtounicode(unicode_tmp, buf, n_digits);
986 p = unicode_tmp;
Eric Smitha9f7d622008-02-17 19:46:49 +0000987#else
Eric Smithaca19e62009-04-22 13:29:05 +0000988 p = buf;
Eric Smitha9f7d622008-02-17 19:46:49 +0000989#endif
990
Eric Smithaca19e62009-04-22 13:29:05 +0000991 /* Is a sign character present in the output? If so, remember it
Eric Smitha9f7d622008-02-17 19:46:49 +0000992 and skip it */
Eric Smithaca19e62009-04-22 13:29:05 +0000993 if (*p == '-') {
994 sign_char = *p;
Eric Smith8a803dd2008-02-20 23:39:28 +0000995 ++p;
996 --n_digits;
Eric Smitha9f7d622008-02-17 19:46:49 +0000997 }
998
Eric Smithaca19e62009-04-22 13:29:05 +0000999 /* Determine if we have any "remainder" (after the digits, might include
1000 decimal or exponent or both (or neither)) */
1001 parse_number(p, n_digits, &n_remainder, &has_decimal);
Eric Smitha9f7d622008-02-17 19:46:49 +00001002
Eric Smithaca19e62009-04-22 13:29:05 +00001003 /* Determine the grouping, separator, and decimal point, if any. */
1004 get_locale_info(format->type == 'n' ? LT_CURRENT_LOCALE :
1005 (format->thousands_separators ?
1006 LT_DEFAULT_LOCALE :
1007 LT_NO_LOCALE),
1008 &locale);
1009
1010 /* Calculate how much memory we'll need. */
1011 n_total = calc_number_widths(&spec, 0, sign_char, p, n_digits,
1012 n_remainder, has_decimal, &locale, format);
1013
1014 /* Allocate the memory. */
1015 result = STRINGLIB_NEW(NULL, n_total);
Eric Smitha9f7d622008-02-17 19:46:49 +00001016 if (result == NULL)
1017 goto done;
1018
Eric Smithaca19e62009-04-22 13:29:05 +00001019 /* Populate the memory. */
1020 fill_number(STRINGLIB_STR(result), &spec, p, n_digits, NULL,
1021 format->fill_char == '\0' ? ' ' : format->fill_char, &locale,
1022 0);
Eric Smitha9f7d622008-02-17 19:46:49 +00001023
1024done:
Eric Smithaca19e62009-04-22 13:29:05 +00001025 PyMem_Free(buf);
1026#if STRINGLIB_IS_UNICODE
1027 PyMem_Free(unicode_tmp);
1028#endif
Eric Smitha9f7d622008-02-17 19:46:49 +00001029 return result;
1030}
Eric Smitha9f7d622008-02-17 19:46:49 +00001031#endif /* FORMAT_FLOAT */
1032
1033/************************************************************************/
Eric Smith9139cc62009-04-30 00:58:58 +00001034/*********** complex formatting *****************************************/
1035/************************************************************************/
1036
1037#ifdef FORMAT_COMPLEX
1038
1039static PyObject *
1040format_complex_internal(PyObject *value,
1041 const InternalFormatSpec *format)
1042{
1043 double re;
1044 double im;
1045 char *re_buf = NULL; /* buffer returned from PyOS_double_to_string */
1046 char *im_buf = NULL; /* buffer returned from PyOS_double_to_string */
1047
1048 InternalFormatSpec tmp_format = *format;
1049 Py_ssize_t n_re_digits;
1050 Py_ssize_t n_im_digits;
1051 Py_ssize_t n_re_remainder;
1052 Py_ssize_t n_im_remainder;
1053 Py_ssize_t n_re_total;
1054 Py_ssize_t n_im_total;
1055 int re_has_decimal;
1056 int im_has_decimal;
1057 Py_ssize_t precision = format->precision;
Eric Smitha985a3a2009-05-05 18:26:08 +00001058 Py_ssize_t default_precision = 6;
Eric Smith9139cc62009-04-30 00:58:58 +00001059 STRINGLIB_CHAR type = format->type;
1060 STRINGLIB_CHAR *p_re;
1061 STRINGLIB_CHAR *p_im;
1062 NumberFieldWidths re_spec;
1063 NumberFieldWidths im_spec;
1064 int flags = 0;
1065 PyObject *result = NULL;
1066 STRINGLIB_CHAR *p;
1067 STRINGLIB_CHAR re_sign_char = '\0';
1068 STRINGLIB_CHAR im_sign_char = '\0';
1069 int re_float_type; /* Used to see if we have a nan, inf, or regular float. */
1070 int im_float_type;
1071 int add_parens = 0;
1072 int skip_re = 0;
1073 Py_ssize_t lpad;
1074 Py_ssize_t rpad;
1075 Py_ssize_t total;
1076
1077#if STRINGLIB_IS_UNICODE
1078 Py_UNICODE *re_unicode_tmp = NULL;
1079 Py_UNICODE *im_unicode_tmp = NULL;
1080#endif
1081
1082 /* Locale settings, either from the actual locale or
1083 from a hard-code pseudo-locale */
1084 LocaleInfo locale;
1085
1086 /* Alternate is not allowed on complex. */
1087 if (format->alternate) {
1088 PyErr_SetString(PyExc_ValueError,
1089 "Alternate form (#) not allowed in complex format "
1090 "specifier");
1091 goto done;
1092 }
1093
1094 /* Neither is zero pading. */
1095 if (format->fill_char == '0') {
1096 PyErr_SetString(PyExc_ValueError,
1097 "Zero padding is not allowed in complex format "
1098 "specifier");
1099 goto done;
1100 }
1101
1102 /* Neither is '=' alignment . */
1103 if (format->align == '=') {
1104 PyErr_SetString(PyExc_ValueError,
1105 "'=' alignment flag is not allowed in complex format "
1106 "specifier");
1107 goto done;
1108 }
1109
1110 re = PyComplex_RealAsDouble(value);
1111 if (re == -1.0 && PyErr_Occurred())
1112 goto done;
1113 im = PyComplex_ImagAsDouble(value);
1114 if (im == -1.0 && PyErr_Occurred())
1115 goto done;
1116
1117 if (type == '\0') {
1118 /* Omitted type specifier. Should be like str(self). */
1119 type = 'g';
Eric Smitha985a3a2009-05-05 18:26:08 +00001120 default_precision = PyFloat_STR_PRECISION;
Eric Smith9139cc62009-04-30 00:58:58 +00001121 add_parens = 1;
1122 if (re == 0.0)
1123 skip_re = 1;
1124 }
1125
1126 if (type == 'n')
1127 /* 'n' is the same as 'g', except for the locale used to
1128 format the result. We take care of that later. */
1129 type = 'g';
1130
Eric Smithe94a8262009-07-27 01:58:25 +00001131#if PY_VERSION_HEX < 0x03010000
1132 /* This is no longer the case in 3.x */
Eric Smith9139cc62009-04-30 00:58:58 +00001133 /* 'F' is the same as 'f', per the PEP */
1134 if (type == 'F')
1135 type = 'f';
Eric Smithe94a8262009-07-27 01:58:25 +00001136#endif
Eric Smith9139cc62009-04-30 00:58:58 +00001137
1138 if (precision < 0)
Eric Smitha985a3a2009-05-05 18:26:08 +00001139 precision = default_precision;
Eric Smith9139cc62009-04-30 00:58:58 +00001140
1141 /* Cast "type", because if we're in unicode we need to pass a
1142 8-bit char. This is safe, because we've restricted what "type"
1143 can be. */
1144 re_buf = PyOS_double_to_string(re, (char)type, precision, flags,
1145 &re_float_type);
1146 if (re_buf == NULL)
1147 goto done;
1148 im_buf = PyOS_double_to_string(im, (char)type, precision, flags,
1149 &im_float_type);
1150 if (im_buf == NULL)
1151 goto done;
1152
1153 n_re_digits = strlen(re_buf);
1154 n_im_digits = strlen(im_buf);
1155
1156 /* Since there is no unicode version of PyOS_double_to_string,
1157 just use the 8 bit version and then convert to unicode. */
1158#if STRINGLIB_IS_UNICODE
1159 re_unicode_tmp = (Py_UNICODE*)PyMem_Malloc((n_re_digits)*sizeof(Py_UNICODE));
1160 if (re_unicode_tmp == NULL) {
1161 PyErr_NoMemory();
1162 goto done;
1163 }
1164 strtounicode(re_unicode_tmp, re_buf, n_re_digits);
1165 p_re = re_unicode_tmp;
1166
1167 im_unicode_tmp = (Py_UNICODE*)PyMem_Malloc((n_im_digits)*sizeof(Py_UNICODE));
1168 if (im_unicode_tmp == NULL) {
1169 PyErr_NoMemory();
1170 goto done;
1171 }
1172 strtounicode(im_unicode_tmp, im_buf, n_im_digits);
1173 p_im = im_unicode_tmp;
1174#else
1175 p_re = re_buf;
1176 p_im = im_buf;
1177#endif
1178
1179 /* Is a sign character present in the output? If so, remember it
1180 and skip it */
1181 if (*p_re == '-') {
1182 re_sign_char = *p_re;
1183 ++p_re;
1184 --n_re_digits;
1185 }
1186 if (*p_im == '-') {
1187 im_sign_char = *p_im;
1188 ++p_im;
1189 --n_im_digits;
1190 }
1191
1192 /* Determine if we have any "remainder" (after the digits, might include
1193 decimal or exponent or both (or neither)) */
1194 parse_number(p_re, n_re_digits, &n_re_remainder, &re_has_decimal);
1195 parse_number(p_im, n_im_digits, &n_im_remainder, &im_has_decimal);
1196
1197 /* Determine the grouping, separator, and decimal point, if any. */
1198 get_locale_info(format->type == 'n' ? LT_CURRENT_LOCALE :
1199 (format->thousands_separators ?
1200 LT_DEFAULT_LOCALE :
1201 LT_NO_LOCALE),
1202 &locale);
1203
1204 /* Turn off any padding. We'll do it later after we've composed
1205 the numbers without padding. */
1206 tmp_format.fill_char = '\0';
1207 tmp_format.align = '\0';
1208 tmp_format.width = -1;
1209
1210 /* Calculate how much memory we'll need. */
1211 n_re_total = calc_number_widths(&re_spec, 0, re_sign_char, p_re,
1212 n_re_digits, n_re_remainder,
1213 re_has_decimal, &locale, &tmp_format);
1214
1215 /* Same formatting, but always include a sign. */
1216 tmp_format.sign = '+';
1217 n_im_total = calc_number_widths(&im_spec, 0, im_sign_char, p_im,
1218 n_im_digits, n_im_remainder,
1219 im_has_decimal, &locale, &tmp_format);
1220
1221 if (skip_re)
1222 n_re_total = 0;
1223
1224 /* Add 1 for the 'j', and optionally 2 for parens. */
1225 calc_padding(n_re_total + n_im_total + 1 + add_parens * 2,
1226 format->width, format->align, &lpad, &rpad, &total);
1227
1228 result = STRINGLIB_NEW(NULL, total);
1229 if (result == NULL)
1230 goto done;
1231
1232 /* Populate the memory. First, the padding. */
1233 p = fill_padding(STRINGLIB_STR(result),
1234 n_re_total + n_im_total + 1 + add_parens * 2,
1235 format->fill_char=='\0' ? ' ' : format->fill_char,
1236 lpad, rpad);
1237
1238 if (add_parens)
1239 *p++ = '(';
1240
1241 if (!skip_re) {
1242 fill_number(p, &re_spec, p_re, n_re_digits, NULL, 0, &locale, 0);
1243 p += n_re_total;
1244 }
1245 fill_number(p, &im_spec, p_im, n_im_digits, NULL, 0, &locale, 0);
1246 p += n_im_total;
1247 *p++ = 'j';
1248
1249 if (add_parens)
1250 *p++ = ')';
1251
1252done:
1253 PyMem_Free(re_buf);
1254 PyMem_Free(im_buf);
1255#if STRINGLIB_IS_UNICODE
1256 PyMem_Free(re_unicode_tmp);
1257 PyMem_Free(im_unicode_tmp);
1258#endif
1259 return result;
1260}
1261#endif /* FORMAT_COMPLEX */
1262
1263/************************************************************************/
Eric Smitha9f7d622008-02-17 19:46:49 +00001264/*********** built in formatters ****************************************/
1265/************************************************************************/
Eric Smitha9f7d622008-02-17 19:46:49 +00001266PyObject *
Eric Smithdc13b792008-05-30 18:10:04 +00001267FORMAT_STRING(PyObject *obj,
Eric Smithaca19e62009-04-22 13:29:05 +00001268 STRINGLIB_CHAR *format_spec,
1269 Py_ssize_t format_spec_len)
Eric Smitha9f7d622008-02-17 19:46:49 +00001270{
Eric Smitha9f7d622008-02-17 19:46:49 +00001271 InternalFormatSpec format;
Eric Smithdc13b792008-05-30 18:10:04 +00001272 PyObject *result = NULL;
Eric Smitha9f7d622008-02-17 19:46:49 +00001273
1274 /* check for the special case of zero length format spec, make
Eric Smithdc13b792008-05-30 18:10:04 +00001275 it equivalent to str(obj) */
1276 if (format_spec_len == 0) {
1277 result = STRINGLIB_TOSTR(obj);
Eric Smitha9f7d622008-02-17 19:46:49 +00001278 goto done;
1279 }
1280
Eric Smitha9f7d622008-02-17 19:46:49 +00001281 /* parse the format_spec */
Eric Smithdc13b792008-05-30 18:10:04 +00001282 if (!parse_internal_render_format_spec(format_spec, format_spec_len,
Eric Smithaca19e62009-04-22 13:29:05 +00001283 &format, 's'))
Eric Smitha9f7d622008-02-17 19:46:49 +00001284 goto done;
1285
1286 /* type conversion? */
1287 switch (format.type) {
1288 case 's':
1289 /* no type conversion needed, already a string. do the formatting */
Eric Smithdc13b792008-05-30 18:10:04 +00001290 result = format_string_internal(obj, &format);
Eric Smitha9f7d622008-02-17 19:46:49 +00001291 break;
1292 default:
1293 /* unknown */
Eric Smithe9fb6862009-02-20 14:02:36 +00001294 unknown_presentation_type(format.type, obj->ob_type->tp_name);
Eric Smitha9f7d622008-02-17 19:46:49 +00001295 goto done;
1296 }
1297
1298done:
Eric Smitha9f7d622008-02-17 19:46:49 +00001299 return result;
1300}
Eric Smitha9f7d622008-02-17 19:46:49 +00001301
1302#if defined FORMAT_LONG || defined FORMAT_INT
1303static PyObject*
Eric Smithdc13b792008-05-30 18:10:04 +00001304format_int_or_long(PyObject* obj,
Eric Smithaca19e62009-04-22 13:29:05 +00001305 STRINGLIB_CHAR *format_spec,
1306 Py_ssize_t format_spec_len,
1307 IntOrLongToString tostring)
Eric Smitha9f7d622008-02-17 19:46:49 +00001308{
Eric Smitha9f7d622008-02-17 19:46:49 +00001309 PyObject *result = NULL;
1310 PyObject *tmp = NULL;
1311 InternalFormatSpec format;
1312
Eric Smitha9f7d622008-02-17 19:46:49 +00001313 /* check for the special case of zero length format spec, make
Eric Smithdc13b792008-05-30 18:10:04 +00001314 it equivalent to str(obj) */
1315 if (format_spec_len == 0) {
1316 result = STRINGLIB_TOSTR(obj);
Eric Smitha9f7d622008-02-17 19:46:49 +00001317 goto done;
1318 }
1319
1320 /* parse the format_spec */
Eric Smithdc13b792008-05-30 18:10:04 +00001321 if (!parse_internal_render_format_spec(format_spec,
Eric Smithaca19e62009-04-22 13:29:05 +00001322 format_spec_len,
1323 &format, 'd'))
Eric Smitha9f7d622008-02-17 19:46:49 +00001324 goto done;
1325
1326 /* type conversion? */
1327 switch (format.type) {
1328 case 'b':
1329 case 'c':
1330 case 'd':
1331 case 'o':
1332 case 'x':
1333 case 'X':
Eric Smithcf537ff2008-05-11 19:52:48 +00001334 case 'n':
Eric Smitha9f7d622008-02-17 19:46:49 +00001335 /* no type conversion needed, already an int (or long). do
Eric Smithaca19e62009-04-22 13:29:05 +00001336 the formatting */
1337 result = format_int_or_long_internal(obj, &format, tostring);
Eric Smitha9f7d622008-02-17 19:46:49 +00001338 break;
1339
1340 case 'e':
1341 case 'E':
1342 case 'f':
1343 case 'F':
1344 case 'g':
1345 case 'G':
Eric Smitha9f7d622008-02-17 19:46:49 +00001346 case '%':
1347 /* convert to float */
Eric Smithdc13b792008-05-30 18:10:04 +00001348 tmp = PyNumber_Float(obj);
Eric Smitha9f7d622008-02-17 19:46:49 +00001349 if (tmp == NULL)
1350 goto done;
Eric Smith8c023242009-04-13 00:29:50 +00001351 result = format_float_internal(tmp, &format);
Eric Smitha9f7d622008-02-17 19:46:49 +00001352 break;
1353
1354 default:
1355 /* unknown */
Eric Smithe9fb6862009-02-20 14:02:36 +00001356 unknown_presentation_type(format.type, obj->ob_type->tp_name);
Eric Smitha9f7d622008-02-17 19:46:49 +00001357 goto done;
1358 }
1359
1360done:
1361 Py_XDECREF(tmp);
1362 return result;
1363}
1364#endif /* FORMAT_LONG || defined FORMAT_INT */
1365
1366#ifdef FORMAT_LONG
1367/* Need to define long_format as a function that will convert a long
1368 to a string. In 3.0, _PyLong_Format has the correct signature. In
1369 2.x, we need to fudge a few parameters */
1370#if PY_VERSION_HEX >= 0x03000000
1371#define long_format _PyLong_Format
1372#else
1373static PyObject*
1374long_format(PyObject* value, int base)
1375{
1376 /* Convert to base, don't add trailing 'L', and use the new octal
1377 format. We already know this is a long object */
1378 assert(PyLong_Check(value));
1379 /* convert to base, don't add 'L', and use the new octal format */
1380 return _PyLong_Format(value, base, 0, 1);
1381}
1382#endif
1383
1384PyObject *
Eric Smithdc13b792008-05-30 18:10:04 +00001385FORMAT_LONG(PyObject *obj,
Eric Smithaca19e62009-04-22 13:29:05 +00001386 STRINGLIB_CHAR *format_spec,
1387 Py_ssize_t format_spec_len)
Eric Smitha9f7d622008-02-17 19:46:49 +00001388{
Eric Smithdc13b792008-05-30 18:10:04 +00001389 return format_int_or_long(obj, format_spec, format_spec_len,
Eric Smithaca19e62009-04-22 13:29:05 +00001390 long_format);
Eric Smitha9f7d622008-02-17 19:46:49 +00001391}
1392#endif /* FORMAT_LONG */
1393
1394#ifdef FORMAT_INT
1395/* this is only used for 2.x, not 3.0 */
1396static PyObject*
1397int_format(PyObject* value, int base)
1398{
1399 /* Convert to base, and use the new octal format. We already
1400 know this is an int object */
1401 assert(PyInt_Check(value));
1402 return _PyInt_Format((PyIntObject*)value, base, 1);
1403}
1404
1405PyObject *
Eric Smithdc13b792008-05-30 18:10:04 +00001406FORMAT_INT(PyObject *obj,
Eric Smithaca19e62009-04-22 13:29:05 +00001407 STRINGLIB_CHAR *format_spec,
1408 Py_ssize_t format_spec_len)
Eric Smitha9f7d622008-02-17 19:46:49 +00001409{
Eric Smithdc13b792008-05-30 18:10:04 +00001410 return format_int_or_long(obj, format_spec, format_spec_len,
Eric Smithaca19e62009-04-22 13:29:05 +00001411 int_format);
Eric Smitha9f7d622008-02-17 19:46:49 +00001412}
1413#endif /* FORMAT_INT */
1414
1415#ifdef FORMAT_FLOAT
1416PyObject *
Eric Smithdc13b792008-05-30 18:10:04 +00001417FORMAT_FLOAT(PyObject *obj,
Eric Smithaca19e62009-04-22 13:29:05 +00001418 STRINGLIB_CHAR *format_spec,
1419 Py_ssize_t format_spec_len)
Eric Smitha9f7d622008-02-17 19:46:49 +00001420{
Eric Smitha9f7d622008-02-17 19:46:49 +00001421 PyObject *result = NULL;
1422 InternalFormatSpec format;
1423
Eric Smitha9f7d622008-02-17 19:46:49 +00001424 /* check for the special case of zero length format spec, make
Eric Smithdc13b792008-05-30 18:10:04 +00001425 it equivalent to str(obj) */
1426 if (format_spec_len == 0) {
1427 result = STRINGLIB_TOSTR(obj);
Eric Smitha9f7d622008-02-17 19:46:49 +00001428 goto done;
1429 }
1430
1431 /* parse the format_spec */
Eric Smithdc13b792008-05-30 18:10:04 +00001432 if (!parse_internal_render_format_spec(format_spec,
Eric Smithaca19e62009-04-22 13:29:05 +00001433 format_spec_len,
1434 &format, '\0'))
Eric Smitha9f7d622008-02-17 19:46:49 +00001435 goto done;
1436
1437 /* type conversion? */
1438 switch (format.type) {
Eric Smithaca19e62009-04-22 13:29:05 +00001439 case '\0': /* No format code: like 'g', but with at least one decimal. */
Eric Smitha9f7d622008-02-17 19:46:49 +00001440 case 'e':
1441 case 'E':
1442 case 'f':
1443 case 'F':
1444 case 'g':
1445 case 'G':
1446 case 'n':
1447 case '%':
1448 /* no conversion, already a float. do the formatting */
Eric Smithdc13b792008-05-30 18:10:04 +00001449 result = format_float_internal(obj, &format);
Eric Smitha9f7d622008-02-17 19:46:49 +00001450 break;
1451
1452 default:
1453 /* unknown */
Eric Smithe9fb6862009-02-20 14:02:36 +00001454 unknown_presentation_type(format.type, obj->ob_type->tp_name);
Eric Smitha9f7d622008-02-17 19:46:49 +00001455 goto done;
1456 }
1457
1458done:
1459 return result;
1460}
1461#endif /* FORMAT_FLOAT */
Eric Smith9139cc62009-04-30 00:58:58 +00001462
1463#ifdef FORMAT_COMPLEX
1464PyObject *
1465FORMAT_COMPLEX(PyObject *obj,
1466 STRINGLIB_CHAR *format_spec,
1467 Py_ssize_t format_spec_len)
1468{
1469 PyObject *result = NULL;
1470 InternalFormatSpec format;
1471
1472 /* check for the special case of zero length format spec, make
1473 it equivalent to str(obj) */
1474 if (format_spec_len == 0) {
1475 result = STRINGLIB_TOSTR(obj);
1476 goto done;
1477 }
1478
1479 /* parse the format_spec */
1480 if (!parse_internal_render_format_spec(format_spec,
1481 format_spec_len,
1482 &format, '\0'))
1483 goto done;
1484
1485 /* type conversion? */
1486 switch (format.type) {
1487 case '\0': /* No format code: like 'g', but with at least one decimal. */
1488 case 'e':
1489 case 'E':
1490 case 'f':
1491 case 'F':
1492 case 'g':
1493 case 'G':
1494 case 'n':
1495 /* no conversion, already a complex. do the formatting */
1496 result = format_complex_internal(obj, &format);
1497 break;
1498
1499 default:
1500 /* unknown */
1501 unknown_presentation_type(format.type, obj->ob_type->tp_name);
1502 goto done;
1503 }
1504
1505done:
1506 return result;
1507}
1508#endif /* FORMAT_COMPLEX */