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