2 ** The "printf" code that follows dates from the 1980's. It is in
5 **************************************************************************
7 ** This file contains code for a set of "printf"-like routines. These
8 ** routines format strings much like the printf() from the standard C
9 ** library, though the implementation here has enhancements to support
12 #include "sqliteInt.h"
15 ** Conversion types fall into various categories as defined by the
16 ** following enumeration.
18 #define etRADIX 0 /* non-decimal integer types. %x %o */
19 #define etFLOAT 1 /* Floating point. %f */
20 #define etEXP 2 /* Exponentional notation. %e and %E */
21 #define etGENERIC 3 /* Floating or exponential, depending on exponent. %g */
22 #define etSIZE 4 /* Return number of characters processed so far. %n */
23 #define etSTRING 5 /* Strings. %s */
24 #define etDYNSTRING 6 /* Dynamically allocated strings. %z */
25 #define etPERCENT 7 /* Percent symbol. %% */
26 #define etCHARX 8 /* Characters. %c */
27 /* The rest are extensions, not normally found in printf() */
28 #define etSQLESCAPE 9 /* Strings with '\'' doubled. %q */
29 #define etSQLESCAPE2 10 /* Strings with '\'' doubled and enclosed in '',
30 NULL pointers replaced by SQL NULL. %Q */
31 #define etTOKEN 11 /* a pointer to a Token structure */
32 #define etSRCITEM 12 /* a pointer to a SrcItem */
33 #define etPOINTER 13 /* The %p conversion */
34 #define etSQLESCAPE3 14 /* %w -> Strings with '\"' doubled */
35 #define etORDINAL 15 /* %r -> 1st, 2nd, 3rd, 4th, etc. English only */
36 #define etDECIMAL 16 /* %d or %u, but not %x, %o */
38 #define etINVALID 17 /* Any unrecognized conversion type */
42 ** An "etByte" is an 8-bit unsigned value.
44 typedef unsigned char etByte
;
47 ** Each builtin conversion character (ex: the 'd' in "%d") is described
48 ** by an instance of the following structure
50 typedef struct et_info
{ /* Information about each format field */
51 char fmttype
; /* The format field code letter */
52 etByte base
; /* The base for radix conversion */
53 etByte flags
; /* One or more of FLAG_ constants below */
54 etByte type
; /* Conversion paradigm */
55 etByte charset
; /* Offset into aDigits[] of the digits string */
56 etByte prefix
; /* Offset into aPrefix[] of the prefix string */
60 ** Allowed values for et_info.flags
62 #define FLAG_SIGNED 1 /* True if the value to convert is signed */
63 #define FLAG_STRING 4 /* Allow infinite precision */
67 ** The following table is searched linearly, so it is good to put the
68 ** most frequently used conversion types first.
70 static const char aDigits
[] = "0123456789ABCDEF0123456789abcdef";
71 static const char aPrefix
[] = "-x0\000X0";
72 static const et_info fmtinfo
[] = {
73 { 'd', 10, 1, etDECIMAL
, 0, 0 },
74 { 's', 0, 4, etSTRING
, 0, 0 },
75 { 'g', 0, 1, etGENERIC
, 30, 0 },
76 { 'z', 0, 4, etDYNSTRING
, 0, 0 },
77 { 'q', 0, 4, etSQLESCAPE
, 0, 0 },
78 { 'Q', 0, 4, etSQLESCAPE2
, 0, 0 },
79 { 'w', 0, 4, etSQLESCAPE3
, 0, 0 },
80 { 'c', 0, 0, etCHARX
, 0, 0 },
81 { 'o', 8, 0, etRADIX
, 0, 2 },
82 { 'u', 10, 0, etDECIMAL
, 0, 0 },
83 { 'x', 16, 0, etRADIX
, 16, 1 },
84 { 'X', 16, 0, etRADIX
, 0, 4 },
85 #ifndef SQLITE_OMIT_FLOATING_POINT
86 { 'f', 0, 1, etFLOAT
, 0, 0 },
87 { 'e', 0, 1, etEXP
, 30, 0 },
88 { 'E', 0, 1, etEXP
, 14, 0 },
89 { 'G', 0, 1, etGENERIC
, 14, 0 },
91 { 'i', 10, 1, etDECIMAL
, 0, 0 },
92 { 'n', 0, 0, etSIZE
, 0, 0 },
93 { '%', 0, 0, etPERCENT
, 0, 0 },
94 { 'p', 16, 0, etPOINTER
, 0, 1 },
96 /* All the rest are undocumented and are for internal use only */
97 { 'T', 0, 0, etTOKEN
, 0, 0 },
98 { 'S', 0, 0, etSRCITEM
, 0, 0 },
99 { 'r', 10, 1, etORDINAL
, 0, 0 },
104 ** %S Takes a pointer to SrcItem. Shows name or database.name
105 ** %!S Like %S but prefer the zName over the zAlias
108 /* Floating point constants used for rounding */
109 static const double arRound
[] = {
110 5.0e-01, 5.0e-02, 5.0e-03, 5.0e-04, 5.0e-05,
111 5.0e-06, 5.0e-07, 5.0e-08, 5.0e-09, 5.0e-10,
115 ** If SQLITE_OMIT_FLOATING_POINT is defined, then none of the floating point
116 ** conversions will work.
118 #ifndef SQLITE_OMIT_FLOATING_POINT
120 ** "*val" is a double such that 0.1 <= *val < 10.0
121 ** Return the ascii code for the leading digit of *val, then
122 ** multiply "*val" by 10.0 to renormalize.
125 ** input: *val = 3.14159
126 ** output: *val = 1.4159 function return = '3'
128 ** The counter *cnt is incremented each time. After counter exceeds
129 ** 16 (the number of significant digits in a 64-bit float) '0' is
132 static char et_getdigit(LONGDOUBLE_TYPE
*val
, int *cnt
){
135 if( (*cnt
)<=0 ) return '0';
140 *val
= (*val
- d
)*10.0;
143 #endif /* SQLITE_OMIT_FLOATING_POINT */
146 ** Set the StrAccum object to an error mode.
148 void sqlite3StrAccumSetError(StrAccum
*p
, u8 eError
){
149 assert( eError
==SQLITE_NOMEM
|| eError
==SQLITE_TOOBIG
);
150 p
->accError
= eError
;
151 if( p
->mxAlloc
) sqlite3_str_reset(p
);
152 if( eError
==SQLITE_TOOBIG
) sqlite3ErrorToParser(p
->db
, eError
);
156 ** Extra argument values from a PrintfArguments object
158 static sqlite3_int64
getIntArg(PrintfArguments
*p
){
159 if( p
->nArg
<=p
->nUsed
) return 0;
160 return sqlite3_value_int64(p
->apArg
[p
->nUsed
++]);
162 static double getDoubleArg(PrintfArguments
*p
){
163 if( p
->nArg
<=p
->nUsed
) return 0.0;
164 return sqlite3_value_double(p
->apArg
[p
->nUsed
++]);
166 static char *getTextArg(PrintfArguments
*p
){
167 if( p
->nArg
<=p
->nUsed
) return 0;
168 return (char*)sqlite3_value_text(p
->apArg
[p
->nUsed
++]);
172 ** Allocate memory for a temporary buffer needed for printf rendering.
174 ** If the requested size of the temp buffer is larger than the size
175 ** of the output buffer in pAccum, then cause an SQLITE_TOOBIG error.
176 ** Do the size check before the memory allocation to prevent rogue
177 ** SQL from requesting large allocations using the precision or width
178 ** field of the printf() function.
180 static char *printfTempBuf(sqlite3_str
*pAccum
, sqlite3_int64 n
){
182 if( pAccum
->accError
) return 0;
183 if( n
>pAccum
->nAlloc
&& n
>pAccum
->mxAlloc
){
184 sqlite3StrAccumSetError(pAccum
, SQLITE_TOOBIG
);
187 z
= sqlite3DbMallocRaw(pAccum
->db
, n
);
189 sqlite3StrAccumSetError(pAccum
, SQLITE_NOMEM
);
195 ** On machines with a small stack size, you can redefine the
196 ** SQLITE_PRINT_BUF_SIZE to be something smaller, if desired.
198 #ifndef SQLITE_PRINT_BUF_SIZE
199 # define SQLITE_PRINT_BUF_SIZE 70
201 #define etBUFSIZE SQLITE_PRINT_BUF_SIZE /* Size of the output buffer */
204 ** Hard limit on the precision of floating-point conversions.
206 #ifndef SQLITE_PRINTF_PRECISION_LIMIT
207 # define SQLITE_FP_PRECISION_LIMIT 100000000
211 ** Render a string given by "fmt" into the StrAccum object.
213 void sqlite3_str_vappendf(
214 sqlite3_str
*pAccum
, /* Accumulate results here */
215 const char *fmt
, /* Format string */
216 va_list ap
/* arguments */
218 int c
; /* Next character in the format string */
219 char *bufpt
; /* Pointer to the conversion buffer */
220 int precision
; /* Precision of the current field */
221 int length
; /* Length of the field */
222 int idx
; /* A general purpose loop counter */
223 int width
; /* Width of the current field */
224 etByte flag_leftjustify
; /* True if "-" flag is present */
225 etByte flag_prefix
; /* '+' or ' ' or 0 for prefix */
226 etByte flag_alternateform
; /* True if "#" flag is present */
227 etByte flag_altform2
; /* True if "!" flag is present */
228 etByte flag_zeropad
; /* True if field width constant starts with zero */
229 etByte flag_long
; /* 1 for the "l" flag, 2 for "ll", 0 by default */
230 etByte done
; /* Loop termination flag */
231 etByte cThousand
; /* Thousands separator for %d and %u */
232 etByte xtype
= etINVALID
; /* Conversion paradigm */
233 u8 bArgList
; /* True for SQLITE_PRINTF_SQLFUNC */
234 char prefix
; /* Prefix character. "+" or "-" or " " or '\0'. */
235 sqlite_uint64 longvalue
; /* Value for integer types */
236 LONGDOUBLE_TYPE realvalue
; /* Value for real types */
237 const et_info
*infop
; /* Pointer to the appropriate info structure */
238 char *zOut
; /* Rendering buffer */
239 int nOut
; /* Size of the rendering buffer */
240 char *zExtra
= 0; /* Malloced memory used by some conversion */
241 #ifndef SQLITE_OMIT_FLOATING_POINT
242 int exp
, e2
; /* exponent of real numbers */
243 int nsd
; /* Number of significant digits returned */
244 double rounder
; /* Used for rounding floating point values */
245 etByte flag_dp
; /* True if decimal point should be shown */
246 etByte flag_rtz
; /* True if trailing zeros should be removed */
248 PrintfArguments
*pArgList
= 0; /* Arguments for SQLITE_PRINTF_SQLFUNC */
249 char buf
[etBUFSIZE
]; /* Conversion buffer */
251 /* pAccum never starts out with an empty buffer that was obtained from
252 ** malloc(). This precondition is required by the mprintf("%z...")
254 assert( pAccum
->nChar
>0 || (pAccum
->printfFlags
&SQLITE_PRINTF_MALLOCED
)==0 );
257 if( (pAccum
->printfFlags
& SQLITE_PRINTF_SQLFUNC
)!=0 ){
258 pArgList
= va_arg(ap
, PrintfArguments
*);
263 for(; (c
=(*fmt
))!=0; ++fmt
){
267 fmt
= strchrnul(fmt
, '%');
269 do{ fmt
++; }while( *fmt
&& *fmt
!= '%' );
271 sqlite3_str_append(pAccum
, bufpt
, (int)(fmt
- bufpt
));
274 if( (c
=(*++fmt
))==0 ){
275 sqlite3_str_append(pAccum
, "%", 1);
278 /* Find out what flags are present */
279 flag_leftjustify
= flag_prefix
= cThousand
=
280 flag_alternateform
= flag_altform2
= flag_zeropad
= 0;
287 case '-': flag_leftjustify
= 1; break;
288 case '+': flag_prefix
= '+'; break;
289 case ' ': flag_prefix
= ' '; break;
290 case '#': flag_alternateform
= 1; break;
291 case '!': flag_altform2
= 1; break;
292 case '0': flag_zeropad
= 1; break;
293 case ',': cThousand
= ','; break;
294 default: done
= 1; break;
305 case '1': case '2': case '3': case '4': case '5':
306 case '6': case '7': case '8': case '9': {
307 unsigned wx
= c
- '0';
308 while( (c
= *++fmt
)>='0' && c
<='9' ){
309 wx
= wx
*10 + c
- '0';
311 testcase( wx
>0x7fffffff );
312 width
= wx
& 0x7fffffff;
313 #ifdef SQLITE_PRINTF_PRECISION_LIMIT
314 if( width
>SQLITE_PRINTF_PRECISION_LIMIT
){
315 width
= SQLITE_PRINTF_PRECISION_LIMIT
;
318 if( c
!='.' && c
!='l' ){
327 width
= (int)getIntArg(pArgList
);
329 width
= va_arg(ap
,int);
332 flag_leftjustify
= 1;
333 width
= width
>= -2147483647 ? -width
: 0;
335 #ifdef SQLITE_PRINTF_PRECISION_LIMIT
336 if( width
>SQLITE_PRINTF_PRECISION_LIMIT
){
337 width
= SQLITE_PRINTF_PRECISION_LIMIT
;
340 if( (c
= fmt
[1])!='.' && c
!='l' ){
350 precision
= (int)getIntArg(pArgList
);
352 precision
= va_arg(ap
,int);
355 precision
= precision
>= -2147483647 ? -precision
: -1;
360 while( c
>='0' && c
<='9' ){
361 px
= px
*10 + c
- '0';
364 testcase( px
>0x7fffffff );
365 precision
= px
& 0x7fffffff;
367 #ifdef SQLITE_PRINTF_PRECISION_LIMIT
368 if( precision
>SQLITE_PRINTF_PRECISION_LIMIT
){
369 precision
= SQLITE_PRINTF_PRECISION_LIMIT
;
380 }while( !done
&& (c
=(*++fmt
))!=0 );
382 /* Fetch the info entry for the field */
385 for(idx
=0; idx
<ArraySize(fmtinfo
); idx
++){
386 if( c
==fmtinfo
[idx
].fmttype
){
387 infop
= &fmtinfo
[idx
];
394 ** At this point, variables are initialized as follows:
396 ** flag_alternateform TRUE if a '#' is present.
397 ** flag_altform2 TRUE if a '!' is present.
398 ** flag_prefix '+' or ' ' or zero
399 ** flag_leftjustify TRUE if a '-' is present or if the
400 ** field width was negative.
401 ** flag_zeropad TRUE if the width began with 0.
402 ** flag_long 1 for "l", 2 for "ll"
403 ** width The specified field width. This is
404 ** always non-negative. Zero is the default.
405 ** precision The specified precision. The default
407 ** xtype The class of the conversion.
408 ** infop Pointer to the appropriate info struct.
411 assert( precision
>=(-1) );
414 flag_long
= sizeof(char*)==sizeof(i64
) ? 2 :
415 sizeof(char*)==sizeof(long int) ? 1 : 0;
416 /* no break */ deliberate_fall_through
420 /* no break */ deliberate_fall_through
422 if( infop
->flags
& FLAG_SIGNED
){
425 v
= getIntArg(pArgList
);
426 }else if( flag_long
){
430 v
= va_arg(ap
,long int);
436 testcase( v
==SMALLEST_INT64
);
443 prefix
= flag_prefix
;
447 longvalue
= (u64
)getIntArg(pArgList
);
448 }else if( flag_long
){
450 longvalue
= va_arg(ap
,u64
);
452 longvalue
= va_arg(ap
,unsigned long int);
455 longvalue
= va_arg(ap
,unsigned int);
459 if( longvalue
==0 ) flag_alternateform
= 0;
460 if( flag_zeropad
&& precision
<width
-(prefix
!=0) ){
461 precision
= width
-(prefix
!=0);
463 if( precision
<etBUFSIZE
-10-etBUFSIZE
/3 ){
468 n
= (u64
)precision
+ 10;
469 if( cThousand
) n
+= precision
/3;
470 zOut
= zExtra
= printfTempBuf(pAccum
, n
);
471 if( zOut
==0 ) return;
474 bufpt
= &zOut
[nOut
-1];
475 if( xtype
==etORDINAL
){
476 static const char zOrd
[] = "thstndrd";
477 int x
= (int)(longvalue
% 10);
478 if( x
>=4 || (longvalue
/10)%10==1 ){
481 *(--bufpt
) = zOrd
[x
*2+1];
482 *(--bufpt
) = zOrd
[x
*2];
485 const char *cset
= &aDigits
[infop
->charset
];
486 u8 base
= infop
->base
;
487 do{ /* Convert to ascii */
488 *(--bufpt
) = cset
[longvalue
%base
];
489 longvalue
= longvalue
/base
;
490 }while( longvalue
>0 );
492 length
= (int)(&zOut
[nOut
-1]-bufpt
);
493 while( precision
>length
){
494 *(--bufpt
) = '0'; /* Zero pad */
498 int nn
= (length
- 1)/3; /* Number of "," to insert */
499 int ix
= (length
- 1)%3 + 1;
501 for(idx
=0; nn
>0; idx
++){
502 bufpt
[idx
] = bufpt
[idx
+nn
];
505 bufpt
[++idx
] = cThousand
;
511 if( prefix
) *(--bufpt
) = prefix
; /* Add sign */
512 if( flag_alternateform
&& infop
->prefix
){ /* Add "0" or "0x" */
515 pre
= &aPrefix
[infop
->prefix
];
516 for(; (x
=(*pre
))!=0; pre
++) *(--bufpt
) = x
;
518 length
= (int)(&zOut
[nOut
-1]-bufpt
);
524 realvalue
= getDoubleArg(pArgList
);
526 realvalue
= va_arg(ap
,double);
528 #ifdef SQLITE_OMIT_FLOATING_POINT
531 if( precision
<0 ) precision
= 6; /* Set default precision */
532 #ifdef SQLITE_FP_PRECISION_LIMIT
533 if( precision
>SQLITE_FP_PRECISION_LIMIT
){
534 precision
= SQLITE_FP_PRECISION_LIMIT
;
538 realvalue
= -realvalue
;
541 prefix
= flag_prefix
;
543 if( xtype
==etGENERIC
&& precision
>0 ) precision
--;
544 testcase( precision
>0xfff );
545 idx
= precision
& 0xfff;
546 rounder
= arRound
[idx
%10];
547 while( idx
>=10 ){ rounder
*= 1.0e-10; idx
-= 10; }
548 if( xtype
==etFLOAT
){
549 double rx
= (double)realvalue
;
552 memcpy(&u
, &rx
, sizeof(u
));
553 ex
= -1023 + (int)((u
>>52)&0x7ff);
554 if( precision
+(ex
/3) < 15 ) rounder
+= realvalue
*3e-16;
555 realvalue
+= rounder
;
557 /* Normalize realvalue to within 10.0 > realvalue >= 1.0 */
559 if( sqlite3IsNaN((double)realvalue
) ){
565 LONGDOUBLE_TYPE scale
= 1.0;
566 while( realvalue
>=1e100
*scale
&& exp
<=350 ){ scale
*= 1e100
;exp
+=100;}
567 while( realvalue
>=1e10
*scale
&& exp
<=350 ){ scale
*= 1e10
; exp
+=10; }
568 while( realvalue
>=10.0*scale
&& exp
<=350 ){ scale
*= 10.0; exp
++; }
570 while( realvalue
<1e-8 ){ realvalue
*= 1e8
; exp
-=8; }
571 while( realvalue
<1.0 ){ realvalue
*= 10.0; exp
--; }
575 memcpy(buf
+(prefix
!=0),"Inf",4);
576 length
= 3+(prefix
!=0);
582 ** If the field type is etGENERIC, then convert to either etEXP
583 ** or etFLOAT, as appropriate.
585 if( xtype
!=etFLOAT
){
586 realvalue
+= rounder
;
587 if( realvalue
>=10.0 ){ realvalue
*= 0.1; exp
++; }
589 if( xtype
==etGENERIC
){
590 flag_rtz
= !flag_alternateform
;
591 if( exp
<-4 || exp
>precision
){
594 precision
= precision
- exp
;
598 flag_rtz
= flag_altform2
;
606 i64 szBufNeeded
; /* Size of a temporary buffer needed */
607 szBufNeeded
= MAX(e2
,0)+(i64
)precision
+(i64
)width
+15;
608 if( szBufNeeded
> etBUFSIZE
){
609 bufpt
= zExtra
= printfTempBuf(pAccum
, szBufNeeded
);
610 if( bufpt
==0 ) return;
614 nsd
= 16 + flag_altform2
*10;
615 flag_dp
= (precision
>0 ?1:0) | flag_alternateform
| flag_altform2
;
616 /* The sign in front of the number */
620 /* Digits prior to the decimal point */
625 *(bufpt
++) = et_getdigit(&realvalue
,&nsd
);
628 /* The decimal point */
632 /* "0" digits after the decimal point but before the first
633 ** significant digit of the number */
634 for(e2
++; e2
<0; precision
--, e2
++){
635 assert( precision
>0 );
638 /* Significant digits after the decimal point */
639 while( (precision
--)>0 ){
640 *(bufpt
++) = et_getdigit(&realvalue
,&nsd
);
642 /* Remove trailing zeros and the "." if no digits follow the "." */
643 if( flag_rtz
&& flag_dp
){
644 while( bufpt
[-1]=='0' ) *(--bufpt
) = 0;
645 assert( bufpt
>zOut
);
646 if( bufpt
[-1]=='.' ){
654 /* Add the "eNNN" suffix */
656 *(bufpt
++) = aDigits
[infop
->charset
];
658 *(bufpt
++) = '-'; exp
= -exp
;
663 *(bufpt
++) = (char)((exp
/100)+'0'); /* 100's digit */
666 *(bufpt
++) = (char)(exp
/10+'0'); /* 10's digit */
667 *(bufpt
++) = (char)(exp
%10+'0'); /* 1's digit */
671 /* The converted number is in buf[] and zero terminated. Output it.
672 ** Note that the number is in the usual order, not reversed as with
673 ** integer conversions. */
674 length
= (int)(bufpt
-zOut
);
677 /* Special case: Add leading zeros if the flag_zeropad flag is
678 ** set and we are not left justified */
679 if( flag_zeropad
&& !flag_leftjustify
&& length
< width
){
681 int nPad
= width
- length
;
682 for(i
=width
; i
>=nPad
; i
--){
683 bufpt
[i
] = bufpt
[i
-nPad
];
686 while( nPad
-- ) bufpt
[i
++] = '0';
689 #endif /* !defined(SQLITE_OMIT_FLOATING_POINT) */
693 *(va_arg(ap
,int*)) = pAccum
->nChar
;
704 bufpt
= getTextArg(pArgList
);
707 buf
[0] = c
= *(bufpt
++);
708 if( (c
&0xc0)==0xc0 ){
709 while( length
<4 && (bufpt
[0]&0xc0)==0x80 ){
710 buf
[length
++] = *(bufpt
++);
717 unsigned int ch
= va_arg(ap
,unsigned int);
721 }else if( ch
<0x00800 ){
722 buf
[0] = 0xc0 + (u8
)((ch
>>6)&0x1f);
723 buf
[1] = 0x80 + (u8
)(ch
& 0x3f);
725 }else if( ch
<0x10000 ){
726 buf
[0] = 0xe0 + (u8
)((ch
>>12)&0x0f);
727 buf
[1] = 0x80 + (u8
)((ch
>>6) & 0x3f);
728 buf
[2] = 0x80 + (u8
)(ch
& 0x3f);
731 buf
[0] = 0xf0 + (u8
)((ch
>>18) & 0x07);
732 buf
[1] = 0x80 + (u8
)((ch
>>12) & 0x3f);
733 buf
[2] = 0x80 + (u8
)((ch
>>6) & 0x3f);
734 buf
[3] = 0x80 + (u8
)(ch
& 0x3f);
739 width
-= precision
-1;
740 if( width
>1 && !flag_leftjustify
){
741 sqlite3_str_appendchar(pAccum
, width
-1, ' ');
744 while( precision
-- > 1 ){
745 sqlite3_str_append(pAccum
, buf
, length
);
750 goto adjust_width_for_utf8
;
754 bufpt
= getTextArg(pArgList
);
757 bufpt
= va_arg(ap
,char*);
761 }else if( xtype
==etDYNSTRING
){
766 && pAccum
->accError
==0
768 /* Special optimization for sqlite3_mprintf("%z..."):
769 ** Extend an existing memory allocation rather than creating
771 assert( (pAccum
->printfFlags
&SQLITE_PRINTF_MALLOCED
)==0 );
772 pAccum
->zText
= bufpt
;
773 pAccum
->nAlloc
= sqlite3DbMallocSize(pAccum
->db
, bufpt
);
774 pAccum
->nChar
= 0x7fffffff & (int)strlen(bufpt
);
775 pAccum
->printfFlags
|= SQLITE_PRINTF_MALLOCED
;
783 /* Set length to the number of bytes needed in order to display
784 ** precision characters */
785 unsigned char *z
= (unsigned char*)bufpt
;
786 while( precision
-- > 0 && z
[0] ){
789 length
= (int)(z
- (unsigned char*)bufpt
);
791 for(length
=0; length
<precision
&& bufpt
[length
]; length
++){}
794 length
= 0x7fffffff & (int)strlen(bufpt
);
796 adjust_width_for_utf8
:
797 if( flag_altform2
&& width
>0 ){
798 /* Adjust width to account for extra bytes in UTF-8 characters */
800 while( ii
>=0 ) if( (bufpt
[ii
--] & 0xc0)==0x80 ) width
++;
803 case etSQLESCAPE
: /* %q: Escape ' characters */
804 case etSQLESCAPE2
: /* %Q: Escape ' and enclose in '...' */
805 case etSQLESCAPE3
: { /* %w: Escape " characters */
807 int needQuote
, isnull
;
809 char q
= ((xtype
==etSQLESCAPE3
)?'"':'\''); /* Quote character */
813 escarg
= getTextArg(pArgList
);
815 escarg
= va_arg(ap
,char*);
818 if( isnull
) escarg
= (xtype
==etSQLESCAPE2
? "NULL" : "(NULL)");
819 /* For %q, %Q, and %w, the precision is the number of bytes (or
820 ** characters if the ! flags is present) to use from the input.
821 ** Because of the extra quoting characters inserted, the number
822 ** of output characters may be larger than the precision.
825 for(i
=n
=0; k
!=0 && (ch
=escarg
[i
])!=0; i
++, k
--){
827 if( flag_altform2
&& (ch
&0xc0)==0xc0 ){
828 while( (escarg
[i
+1]&0xc0)==0x80 ){ i
++; }
831 needQuote
= !isnull
&& xtype
==etSQLESCAPE2
;
834 bufpt
= zExtra
= printfTempBuf(pAccum
, n
);
835 if( bufpt
==0 ) return;
840 if( needQuote
) bufpt
[j
++] = q
;
843 bufpt
[j
++] = ch
= escarg
[i
];
844 if( ch
==q
) bufpt
[j
++] = ch
;
846 if( needQuote
) bufpt
[j
++] = q
;
849 goto adjust_width_for_utf8
;
852 if( (pAccum
->printfFlags
& SQLITE_PRINTF_INTERNAL
)==0 ) return;
853 if( flag_alternateform
){
854 /* %#T means an Expr pointer that uses Expr.u.zToken */
855 Expr
*pExpr
= va_arg(ap
,Expr
*);
856 if( ALWAYS(pExpr
) && ALWAYS(!ExprHasProperty(pExpr
,EP_IntValue
)) ){
857 sqlite3_str_appendall(pAccum
, (const char*)pExpr
->u
.zToken
);
858 sqlite3RecordErrorOffsetOfExpr(pAccum
->db
, pExpr
);
861 /* %T means a Token pointer */
862 Token
*pToken
= va_arg(ap
, Token
*);
863 assert( bArgList
==0 );
864 if( pToken
&& pToken
->n
){
865 sqlite3_str_append(pAccum
, (const char*)pToken
->z
, pToken
->n
);
866 sqlite3RecordErrorByteOffset(pAccum
->db
, pToken
->z
);
874 if( (pAccum
->printfFlags
& SQLITE_PRINTF_INTERNAL
)==0 ) return;
875 pItem
= va_arg(ap
, SrcItem
*);
876 assert( bArgList
==0 );
877 if( pItem
->zAlias
&& !flag_altform2
){
878 sqlite3_str_appendall(pAccum
, pItem
->zAlias
);
879 }else if( pItem
->zName
){
880 if( pItem
->zDatabase
){
881 sqlite3_str_appendall(pAccum
, pItem
->zDatabase
);
882 sqlite3_str_append(pAccum
, ".", 1);
884 sqlite3_str_appendall(pAccum
, pItem
->zName
);
885 }else if( pItem
->zAlias
){
886 sqlite3_str_appendall(pAccum
, pItem
->zAlias
);
888 Select
*pSel
= pItem
->pSelect
;
890 if( pSel
->selFlags
& SF_NestedFrom
){
891 sqlite3_str_appendf(pAccum
, "(join-%u)", pSel
->selId
);
893 sqlite3_str_appendf(pAccum
, "(subquery-%u)", pSel
->selId
);
900 assert( xtype
==etINVALID
);
903 }/* End switch over the format type */
905 ** The text of the conversion is pointed to by "bufpt" and is
906 ** "length" characters long. The field width is "width". Do
907 ** the output. Both length and width are in bytes, not characters,
908 ** at this point. If the "!" flag was present on string conversions
909 ** indicating that width and precision should be expressed in characters,
910 ** then the values have been translated prior to reaching this point.
914 if( !flag_leftjustify
) sqlite3_str_appendchar(pAccum
, width
, ' ');
915 sqlite3_str_append(pAccum
, bufpt
, length
);
916 if( flag_leftjustify
) sqlite3_str_appendchar(pAccum
, width
, ' ');
918 sqlite3_str_append(pAccum
, bufpt
, length
);
922 sqlite3DbFree(pAccum
->db
, zExtra
);
925 }/* End for loop over the format string */
926 } /* End of function */
930 ** The z string points to the first character of a token that is
931 ** associated with an error. If db does not already have an error
932 ** byte offset recorded, try to compute the error byte offset for
933 ** z and set the error byte offset in db.
935 void sqlite3RecordErrorByteOffset(sqlite3
*db
, const char *z
){
940 if( NEVER(db
==0) ) return;
941 if( db
->errByteOffset
!=(-2) ) return;
943 if( NEVER(pParse
==0) ) return;
944 zText
=pParse
->zTail
;
945 if( NEVER(zText
==0) ) return;
946 zEnd
= &zText
[strlen(zText
)];
947 if( SQLITE_WITHIN(z
,zText
,zEnd
) ){
948 db
->errByteOffset
= (int)(z
-zText
);
953 ** If pExpr has a byte offset for the start of a token, record that as
954 ** as the error offset.
956 void sqlite3RecordErrorOffsetOfExpr(sqlite3
*db
, const Expr
*pExpr
){
958 && (ExprHasProperty(pExpr
,EP_OuterON
|EP_InnerON
) || pExpr
->w
.iOfst
<=0)
960 pExpr
= pExpr
->pLeft
;
962 if( pExpr
==0 ) return;
963 db
->errByteOffset
= pExpr
->w
.iOfst
;
967 ** Enlarge the memory allocation on a StrAccum object so that it is
968 ** able to accept at least N more bytes of text.
970 ** Return the number of bytes of text that StrAccum is able to accept
971 ** after the attempted enlargement. The value returned might be zero.
973 int sqlite3StrAccumEnlarge(StrAccum
*p
, int N
){
975 assert( p
->nChar
+(i64
)N
>= p
->nAlloc
); /* Only called if really needed */
977 testcase(p
->accError
==SQLITE_TOOBIG
);
978 testcase(p
->accError
==SQLITE_NOMEM
);
982 sqlite3StrAccumSetError(p
, SQLITE_TOOBIG
);
983 return p
->nAlloc
- p
->nChar
- 1;
985 char *zOld
= isMalloced(p
) ? p
->zText
: 0;
986 i64 szNew
= p
->nChar
;
987 szNew
+= (sqlite3_int64
)N
+ 1;
988 if( szNew
+p
->nChar
<=p
->mxAlloc
){
989 /* Force exponential buffer size growth as long as it does not overflow,
990 ** to avoid having to call this routine too often */
993 if( szNew
> p
->mxAlloc
){
994 sqlite3_str_reset(p
);
995 sqlite3StrAccumSetError(p
, SQLITE_TOOBIG
);
998 p
->nAlloc
= (int)szNew
;
1001 zNew
= sqlite3DbRealloc(p
->db
, zOld
, p
->nAlloc
);
1003 zNew
= sqlite3Realloc(zOld
, p
->nAlloc
);
1006 assert( p
->zText
!=0 || p
->nChar
==0 );
1007 if( !isMalloced(p
) && p
->nChar
>0 ) memcpy(zNew
, p
->zText
, p
->nChar
);
1009 p
->nAlloc
= sqlite3DbMallocSize(p
->db
, zNew
);
1010 p
->printfFlags
|= SQLITE_PRINTF_MALLOCED
;
1012 sqlite3_str_reset(p
);
1013 sqlite3StrAccumSetError(p
, SQLITE_NOMEM
);
1021 ** Append N copies of character c to the given string buffer.
1023 void sqlite3_str_appendchar(sqlite3_str
*p
, int N
, char c
){
1024 testcase( p
->nChar
+ (i64
)N
> 0x7fffffff );
1025 if( p
->nChar
+(i64
)N
>= p
->nAlloc
&& (N
= sqlite3StrAccumEnlarge(p
, N
))<=0 ){
1028 while( (N
--)>0 ) p
->zText
[p
->nChar
++] = c
;
1032 ** The StrAccum "p" is not large enough to accept N new bytes of z[].
1033 ** So enlarge if first, then do the append.
1035 ** This is a helper routine to sqlite3_str_append() that does special-case
1036 ** work (enlarging the buffer) using tail recursion, so that the
1037 ** sqlite3_str_append() routine can use fast calling semantics.
1039 static void SQLITE_NOINLINE
enlargeAndAppend(StrAccum
*p
, const char *z
, int N
){
1040 N
= sqlite3StrAccumEnlarge(p
, N
);
1042 memcpy(&p
->zText
[p
->nChar
], z
, N
);
1048 ** Append N bytes of text from z to the StrAccum object. Increase the
1049 ** size of the memory allocation for StrAccum if necessary.
1051 void sqlite3_str_append(sqlite3_str
*p
, const char *z
, int N
){
1052 assert( z
!=0 || N
==0 );
1053 assert( p
->zText
!=0 || p
->nChar
==0 || p
->accError
);
1055 assert( p
->accError
==0 || p
->nAlloc
==0 || p
->mxAlloc
==0 );
1056 if( p
->nChar
+N
>= p
->nAlloc
){
1057 enlargeAndAppend(p
,z
,N
);
1061 memcpy(&p
->zText
[p
->nChar
-N
], z
, N
);
1066 ** Append the complete text of zero-terminated string z[] to the p string.
1068 void sqlite3_str_appendall(sqlite3_str
*p
, const char *z
){
1069 sqlite3_str_append(p
, z
, sqlite3Strlen30(z
));
1074 ** Finish off a string by making sure it is zero-terminated.
1075 ** Return a pointer to the resulting string. Return a NULL
1076 ** pointer if any kind of error was encountered.
1078 static SQLITE_NOINLINE
char *strAccumFinishRealloc(StrAccum
*p
){
1080 assert( p
->mxAlloc
>0 && !isMalloced(p
) );
1081 zText
= sqlite3DbMallocRaw(p
->db
, p
->nChar
+1 );
1083 memcpy(zText
, p
->zText
, p
->nChar
+1);
1084 p
->printfFlags
|= SQLITE_PRINTF_MALLOCED
;
1086 sqlite3StrAccumSetError(p
, SQLITE_NOMEM
);
1091 char *sqlite3StrAccumFinish(StrAccum
*p
){
1093 p
->zText
[p
->nChar
] = 0;
1094 if( p
->mxAlloc
>0 && !isMalloced(p
) ){
1095 return strAccumFinishRealloc(p
);
1102 ** Use the content of the StrAccum passed as the second argument
1103 ** as the result of an SQL function.
1105 void sqlite3ResultStrAccum(sqlite3_context
*pCtx
, StrAccum
*p
){
1107 sqlite3_result_error_code(pCtx
, p
->accError
);
1108 sqlite3_str_reset(p
);
1109 }else if( isMalloced(p
) ){
1110 sqlite3_result_text(pCtx
, p
->zText
, p
->nChar
, SQLITE_DYNAMIC
);
1112 sqlite3_result_text(pCtx
, "", 0, SQLITE_STATIC
);
1113 sqlite3_str_reset(p
);
1118 ** This singleton is an sqlite3_str object that is returned if
1119 ** sqlite3_malloc() fails to provide space for a real one. This
1120 ** sqlite3_str object accepts no new text and always returns
1121 ** an SQLITE_NOMEM error.
1123 static sqlite3_str sqlite3OomStr
= {
1124 0, 0, 0, 0, 0, SQLITE_NOMEM
, 0
1127 /* Finalize a string created using sqlite3_str_new().
1129 char *sqlite3_str_finish(sqlite3_str
*p
){
1131 if( p
!=0 && p
!=&sqlite3OomStr
){
1132 z
= sqlite3StrAccumFinish(p
);
1140 /* Return any error code associated with p */
1141 int sqlite3_str_errcode(sqlite3_str
*p
){
1142 return p
? p
->accError
: SQLITE_NOMEM
;
1145 /* Return the current length of p in bytes */
1146 int sqlite3_str_length(sqlite3_str
*p
){
1147 return p
? p
->nChar
: 0;
1150 /* Return the current value for p */
1151 char *sqlite3_str_value(sqlite3_str
*p
){
1152 if( p
==0 || p
->nChar
==0 ) return 0;
1153 p
->zText
[p
->nChar
] = 0;
1158 ** Reset an StrAccum string. Reclaim all malloced memory.
1160 void sqlite3_str_reset(StrAccum
*p
){
1161 if( isMalloced(p
) ){
1162 sqlite3DbFree(p
->db
, p
->zText
);
1163 p
->printfFlags
&= ~SQLITE_PRINTF_MALLOCED
;
1171 ** Initialize a string accumulator.
1173 ** p: The accumulator to be initialized.
1174 ** db: Pointer to a database connection. May be NULL. Lookaside
1175 ** memory is used if not NULL. db->mallocFailed is set appropriately
1177 ** zBase: An initial buffer. May be NULL in which case the initial buffer
1179 ** n: Size of zBase in bytes. If total space requirements never exceed
1180 ** n then no memory allocations ever occur.
1181 ** mx: Maximum number of bytes to accumulate. If mx==0 then no memory
1182 ** allocations will ever occur.
1184 void sqlite3StrAccumInit(StrAccum
*p
, sqlite3
*db
, char *zBase
, int n
, int mx
){
1194 /* Allocate and initialize a new dynamic string object */
1195 sqlite3_str
*sqlite3_str_new(sqlite3
*db
){
1196 sqlite3_str
*p
= sqlite3_malloc64(sizeof(*p
));
1198 sqlite3StrAccumInit(p
, 0, 0, 0,
1199 db
? db
->aLimit
[SQLITE_LIMIT_LENGTH
] : SQLITE_MAX_LENGTH
);
1207 ** Print into memory obtained from sqliteMalloc(). Use the internal
1208 ** %-conversion extensions.
1210 char *sqlite3VMPrintf(sqlite3
*db
, const char *zFormat
, va_list ap
){
1212 char zBase
[SQLITE_PRINT_BUF_SIZE
];
1215 sqlite3StrAccumInit(&acc
, db
, zBase
, sizeof(zBase
),
1216 db
->aLimit
[SQLITE_LIMIT_LENGTH
]);
1217 acc
.printfFlags
= SQLITE_PRINTF_INTERNAL
;
1218 sqlite3_str_vappendf(&acc
, zFormat
, ap
);
1219 z
= sqlite3StrAccumFinish(&acc
);
1220 if( acc
.accError
==SQLITE_NOMEM
){
1221 sqlite3OomFault(db
);
1227 ** Print into memory obtained from sqliteMalloc(). Use the internal
1228 ** %-conversion extensions.
1230 char *sqlite3MPrintf(sqlite3
*db
, const char *zFormat
, ...){
1233 va_start(ap
, zFormat
);
1234 z
= sqlite3VMPrintf(db
, zFormat
, ap
);
1240 ** Print into memory obtained from sqlite3_malloc(). Omit the internal
1241 ** %-conversion extensions.
1243 char *sqlite3_vmprintf(const char *zFormat
, va_list ap
){
1245 char zBase
[SQLITE_PRINT_BUF_SIZE
];
1248 #ifdef SQLITE_ENABLE_API_ARMOR
1250 (void)SQLITE_MISUSE_BKPT
;
1254 #ifndef SQLITE_OMIT_AUTOINIT
1255 if( sqlite3_initialize() ) return 0;
1257 sqlite3StrAccumInit(&acc
, 0, zBase
, sizeof(zBase
), SQLITE_MAX_LENGTH
);
1258 sqlite3_str_vappendf(&acc
, zFormat
, ap
);
1259 z
= sqlite3StrAccumFinish(&acc
);
1264 ** Print into memory obtained from sqlite3_malloc()(). Omit the internal
1265 ** %-conversion extensions.
1267 char *sqlite3_mprintf(const char *zFormat
, ...){
1270 #ifndef SQLITE_OMIT_AUTOINIT
1271 if( sqlite3_initialize() ) return 0;
1273 va_start(ap
, zFormat
);
1274 z
= sqlite3_vmprintf(zFormat
, ap
);
1280 ** sqlite3_snprintf() works like snprintf() except that it ignores the
1281 ** current locale settings. This is important for SQLite because we
1282 ** are not able to use a "," as the decimal point in place of "." as
1283 ** specified by some locales.
1285 ** Oops: The first two arguments of sqlite3_snprintf() are backwards
1286 ** from the snprintf() standard. Unfortunately, it is too late to change
1287 ** this without breaking compatibility, so we just have to live with the
1290 ** sqlite3_vsnprintf() is the varargs version.
1292 char *sqlite3_vsnprintf(int n
, char *zBuf
, const char *zFormat
, va_list ap
){
1294 if( n
<=0 ) return zBuf
;
1295 #ifdef SQLITE_ENABLE_API_ARMOR
1296 if( zBuf
==0 || zFormat
==0 ) {
1297 (void)SQLITE_MISUSE_BKPT
;
1298 if( zBuf
) zBuf
[0] = 0;
1302 sqlite3StrAccumInit(&acc
, 0, zBuf
, n
, 0);
1303 sqlite3_str_vappendf(&acc
, zFormat
, ap
);
1304 zBuf
[acc
.nChar
] = 0;
1307 char *sqlite3_snprintf(int n
, char *zBuf
, const char *zFormat
, ...){
1310 va_start(ap
,zFormat
);
1311 z
= sqlite3_vsnprintf(n
, zBuf
, zFormat
, ap
);
1317 ** This is the routine that actually formats the sqlite3_log() message.
1318 ** We house it in a separate routine from sqlite3_log() to avoid using
1319 ** stack space on small-stack systems when logging is disabled.
1321 ** sqlite3_log() must render into a static buffer. It cannot dynamically
1322 ** allocate memory because it might be called while the memory allocator
1325 ** sqlite3_str_vappendf() might ask for *temporary* memory allocations for
1326 ** certain format characters (%q) or for very large precisions or widths.
1327 ** Care must be taken that any sqlite3_log() calls that occur while the
1328 ** memory mutex is held do not use these mechanisms.
1330 static void renderLogMsg(int iErrCode
, const char *zFormat
, va_list ap
){
1331 StrAccum acc
; /* String accumulator */
1332 char zMsg
[SQLITE_PRINT_BUF_SIZE
*3]; /* Complete log message */
1334 sqlite3StrAccumInit(&acc
, 0, zMsg
, sizeof(zMsg
), 0);
1335 sqlite3_str_vappendf(&acc
, zFormat
, ap
);
1336 sqlite3GlobalConfig
.xLog(sqlite3GlobalConfig
.pLogArg
, iErrCode
,
1337 sqlite3StrAccumFinish(&acc
));
1341 ** Format and write a message to the log if logging is enabled.
1343 void sqlite3_log(int iErrCode
, const char *zFormat
, ...){
1344 va_list ap
; /* Vararg list */
1345 if( sqlite3GlobalConfig
.xLog
){
1346 va_start(ap
, zFormat
);
1347 renderLogMsg(iErrCode
, zFormat
, ap
);
1352 #if defined(SQLITE_DEBUG) || defined(SQLITE_HAVE_OS_TRACE)
1354 ** A version of printf() that understands %lld. Used for debugging.
1355 ** The printf() built into some versions of windows does not understand %lld
1356 ** and segfaults if you give it a long long int.
1358 void sqlite3DebugPrintf(const char *zFormat
, ...){
1361 char zBuf
[SQLITE_PRINT_BUF_SIZE
*10];
1362 sqlite3StrAccumInit(&acc
, 0, zBuf
, sizeof(zBuf
), 0);
1363 va_start(ap
,zFormat
);
1364 sqlite3_str_vappendf(&acc
, zFormat
, ap
);
1366 sqlite3StrAccumFinish(&acc
);
1367 #ifdef SQLITE_OS_TRACE_PROC
1369 extern void SQLITE_OS_TRACE_PROC(const char *zBuf
, int nBuf
);
1370 SQLITE_OS_TRACE_PROC(zBuf
, sizeof(zBuf
));
1373 fprintf(stdout
,"%s", zBuf
);
1381 ** variable-argument wrapper around sqlite3_str_vappendf(). The bFlags argument
1382 ** can contain the bit SQLITE_PRINTF_INTERNAL enable internal formats.
1384 void sqlite3_str_appendf(StrAccum
*p
, const char *zFormat
, ...){
1386 va_start(ap
,zFormat
);
1387 sqlite3_str_vappendf(p
, zFormat
, ap
);