/ Hex Artifact Content
Login

Artifact 4ba292cadd145b8b77e8b2128a363beff0bd87c7f9abfe090c0948eb0330d727:


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 2c 20 62 75 74 20  hild nodes, but 
03c0: 61 6c 6c 6f 77 0a 2a 2a 20 20 20 20 20 20 20 20  allow.**        
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 68                th
03e0: 65 20 77 61 6c 6b 20 74 6f 20 63 6f 6e 74 69 6e  e walk to contin
03f0: 75 65 20 77 69 74 68 20 73 69 62 6c 69 6e 67 20  ue with sibling 
0400: 6e 6f 64 65 73 2e 0a 2a 2a 0a 2a 2a 20 20 20 20  nodes..**.**    
0410: 57 52 43 5f 41 62 6f 72 74 20 20 20 20 20 20 20  WRC_Abort       
0420: 20 20 44 6f 20 6e 6f 20 6d 6f 72 65 20 63 61 6c    Do no more cal
0430: 6c 62 61 63 6b 73 2e 20 20 55 6e 77 69 6e 64 20  lbacks.  Unwind 
0440: 74 68 65 20 73 74 61 63 6b 20 61 6e 64 0a 2a 2a  the stack and.**
0450: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0460: 20 20 20 20 20 20 72 65 74 75 72 6e 20 66 72 6f        return fro
0470: 6d 20 74 68 65 20 74 6f 70 2d 6c 65 76 65 6c 20  m the top-level 
0480: 77 61 6c 6b 20 63 61 6c 6c 2e 0a 2a 2a 0a 2a 2a  walk call..**.**
0490: 20 54 68 65 20 72 65 74 75 72 6e 20 76 61 6c 75   The return valu
04a0: 65 20 66 72 6f 6d 20 74 68 69 73 20 72 6f 75 74  e from this rout
04b0: 69 6e 65 20 69 73 20 57 52 43 5f 41 62 6f 72 74  ine is WRC_Abort
04c0: 20 74 6f 20 61 62 61 6e 64 6f 6e 20 74 68 65 20   to abandon the 
04d0: 74 72 65 65 20 77 61 6c 6b 0a 2a 2a 20 61 6e 64  tree walk.** and
04e0: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20 74 6f   WRC_Continue to
04f0: 20 63 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 73 74   continue..*/.st
0500: 61 74 69 63 20 53 51 4c 49 54 45 5f 4e 4f 49 4e  atic SQLITE_NOIN
0510: 4c 49 4e 45 20 69 6e 74 20 77 61 6c 6b 45 78 70  LINE int walkExp
0520: 72 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65  r(Walker *pWalke
0530: 72 2c 20 45 78 70 72 20 2a 70 45 78 70 72 29 7b  r, Expr *pExpr){
0540: 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20 74 65 73  .  int rc;.  tes
0550: 74 63 61 73 65 28 20 45 78 70 72 48 61 73 50 72  tcase( ExprHasPr
0560: 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45 50  operty(pExpr, EP
0570: 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 3b 0a 20  _TokenOnly) );. 
0580: 20 74 65 73 74 63 61 73 65 28 20 45 78 70 72 48   testcase( ExprH
0590: 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70 72  asProperty(pExpr
05a0: 2c 20 45 50 5f 52 65 64 75 63 65 64 29 20 29 3b  , EP_Reduced) );
05b0: 0a 20 20 77 68 69 6c 65 28 31 29 7b 0a 20 20 20  .  while(1){.   
05c0: 20 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d 3e 78   rc = pWalker->x
05d0: 45 78 70 72 43 61 6c 6c 62 61 63 6b 28 70 57 61  ExprCallback(pWa
05e0: 6c 6b 65 72 2c 20 70 45 78 70 72 29 3b 0a 20 20  lker, pExpr);.  
05f0: 20 20 69 66 28 20 72 63 20 29 20 72 65 74 75 72    if( rc ) retur
0600: 6e 20 72 63 20 26 20 57 52 43 5f 41 62 6f 72 74  n rc & WRC_Abort
0610: 3b 0a 20 20 20 20 69 66 28 20 21 45 78 70 72 48  ;.    if( !ExprH
0620: 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70 72  asProperty(pExpr
0630: 2c 28 45 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 7c 45  ,(EP_TokenOnly|E
0640: 50 5f 4c 65 61 66 29 29 20 29 7b 0a 20 20 20 20  P_Leaf)) ){.    
0650: 20 20 69 66 28 20 70 45 78 70 72 2d 3e 70 4c 65    if( pExpr->pLe
0660: 66 74 20 26 26 20 77 61 6c 6b 45 78 70 72 28 70  ft && walkExpr(p
0670: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70  Walker, pExpr->p
0680: 4c 65 66 74 29 20 29 20 72 65 74 75 72 6e 20 57  Left) ) return W
0690: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20  RC_Abort;.      
06a0: 73 77 69 74 63 68 28 20 70 45 78 70 72 2d 3e 65  switch( pExpr->e
06b0: 58 20 29 7b 0a 20 20 20 20 20 20 20 20 63 61 73  X ){.        cas
06c0: 65 20 45 58 5f 52 69 67 68 74 3a 20 7b 0a 20 20  e EX_Right: {.  
06d0: 20 20 20 20 20 20 20 20 70 45 78 70 72 20 3d 20          pExpr = 
06e0: 70 45 78 70 72 2d 3e 78 2e 70 52 69 67 68 74 3b  pExpr->x.pRight;
06f0: 0a 20 20 20 20 20 20 20 20 20 20 63 6f 6e 74 69  .          conti
0700: 6e 75 65 3b 0a 20 20 20 20 20 20 20 20 7d 0a 20  nue;.        }. 
0710: 20 20 20 20 20 20 20 63 61 73 65 20 45 58 5f 53         case EX_S
0720: 65 6c 65 63 74 3a 20 7b 0a 20 20 20 20 20 20 20  elect: {.       
0730: 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61     if( sqlite3Wa
0740: 6c 6b 53 65 6c 65 63 74 28 70 57 61 6c 6b 65 72  lkSelect(pWalker
0750: 2c 20 70 45 78 70 72 2d 3e 78 2e 70 53 65 6c 65  , pExpr->x.pSele
0760: 63 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  ct) ) return WRC
0770: 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20 20 20  _Abort;.        
0780: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 20 20 20    break;.       
0790: 20 7d 0a 20 20 20 20 20 20 20 20 63 61 73 65 20   }.        case 
07a0: 45 58 5f 4c 69 73 74 3a 20 7b 0a 20 20 20 20 20  EX_List: {.     
07b0: 20 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33       if( sqlite3
07c0: 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61  WalkExprList(pWa
07d0: 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78 2e 70  lker, pExpr->x.p
07e0: 4c 69 73 74 29 20 29 20 72 65 74 75 72 6e 20 57  List) ) return W
07f0: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20  RC_Abort;.      
0800: 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 20      break;.     
0810: 20 20 20 7d 0a 20 20 20 20 20 20 7d 0a 23 69 66     }.      }.#if
0820: 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54  ndef SQLITE_OMIT
0830: 5f 57 49 4e 44 4f 57 46 55 4e 43 0a 20 20 20 20  _WINDOWFUNC.    
0840: 20 20 69 66 28 20 21 45 78 70 72 48 61 73 50 72    if( !ExprHasPr
0850: 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45 50  operty(pExpr, EP
0860: 5f 52 65 64 75 63 65 64 29 20 26 26 20 70 45 78  _Reduced) && pEx
0870: 70 72 2d 3e 70 57 69 6e 20 29 7b 0a 20 20 20 20  pr->pWin ){.    
0880: 20 20 20 20 57 69 6e 64 6f 77 20 2a 70 57 69 6e      Window *pWin
0890: 20 3d 20 70 45 78 70 72 2d 3e 70 57 69 6e 3b 0a   = pExpr->pWin;.
08a0: 20 20 20 20 20 20 20 20 69 66 28 20 73 71 6c 69          if( sqli
08b0: 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28  te3WalkExprList(
08c0: 70 57 61 6c 6b 65 72 2c 20 70 57 69 6e 2d 3e 70  pWalker, pWin->p
08d0: 50 61 72 74 69 74 69 6f 6e 29 20 29 20 72 65 74  Partition) ) ret
08e0: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
08f0: 20 20 20 20 20 20 20 69 66 28 20 73 71 6c 69 74         if( sqlit
0900: 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70  e3WalkExprList(p
0910: 57 61 6c 6b 65 72 2c 20 70 57 69 6e 2d 3e 70 4f  Walker, pWin->pO
0920: 72 64 65 72 42 79 29 20 29 20 72 65 74 75 72 6e  rderBy) ) return
0930: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20   WRC_Abort;.    
0940: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57      if( sqlite3W
0950: 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c  alkExpr(pWalker,
0960: 20 70 57 69 6e 2d 3e 70 46 69 6c 74 65 72 29 20   pWin->pFilter) 
0970: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0980: 72 74 3b 0a 20 20 20 20 20 20 7d 0a 23 65 6e 64  rt;.      }.#end
0990: 69 66 0a 20 20 20 20 7d 0a 20 20 20 20 62 72 65  if.    }.    bre
09a0: 61 6b 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e  ak;.  }.  return
09b0: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d   WRC_Continue;.}
09c0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b  .int sqlite3Walk
09d0: 45 78 70 72 28 57 61 6c 6b 65 72 20 2a 70 57 61  Expr(Walker *pWa
09e0: 6c 6b 65 72 2c 20 45 78 70 72 20 2a 70 45 78 70  lker, Expr *pExp
09f0: 72 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 45 78  r){.  return pEx
0a00: 70 72 20 3f 20 77 61 6c 6b 45 78 70 72 28 70 57  pr ? walkExpr(pW
0a10: 61 6c 6b 65 72 2c 70 45 78 70 72 29 20 3a 20 57  alker,pExpr) : W
0a20: 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a  RC_Continue;.}..
0a30: 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73 71 6c 69 74  /*.** Call sqlit
0a40: 65 33 57 61 6c 6b 45 78 70 72 28 29 20 66 6f 72  e3WalkExpr() for
0a50: 20 65 76 65 72 79 20 65 78 70 72 65 73 73 69 6f   every expressio
0a60: 6e 20 69 6e 20 6c 69 73 74 20 70 20 6f 72 20 75  n in list p or u
0a70: 6e 74 69 6c 0a 2a 2a 20 61 6e 20 61 62 6f 72 74  ntil.** an abort
0a80: 20 72 65 71 75 65 73 74 20 69 73 20 73 65 65 6e   request is seen
0a90: 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33  ..*/.int sqlite3
0aa0: 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 57 61 6c  WalkExprList(Wal
0ab0: 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45 78  ker *pWalker, Ex
0ac0: 70 72 4c 69 73 74 20 2a 70 29 7b 0a 20 20 69 6e  prList *p){.  in
0ad0: 74 20 69 3b 0a 20 20 73 74 72 75 63 74 20 45 78  t i;.  struct Ex
0ae0: 70 72 4c 69 73 74 5f 69 74 65 6d 20 2a 70 49 74  prList_item *pIt
0af0: 65 6d 3b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20  em;.  if( p ){. 
0b00: 20 20 20 66 6f 72 28 69 3d 70 2d 3e 6e 45 78 70     for(i=p->nExp
0b10: 72 2c 20 70 49 74 65 6d 3d 70 2d 3e 61 3b 20 69  r, pItem=p->a; i
0b20: 3e 30 3b 20 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b  >0; i--, pItem++
0b30: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73 71 6c  ){.      if( sql
0b40: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61  ite3WalkExpr(pWa
0b50: 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 70 45 78  lker, pItem->pEx
0b60: 70 72 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  pr) ) return WRC
0b70: 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a 20 20  _Abort;.    }.  
0b80: 7d 0a 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43  }.  return WRC_C
0b90: 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a  ontinue;.}../*.*
0ba0: 2a 20 57 61 6c 6b 20 61 6c 6c 20 65 78 70 72 65  * Walk all expre
0bb0: 73 73 69 6f 6e 73 20 61 73 73 6f 63 69 61 74 65  ssions associate
0bc0: 64 20 77 69 74 68 20 53 45 4c 45 43 54 20 73 74  d with SELECT st
0bd0: 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f 0a 2a  atement p.  Do.*
0be0: 2a 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74 68 65  * not invoke the
0bf0: 20 53 45 4c 45 43 54 20 63 61 6c 6c 62 61 63 6b   SELECT callback
0c00: 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20 28 6f   on p, but do (o
0c10: 66 20 63 6f 75 72 73 65 29 20 69 6e 76 6f 6b 65  f course) invoke
0c20: 0a 2a 2a 20 61 6e 79 20 65 78 70 72 20 63 61 6c  .** any expr cal
0c30: 6c 62 61 63 6b 73 20 61 6e 64 20 53 45 4c 45 43  lbacks and SELEC
0c40: 54 20 63 61 6c 6c 62 61 63 6b 73 20 74 68 61 74  T callbacks that
0c50: 20 63 6f 6d 65 20 66 72 6f 6d 20 73 75 62 71 75   come from subqu
0c60: 65 72 69 65 73 2e 0a 2a 2a 20 52 65 74 75 72 6e  eries..** Return
0c70: 20 57 52 43 5f 41 62 6f 72 74 20 6f 72 20 57 52   WRC_Abort or WR
0c80: 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69  C_Continue..*/.i
0c90: 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65  nt sqlite3WalkSe
0ca0: 6c 65 63 74 45 78 70 72 28 57 61 6c 6b 65 72 20  lectExpr(Walker 
0cb0: 2a 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74  *pWalker, Select
0cc0: 20 2a 70 29 7b 0a 20 20 69 66 28 20 73 71 6c 69   *p){.  if( sqli
0cd0: 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28  te3WalkExprList(
0ce0: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 45 4c 69  pWalker, p->pELi
0cf0: 73 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  st) ) return WRC
0d00: 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71  _Abort;.  if( sq
0d10: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57  lite3WalkExpr(pW
0d20: 61 6c 6b 65 72 2c 20 70 2d 3e 70 57 68 65 72 65  alker, p->pWhere
0d30: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0d40: 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69  bort;.  if( sqli
0d50: 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28  te3WalkExprList(
0d60: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 47 72 6f  pWalker, p->pGro
0d70: 75 70 42 79 29 20 29 20 72 65 74 75 72 6e 20 57  upBy) ) return W
0d80: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20  RC_Abort;.  if( 
0d90: 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28  sqlite3WalkExpr(
0da0: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 48 61 76  pWalker, p->pHav
0db0: 69 6e 67 29 20 29 20 72 65 74 75 72 6e 20 57 52  ing) ) return WR
0dc0: 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73  C_Abort;.  if( s
0dd0: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69  qlite3WalkExprLi
0de0: 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  st(pWalker, p->p
0df0: 4f 72 64 65 72 42 79 29 20 29 20 72 65 74 75 72  OrderBy) ) retur
0e00: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69  n WRC_Abort;.  i
0e10: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  f( sqlite3WalkEx
0e20: 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  pr(pWalker, p->p
0e30: 4c 69 6d 69 74 29 20 29 20 72 65 74 75 72 6e 20  Limit) ) return 
0e40: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 72 65 74  WRC_Abort;.  ret
0e50: 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  urn WRC_Continue
0e60: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20  ;.}../*.** Walk 
0e70: 74 68 65 20 70 61 72 73 65 20 74 72 65 65 73 20  the parse trees 
0e80: 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20  associated with 
0e90: 61 6c 6c 20 73 75 62 71 75 65 72 69 65 73 20 69  all subqueries i
0ea0: 6e 20 74 68 65 0a 2a 2a 20 46 52 4f 4d 20 63 6c  n the.** FROM cl
0eb0: 61 75 73 65 20 6f 66 20 53 45 4c 45 43 54 20 73  ause of SELECT s
0ec0: 74 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f 20  tatement p.  Do 
0ed0: 6e 6f 74 20 69 6e 76 6f 6b 65 20 74 68 65 20 73  not invoke the s
0ee0: 65 6c 65 63 74 0a 2a 2a 20 63 61 6c 6c 62 61 63  elect.** callbac
0ef0: 6b 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20 69  k on p, but do i
0f00: 6e 76 6f 6b 65 20 69 74 20 6f 6e 20 65 61 63 68  nvoke it on each
0f10: 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 73 75 62   FROM clause sub
0f20: 71 75 65 72 79 0a 2a 2a 20 61 6e 64 20 6f 6e 20  query.** and on 
0f30: 61 6e 79 20 73 75 62 71 75 65 72 69 65 73 20 66  any subqueries f
0f40: 75 72 74 68 65 72 20 64 6f 77 6e 20 69 6e 20 74  urther down in t
0f50: 68 65 20 74 72 65 65 2e 20 20 52 65 74 75 72 6e  he tree.  Return
0f60: 20 0a 2a 2a 20 57 52 43 5f 41 62 6f 72 74 20 6f   .** WRC_Abort o
0f70: 72 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a  r WRC_Continue;.
0f80: 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61  */.int sqlite3Wa
0f90: 6c 6b 53 65 6c 65 63 74 46 72 6f 6d 28 57 61 6c  lkSelectFrom(Wal
0fa0: 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53 65  ker *pWalker, Se
0fb0: 6c 65 63 74 20 2a 70 29 7b 0a 20 20 53 72 63 4c  lect *p){.  SrcL
0fc0: 69 73 74 20 2a 70 53 72 63 3b 0a 20 20 69 6e 74  ist *pSrc;.  int
0fd0: 20 69 3b 0a 20 20 73 74 72 75 63 74 20 53 72 63   i;.  struct Src
0fe0: 4c 69 73 74 5f 69 74 65 6d 20 2a 70 49 74 65 6d  List_item *pItem
0ff0: 3b 0a 0a 20 20 70 53 72 63 20 3d 20 70 2d 3e 70  ;..  pSrc = p->p
1000: 53 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20 70  Src;.  assert( p
1010: 53 72 63 21 3d 30 20 29 3b 0a 20 20 66 6f 72 28  Src!=0 );.  for(
1020: 69 3d 70 53 72 63 2d 3e 6e 53 72 63 2c 20 70 49  i=pSrc->nSrc, pI
1030: 74 65 6d 3d 70 53 72 63 2d 3e 61 3b 20 69 3e 30  tem=pSrc->a; i>0
1040: 3b 20 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b 29 7b  ; i--, pItem++){
1050: 0a 20 20 20 20 69 66 28 20 70 49 74 65 6d 2d 3e  .    if( pItem->
1060: 70 53 65 6c 65 63 74 20 26 26 20 73 71 6c 69 74  pSelect && sqlit
1070: 65 33 57 61 6c 6b 53 65 6c 65 63 74 28 70 57 61  e3WalkSelect(pWa
1080: 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 70 53 65  lker, pItem->pSe
1090: 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 20 20 72  lect) ){.      r
10a0: 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b  eturn WRC_Abort;
10b0: 0a 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20 70  .    }.    if( p
10c0: 49 74 65 6d 2d 3e 66 67 2e 69 73 54 61 62 46 75  Item->fg.isTabFu
10d0: 6e 63 0a 20 20 20 20 20 26 26 20 73 71 6c 69 74  nc.     && sqlit
10e0: 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70  e3WalkExprList(p
10f0: 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 75  Walker, pItem->u
1100: 31 2e 70 46 75 6e 63 41 72 67 29 0a 20 20 20 20  1.pFuncArg).    
1110: 29 7b 0a 20 20 20 20 20 20 72 65 74 75 72 6e 20  ){.      return 
1120: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d  WRC_Abort;.    }
1130: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 57 52  .  }.  return WR
1140: 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 20 0a 0a  C_Continue;.} ..
1150: 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73 71 6c 69 74  /*.** Call sqlit
1160: 65 33 57 61 6c 6b 45 78 70 72 28 29 20 66 6f 72  e3WalkExpr() for
1170: 20 65 76 65 72 79 20 65 78 70 72 65 73 73 69 6f   every expressio
1180: 6e 20 69 6e 20 53 65 6c 65 63 74 20 73 74 61 74  n in Select stat
1190: 65 6d 65 6e 74 20 70 2e 0a 2a 2a 20 49 6e 76 6f  ement p..** Invo
11a0: 6b 65 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65  ke sqlite3WalkSe
11b0: 6c 65 63 74 28 29 20 66 6f 72 20 73 75 62 71 75  lect() for subqu
11c0: 65 72 69 65 73 20 69 6e 20 74 68 65 20 46 52 4f  eries in the FRO
11d0: 4d 20 63 6c 61 75 73 65 20 61 6e 64 0a 2a 2a 20  M clause and.** 
11e0: 6f 6e 20 74 68 65 20 63 6f 6d 70 6f 75 6e 64 20  on the compound 
11f0: 73 65 6c 65 63 74 20 63 68 61 69 6e 2c 20 70 2d  select chain, p-
1200: 3e 70 50 72 69 6f 72 2e 20 0a 2a 2a 0a 2a 2a 20  >pPrior. .**.** 
1210: 49 66 20 69 74 20 69 73 20 6e 6f 74 20 4e 55 4c  If it is not NUL
1220: 4c 2c 20 74 68 65 20 78 53 65 6c 65 63 74 43 61  L, the xSelectCa
1230: 6c 6c 62 61 63 6b 28 29 20 63 61 6c 6c 62 61 63  llback() callbac
1240: 6b 20 69 73 20 69 6e 76 6f 6b 65 64 20 62 65 66  k is invoked bef
1250: 6f 72 65 0a 2a 2a 20 74 68 65 20 77 61 6c 6b 20  ore.** the walk 
1260: 6f 66 20 74 68 65 20 65 78 70 72 65 73 73 69 6f  of the expressio
1270: 6e 73 20 61 6e 64 20 46 52 4f 4d 20 63 6c 61 75  ns and FROM clau
1280: 73 65 2e 20 54 68 65 20 78 53 65 6c 65 63 74 43  se. The xSelectC
1290: 61 6c 6c 62 61 63 6b 32 28 29 0a 2a 2a 20 6d 65  allback2().** me
12a0: 74 68 6f 64 20 69 73 20 69 6e 76 6f 6b 65 64 20  thod is invoked 
12b0: 66 6f 6c 6c 6f 77 69 6e 67 20 74 68 65 20 77 61  following the wa
12c0: 6c 6b 20 6f 66 20 74 68 65 20 65 78 70 72 65 73  lk of the expres
12d0: 73 69 6f 6e 73 20 61 6e 64 20 46 52 4f 4d 20 63  sions and FROM c
12e0: 6c 61 75 73 65 2c 0a 2a 2a 20 62 75 74 20 6f 6e  lause,.** but on
12f0: 6c 79 20 69 66 20 62 6f 74 68 20 78 53 65 6c 65  ly if both xSele
1300: 63 74 43 61 6c 6c 62 61 63 6b 20 61 6e 64 20 78  ctCallback and x
1310: 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 32 20  SelectCallback2 
1320: 61 72 65 20 62 6f 74 68 20 6e 6f 6e 2d 4e 55 4c  are both non-NUL
1330: 4c 0a 2a 2a 20 61 6e 64 20 69 66 20 74 68 65 20  L.** and if the 
1340: 65 78 70 72 65 73 73 69 6f 6e 73 20 61 6e 64 20  expressions and 
1350: 46 52 4f 4d 20 63 6c 61 75 73 65 20 62 6f 74 68  FROM clause both
1360: 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74   return WRC_Cont
1370: 69 6e 75 65 3b 0a 2a 2a 0a 2a 2a 20 52 65 74 75  inue;.**.** Retu
1380: 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20  rn WRC_Continue 
1390: 75 6e 64 65 72 20 6e 6f 72 6d 61 6c 20 63 6f 6e  under normal con
13a0: 64 69 74 69 6f 6e 73 2e 20 20 52 65 74 75 72 6e  ditions.  Return
13b0: 20 57 52 43 5f 41 62 6f 72 74 20 69 66 0a 2a 2a   WRC_Abort if.**
13c0: 20 74 68 65 72 65 20 69 73 20 61 6e 20 61 62 6f   there is an abo
13d0: 72 74 20 72 65 71 75 65 73 74 2e 0a 2a 2a 0a 2a  rt request..**.*
13e0: 2a 20 49 66 20 74 68 65 20 57 61 6c 6b 65 72 20  * If the Walker 
13f0: 64 6f 65 73 20 6e 6f 74 20 68 61 76 65 20 61 6e  does not have an
1400: 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b   xSelectCallback
1410: 28 29 20 74 68 65 6e 20 74 68 69 73 20 72 6f 75  () then this rou
1420: 74 69 6e 65 0a 2a 2a 20 69 73 20 61 20 6e 6f 2d  tine.** is a no-
1430: 6f 70 20 72 65 74 75 72 6e 69 6e 67 20 57 52 43  op returning WRC
1440: 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69 6e  _Continue..*/.in
1450: 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c  t sqlite3WalkSel
1460: 65 63 74 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c  ect(Walker *pWal
1470: 6b 65 72 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b  ker, Select *p){
1480: 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20 69 66 28  .  int rc;.  if(
1490: 20 70 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 57   p==0 ) return W
14a0: 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20 69  RC_Continue;.  i
14b0: 66 28 20 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c  f( pWalker->xSel
14c0: 65 63 74 43 61 6c 6c 62 61 63 6b 3d 3d 30 20 29  ectCallback==0 )
14d0: 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74   return WRC_Cont
14e0: 69 6e 75 65 3b 0a 20 20 64 6f 7b 0a 20 20 20 20  inue;.  do{.    
14f0: 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d 3e 78 53  rc = pWalker->xS
1500: 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 28 70 57  electCallback(pW
1510: 61 6c 6b 65 72 2c 20 70 29 3b 0a 20 20 20 20 69  alker, p);.    i
1520: 66 28 20 72 63 20 29 20 72 65 74 75 72 6e 20 72  f( rc ) return r
1530: 63 20 26 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  c & WRC_Abort;. 
1540: 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61     if( sqlite3Wa
1550: 6c 6b 53 65 6c 65 63 74 45 78 70 72 28 70 57 61  lkSelectExpr(pWa
1560: 6c 6b 65 72 2c 20 70 29 0a 20 20 20 20 20 7c 7c  lker, p).     ||
1570: 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65   sqlite3WalkSele
1580: 63 74 46 72 6f 6d 28 70 57 61 6c 6b 65 72 2c 20  ctFrom(pWalker, 
1590: 70 29 0a 20 20 20 20 29 7b 0a 20 20 20 20 20 20  p).    ){.      
15a0: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
15b0: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20  ;.    }.    if( 
15c0: 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74  pWalker->xSelect
15d0: 43 61 6c 6c 62 61 63 6b 32 20 29 7b 0a 20 20 20  Callback2 ){.   
15e0: 20 20 20 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c     pWalker->xSel
15f0: 65 63 74 43 61 6c 6c 62 61 63 6b 32 28 70 57 61  ectCallback2(pWa
1600: 6c 6b 65 72 2c 20 70 29 3b 0a 20 20 20 20 7d 0a  lker, p);.    }.
1610: 20 20 20 20 70 20 3d 20 70 2d 3e 70 50 72 69 6f      p = p->pPrio
1620: 72 3b 0a 20 20 7d 77 68 69 6c 65 28 20 70 21 3d  r;.  }while( p!=
1630: 30 20 29 3b 0a 20 20 72 65 74 75 72 6e 20 57 52  0 );.  return WR
1640: 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a        C_Continue;.}.