/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 2e14d17f592d176b6dc879c33fbdec4fbccaa2ba:


0000: 2f 2a 0a 2a 2a 20 32 30 30 38 20 41 75 67 75 73  /*.** 2008 Augus
0010: 74 20 31 36 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61  t 16.**.** The a
0020: 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20  uthor disclaims 
0030: 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68 69  copyright to thi
0040: 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20  s source code.  
0050: 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61  In place of.** a
0060: 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68   legal notice, h
0070: 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e  ere is a blessin
0080: 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20  g:.**.**    May 
0090: 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20  you do good and 
00a0: 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20  not evil..**    
00b0: 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72  May you find for
00c0: 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75  giveness for you
00d0: 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76  rself and forgiv
00e0: 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20  e others..**    
00f0: 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 72  May you share fr
0100: 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69  eely, never taki
0110: 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75  ng more than you
0120: 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a   give..**.******
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65  ***.** This file
0180: 20 63 6f 6e 74 61 69 6e 73 20 72 6f 75 74 69 6e   contains routin
0190: 65 73 20 75 73 65 64 20 66 6f 72 20 77 61 6c 6b  es used for walk
01a0: 69 6e 67 20 74 68 65 20 70 61 72 73 65 72 20 74  ing the parser t
01b0: 72 65 65 20 66 6f 72 0a 2a 2a 20 61 6e 20 53 51  ree for.** an SQ
01c0: 4c 20 73 74 61 74 65 6d 65 6e 74 2e 0a 2a 2f 0a  L statement..*/.
01d0: 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65  #include "sqlite
01e0: 49 6e 74 2e 68 22 0a 23 69 6e 63 6c 75 64 65 20  Int.h".#include 
01f0: 3c 73 74 64 6c 69 62 2e 68 3e 0a 23 69 6e 63 6c  <stdlib.h>.#incl
0200: 75 64 65 20 3c 73 74 72 69 6e 67 2e 68 3e 0a 0a  ude <string.h>..
0210: 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 61 6e 20 65  ./*.** Walk an e
0220: 78 70 72 65 73 73 69 6f 6e 20 74 72 65 65 2e 20  xpression tree. 
0230: 20 49 6e 76 6f 6b 65 20 74 68 65 20 63 61 6c 6c   Invoke the call
0240: 62 61 63 6b 20 6f 6e 63 65 20 66 6f 72 20 65 61  back once for ea
0250: 63 68 20 6e 6f 64 65 0a 2a 2a 20 6f 66 20 74 68  ch node.** of th
0260: 65 20 65 78 70 72 65 73 73 69 6f 6e 2c 20 77 68  e expression, wh
0270: 69 6c 65 20 64 65 73 63 65 6e 64 69 6e 67 2e 20  ile descending. 
0280: 20 28 49 6e 20 6f 74 68 65 72 20 77 6f 72 64 73   (In other words
0290: 2c 20 74 68 65 20 63 61 6c 6c 62 61 63 6b 0a 2a  , the callback.*
02a0: 2a 20 69 73 20 69 6e 76 6f 6b 65 64 20 62 65 66  * is invoked bef
02b0: 6f 72 65 20 76 69 73 69 74 69 6e 67 20 63 68 69  ore visiting chi
02c0: 6c 64 72 65 6e 2e 29 0a 2a 2a 0a 2a 2a 20 54 68  ldren.).**.** Th
02d0: 65 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66  e return value f
02e0: 72 6f 6d 20 74 68 65 20 63 61 6c 6c 62 61 63 6b  rom the callback
02f0: 20 73 68 6f 75 6c 64 20 62 65 20 6f 6e 65 20 6f   should be one o
0300: 66 20 74 68 65 20 57 52 43 5f 2a 0a 2a 2a 20 63  f the WRC_*.** c
0310: 6f 6e 73 74 61 6e 74 73 20 74 6f 20 73 70 65 63  onstants to spec
0320: 69 66 79 20 68 6f 77 20 74 6f 20 70 72 6f 63 65  ify how to proce
0330: 65 64 20 77 69 74 68 20 74 68 65 20 77 61 6c 6b  ed with the walk
0340: 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 43  ..**.**    WRC_C
0350: 6f 6e 74 69 6e 75 65 20 20 20 20 20 20 43 6f 6e  ontinue      Con
0360: 74 69 6e 75 65 20 64 65 73 63 65 6e 64 69 6e 67  tinue descending
0370: 20 64 6f 77 6e 20 74 68 65 20 74 72 65 65 2e 0a   down the tree..
0380: 2a 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 50 72 75  **.**    WRC_Pru
0390: 6e 65 20 20 20 20 20 20 20 20 20 44 6f 20 6e 6f  ne         Do no
03a0: 74 20 64 65 73 63 65 6e 64 20 69 6e 74 6f 20 63  t descend into c
03b0: 68 69 6c 64 20 6e 6f 64 65 73 2e 20 20 42 75 74  hild nodes.  But
03c0: 20 61 6c 6c 6f 77 0a 2a 2a 20 20 20 20 20 20 20   allow.**       
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
03e0: 68 65 20 77 61 6c 6b 20 74 6f 20 63 6f 6e 74 69  he walk to conti
03f0: 6e 75 65 20 77 69 74 68 20 73 69 62 6c 69 6e 67  nue with sibling
0400: 20 6e 6f 64 65 73 2e 0a 2a 2a 0a 2a 2a 20 20 20   nodes..**.**   
0410: 20 57 52 43 5f 41 62 6f 72 74 20 20 20 20 20 20   WRC_Abort      
0420: 20 20 20 44 6f 20 6e 6f 20 6d 6f 72 65 20 63 61     Do no more ca
0430: 6c 6c 62 61 63 6b 73 2e 20 20 55 6e 77 69 6e 64  llbacks.  Unwind
0440: 20 74 68 65 20 73 74 61 63 6b 20 61 6e 64 0a 2a   the stack and.*
0450: 2a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  *               
0460: 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 74 68         return th
0470: 65 20 74 6f 70 2d 6c 65 76 65 6c 20 77 61 6c 6b  e top-level walk
0480: 20 63 61 6c 6c 2e 0a 2a 2a 0a 2a 2a 20 54 68 65   call..**.** The
0490: 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66 72   return value fr
04a0: 6f 6d 20 74 68 69 73 20 72 6f 75 74 69 6e 65 20  om this routine 
04b0: 69 73 20 57 52 43 5f 41 62 6f 72 74 20 74 6f 20  is WRC_Abort to 
04c0: 61 62 61 6e 64 6f 6e 20 74 68 65 20 74 72 65 65  abandon the tree
04d0: 20 77 61 6c 6b 0a 2a 2a 20 61 6e 64 20 57 52 43   walk.** and WRC
04e0: 5f 43 6f 6e 74 69 6e 75 65 20 74 6f 20 63 6f 6e  _Continue to con
04f0: 74 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74 20 73 71  tinue..*/.int sq
0500: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 57 61  lite3WalkExpr(Wa
0510: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45  lker *pWalker, E
0520: 78 70 72 20 2a 70 45 78 70 72 29 7b 0a 20 20 69  xpr *pExpr){.  i
0530: 6e 74 20 72 63 3b 0a 20 20 69 66 28 20 70 45 78  nt rc;.  if( pEx
0540: 70 72 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 57  pr==0 ) return W
0550: 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20 74  RC_Continue;.  t
0560: 65 73 74 63 61 73 65 28 20 45 78 70 72 48 61 73  estcase( ExprHas
0570: 50 72 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20  Property(pExpr, 
0580: 45 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 3b  EP_TokenOnly) );
0590: 0a 20 20 74 65 73 74 63 61 73 65 28 20 45 78 70  .  testcase( Exp
05a0: 72 48 61 73 50 72 6f 70 65 72 74 79 28 70 45 78  rHasProperty(pEx
05b0: 70 72 2c 20 45 50 5f 52 65 64 75 63 65 64 29 20  pr, EP_Reduced) 
05c0: 29 3b 0a 20 20 72 63 20 3d 20 70 57 61 6c 6b 65  );.  rc = pWalke
05d0: 72 2d 3e 78 45 78 70 72 43 61 6c 6c 62 61 63 6b  r->xExprCallback
05e0: 28 70 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 29  (pWalker, pExpr)
05f0: 3b 0a 20 20 69 66 28 20 72 63 3d 3d 57 52 43 5f  ;.  if( rc==WRC_
0600: 43 6f 6e 74 69 6e 75 65 0a 20 20 20 20 20 20 20  Continue.       
0610: 20 20 20 20 20 20 20 26 26 20 21 45 78 70 72 48         && !ExprH
0620: 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70 72  asProperty(pExpr
0630: 2c 45 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29  ,EP_TokenOnly) )
0640: 7b 0a 20 20 20 20 69 66 28 20 73 71 6c 69 74 65  {.    if( sqlite
0650: 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65  3WalkExpr(pWalke
0660: 72 2c 20 70 45 78 70 72 2d 3e 70 4c 65 66 74 29  r, pExpr->pLeft)
0670: 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62   ) return WRC_Ab
0680: 6f 72 74 3b 0a 20 20 20 20 69 66 28 20 73 71 6c  ort;.    if( sql
0690: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61  ite3WalkExpr(pWa
06a0: 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70 52 69  lker, pExpr->pRi
06b0: 67 68 74 29 20 29 20 72 65 74 75 72 6e 20 57 52  ght) ) return WR
06c0: 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 69 66 28  C_Abort;.    if(
06d0: 20 45 78 70 72 48 61 73 50 72 6f 70 65 72 74 79   ExprHasProperty
06e0: 28 70 45 78 70 72 2c 20 45 50 5f 78 49 73 53 65  (pExpr, EP_xIsSe
06f0: 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 20 20 69  lect) ){.      i
0700: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65  f( sqlite3WalkSe
0710: 6c 65 63 74 28 70 57 61 6c 6b 65 72 2c 20 70 45  lect(pWalker, pE
0720: 78 70 72 2d 3e 78 2e 70 53 65 6c 65 63 74 29 20  xpr->x.pSelect) 
0730: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0740: 72 74 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20  rt;.    }else{. 
0750: 20 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33       if( sqlite3
0760: 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61  WalkExprList(pWa
0770: 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78 2e 70  lker, pExpr->x.p
0780: 4c 69 73 74 29 20 29 20 72 65 74 75 72 6e 20 57  List) ) return W
0790: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a  RC_Abort;.    }.
07a0: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72 63 20    }.  return rc 
07b0: 26 20 57 52 43 5f 41 62 6f 72 74 3b 0a 7d 0a 0a  & WRC_Abort;.}..
07c0: 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73 71 6c 69 74  /*.** Call sqlit
07d0: 65 33 57 61 6c 6b 45 78 70 72 28 29 20 66 6f 72  e3WalkExpr() for
07e0: 20 65 76 65 72 79 20 65 78 70 72 65 73 73 69 6f   every expressio
07f0: 6e 20 69 6e 20 6c 69 73 74 20 70 20 6f 72 20 75  n in list p or u
0800: 6e 74 69 6c 0a 2a 2a 20 61 6e 20 61 62 6f 72 74  ntil.** an abort
0810: 20 72 65 71 75 65 73 74 20 69 73 20 73 65 65 6e   request is seen
0820: 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33  ..*/.int sqlite3
0830: 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 57 61 6c  WalkExprList(Wal
0840: 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45 78  ker *pWalker, Ex
0850: 70 72 4c 69 73 74 20 2a 70 29 7b 0a 20 20 69 6e  prList *p){.  in
0860: 74 20 69 3b 0a 20 20 73 74 72 75 63 74 20 45 78  t i;.  struct Ex
0870: 70 72 4c 69 73 74 5f 69 74 65 6d 20 2a 70 49 74  prList_item *pIt
0880: 65 6d 3b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20  em;.  if( p ){. 
0890: 20 20 20 66 6f 72 28 69 3d 70 2d 3e 6e 45 78 70     for(i=p->nExp
08a0: 72 2c 20 70 49 74 65 6d 3d 70 2d 3e 61 3b 20 69  r, pItem=p->a; i
08b0: 3e 30 3b 20 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b  >0; i--, pItem++
08c0: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73 71 6c  ){.      if( sql
08d0: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61  ite3WalkExpr(pWa
08e0: 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 70 45 78  lker, pItem->pEx
08f0: 70 72 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  pr) ) return WRC
0900: 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a 20 20  _Abort;.    }.  
0910: 7d 0a 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43  }.  return WRC_C
0920: 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a  ontinue;.}../*.*
0930: 2a 20 57 61 6c 6b 20 61 6c 6c 20 65 78 70 72 65  * Walk all expre
0940: 73 73 69 6f 6e 73 20 61 73 73 6f 63 69 61 74 65  ssions associate
0950: 64 20 77 69 74 68 20 53 45 4c 45 43 54 20 73 74  d with SELECT st
0960: 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f 0a 2a  atement p.  Do.*
0970: 2a 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74 68 65  * not invoke the
0980: 20 53 45 4c 45 43 54 20 63 61 6c 6c 62 61 63 6b   SELECT callback
0990: 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20 28 6f   on p, but do (o
09a0: 66 20 63 6f 75 72 73 65 29 20 69 6e 76 6f 6b 65  f course) invoke
09b0: 0a 2a 2a 20 61 6e 79 20 65 78 70 72 20 63 61 6c  .** any expr cal
09c0: 6c 62 61 63 6b 73 20 61 6e 64 20 53 45 4c 45 43  lbacks and SELEC
09d0: 54 20 63 61 6c 6c 62 61 63 6b 73 20 74 68 61 74  T callbacks that
09e0: 20 63 6f 6d 65 20 66 72 6f 6d 20 73 75 62 71 75   come from subqu
09f0: 65 72 69 65 73 2e 0a 2a 2a 20 52 65 74 75 72 6e  eries..** Return
0a00: 20 57 52 43 5f 41 62 6f 72 74 20 6f 72 20 57 52   WRC_Abort or WR
0a10: 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69  C_Continue..*/.i
0a20: 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65  nt sqlite3WalkSe
0a30: 6c 65 63 74 45 78 70 72 28 57 61 6c 6b 65 72 20  lectExpr(Walker 
0a40: 2a 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74  *pWalker, Select
0a50: 20 2a 70 29 7b 0a 20 20 69 66 28 20 73 71 6c 69   *p){.  if( sqli
0a60: 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28  te3WalkExprList(
0a70: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 45 4c 69  pWalker, p->pELi
0a80: 73 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  st) ) return WRC
0a90: 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71  _Abort;.  if( sq
0aa0: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57  lite3WalkExpr(pW
0ab0: 61 6c 6b 65 72 2c 20 70 2d 3e 70 57 68 65 72 65  alker, p->pWhere
0ac0: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0ad0: 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69  bort;.  if( sqli
0ae0: 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28  te3WalkExprList(
0af0: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 47 72 6f  pWalker, p->pGro
0b00: 75 70 42 79 29 20 29 20 72 65 74 75 72 6e 20 57  upBy) ) return W
0b10: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20  RC_Abort;.  if( 
0b20: 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28  sqlite3WalkExpr(
0b30: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 48 61 76  pWalker, p->pHav
0b40: 69 6e 67 29 20 29 20 72 65 74 75 72 6e 20 57 52  ing) ) return WR
0b50: 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73  C_Abort;.  if( s
0b60: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69  qlite3WalkExprLi
0b70: 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  st(pWalker, p->p
0b80: 4f 72 64 65 72 42 79 29 20 29 20 72 65 74 75 72  OrderBy) ) retur
0b90: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69  n WRC_Abort;.  i
0ba0: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  f( sqlite3WalkEx
0bb0: 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  pr(pWalker, p->p
0bc0: 4c 69 6d 69 74 29 20 29 20 72 65 74 75 72 6e 20  Limit) ) return 
0bd0: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28  WRC_Abort;.  if(
0be0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0bf0: 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 4f 66  (pWalker, p->pOf
0c00: 66 73 65 74 29 20 29 20 72 65 74 75 72 6e 20 57  fset) ) return W
0c10: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 72 65 74 75  RC_Abort;.  retu
0c20: 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b  rn WRC_Continue;
0c30: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 74  .}../*.** Walk t
0c40: 68 65 20 70 61 72 73 65 20 74 72 65 65 73 20 61  he parse trees a
0c50: 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20 61  ssociated with a
0c60: 6c 6c 20 73 75 62 71 75 65 72 69 65 73 20 69 6e  ll subqueries in
0c70: 20 74 68 65 0a 2a 2a 20 46 52 4f 4d 20 63 6c 61   the.** FROM cla
0c80: 75 73 65 20 6f 66 20 53 45 4c 45 43 54 20 73 74  use of SELECT st
0c90: 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f 20 6e  atement p.  Do n
0ca0: 6f 74 20 69 6e 76 6f 6b 65 20 74 68 65 20 73 65  ot invoke the se
0cb0: 6c 65 63 74 0a 2a 2a 20 63 61 6c 6c 62 61 63 6b  lect.** callback
0cc0: 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20 69 6e   on p, but do in
0cd0: 76 6f 6b 65 20 69 74 20 6f 6e 20 65 61 63 68 20  voke it on each 
0ce0: 46 52 4f 4d 20 63 6c 61 75 73 65 20 73 75 62 71  FROM clause subq
0cf0: 75 65 72 79 0a 2a 2a 20 61 6e 64 20 6f 6e 20 61  uery.** and on a
0d00: 6e 79 20 73 75 62 71 75 65 72 69 65 73 20 66 75  ny subqueries fu
0d10: 72 74 68 65 72 20 64 6f 77 6e 20 69 6e 20 74 68  rther down in th
0d20: 65 20 74 72 65 65 2e 20 20 52 65 74 75 72 6e 20  e tree.  Return 
0d30: 0a 2a 2a 20 57 52 43 5f 41 62 6f 72 74 20 6f 72  .** WRC_Abort or
0d40: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 2a   WRC_Continue;.*
0d50: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c  /.int sqlite3Wal
0d60: 6b 53 65 6c 65 63 74 46 72 6f 6d 28 57 61 6c 6b  kSelectFrom(Walk
0d70: 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53 65 6c  er *pWalker, Sel
0d80: 65 63 74 20 2a 70 29 7b 0a 20 20 53 72 63 4c 69  ect *p){.  SrcLi
0d90: 73 74 20 2a 70 53 72 63 3b 0a 20 20 69 6e 74 20  st *pSrc;.  int 
0da0: 69 3b 0a 20 20 73 74 72 75 63 74 20 53 72 63 4c  i;.  struct SrcL
0db0: 69 73 74 5f 69 74 65 6d 20 2a 70 49 74 65 6d 3b  ist_item *pItem;
0dc0: 0a 0a 20 20 70 53 72 63 20 3d 20 70 2d 3e 70 53  ..  pSrc = p->pS
0dd0: 72 63 3b 0a 20 20 69 66 28 20 41 4c 57 41 59 53  rc;.  if( ALWAYS
0de0: 28 70 53 72 63 29 20 29 7b 0a 20 20 20 20 66 6f  (pSrc) ){.    fo
0df0: 72 28 69 3d 70 53 72 63 2d 3e 6e 53 72 63 2c 20  r(i=pSrc->nSrc, 
0e00: 70 49 74 65 6d 3d 70 53 72 63 2d 3e 61 3b 20 69  pItem=pSrc->a; i
0e10: 3e 30 3b 20 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b  >0; i--, pItem++
0e20: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73 71 6c  ){.      if( sql
0e30: 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 28 70  ite3WalkSelect(p
0e40: 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 70  Walker, pItem->p
0e50: 53 65 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 20  Select) ){.     
0e60: 20 20 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62     return WRC_Ab
0e70: 6f 72 74 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20  ort;.      }.   
0e80: 20 20 20 69 66 28 20 70 49 74 65 6d 2d 3e 66 67     if( pItem->fg
0e90: 2e 69 73 54 61 62 46 75 6e 63 0a 20 20 20 20 20  .isTabFunc.     
0ea0: 20 20 26 26 20 73 71 6c 69 74 65 33 57 61 6c 6b    && sqlite3Walk
0eb0: 45 78 70 72 4c 69 73 74 28 70 57 61 6c 6b 65 72  ExprList(pWalker
0ec0: 2c 20 70 49 74 65 6d 2d 3e 75 31 2e 70 46 75 6e  , pItem->u1.pFun
0ed0: 63 41 72 67 29 0a 20 20 20 20 20 20 29 7b 0a 20  cArg).      ){. 
0ee0: 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 57 52         return WR
0ef0: 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20 7d  C_Abort;.      }
0f00: 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74  .    }.  }.  ret
0f10: 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  urn WRC_Continue
0f20: 3b 0a 7d 20 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c  ;.} ../*.** Call
0f30: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0f40: 28 29 20 66 6f 72 20 65 76 65 72 79 20 65 78 70  () for every exp
0f50: 72 65 73 73 69 6f 6e 20 69 6e 20 53 65 6c 65 63  ression in Selec
0f60: 74 20 73 74 61 74 65 6d 65 6e 74 20 70 2e 0a 2a  t statement p..*
0f70: 2a 20 49 6e 76 6f 6b 65 20 73 71 6c 69 74 65 33  * Invoke sqlite3
0f80: 57 61 6c 6b 53 65 6c 65 63 74 28 29 20 66 6f 72  WalkSelect() for
0f90: 20 73 75 62 71 75 65 72 69 65 73 20 69 6e 20 74   subqueries in t
0fa0: 68 65 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 61  he FROM clause a
0fb0: 6e 64 0a 2a 2a 20 6f 6e 20 74 68 65 20 63 6f 6d  nd.** on the com
0fc0: 70 6f 75 6e 64 20 73 65 6c 65 63 74 20 63 68 61  pound select cha
0fd0: 69 6e 2c 20 70 2d 3e 70 50 72 69 6f 72 2e 20 0a  in, p->pPrior. .
0fe0: 2a 2a 0a 2a 2a 20 49 66 20 69 74 20 69 73 20 6e  **.** If it is n
0ff0: 6f 74 20 4e 55 4c 4c 2c 20 74 68 65 20 78 53 65  ot NULL, the xSe
1000: 6c 65 63 74 43 61 6c 6c 62 61 63 6b 28 29 20 63  lectCallback() c
1010: 61 6c 6c 62 61 63 6b 20 69 73 20 69 6e 76 6f 6b  allback is invok
1020: 65 64 20 62 65 66 6f 72 65 0a 2a 2a 20 74 68 65  ed before.** the
1030: 20 77 61 6c 6b 20 6f 66 20 74 68 65 20 65 78 70   walk of the exp
1040: 72 65 73 73 69 6f 6e 73 20 61 6e 64 20 46 52 4f  ressions and FRO
1050: 4d 20 63 6c 61 75 73 65 2e 20 54 68 65 20 78 53  M clause. The xS
1060: 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 32 28 29  electCallback2()
1070: 0a 2a 2a 20 6d 65 74 68 6f 64 2c 20 69 66 20 69  .** method, if i
1080: 74 20 69 73 20 6e 6f 74 20 4e 55 4c 4c 2c 20 69  t is not NULL, i
1090: 73 20 69 6e 76 6f 6b 65 64 20 66 6f 6c 6c 6f 77  s invoked follow
10a0: 69 6e 67 20 74 68 65 20 77 61 6c 6b 20 6f 66 20  ing the walk of 
10b0: 74 68 65 20 0a 2a 2a 20 65 78 70 72 65 73 73 69  the .** expressi
10c0: 6f 6e 73 20 61 6e 64 20 46 52 4f 4d 20 63 6c 61  ons and FROM cla
10d0: 75 73 65 2e 0a 2a 2a 0a 2a 2a 20 52 65 74 75 72  use..**.** Retur
10e0: 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20 75  n WRC_Continue u
10f0: 6e 64 65 72 20 6e 6f 72 6d 61 6c 20 63 6f 6e 64  nder normal cond
1100: 69 74 69 6f 6e 73 2e 20 20 52 65 74 75 72 6e 20  itions.  Return 
1110: 57 52 43 5f 41 62 6f 72 74 20 69 66 0a 2a 2a 20  WRC_Abort if.** 
1120: 74 68 65 72 65 20 69 73 20 61 6e 20 61 62 6f 72  there is an abor
1130: 74 20 72 65 71 75 65 73 74 2e 0a 2a 2a 0a 2a 2a  t request..**.**
1140: 20 49 66 20 74 68 65 20 57 61 6c 6b 65 72 20 64   If the Walker d
1150: 6f 65 73 20 6e 6f 74 20 68 61 76 65 20 61 6e 20  oes not have an 
1160: 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 28  xSelectCallback(
1170: 29 20 74 68 65 6e 20 74 68 69 73 20 72 6f 75 74  ) then this rout
1180: 69 6e 65 0a 2a 2a 20 69 73 20 61 20 6e 6f 2d 6f  ine.** is a no-o
1190: 70 20 72 65 74 75 72 6e 69 6e 67 20 57 52 43 5f  p returning WRC_
11a0: 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74  Continue..*/.int
11b0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65   sqlite3WalkSele
11c0: 63 74 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b  ct(Walker *pWalk
11d0: 65 72 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b 0a  er, Select *p){.
11e0: 20 20 69 6e 74 20 72 63 3b 0a 20 20 69 66 28 20    int rc;.  if( 
11f0: 70 3d 3d 30 20 7c 7c 20 28 70 57 61 6c 6b 65 72  p==0 || (pWalker
1200: 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63  ->xSelectCallbac
1210: 6b 3d 3d 30 20 26 26 20 70 57 61 6c 6b 65 72 2d  k==0 && pWalker-
1220: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
1230: 32 3d 3d 30 29 20 29 7b 0a 20 20 20 20 72 65 74  2==0) ){.    ret
1240: 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  urn WRC_Continue
1250: 3b 0a 20 20 7d 0a 20 20 72 63 20 3d 20 57 52 43  ;.  }.  rc = WRC
1260: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20 70 57 61  _Continue;.  pWa
1270: 6c 6b 65 72 2d 3e 77 61 6c 6b 65 72 44 65 70 74  lker->walkerDept
1280: 68 2b 2b 3b 0a 20 20 77 68 69 6c 65 28 20 70 20  h++;.  while( p 
1290: 29 7b 0a 20 20 20 20 69 66 28 20 70 57 61 6c 6b  ){.    if( pWalk
12a0: 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62  er->xSelectCallb
12b0: 61 63 6b 20 29 7b 0a 20 20 20 20 20 20 20 72 63  ack ){.       rc
12c0: 20 3d 20 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c   = pWalker->xSel
12d0: 65 63 74 43 61 6c 6c 62 61 63 6b 28 70 57 61 6c  ectCallback(pWal
12e0: 6b 65 72 2c 20 70 29 3b 0a 20 20 20 20 20 20 20  ker, p);.       
12f0: 69 66 28 20 72 63 20 29 20 62 72 65 61 6b 3b 0a  if( rc ) break;.
1300: 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20 73 71      }.    if( sq
1310: 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 45  lite3WalkSelectE
1320: 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 29 0a  xpr(pWalker, p).
1330: 20 20 20 20 20 7c 7c 20 73 71 6c 69 74 65 33 57       || sqlite3W
1340: 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d 28 70 57  alkSelectFrom(pW
1350: 61 6c 6b 65 72 2c 20 70 29 0a 20 20 20 20 29 7b  alker, p).    ){
1360: 0a 20 20 20 20 20 20 70 57 61 6c 6b 65 72 2d 3e  .      pWalker->
1370: 77 61 6c 6b 65 72 44 65 70 74 68 2d 2d 3b 0a 20  walkerDepth--;. 
1380: 20 20 20 20 20 72 65 74 75 72 6e 20 57 52 43 5f       return WRC_
1390: 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a 20 20 20  Abort;.    }.   
13a0: 20 69 66 28 20 70 57 61 6c 6b 65 72 2d 3e 78 53   if( pWalker->xS
13b0: 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 32 20 29  electCallback2 )
13c0: 7b 0a 20 20 20 20 20 20 70 57 61 6c 6b 65 72 2d  {.      pWalker-
13d0: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
13e0: 32 28 70 57 61 6c 6b 65 72 2c 20 70 29 3b 0a 20  2(pWalker, p);. 
13f0: 20 20 20 7d 0a 20 20 20 20 70 20 3d 20 70 2d 3e     }.    p = p->
1400: 70 50 72 69 6f 72 3b 0a 20 20 7d 0a 20 20 70 57  pPrior;.  }.  pW
1410: 61 6c 6b 65 72 2d 3e 77 61 6c 6b 65 72 44 65 70  alker->walkerDep
1420: 74 68 2d 2d 3b 0a 20 20 72 65 74 75 72 6e 20 72  th--;.  return r
1430: 63 20 26 20 57 52 43 5f 41 62 6f 72 74 3b 0a 7d  c & WRC_Abort;.}
1440: 0a                                               .