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