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