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