xref: /sqlite-3.40.0/src/treeview.c (revision 08e1a6a2)
1 /*
2 ** 2015-06-08
3 **
4 ** The author disclaims copyright to this source code.  In place of
5 ** a legal notice, here is a blessing:
6 **
7 **    May you do good and not evil.
8 **    May you find forgiveness for yourself and forgive others.
9 **    May you share freely, never taking more than you give.
10 **
11 *************************************************************************
12 **
13 ** This file contains C code to implement the TreeView debugging routines.
14 ** These routines print a parse tree to standard output for debugging and
15 ** analysis.
16 **
17 ** The interfaces in this file is only available when compiling
18 ** with SQLITE_DEBUG.
19 */
20 #include "sqliteInt.h"
21 #ifdef SQLITE_DEBUG
22 
23 /*
24 ** Add a new subitem to the tree.  The moreToFollow flag indicates that this
25 ** is not the last item in the tree.
26 */
27 static void sqlite3TreeViewPush(TreeView **pp, u8 moreToFollow){
28   TreeView *p = *pp;
29   if( p==0 ){
30     *pp = p = sqlite3_malloc64( sizeof(*p) );
31     if( p==0 ) return;
32     memset(p, 0, sizeof(*p));
33   }else{
34     p->iLevel++;
35   }
36   assert( moreToFollow==0 || moreToFollow==1 );
37   if( p->iLevel<(int)sizeof(p->bLine) ) p->bLine[p->iLevel] = moreToFollow;
38 }
39 
40 /*
41 ** Finished with one layer of the tree
42 */
43 static void sqlite3TreeViewPop(TreeView **pp){
44   TreeView *p = *pp;
45   if( p==0 ) return;
46   p->iLevel--;
47   if( p->iLevel<0 ){
48     sqlite3_free(p);
49     *pp = 0;
50   }
51 }
52 
53 /*
54 ** Generate a single line of output for the tree, with a prefix that contains
55 ** all the appropriate tree lines
56 */
57 void sqlite3TreeViewLine(TreeView *p, const char *zFormat, ...){
58   va_list ap;
59   int i;
60   StrAccum acc;
61   char zBuf[500];
62   sqlite3StrAccumInit(&acc, 0, zBuf, sizeof(zBuf), 0);
63   if( p ){
64     for(i=0; i<p->iLevel && i<(int)sizeof(p->bLine)-1; i++){
65       sqlite3_str_append(&acc, p->bLine[i] ? "|   " : "    ", 4);
66     }
67     sqlite3_str_append(&acc, p->bLine[i] ? "|-- " : "'-- ", 4);
68   }
69   if( zFormat!=0 ){
70     va_start(ap, zFormat);
71     sqlite3_str_vappendf(&acc, zFormat, ap);
72     va_end(ap);
73     assert( acc.nChar>0 || acc.accError );
74     sqlite3_str_append(&acc, "\n", 1);
75   }
76   sqlite3StrAccumFinish(&acc);
77   fprintf(stdout,"%s", zBuf);
78   fflush(stdout);
79 }
80 
81 /*
82 ** Shorthand for starting a new tree item that consists of a single label
83 */
84 static void sqlite3TreeViewItem(TreeView *p, const char *zLabel,u8 moreFollows){
85   sqlite3TreeViewPush(&p, moreFollows);
86   sqlite3TreeViewLine(p, "%s", zLabel);
87 }
88 
89 /*
90 ** Show a list of Column objects in tree format.
91 */
92 void sqlite3TreeViewColumnList(
93   TreeView *pView,
94   const Column *aCol,
95   int nCol,
96   u8 moreToFollow
97 ){
98   int i;
99   sqlite3TreeViewPush(&pView, moreToFollow);
100   sqlite3TreeViewLine(pView, "COLUMNS");
101   for(i=0; i<nCol; i++){
102     u16 flg = aCol[i].colFlags;
103     int moreToFollow = i<(nCol - 1);
104     sqlite3TreeViewPush(&pView, moreToFollow);
105     sqlite3TreeViewLine(pView, 0);
106     printf(" %s", aCol[i].zCnName);
107     switch( aCol[i].eCType ){
108       case COLTYPE_ANY:      printf(" ANY");        break;
109       case COLTYPE_BLOB:     printf(" BLOB");       break;
110       case COLTYPE_INT:      printf(" INT");        break;
111       case COLTYPE_INTEGER:  printf(" INTEGER");    break;
112       case COLTYPE_REAL:     printf(" REAL");       break;
113       case COLTYPE_TEXT:     printf(" TEXT");       break;
114       case COLTYPE_CUSTOM: {
115         if( flg & COLFLAG_HASTYPE ){
116           const char *z = aCol[i].zCnName;
117           z += strlen(z)+1;
118           printf(" X-%s", z);
119           break;
120         }
121       }
122     }
123     if( flg & COLFLAG_PRIMKEY ) printf(" PRIMARY KEY");
124     if( flg & COLFLAG_HIDDEN ) printf(" HIDDEN");
125     if( flg & COLFLAG_NOEXPAND ) printf(" NO-EXPAND");
126     if( flg ) printf(" flags=%04x", flg);
127     printf("\n");
128     fflush(stdout);
129     sqlite3TreeViewPop(&pView);
130   }
131   sqlite3TreeViewPop(&pView);
132 }
133 
134 /*
135 ** Generate a human-readable description of a WITH clause.
136 */
137 void sqlite3TreeViewWith(TreeView *pView, const With *pWith, u8 moreToFollow){
138   int i;
139   if( pWith==0 ) return;
140   if( pWith->nCte==0 ) return;
141   if( pWith->pOuter ){
142     sqlite3TreeViewLine(pView, "WITH (0x%p, pOuter=0x%p)",pWith,pWith->pOuter);
143   }else{
144     sqlite3TreeViewLine(pView, "WITH (0x%p)", pWith);
145   }
146   if( pWith->nCte>0 ){
147     sqlite3TreeViewPush(&pView, moreToFollow);
148     for(i=0; i<pWith->nCte; i++){
149       StrAccum x;
150       char zLine[1000];
151       const struct Cte *pCte = &pWith->a[i];
152       sqlite3StrAccumInit(&x, 0, zLine, sizeof(zLine), 0);
153       sqlite3_str_appendf(&x, "%s", pCte->zName);
154       if( pCte->pCols && pCte->pCols->nExpr>0 ){
155         char cSep = '(';
156         int j;
157         for(j=0; j<pCte->pCols->nExpr; j++){
158           sqlite3_str_appendf(&x, "%c%s", cSep, pCte->pCols->a[j].zEName);
159           cSep = ',';
160         }
161         sqlite3_str_appendf(&x, ")");
162       }
163       if( pCte->eM10d!=M10d_Any ){
164         sqlite3_str_appendf(&x, " %sMATERIALIZED",
165            pCte->eM10d==M10d_No ? "NOT " : "");
166       }
167       if( pCte->pUse ){
168         sqlite3_str_appendf(&x, " (pUse=0x%p, nUse=%d)", pCte->pUse,
169                  pCte->pUse->nUse);
170       }
171       sqlite3StrAccumFinish(&x);
172       sqlite3TreeViewItem(pView, zLine, i<pWith->nCte-1);
173       sqlite3TreeViewSelect(pView, pCte->pSelect, 0);
174       sqlite3TreeViewPop(&pView);
175     }
176     sqlite3TreeViewPop(&pView);
177   }
178 }
179 
180 /*
181 ** Generate a human-readable description of a SrcList object.
182 */
183 void sqlite3TreeViewSrcList(TreeView *pView, const SrcList *pSrc){
184   int i;
185   if( pSrc==0 ) return;
186   for(i=0; i<pSrc->nSrc; i++){
187     const SrcItem *pItem = &pSrc->a[i];
188     StrAccum x;
189     int n = 0;
190     char zLine[100];
191     sqlite3StrAccumInit(&x, 0, zLine, sizeof(zLine), 0);
192     x.printfFlags |= SQLITE_PRINTF_INTERNAL;
193     sqlite3_str_appendf(&x, "{%d:*} %!S", pItem->iCursor, pItem);
194     if( pItem->pTab ){
195       sqlite3_str_appendf(&x, " tab=%Q nCol=%d ptr=%p used=%llx",
196            pItem->pTab->zName, pItem->pTab->nCol, pItem->pTab, pItem->colUsed);
197     }
198     if( (pItem->fg.jointype & (JT_LEFT|JT_RIGHT))==(JT_LEFT|JT_RIGHT) ){
199       sqlite3_str_appendf(&x, " FULL-OUTER-JOIN");
200     }else if( pItem->fg.jointype & JT_LEFT ){
201       sqlite3_str_appendf(&x, " LEFT-JOIN");
202     }else if( pItem->fg.jointype & JT_RIGHT ){
203       sqlite3_str_appendf(&x, " RIGHT-JOIN");
204     }else if( pItem->fg.jointype & JT_CROSS ){
205       sqlite3_str_appendf(&x, " CROSS-JOIN");
206     }
207     if( pItem->fg.jointype & JT_LTORJ ){
208       sqlite3_str_appendf(&x, " LTORJ");
209     }
210     if( pItem->fg.fromDDL ){
211       sqlite3_str_appendf(&x, " DDL");
212     }
213     if( pItem->fg.isCte ){
214       sqlite3_str_appendf(&x, " CteUse=0x%p", pItem->u2.pCteUse);
215     }
216     sqlite3StrAccumFinish(&x);
217     sqlite3TreeViewItem(pView, zLine, i<pSrc->nSrc-1);
218     n = 0;
219     if( pItem->pTab ) n++;
220     if( pItem->pSelect ) n++;
221     if( pItem->fg.isTabFunc ) n++;
222     if( pItem->fg.isUsing ) n++;
223     if( pItem->fg.isUsing ){
224       sqlite3TreeViewIdList(pView, pItem->u3.pUsing, (--n)>0, "USING");
225     }
226     if( pItem->pTab ){
227       Table *pTab = pItem->pTab;
228       sqlite3TreeViewColumnList(pView, pTab->aCol, pTab->nCol, (--n)>0);
229     }
230     if( pItem->pSelect ){
231       assert( pItem->fg.isNestedFrom == IsNestedFrom(pItem->pSelect) );
232       sqlite3TreeViewSelect(pView, pItem->pSelect, (--n)>0);
233     }
234     if( pItem->fg.isTabFunc ){
235       sqlite3TreeViewExprList(pView, pItem->u1.pFuncArg, 0, "func-args:");
236     }
237     sqlite3TreeViewPop(&pView);
238   }
239 }
240 
241 /*
242 ** Generate a human-readable description of a Select object.
243 */
244 void sqlite3TreeViewSelect(TreeView *pView, const Select *p, u8 moreToFollow){
245   int n = 0;
246   int cnt = 0;
247   if( p==0 ){
248     sqlite3TreeViewLine(pView, "nil-SELECT");
249     return;
250   }
251   sqlite3TreeViewPush(&pView, moreToFollow);
252   if( p->pWith ){
253     sqlite3TreeViewWith(pView, p->pWith, 1);
254     cnt = 1;
255     sqlite3TreeViewPush(&pView, 1);
256   }
257   do{
258     if( p->selFlags & SF_WhereBegin ){
259       sqlite3TreeViewLine(pView, "sqlite3WhereBegin()");
260     }else{
261       sqlite3TreeViewLine(pView,
262         "SELECT%s%s (%u/%p) selFlags=0x%x nSelectRow=%d",
263         ((p->selFlags & SF_Distinct) ? " DISTINCT" : ""),
264         ((p->selFlags & SF_Aggregate) ? " agg_flag" : ""),
265         p->selId, p, p->selFlags,
266         (int)p->nSelectRow
267       );
268     }
269     if( cnt++ ) sqlite3TreeViewPop(&pView);
270     if( p->pPrior ){
271       n = 1000;
272     }else{
273       n = 0;
274       if( p->pSrc && p->pSrc->nSrc ) n++;
275       if( p->pWhere ) n++;
276       if( p->pGroupBy ) n++;
277       if( p->pHaving ) n++;
278       if( p->pOrderBy ) n++;
279       if( p->pLimit ) n++;
280 #ifndef SQLITE_OMIT_WINDOWFUNC
281       if( p->pWin ) n++;
282       if( p->pWinDefn ) n++;
283 #endif
284     }
285     if( p->pEList ){
286       sqlite3TreeViewExprList(pView, p->pEList, n>0, "result-set");
287     }
288     n--;
289 #ifndef SQLITE_OMIT_WINDOWFUNC
290     if( p->pWin ){
291       Window *pX;
292       sqlite3TreeViewPush(&pView, (n--)>0);
293       sqlite3TreeViewLine(pView, "window-functions");
294       for(pX=p->pWin; pX; pX=pX->pNextWin){
295         sqlite3TreeViewWinFunc(pView, pX, pX->pNextWin!=0);
296       }
297       sqlite3TreeViewPop(&pView);
298     }
299 #endif
300     if( p->pSrc && p->pSrc->nSrc ){
301       sqlite3TreeViewPush(&pView, (n--)>0);
302       sqlite3TreeViewLine(pView, "FROM");
303       sqlite3TreeViewSrcList(pView, p->pSrc);
304       sqlite3TreeViewPop(&pView);
305     }
306     if( p->pWhere ){
307       sqlite3TreeViewItem(pView, "WHERE", (n--)>0);
308       sqlite3TreeViewExpr(pView, p->pWhere, 0);
309       sqlite3TreeViewPop(&pView);
310     }
311     if( p->pGroupBy ){
312       sqlite3TreeViewExprList(pView, p->pGroupBy, (n--)>0, "GROUPBY");
313     }
314     if( p->pHaving ){
315       sqlite3TreeViewItem(pView, "HAVING", (n--)>0);
316       sqlite3TreeViewExpr(pView, p->pHaving, 0);
317       sqlite3TreeViewPop(&pView);
318     }
319 #ifndef SQLITE_OMIT_WINDOWFUNC
320     if( p->pWinDefn ){
321       Window *pX;
322       sqlite3TreeViewItem(pView, "WINDOW", (n--)>0);
323       for(pX=p->pWinDefn; pX; pX=pX->pNextWin){
324         sqlite3TreeViewWindow(pView, pX, pX->pNextWin!=0);
325       }
326       sqlite3TreeViewPop(&pView);
327     }
328 #endif
329     if( p->pOrderBy ){
330       sqlite3TreeViewExprList(pView, p->pOrderBy, (n--)>0, "ORDERBY");
331     }
332     if( p->pLimit ){
333       sqlite3TreeViewItem(pView, "LIMIT", (n--)>0);
334       sqlite3TreeViewExpr(pView, p->pLimit->pLeft, p->pLimit->pRight!=0);
335       if( p->pLimit->pRight ){
336         sqlite3TreeViewItem(pView, "OFFSET", (n--)>0);
337         sqlite3TreeViewExpr(pView, p->pLimit->pRight, 0);
338         sqlite3TreeViewPop(&pView);
339       }
340       sqlite3TreeViewPop(&pView);
341     }
342     if( p->pPrior ){
343       const char *zOp = "UNION";
344       switch( p->op ){
345         case TK_ALL:         zOp = "UNION ALL";  break;
346         case TK_INTERSECT:   zOp = "INTERSECT";  break;
347         case TK_EXCEPT:      zOp = "EXCEPT";     break;
348       }
349       sqlite3TreeViewItem(pView, zOp, 1);
350     }
351     p = p->pPrior;
352   }while( p!=0 );
353   sqlite3TreeViewPop(&pView);
354 }
355 
356 #ifndef SQLITE_OMIT_WINDOWFUNC
357 /*
358 ** Generate a description of starting or stopping bounds
359 */
360 void sqlite3TreeViewBound(
361   TreeView *pView,        /* View context */
362   u8 eBound,              /* UNBOUNDED, CURRENT, PRECEDING, FOLLOWING */
363   Expr *pExpr,            /* Value for PRECEDING or FOLLOWING */
364   u8 moreToFollow         /* True if more to follow */
365 ){
366   switch( eBound ){
367     case TK_UNBOUNDED: {
368       sqlite3TreeViewItem(pView, "UNBOUNDED", moreToFollow);
369       sqlite3TreeViewPop(&pView);
370       break;
371     }
372     case TK_CURRENT: {
373       sqlite3TreeViewItem(pView, "CURRENT", moreToFollow);
374       sqlite3TreeViewPop(&pView);
375       break;
376     }
377     case TK_PRECEDING: {
378       sqlite3TreeViewItem(pView, "PRECEDING", moreToFollow);
379       sqlite3TreeViewExpr(pView, pExpr, 0);
380       sqlite3TreeViewPop(&pView);
381       break;
382     }
383     case TK_FOLLOWING: {
384       sqlite3TreeViewItem(pView, "FOLLOWING", moreToFollow);
385       sqlite3TreeViewExpr(pView, pExpr, 0);
386       sqlite3TreeViewPop(&pView);
387       break;
388     }
389   }
390 }
391 #endif /* SQLITE_OMIT_WINDOWFUNC */
392 
393 #ifndef SQLITE_OMIT_WINDOWFUNC
394 /*
395 ** Generate a human-readable explanation for a Window object
396 */
397 void sqlite3TreeViewWindow(TreeView *pView, const Window *pWin, u8 more){
398   int nElement = 0;
399   if( pWin->pFilter ){
400     sqlite3TreeViewItem(pView, "FILTER", 1);
401     sqlite3TreeViewExpr(pView, pWin->pFilter, 0);
402     sqlite3TreeViewPop(&pView);
403   }
404   sqlite3TreeViewPush(&pView, more);
405   if( pWin->zName ){
406     sqlite3TreeViewLine(pView, "OVER %s (%p)", pWin->zName, pWin);
407   }else{
408     sqlite3TreeViewLine(pView, "OVER (%p)", pWin);
409   }
410   if( pWin->zBase )    nElement++;
411   if( pWin->pOrderBy ) nElement++;
412   if( pWin->eFrmType ) nElement++;
413   if( pWin->eExclude ) nElement++;
414   if( pWin->zBase ){
415     sqlite3TreeViewPush(&pView, (--nElement)>0);
416     sqlite3TreeViewLine(pView, "window: %s", pWin->zBase);
417     sqlite3TreeViewPop(&pView);
418   }
419   if( pWin->pPartition ){
420     sqlite3TreeViewExprList(pView, pWin->pPartition, nElement>0,"PARTITION-BY");
421   }
422   if( pWin->pOrderBy ){
423     sqlite3TreeViewExprList(pView, pWin->pOrderBy, (--nElement)>0, "ORDER-BY");
424   }
425   if( pWin->eFrmType ){
426     char zBuf[30];
427     const char *zFrmType = "ROWS";
428     if( pWin->eFrmType==TK_RANGE ) zFrmType = "RANGE";
429     if( pWin->eFrmType==TK_GROUPS ) zFrmType = "GROUPS";
430     sqlite3_snprintf(sizeof(zBuf),zBuf,"%s%s",zFrmType,
431         pWin->bImplicitFrame ? " (implied)" : "");
432     sqlite3TreeViewItem(pView, zBuf, (--nElement)>0);
433     sqlite3TreeViewBound(pView, pWin->eStart, pWin->pStart, 1);
434     sqlite3TreeViewBound(pView, pWin->eEnd, pWin->pEnd, 0);
435     sqlite3TreeViewPop(&pView);
436   }
437   if( pWin->eExclude ){
438     char zBuf[30];
439     const char *zExclude;
440     switch( pWin->eExclude ){
441       case TK_NO:      zExclude = "NO OTHERS";   break;
442       case TK_CURRENT: zExclude = "CURRENT ROW"; break;
443       case TK_GROUP:   zExclude = "GROUP";       break;
444       case TK_TIES:    zExclude = "TIES";        break;
445       default:
446         sqlite3_snprintf(sizeof(zBuf),zBuf,"invalid(%d)", pWin->eExclude);
447         zExclude = zBuf;
448         break;
449     }
450     sqlite3TreeViewPush(&pView, 0);
451     sqlite3TreeViewLine(pView, "EXCLUDE %s", zExclude);
452     sqlite3TreeViewPop(&pView);
453   }
454   sqlite3TreeViewPop(&pView);
455 }
456 #endif /* SQLITE_OMIT_WINDOWFUNC */
457 
458 #ifndef SQLITE_OMIT_WINDOWFUNC
459 /*
460 ** Generate a human-readable explanation for a Window Function object
461 */
462 void sqlite3TreeViewWinFunc(TreeView *pView, const Window *pWin, u8 more){
463   sqlite3TreeViewPush(&pView, more);
464   sqlite3TreeViewLine(pView, "WINFUNC %s(%d)",
465                        pWin->pWFunc->zName, pWin->pWFunc->nArg);
466   sqlite3TreeViewWindow(pView, pWin, 0);
467   sqlite3TreeViewPop(&pView);
468 }
469 #endif /* SQLITE_OMIT_WINDOWFUNC */
470 
471 /*
472 ** Generate a human-readable explanation of an expression tree.
473 */
474 void sqlite3TreeViewExpr(TreeView *pView, const Expr *pExpr, u8 moreToFollow){
475   const char *zBinOp = 0;   /* Binary operator */
476   const char *zUniOp = 0;   /* Unary operator */
477   char zFlgs[200];
478   sqlite3TreeViewPush(&pView, moreToFollow);
479   if( pExpr==0 ){
480     sqlite3TreeViewLine(pView, "nil");
481     sqlite3TreeViewPop(&pView);
482     return;
483   }
484   if( pExpr->flags || pExpr->affExpr || pExpr->vvaFlags ){
485     StrAccum x;
486     sqlite3StrAccumInit(&x, 0, zFlgs, sizeof(zFlgs), 0);
487     sqlite3_str_appendf(&x, " fg.af=%x.%c",
488       pExpr->flags, pExpr->affExpr ? pExpr->affExpr : 'n');
489     if( ExprHasProperty(pExpr, EP_FromJoin) ){
490       sqlite3_str_appendf(&x, " iJoin=%d", pExpr->w.iJoin);
491     }
492     if( ExprHasProperty(pExpr, EP_FromDDL) ){
493       sqlite3_str_appendf(&x, " DDL");
494     }
495     if( ExprHasVVAProperty(pExpr, EP_Immutable) ){
496       sqlite3_str_appendf(&x, " IMMUTABLE");
497     }
498     sqlite3StrAccumFinish(&x);
499   }else{
500     zFlgs[0] = 0;
501   }
502   switch( pExpr->op ){
503     case TK_AGG_COLUMN: {
504       sqlite3TreeViewLine(pView, "AGG{%d:%d}%s",
505             pExpr->iTable, pExpr->iColumn, zFlgs);
506       break;
507     }
508     case TK_COLUMN: {
509       if( pExpr->iTable<0 ){
510         /* This only happens when coding check constraints */
511         char zOp2[16];
512         if( pExpr->op2 ){
513           sqlite3_snprintf(sizeof(zOp2),zOp2," op2=0x%02x",pExpr->op2);
514         }else{
515           zOp2[0] = 0;
516         }
517         sqlite3TreeViewLine(pView, "COLUMN(%d)%s%s",
518                                     pExpr->iColumn, zFlgs, zOp2);
519       }else{
520         assert( ExprUseYTab(pExpr) );
521         sqlite3TreeViewLine(pView, "{%d:%d} pTab=%p%s",
522                         pExpr->iTable, pExpr->iColumn,
523                         pExpr->y.pTab, zFlgs);
524       }
525       if( ExprHasProperty(pExpr, EP_FixedCol) ){
526         sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
527       }
528       break;
529     }
530     case TK_INTEGER: {
531       if( pExpr->flags & EP_IntValue ){
532         sqlite3TreeViewLine(pView, "%d", pExpr->u.iValue);
533       }else{
534         sqlite3TreeViewLine(pView, "%s", pExpr->u.zToken);
535       }
536       break;
537     }
538 #ifndef SQLITE_OMIT_FLOATING_POINT
539     case TK_FLOAT: {
540       assert( !ExprHasProperty(pExpr, EP_IntValue) );
541       sqlite3TreeViewLine(pView,"%s", pExpr->u.zToken);
542       break;
543     }
544 #endif
545     case TK_STRING: {
546       assert( !ExprHasProperty(pExpr, EP_IntValue) );
547       sqlite3TreeViewLine(pView,"%Q", pExpr->u.zToken);
548       break;
549     }
550     case TK_NULL: {
551       sqlite3TreeViewLine(pView,"NULL");
552       break;
553     }
554     case TK_TRUEFALSE: {
555       sqlite3TreeViewLine(pView,"%s%s",
556          sqlite3ExprTruthValue(pExpr) ? "TRUE" : "FALSE", zFlgs);
557       break;
558     }
559 #ifndef SQLITE_OMIT_BLOB_LITERAL
560     case TK_BLOB: {
561       assert( !ExprHasProperty(pExpr, EP_IntValue) );
562       sqlite3TreeViewLine(pView,"%s", pExpr->u.zToken);
563       break;
564     }
565 #endif
566     case TK_VARIABLE: {
567       assert( !ExprHasProperty(pExpr, EP_IntValue) );
568       sqlite3TreeViewLine(pView,"VARIABLE(%s,%d)",
569                           pExpr->u.zToken, pExpr->iColumn);
570       break;
571     }
572     case TK_REGISTER: {
573       sqlite3TreeViewLine(pView,"REGISTER(%d)", pExpr->iTable);
574       break;
575     }
576     case TK_ID: {
577       assert( !ExprHasProperty(pExpr, EP_IntValue) );
578       sqlite3TreeViewLine(pView,"ID \"%w\"", pExpr->u.zToken);
579       break;
580     }
581 #ifndef SQLITE_OMIT_CAST
582     case TK_CAST: {
583       /* Expressions of the form:   CAST(pLeft AS token) */
584       assert( !ExprHasProperty(pExpr, EP_IntValue) );
585       sqlite3TreeViewLine(pView,"CAST %Q", pExpr->u.zToken);
586       sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
587       break;
588     }
589 #endif /* SQLITE_OMIT_CAST */
590     case TK_LT:      zBinOp = "LT";     break;
591     case TK_LE:      zBinOp = "LE";     break;
592     case TK_GT:      zBinOp = "GT";     break;
593     case TK_GE:      zBinOp = "GE";     break;
594     case TK_NE:      zBinOp = "NE";     break;
595     case TK_EQ:      zBinOp = "EQ";     break;
596     case TK_IS:      zBinOp = "IS";     break;
597     case TK_ISNOT:   zBinOp = "ISNOT";  break;
598     case TK_AND:     zBinOp = "AND";    break;
599     case TK_OR:      zBinOp = "OR";     break;
600     case TK_PLUS:    zBinOp = "ADD";    break;
601     case TK_STAR:    zBinOp = "MUL";    break;
602     case TK_MINUS:   zBinOp = "SUB";    break;
603     case TK_REM:     zBinOp = "REM";    break;
604     case TK_BITAND:  zBinOp = "BITAND"; break;
605     case TK_BITOR:   zBinOp = "BITOR";  break;
606     case TK_SLASH:   zBinOp = "DIV";    break;
607     case TK_LSHIFT:  zBinOp = "LSHIFT"; break;
608     case TK_RSHIFT:  zBinOp = "RSHIFT"; break;
609     case TK_CONCAT:  zBinOp = "CONCAT"; break;
610     case TK_DOT:     zBinOp = "DOT";    break;
611     case TK_LIMIT:   zBinOp = "LIMIT";  break;
612 
613     case TK_UMINUS:  zUniOp = "UMINUS"; break;
614     case TK_UPLUS:   zUniOp = "UPLUS";  break;
615     case TK_BITNOT:  zUniOp = "BITNOT"; break;
616     case TK_NOT:     zUniOp = "NOT";    break;
617     case TK_ISNULL:  zUniOp = "ISNULL"; break;
618     case TK_NOTNULL: zUniOp = "NOTNULL"; break;
619 
620     case TK_TRUTH: {
621       int x;
622       const char *azOp[] = {
623          "IS-FALSE", "IS-TRUE", "IS-NOT-FALSE", "IS-NOT-TRUE"
624       };
625       assert( pExpr->op2==TK_IS || pExpr->op2==TK_ISNOT );
626       assert( pExpr->pRight );
627       assert( sqlite3ExprSkipCollate(pExpr->pRight)->op==TK_TRUEFALSE );
628       x = (pExpr->op2==TK_ISNOT)*2 + sqlite3ExprTruthValue(pExpr->pRight);
629       zUniOp = azOp[x];
630       break;
631     }
632 
633     case TK_SPAN: {
634       assert( !ExprHasProperty(pExpr, EP_IntValue) );
635       sqlite3TreeViewLine(pView, "SPAN %Q", pExpr->u.zToken);
636       sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
637       break;
638     }
639 
640     case TK_COLLATE: {
641       /* COLLATE operators without the EP_Collate flag are intended to
642       ** emulate collation associated with a table column.  These show
643       ** up in the treeview output as "SOFT-COLLATE".  Explicit COLLATE
644       ** operators that appear in the original SQL always have the
645       ** EP_Collate bit set and appear in treeview output as just "COLLATE" */
646       assert( !ExprHasProperty(pExpr, EP_IntValue) );
647       sqlite3TreeViewLine(pView, "%sCOLLATE %Q%s",
648         !ExprHasProperty(pExpr, EP_Collate) ? "SOFT-" : "",
649         pExpr->u.zToken, zFlgs);
650       sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
651       break;
652     }
653 
654     case TK_AGG_FUNCTION:
655     case TK_FUNCTION: {
656       ExprList *pFarg;       /* List of function arguments */
657       Window *pWin;
658       if( ExprHasProperty(pExpr, EP_TokenOnly) ){
659         pFarg = 0;
660         pWin = 0;
661       }else{
662         assert( ExprUseXList(pExpr) );
663         pFarg = pExpr->x.pList;
664 #ifndef SQLITE_OMIT_WINDOWFUNC
665         pWin = ExprHasProperty(pExpr, EP_WinFunc) ? pExpr->y.pWin : 0;
666 #else
667         pWin = 0;
668 #endif
669       }
670       assert( !ExprHasProperty(pExpr, EP_IntValue) );
671       if( pExpr->op==TK_AGG_FUNCTION ){
672         sqlite3TreeViewLine(pView, "AGG_FUNCTION%d %Q%s agg=%d[%d]/%p",
673                              pExpr->op2, pExpr->u.zToken, zFlgs,
674                              pExpr->pAggInfo ? pExpr->pAggInfo->selId : 0,
675                              pExpr->iAgg, pExpr->pAggInfo);
676       }else if( pExpr->op2!=0 ){
677         const char *zOp2;
678         char zBuf[8];
679         sqlite3_snprintf(sizeof(zBuf),zBuf,"0x%02x",pExpr->op2);
680         zOp2 = zBuf;
681         if( pExpr->op2==NC_IsCheck ) zOp2 = "NC_IsCheck";
682         if( pExpr->op2==NC_IdxExpr ) zOp2 = "NC_IdxExpr";
683         if( pExpr->op2==NC_PartIdx ) zOp2 = "NC_PartIdx";
684         if( pExpr->op2==NC_GenCol ) zOp2 = "NC_GenCol";
685         sqlite3TreeViewLine(pView, "FUNCTION %Q%s op2=%s",
686                             pExpr->u.zToken, zFlgs, zOp2);
687       }else{
688         sqlite3TreeViewLine(pView, "FUNCTION %Q%s", pExpr->u.zToken, zFlgs);
689       }
690       if( pFarg ){
691         sqlite3TreeViewExprList(pView, pFarg, pWin!=0, 0);
692       }
693 #ifndef SQLITE_OMIT_WINDOWFUNC
694       if( pWin ){
695         sqlite3TreeViewWindow(pView, pWin, 0);
696       }
697 #endif
698       break;
699     }
700 #ifndef SQLITE_OMIT_SUBQUERY
701     case TK_EXISTS: {
702       assert( ExprUseXSelect(pExpr) );
703       sqlite3TreeViewLine(pView, "EXISTS-expr flags=0x%x", pExpr->flags);
704       sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
705       break;
706     }
707     case TK_SELECT: {
708       assert( ExprUseXSelect(pExpr) );
709       sqlite3TreeViewLine(pView, "subquery-expr flags=0x%x", pExpr->flags);
710       sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
711       break;
712     }
713     case TK_IN: {
714       sqlite3TreeViewLine(pView, "IN flags=0x%x", pExpr->flags);
715       sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
716       if( ExprUseXSelect(pExpr) ){
717         sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
718       }else{
719         sqlite3TreeViewExprList(pView, pExpr->x.pList, 0, 0);
720       }
721       break;
722     }
723 #endif /* SQLITE_OMIT_SUBQUERY */
724 
725     /*
726     **    x BETWEEN y AND z
727     **
728     ** This is equivalent to
729     **
730     **    x>=y AND x<=z
731     **
732     ** X is stored in pExpr->pLeft.
733     ** Y is stored in pExpr->pList->a[0].pExpr.
734     ** Z is stored in pExpr->pList->a[1].pExpr.
735     */
736     case TK_BETWEEN: {
737       const Expr *pX, *pY, *pZ;
738       pX = pExpr->pLeft;
739       assert( ExprUseXList(pExpr) );
740       assert( pExpr->x.pList->nExpr==2 );
741       pY = pExpr->x.pList->a[0].pExpr;
742       pZ = pExpr->x.pList->a[1].pExpr;
743       sqlite3TreeViewLine(pView, "BETWEEN");
744       sqlite3TreeViewExpr(pView, pX, 1);
745       sqlite3TreeViewExpr(pView, pY, 1);
746       sqlite3TreeViewExpr(pView, pZ, 0);
747       break;
748     }
749     case TK_TRIGGER: {
750       /* If the opcode is TK_TRIGGER, then the expression is a reference
751       ** to a column in the new.* or old.* pseudo-tables available to
752       ** trigger programs. In this case Expr.iTable is set to 1 for the
753       ** new.* pseudo-table, or 0 for the old.* pseudo-table. Expr.iColumn
754       ** is set to the column of the pseudo-table to read, or to -1 to
755       ** read the rowid field.
756       */
757       sqlite3TreeViewLine(pView, "%s(%d)",
758           pExpr->iTable ? "NEW" : "OLD", pExpr->iColumn);
759       break;
760     }
761     case TK_CASE: {
762       sqlite3TreeViewLine(pView, "CASE");
763       sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
764       assert( ExprUseXList(pExpr) );
765       sqlite3TreeViewExprList(pView, pExpr->x.pList, 0, 0);
766       break;
767     }
768 #ifndef SQLITE_OMIT_TRIGGER
769     case TK_RAISE: {
770       const char *zType = "unk";
771       switch( pExpr->affExpr ){
772         case OE_Rollback:   zType = "rollback";  break;
773         case OE_Abort:      zType = "abort";     break;
774         case OE_Fail:       zType = "fail";      break;
775         case OE_Ignore:     zType = "ignore";    break;
776       }
777       assert( !ExprHasProperty(pExpr, EP_IntValue) );
778       sqlite3TreeViewLine(pView, "RAISE %s(%Q)", zType, pExpr->u.zToken);
779       break;
780     }
781 #endif
782     case TK_MATCH: {
783       sqlite3TreeViewLine(pView, "MATCH {%d:%d}%s",
784                           pExpr->iTable, pExpr->iColumn, zFlgs);
785       sqlite3TreeViewExpr(pView, pExpr->pRight, 0);
786       break;
787     }
788     case TK_VECTOR: {
789       char *z = sqlite3_mprintf("VECTOR%s",zFlgs);
790       assert( ExprUseXList(pExpr) );
791       sqlite3TreeViewBareExprList(pView, pExpr->x.pList, z);
792       sqlite3_free(z);
793       break;
794     }
795     case TK_SELECT_COLUMN: {
796       sqlite3TreeViewLine(pView, "SELECT-COLUMN %d of [0..%d]%s",
797               pExpr->iColumn, pExpr->iTable-1,
798               pExpr->pRight==pExpr->pLeft ? " (SELECT-owner)" : "");
799       assert( ExprUseXSelect(pExpr->pLeft) );
800       sqlite3TreeViewSelect(pView, pExpr->pLeft->x.pSelect, 0);
801       break;
802     }
803     case TK_IF_NULL_ROW: {
804       sqlite3TreeViewLine(pView, "IF-NULL-ROW %d", pExpr->iTable);
805       sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
806       break;
807     }
808     case TK_ERROR: {
809       Expr tmp;
810       sqlite3TreeViewLine(pView, "ERROR");
811       tmp = *pExpr;
812       tmp.op = pExpr->op2;
813       sqlite3TreeViewExpr(pView, &tmp, 0);
814       break;
815     }
816     case TK_ROW: {
817       if( pExpr->iColumn<=0 ){
818         sqlite3TreeViewLine(pView, "First FROM table rowid");
819       }else{
820         sqlite3TreeViewLine(pView, "First FROM table column %d",
821             pExpr->iColumn-1);
822       }
823       break;
824     }
825     default: {
826       sqlite3TreeViewLine(pView, "op=%d", pExpr->op);
827       break;
828     }
829   }
830   if( zBinOp ){
831     sqlite3TreeViewLine(pView, "%s%s", zBinOp, zFlgs);
832     sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
833     sqlite3TreeViewExpr(pView, pExpr->pRight, 0);
834   }else if( zUniOp ){
835     sqlite3TreeViewLine(pView, "%s%s", zUniOp, zFlgs);
836    sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
837   }
838   sqlite3TreeViewPop(&pView);
839 }
840 
841 
842 /*
843 ** Generate a human-readable explanation of an expression list.
844 */
845 void sqlite3TreeViewBareExprList(
846   TreeView *pView,
847   const ExprList *pList,
848   const char *zLabel
849 ){
850   if( zLabel==0 || zLabel[0]==0 ) zLabel = "LIST";
851   if( pList==0 ){
852     sqlite3TreeViewLine(pView, "%s (empty)", zLabel);
853   }else{
854     int i;
855     sqlite3TreeViewLine(pView, "%s", zLabel);
856     for(i=0; i<pList->nExpr; i++){
857       int j = pList->a[i].u.x.iOrderByCol;
858       char *zName = pList->a[i].zEName;
859       int moreToFollow = i<pList->nExpr - 1;
860       if( j || zName ){
861         sqlite3TreeViewPush(&pView, moreToFollow);
862         moreToFollow = 0;
863         sqlite3TreeViewLine(pView, 0);
864         if( zName ){
865           switch( pList->a[i].eEName ){
866             default:
867               fprintf(stdout, "AS %s ", zName);
868               break;
869             case ENAME_TAB:
870               fprintf(stdout, "TABLE-ALIAS-NAME(\"%s\") ", zName);
871               if( pList->a[i].bUsed ) fprintf(stdout, "(used) ");
872               if( pList->a[i].bUsingTerm ) fprintf(stdout, "(USING-term) ");
873               break;
874             case ENAME_SPAN:
875               fprintf(stdout, "SPAN(\"%s\") ", zName);
876               break;
877           }
878         }
879         if( j ){
880           fprintf(stdout, "iOrderByCol=%d", j);
881         }
882         fprintf(stdout, "\n");
883         fflush(stdout);
884       }
885       sqlite3TreeViewExpr(pView, pList->a[i].pExpr, moreToFollow);
886       if( j || zName ){
887         sqlite3TreeViewPop(&pView);
888       }
889     }
890   }
891 }
892 void sqlite3TreeViewExprList(
893   TreeView *pView,
894   const ExprList *pList,
895   u8 moreToFollow,
896   const char *zLabel
897 ){
898   sqlite3TreeViewPush(&pView, moreToFollow);
899   sqlite3TreeViewBareExprList(pView, pList, zLabel);
900   sqlite3TreeViewPop(&pView);
901 }
902 
903 /*
904 ** Generate a human-readable explanation of an id-list.
905 */
906 void sqlite3TreeViewBareIdList(
907   TreeView *pView,
908   const IdList *pList,
909   const char *zLabel
910 ){
911   if( zLabel==0 || zLabel[0]==0 ) zLabel = "LIST";
912   if( pList==0 ){
913     sqlite3TreeViewLine(pView, "%s (empty)", zLabel);
914   }else{
915     int i;
916     sqlite3TreeViewLine(pView, "%s", zLabel);
917     for(i=0; i<pList->nId; i++){
918       char *zName = pList->a[i].zName;
919       int moreToFollow = i<pList->nId - 1;
920       if( zName==0 ) zName = "(null)";
921       sqlite3TreeViewPush(&pView, moreToFollow);
922       sqlite3TreeViewLine(pView, 0);
923       if( pList->eU4==EU4_NONE ){
924         fprintf(stdout, "%s\n", zName);
925       }else if( pList->eU4==EU4_IDX ){
926         fprintf(stdout, "%s (%d)\n", zName, pList->a[i].u4.idx);
927       }else{
928         assert( pList->eU4==EU4_EXPR );
929         if( pList->a[i].u4.pExpr==0 ){
930           fprintf(stdout, "%s (pExpr=NULL)\n", zName);
931         }else{
932           fprintf(stdout, "%s\n", zName);
933           sqlite3TreeViewPush(&pView, i<pList->nId-1);
934           sqlite3TreeViewExpr(pView, pList->a[i].u4.pExpr, 0);
935           sqlite3TreeViewPop(&pView);
936         }
937       }
938       sqlite3TreeViewPop(&pView);
939     }
940   }
941 }
942 void sqlite3TreeViewIdList(
943   TreeView *pView,
944   const IdList *pList,
945   u8 moreToFollow,
946   const char *zLabel
947 ){
948   sqlite3TreeViewPush(&pView, moreToFollow);
949   sqlite3TreeViewBareIdList(pView, pList, zLabel);
950   sqlite3TreeViewPop(&pView);
951 }
952 
953 /*
954 ** Generate a human-readable explanation of a list of Upsert objects
955 */
956 void sqlite3TreeViewUpsert(
957   TreeView *pView,
958   const Upsert *pUpsert,
959   u8 moreToFollow
960 ){
961   if( pUpsert==0 ) return;
962   sqlite3TreeViewPush(&pView, moreToFollow);
963   while( pUpsert ){
964     int n;
965     sqlite3TreeViewPush(&pView, pUpsert->pNextUpsert!=0 || moreToFollow);
966     sqlite3TreeViewLine(pView, "ON CONFLICT DO %s",
967          pUpsert->isDoUpdate ? "UPDATE" : "NOTHING");
968     n = (pUpsert->pUpsertSet!=0) + (pUpsert->pUpsertWhere!=0);
969     sqlite3TreeViewExprList(pView, pUpsert->pUpsertTarget, (n--)>0, "TARGET");
970     sqlite3TreeViewExprList(pView, pUpsert->pUpsertSet, (n--)>0, "SET");
971     if( pUpsert->pUpsertWhere ){
972       sqlite3TreeViewItem(pView, "WHERE", (n--)>0);
973       sqlite3TreeViewExpr(pView, pUpsert->pUpsertWhere, 0);
974       sqlite3TreeViewPop(&pView);
975     }
976     sqlite3TreeViewPop(&pView);
977     pUpsert = pUpsert->pNextUpsert;
978   }
979   sqlite3TreeViewPop(&pView);
980 }
981 
982 /*
983 ** Generate a human-readable diagram of the data structure that go
984 ** into generating an DELETE statement.
985 */
986 void sqlite3TreeViewDelete(
987   const With *pWith,
988   const SrcList *pTabList,
989   const Expr *pWhere,
990   const ExprList *pOrderBy,
991   const Expr *pLimit,
992   const Trigger *pTrigger
993 ){
994   int n = 0;
995   TreeView *pView = 0;
996   sqlite3TreeViewPush(&pView, 0);
997   sqlite3TreeViewLine(pView, "DELETE");
998   if( pWith ) n++;
999   if( pTabList ) n++;
1000   if( pWhere ) n++;
1001   if( pOrderBy ) n++;
1002   if( pLimit ) n++;
1003   if( pTrigger ) n++;
1004   if( pWith ){
1005     sqlite3TreeViewPush(&pView, (--n)>0);
1006     sqlite3TreeViewWith(pView, pWith, 0);
1007     sqlite3TreeViewPop(&pView);
1008   }
1009   if( pTabList ){
1010     sqlite3TreeViewPush(&pView, (--n)>0);
1011     sqlite3TreeViewLine(pView, "FROM");
1012     sqlite3TreeViewSrcList(pView, pTabList);
1013     sqlite3TreeViewPop(&pView);
1014   }
1015   if( pWhere ){
1016     sqlite3TreeViewPush(&pView, (--n)>0);
1017     sqlite3TreeViewLine(pView, "WHERE");
1018     sqlite3TreeViewExpr(pView, pWhere, 0);
1019     sqlite3TreeViewPop(&pView);
1020   }
1021   if( pOrderBy ){
1022     sqlite3TreeViewExprList(pView, pOrderBy, (--n)>0, "ORDER-BY");
1023   }
1024   if( pLimit ){
1025     sqlite3TreeViewPush(&pView, (--n)>0);
1026     sqlite3TreeViewLine(pView, "LIMIT");
1027     sqlite3TreeViewExpr(pView, pLimit, 0);
1028     sqlite3TreeViewPop(&pView);
1029   }
1030   if( pTrigger ){
1031     sqlite3TreeViewTrigger(pView, pTrigger, (--n)>0, 1);
1032   }
1033   sqlite3TreeViewPop(&pView);
1034 }
1035 
1036 /*
1037 ** Generate a human-readable diagram of the data structure that go
1038 ** into generating an INSERT statement.
1039 */
1040 void sqlite3TreeViewInsert(
1041   const With *pWith,
1042   const SrcList *pTabList,
1043   const IdList *pColumnList,
1044   const Select *pSelect,
1045   const ExprList *pExprList,
1046   int onError,
1047   const Upsert *pUpsert,
1048   const Trigger *pTrigger
1049 ){
1050   TreeView *pView = 0;
1051   int n = 0;
1052   const char *zLabel = "INSERT";
1053   switch( onError ){
1054     case OE_Replace:  zLabel = "REPLACE";             break;
1055     case OE_Ignore:   zLabel = "INSERT OR IGNORE";    break;
1056     case OE_Rollback: zLabel = "INSERT OR ROLLBACK";  break;
1057     case OE_Abort:    zLabel = "INSERT OR ABORT";     break;
1058     case OE_Fail:     zLabel = "INSERT OR FAIL";      break;
1059   }
1060   sqlite3TreeViewPush(&pView, 0);
1061   sqlite3TreeViewLine(pView, zLabel);
1062   if( pWith ) n++;
1063   if( pTabList ) n++;
1064   if( pColumnList ) n++;
1065   if( pSelect ) n++;
1066   if( pExprList ) n++;
1067   if( pUpsert ) n++;
1068   if( pTrigger ) n++;
1069   if( pWith ){
1070     sqlite3TreeViewPush(&pView, (--n)>0);
1071     sqlite3TreeViewWith(pView, pWith, 0);
1072     sqlite3TreeViewPop(&pView);
1073   }
1074   if( pTabList ){
1075     sqlite3TreeViewPush(&pView, (--n)>0);
1076     sqlite3TreeViewLine(pView, "INTO");
1077     sqlite3TreeViewSrcList(pView, pTabList);
1078     sqlite3TreeViewPop(&pView);
1079   }
1080   if( pColumnList ){
1081     sqlite3TreeViewIdList(pView, pColumnList, (--n)>0, "COLUMNS");
1082   }
1083   if( pSelect ){
1084     sqlite3TreeViewPush(&pView, (--n)>0);
1085     sqlite3TreeViewLine(pView, "DATA-SOURCE");
1086     sqlite3TreeViewSelect(pView, pSelect, 0);
1087     sqlite3TreeViewPop(&pView);
1088   }
1089   if( pExprList ){
1090     sqlite3TreeViewExprList(pView, pExprList, (--n)>0, "VALUES");
1091   }
1092   if( pUpsert ){
1093     sqlite3TreeViewPush(&pView, (--n)>0);
1094     sqlite3TreeViewLine(pView, "UPSERT");
1095     sqlite3TreeViewUpsert(pView, pUpsert, 0);
1096     sqlite3TreeViewPop(&pView);
1097   }
1098   if( pTrigger ){
1099     sqlite3TreeViewTrigger(pView, pTrigger, (--n)>0, 1);
1100   }
1101   sqlite3TreeViewPop(&pView);
1102 }
1103 
1104 /*
1105 ** Generate a human-readable diagram of the data structure that go
1106 ** into generating an UPDATE statement.
1107 */
1108 void sqlite3TreeViewUpdate(
1109   const With *pWith,
1110   const SrcList *pTabList,
1111   const ExprList *pChanges,
1112   const Expr *pWhere,
1113   int onError,
1114   const ExprList *pOrderBy,
1115   const Expr *pLimit,
1116   const Upsert *pUpsert,
1117   const Trigger *pTrigger
1118 ){
1119   int n = 0;
1120   TreeView *pView = 0;
1121   const char *zLabel = "UPDATE";
1122   switch( onError ){
1123     case OE_Replace:  zLabel = "UPDATE OR REPLACE";   break;
1124     case OE_Ignore:   zLabel = "UPDATE OR IGNORE";    break;
1125     case OE_Rollback: zLabel = "UPDATE OR ROLLBACK";  break;
1126     case OE_Abort:    zLabel = "UPDATE OR ABORT";     break;
1127     case OE_Fail:     zLabel = "UPDATE OR FAIL";      break;
1128   }
1129   sqlite3TreeViewPush(&pView, 0);
1130   sqlite3TreeViewLine(pView, zLabel);
1131   if( pWith ) n++;
1132   if( pTabList ) n++;
1133   if( pChanges ) n++;
1134   if( pWhere ) n++;
1135   if( pOrderBy ) n++;
1136   if( pLimit ) n++;
1137   if( pUpsert ) n++;
1138   if( pTrigger ) n++;
1139   if( pWith ){
1140     sqlite3TreeViewPush(&pView, (--n)>0);
1141     sqlite3TreeViewWith(pView, pWith, 0);
1142     sqlite3TreeViewPop(&pView);
1143   }
1144   if( pTabList ){
1145     sqlite3TreeViewPush(&pView, (--n)>0);
1146     sqlite3TreeViewLine(pView, "FROM");
1147     sqlite3TreeViewSrcList(pView, pTabList);
1148     sqlite3TreeViewPop(&pView);
1149   }
1150   if( pChanges ){
1151     sqlite3TreeViewExprList(pView, pChanges, (--n)>0, "SET");
1152   }
1153   if( pWhere ){
1154     sqlite3TreeViewPush(&pView, (--n)>0);
1155     sqlite3TreeViewLine(pView, "WHERE");
1156     sqlite3TreeViewExpr(pView, pWhere, 0);
1157     sqlite3TreeViewPop(&pView);
1158   }
1159   if( pOrderBy ){
1160     sqlite3TreeViewExprList(pView, pOrderBy, (--n)>0, "ORDER-BY");
1161   }
1162   if( pLimit ){
1163     sqlite3TreeViewPush(&pView, (--n)>0);
1164     sqlite3TreeViewLine(pView, "LIMIT");
1165     sqlite3TreeViewExpr(pView, pLimit, 0);
1166     sqlite3TreeViewPop(&pView);
1167   }
1168   if( pUpsert ){
1169     sqlite3TreeViewPush(&pView, (--n)>0);
1170     sqlite3TreeViewLine(pView, "UPSERT");
1171     sqlite3TreeViewUpsert(pView, pUpsert, 0);
1172     sqlite3TreeViewPop(&pView);
1173   }
1174   if( pTrigger ){
1175     sqlite3TreeViewTrigger(pView, pTrigger, (--n)>0, 1);
1176   }
1177   sqlite3TreeViewPop(&pView);
1178 }
1179 
1180 #ifndef SQLITE_OMIT_TRIGGER
1181 /*
1182 ** Show a human-readable graph of a TriggerStep
1183 */
1184 void sqlite3TreeViewTriggerStep(
1185   TreeView *pView,
1186   const TriggerStep *pStep,
1187   u8 moreToFollow,
1188   u8 showFullList
1189 ){
1190   int cnt = 0;
1191   if( pStep==0 ) return;
1192   sqlite3TreeViewPush(&pView,
1193       moreToFollow || (showFullList && pStep->pNext!=0));
1194   do{
1195     if( cnt++ && pStep->pNext==0 ){
1196       sqlite3TreeViewPop(&pView);
1197       sqlite3TreeViewPush(&pView, 0);
1198     }
1199     sqlite3TreeViewLine(pView, "%s", pStep->zSpan ? pStep->zSpan : "RETURNING");
1200   }while( showFullList && (pStep = pStep->pNext)!=0 );
1201   sqlite3TreeViewPop(&pView);
1202 }
1203 
1204 /*
1205 ** Show a human-readable graph of a Trigger
1206 */
1207 void sqlite3TreeViewTrigger(
1208   TreeView *pView,
1209   const Trigger *pTrigger,
1210   u8 moreToFollow,
1211   u8 showFullList
1212 ){
1213   int cnt = 0;
1214   if( pTrigger==0 ) return;
1215   sqlite3TreeViewPush(&pView,
1216      moreToFollow || (showFullList && pTrigger->pNext!=0));
1217   do{
1218     if( cnt++ && pTrigger->pNext==0 ){
1219       sqlite3TreeViewPop(&pView);
1220       sqlite3TreeViewPush(&pView, 0);
1221     }
1222     sqlite3TreeViewLine(pView, "TRIGGER %s", pTrigger->zName);
1223     sqlite3TreeViewPush(&pView, 0);
1224     sqlite3TreeViewTriggerStep(pView, pTrigger->step_list, 0, 1);
1225     sqlite3TreeViewPop(&pView);
1226   }while( showFullList && (pTrigger = pTrigger->pNext)!=0 );
1227   sqlite3TreeViewPop(&pView);
1228 }
1229 #endif /* SQLITE_OMIT_TRIGGER */
1230 
1231 
1232 /*
1233 ** These simplified versions of the tree-view routines omit unnecessary
1234 ** parameters.  These variants are intended to be used from a symbolic
1235 ** debugger, such as "gdb", during interactive debugging sessions.
1236 **
1237 ** This routines are given external linkage so that they will always be
1238 ** accessible to the debugging, and to avoid warnings about unused
1239 ** functions.  But these routines only exist in debugging builds, so they
1240 ** do not contaminate the interface.
1241 */
1242 void sqlite3ShowExpr(const Expr *p){ sqlite3TreeViewExpr(0,p,0); }
1243 void sqlite3ShowExprList(const ExprList *p){ sqlite3TreeViewExprList(0,p,0,0);}
1244 void sqlite3ShowIdList(const IdList *p){ sqlite3TreeViewIdList(0,p,0,0); }
1245 void sqlite3ShowSrcList(const SrcList *p){ sqlite3TreeViewSrcList(0,p); }
1246 void sqlite3ShowSelect(const Select *p){ sqlite3TreeViewSelect(0,p,0); }
1247 void sqlite3ShowWith(const With *p){ sqlite3TreeViewWith(0,p,0); }
1248 void sqlite3ShowUpsert(const Upsert *p){ sqlite3TreeViewUpsert(0,p,0); }
1249 #ifndef SQLITE_OMIT_TRIGGER
1250 void sqlite3ShowTriggerStep(const TriggerStep *p){
1251   sqlite3TreeViewTriggerStep(0,p,0,0);
1252 }
1253 void sqlite3ShowTriggerStepList(const TriggerStep *p){
1254   sqlite3TreeViewTriggerStep(0,p,0,1);
1255 }
1256 void sqlite3ShowTrigger(const Trigger *p){ sqlite3TreeViewTrigger(0,p,0,0); }
1257 void sqlite3ShowTriggerList(const Trigger *p){ sqlite3TreeViewTrigger(0,p,0,1);}
1258 #endif
1259 #ifndef SQLITE_OMIT_WINDOWFUNC
1260 void sqlite3ShowWindow(const Window *p){ sqlite3TreeViewWindow(0,p,0); }
1261 void sqlite3ShowWinFunc(const Window *p){ sqlite3TreeViewWinFunc(0,p,0); }
1262 #endif
1263 
1264 #endif /* SQLITE_DEBUG */
1265