/ Hex Artifact Content
Login
Home Timeline Branches Tags Tickets Wiki More...
Download

Artifact 83042807db1a27175fcb39be8f3e2a839dbdddb2:

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 73 74 61 74 69 63  tinue..*/.static
0500: 20 53 51 4c 49 54 45 5f 4e 4f 49 4e 4c 49 4e 45   SQLITE_NOINLINE
0510: 20 69 6e 74 20 77 61 6c 6b 45 78 70 72 28 57 61   int walkExpr(Wa
0520: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45  lker *pWalker, E
0530: 78 70 72 20 2a 70 45 78 70 72 29 7b 0a 20 20 69  xpr *pExpr){.  i
0540: 6e 74 20 72 63 3b 0a 20 20 74 65 73 74 63 61 73  nt rc;.  testcas
0550: 65 28 20 45 78 70 72 48 61 73 50 72 6f 70 65 72  e( ExprHasProper
0560: 74 79 28 70 45 78 70 72 2c 20 45 50 5f 54 6f 6b  ty(pExpr, EP_Tok
0570: 65 6e 4f 6e 6c 79 29 20 29 3b 0a 20 20 74 65 73  enOnly) );.  tes
0580: 74 63 61 73 65 28 20 45 78 70 72 48 61 73 50 72  tcase( ExprHasPr
0590: 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45 50  operty(pExpr, EP
05a0: 5f 52 65 64 75 63 65 64 29 20 29 3b 0a 20 20 72  _Reduced) );.  r
05b0: 63 20 3d 20 70 57 61 6c 6b 65 72 2d 3e 78 45 78  c = pWalker->xEx
05c0: 70 72 43 61 6c 6c 62 61 63 6b 28 70 57 61 6c 6b  prCallback(pWalk
05d0: 65 72 2c 20 70 45 78 70 72 29 3b 0a 20 20 69 66  er, pExpr);.  if
05e0: 28 20 72 63 20 7c 7c 20 45 78 70 72 48 61 73 50  ( rc || ExprHasP
05f0: 72 6f 70 65 72 74 79 28 70 45 78 70 72 2c 45 50  roperty(pExpr,EP
0600: 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 20 72 65  _TokenOnly) ) re
0610: 74 75 72 6e 20 72 63 20 26 20 57 52 43 5f 41 62  turn rc & WRC_Ab
0620: 6f 72 74 3b 0a 20 20 69 66 28 20 70 45 78 70 72  ort;.  if( pExpr
0630: 2d 3e 70 4c 65 66 74 20 26 26 20 77 61 6c 6b 45  ->pLeft && walkE
0640: 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 45 78  xpr(pWalker, pEx
0650: 70 72 2d 3e 70 4c 65 66 74 29 20 29 20 72 65 74  pr->pLeft) ) ret
0660: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
0670: 20 69 66 28 20 70 45 78 70 72 2d 3e 70 52 69 67   if( pExpr->pRig
0680: 68 74 20 26 26 20 77 61 6c 6b 45 78 70 72 28 70  ht && walkExpr(p
0690: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70  Walker, pExpr->p
06a0: 52 69 67 68 74 29 20 29 20 72 65 74 75 72 6e 20  Right) ) return 
06b0: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28  WRC_Abort;.  if(
06c0: 20 45 78 70 72 48 61 73 50 72 6f 70 65 72 74 79   ExprHasProperty
06d0: 28 70 45 78 70 72 2c 20 45 50 5f 78 49 73 53 65  (pExpr, EP_xIsSe
06e0: 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 69 66 28  lect) ){.    if(
06f0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65   sqlite3WalkSele
0700: 63 74 28 70 57 61 6c 6b 65 72 2c 20 70 45 78 70  ct(pWalker, pExp
0710: 72 2d 3e 78 2e 70 53 65 6c 65 63 74 29 20 29 20  r->x.pSelect) ) 
0720: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
0730: 3b 0a 20 20 7d 65 6c 73 65 20 69 66 28 20 70 45  ;.  }else if( pE
0740: 78 70 72 2d 3e 78 2e 70 4c 69 73 74 20 29 7b 0a  xpr->x.pList ){.
0750: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57      if( sqlite3W
0760: 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c  alkExprList(pWal
0770: 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78 2e 70 4c  ker, pExpr->x.pL
0780: 69 73 74 29 20 29 20 72 65 74 75 72 6e 20 57 52  ist) ) return WR
0790: 43 5f 41 62 6f 72 74 3b 0a 20 20 7d 0a 20 20 72  C_Abort;.  }.  r
07a0: 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e  eturn WRC_Contin
07b0: 75 65 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65  ue;.}.int sqlite
07c0: 33 57 61 6c 6b 45 78 70 72 28 57 61 6c 6b 65 72  3WalkExpr(Walker
07d0: 20 2a 70 57 61 6c 6b 65 72 2c 20 45 78 70 72 20   *pWalker, Expr 
07e0: 2a 70 45 78 70 72 29 7b 0a 20 20 72 65 74 75 72  *pExpr){.  retur
07f0: 6e 20 70 45 78 70 72 20 3f 20 77 61 6c 6b 45 78  n pExpr ? walkEx
0800: 70 72 28 70 57 61 6c 6b 65 72 2c 70 45 78 70 72  pr(pWalker,pExpr
0810: 29 20 3a 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  ) : WRC_Continue
0820: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c 20  ;.}../*.** Call 
0830: 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28  sqlite3WalkExpr(
0840: 29 20 66 6f 72 20 65 76 65 72 79 20 65 78 70 72  ) for every expr
0850: 65 73 73 69 6f 6e 20 69 6e 20 6c 69 73 74 20 70  ession in list p
0860: 20 6f 72 20 75 6e 74 69 6c 0a 2a 2a 20 61 6e 20   or until.** an 
0870: 61 62 6f 72 74 20 72 65 71 75 65 73 74 20 69 73  abort request is
0880: 20 73 65 65 6e 2e 0a 2a 2f 0a 69 6e 74 20 73 71   seen..*/.int sq
0890: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73  lite3WalkExprLis
08a0: 74 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65  t(Walker *pWalke
08b0: 72 2c 20 45 78 70 72 4c 69 73 74 20 2a 70 29 7b  r, ExprList *p){
08c0: 0a 20 20 69 6e 74 20 69 3b 0a 20 20 73 74 72 75  .  int i;.  stru
08d0: 63 74 20 45 78 70 72 4c 69 73 74 5f 69 74 65 6d  ct ExprList_item
08e0: 20 2a 70 49 74 65 6d 3b 0a 20 20 69 66 28 20 70   *pItem;.  if( p
08f0: 20 29 7b 0a 20 20 20 20 66 6f 72 28 69 3d 70 2d   ){.    for(i=p-
0900: 3e 6e 45 78 70 72 2c 20 70 49 74 65 6d 3d 70 2d  >nExpr, pItem=p-
0910: 3e 61 3b 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49  >a; i>0; i--, pI
0920: 74 65 6d 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66  tem++){.      if
0930: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70  ( sqlite3WalkExp
0940: 72 28 70 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d  r(pWalker, pItem
0950: 2d 3e 70 45 78 70 72 29 20 29 20 72 65 74 75 72  ->pExpr) ) retur
0960: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20  n WRC_Abort;.   
0970: 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20   }.  }.  return 
0980: 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a  WRC_Continue;.}.
0990: 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 61 6c 6c 20  ./*.** Walk all 
09a0: 65 78 70 72 65 73 73 69 6f 6e 73 20 61 73 73 6f  expressions asso
09b0: 63 69 61 74 65 64 20 77 69 74 68 20 53 45 4c 45  ciated with SELE
09c0: 43 54 20 73 74 61 74 65 6d 65 6e 74 20 70 2e 20  CT statement p. 
09d0: 20 44 6f 0a 2a 2a 20 6e 6f 74 20 69 6e 76 6f 6b   Do.** not invok
09e0: 65 20 74 68 65 20 53 45 4c 45 43 54 20 63 61 6c  e the SELECT cal
09f0: 6c 62 61 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20  lback on p, but 
0a00: 64 6f 20 28 6f 66 20 63 6f 75 72 73 65 29 20 69  do (of course) i
0a10: 6e 76 6f 6b 65 0a 2a 2a 20 61 6e 79 20 65 78 70  nvoke.** any exp
0a20: 72 20 63 61 6c 6c 62 61 63 6b 73 20 61 6e 64 20  r callbacks and 
0a30: 53 45 4c 45 43 54 20 63 61 6c 6c 62 61 63 6b 73  SELECT callbacks
0a40: 20 74 68 61 74 20 63 6f 6d 65 20 66 72 6f 6d 20   that come from 
0a50: 73 75 62 71 75 65 72 69 65 73 2e 0a 2a 2a 20 52  subqueries..** R
0a60: 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 20  eturn WRC_Abort 
0a70: 6f 72 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 2e  or WRC_Continue.
0a80: 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57  .*/.int sqlite3W
0a90: 61 6c 6b 53 65 6c 65 63 74 45 78 70 72 28 57 61  alkSelectExpr(Wa
0aa0: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53  lker *pWalker, S
0ab0: 65 6c 65 63 74 20 2a 70 29 7b 0a 20 20 69 66 28  elect *p){.  if(
0ac0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0ad0: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d  List(pWalker, p-
0ae0: 3e 70 45 4c 69 73 74 29 20 29 20 72 65 74 75 72  >pEList) ) retur
0af0: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69  n WRC_Abort;.  i
0b00: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  f( sqlite3WalkEx
0b10: 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  pr(pWalker, p->p
0b20: 57 68 65 72 65 29 20 29 20 72 65 74 75 72 6e 20  Where) ) return 
0b30: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28  WRC_Abort;.  if(
0b40: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0b50: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d  List(pWalker, p-
0b60: 3e 70 47 72 6f 75 70 42 79 29 20 29 20 72 65 74  >pGroupBy) ) ret
0b70: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
0b80: 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b   if( sqlite3Walk
0b90: 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d  Expr(pWalker, p-
0ba0: 3e 70 48 61 76 69 6e 67 29 20 29 20 72 65 74 75  >pHaving) ) retu
0bb0: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20  rn WRC_Abort;.  
0bc0: 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45  if( sqlite3WalkE
0bd0: 78 70 72 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c  xprList(pWalker,
0be0: 20 70 2d 3e 70 4f 72 64 65 72 42 79 29 20 29 20   p->pOrderBy) ) 
0bf0: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
0c00: 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33 57  ;.  if( sqlite3W
0c10: 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c  alkExpr(pWalker,
0c20: 20 70 2d 3e 70 4c 69 6d 69 74 29 20 29 20 72 65   p->pLimit) ) re
0c30: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a  turn WRC_Abort;.
0c40: 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c    if( sqlite3Wal
0c50: 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70  kExpr(pWalker, p
0c60: 2d 3e 70 4f 66 66 73 65 74 29 20 29 20 72 65 74  ->pOffset) ) ret
0c70: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
0c80: 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74   return WRC_Cont
0c90: 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57  inue;.}../*.** W
0ca0: 61 6c 6b 20 74 68 65 20 70 61 72 73 65 20 74 72  alk the parse tr
0cb0: 65 65 73 20 61 73 73 6f 63 69 61 74 65 64 20 77  ees associated w
0cc0: 69 74 68 20 61 6c 6c 20 73 75 62 71 75 65 72 69  ith all subqueri
0cd0: 65 73 20 69 6e 20 74 68 65 0a 2a 2a 20 46 52 4f  es in the.** FRO
0ce0: 4d 20 63 6c 61 75 73 65 20 6f 66 20 53 45 4c 45  M clause of SELE
0cf0: 43 54 20 73 74 61 74 65 6d 65 6e 74 20 70 2e 20  CT statement p. 
0d00: 20 44 6f 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74   Do not invoke t
0d10: 68 65 20 73 65 6c 65 63 74 0a 2a 2a 20 63 61 6c  he select.** cal
0d20: 6c 62 61 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20  lback on p, but 
0d30: 64 6f 20 69 6e 76 6f 6b 65 20 69 74 20 6f 6e 20  do invoke it on 
0d40: 65 61 63 68 20 46 52 4f 4d 20 63 6c 61 75 73 65  each FROM clause
0d50: 20 73 75 62 71 75 65 72 79 0a 2a 2a 20 61 6e 64   subquery.** and
0d60: 20 6f 6e 20 61 6e 79 20 73 75 62 71 75 65 72 69   on any subqueri
0d70: 65 73 20 66 75 72 74 68 65 72 20 64 6f 77 6e 20  es further down 
0d80: 69 6e 20 74 68 65 20 74 72 65 65 2e 20 20 52 65  in the tree.  Re
0d90: 74 75 72 6e 20 0a 2a 2a 20 57 52 43 5f 41 62 6f  turn .** WRC_Abo
0da0: 72 74 20 6f 72 20 57 52 43 5f 43 6f 6e 74 69 6e  rt or WRC_Contin
0db0: 75 65 3b 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74  ue;.*/.int sqlit
0dc0: 65 33 57 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d  e3WalkSelectFrom
0dd0: 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72  (Walker *pWalker
0de0: 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b 0a 20 20  , Select *p){.  
0df0: 53 72 63 4c 69 73 74 20 2a 70 53 72 63 3b 0a 20  SrcList *pSrc;. 
0e00: 20 69 6e 74 20 69 3b 0a 20 20 73 74 72 75 63 74   int i;.  struct
0e10: 20 53 72 63 4c 69 73 74 5f 69 74 65 6d 20 2a 70   SrcList_item *p
0e20: 49 74 65 6d 3b 0a 0a 20 20 70 53 72 63 20 3d 20  Item;..  pSrc = 
0e30: 70 2d 3e 70 53 72 63 3b 0a 20 20 69 66 28 20 41  p->pSrc;.  if( A
0e40: 4c 57 41 59 53 28 70 53 72 63 29 20 29 7b 0a 20  LWAYS(pSrc) ){. 
0e50: 20 20 20 66 6f 72 28 69 3d 70 53 72 63 2d 3e 6e     for(i=pSrc->n
0e60: 53 72 63 2c 20 70 49 74 65 6d 3d 70 53 72 63 2d  Src, pItem=pSrc-
0e70: 3e 61 3b 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49  >a; i>0; i--, pI
0e80: 74 65 6d 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66  tem++){.      if
0e90: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c  ( sqlite3WalkSel
0ea0: 65 63 74 28 70 57 61 6c 6b 65 72 2c 20 70 49 74  ect(pWalker, pIt
0eb0: 65 6d 2d 3e 70 53 65 6c 65 63 74 29 20 29 7b 0a  em->pSelect) ){.
0ec0: 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 57          return W
0ed0: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20  RC_Abort;.      
0ee0: 7d 0a 20 20 20 20 20 20 69 66 28 20 70 49 74 65  }.      if( pIte
0ef0: 6d 2d 3e 66 67 2e 69 73 54 61 62 46 75 6e 63 0a  m->fg.isTabFunc.
0f00: 20 20 20 20 20 20 20 26 26 20 73 71 6c 69 74 65         && sqlite
0f10: 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57  3WalkExprList(pW
0f20: 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 75 31  alker, pItem->u1
0f30: 2e 70 46 75 6e 63 41 72 67 29 0a 20 20 20 20 20  .pFuncArg).     
0f40: 20 29 7b 0a 20 20 20 20 20 20 20 20 72 65 74 75   ){.        retu
0f50: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20  rn WRC_Abort;.  
0f60: 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a      }.    }.  }.
0f70: 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e    return WRC_Con
0f80: 74 69 6e 75 65 3b 0a 7d 20 0a 0a 2f 2a 0a 2a 2a  tinue;.} ../*.**
0f90: 20 43 61 6c 6c 20 73 71 6c 69 74 65 33 57 61 6c   Call sqlite3Wal
0fa0: 6b 45 78 70 72 28 29 20 66 6f 72 20 65 76 65 72  kExpr() for ever
0fb0: 79 20 65 78 70 72 65 73 73 69 6f 6e 20 69 6e 20  y expression in 
0fc0: 53 65 6c 65 63 74 20 73 74 61 74 65 6d 65 6e 74  Select statement
0fd0: 20 70 2e 0a 2a 2a 20 49 6e 76 6f 6b 65 20 73 71   p..** Invoke sq
0fe0: 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 28  lite3WalkSelect(
0ff0: 29 20 66 6f 72 20 73 75 62 71 75 65 72 69 65 73  ) for subqueries
1000: 20 69 6e 20 74 68 65 20 46 52 4f 4d 20 63 6c 61   in the FROM cla
1010: 75 73 65 20 61 6e 64 0a 2a 2a 20 6f 6e 20 74 68  use and.** on th
1020: 65 20 63 6f 6d 70 6f 75 6e 64 20 73 65 6c 65 63  e compound selec
1030: 74 20 63 68 61 69 6e 2c 20 70 2d 3e 70 50 72 69  t chain, p->pPri
1040: 6f 72 2e 20 0a 2a 2a 0a 2a 2a 20 49 66 20 69 74  or. .**.** If it
1050: 20 69 73 20 6e 6f 74 20 4e 55 4c 4c 2c 20 74 68   is not NULL, th
1060: 65 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63  e xSelectCallbac
1070: 6b 28 29 20 63 61 6c 6c 62 61 63 6b 20 69 73 20  k() callback is 
1080: 69 6e 76 6f 6b 65 64 20 62 65 66 6f 72 65 0a 2a  invoked before.*
1090: 2a 20 74 68 65 20 77 61 6c 6b 20 6f 66 20 74 68  * the walk of th
10a0: 65 20 65 78 70 72 65 73 73 69 6f 6e 73 20 61 6e  e expressions an
10b0: 64 20 46 52 4f 4d 20 63 6c 61 75 73 65 2e 20 54  d FROM clause. T
10c0: 68 65 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61  he xSelectCallba
10d0: 63 6b 32 28 29 0a 2a 2a 20 6d 65 74 68 6f 64 2c  ck2().** method,
10e0: 20 69 66 20 69 74 20 69 73 20 6e 6f 74 20 4e 55   if it is not NU
10f0: 4c 4c 2c 20 69 73 20 69 6e 76 6f 6b 65 64 20 66  LL, is invoked f
1100: 6f 6c 6c 6f 77 69 6e 67 20 74 68 65 20 77 61 6c  ollowing the wal
1110: 6b 20 6f 66 20 74 68 65 20 0a 2a 2a 20 65 78 70  k of the .** exp
1120: 72 65 73 73 69 6f 6e 73 20 61 6e 64 20 46 52 4f  ressions and FRO
1130: 4d 20 63 6c 61 75 73 65 2e 0a 2a 2a 0a 2a 2a 20  M clause..**.** 
1140: 52 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69  Return WRC_Conti
1150: 6e 75 65 20 75 6e 64 65 72 20 6e 6f 72 6d 61 6c  nue under normal
1160: 20 63 6f 6e 64 69 74 69 6f 6e 73 2e 20 20 52 65   conditions.  Re
1170: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 20 69  turn WRC_Abort i
1180: 66 0a 2a 2a 20 74 68 65 72 65 20 69 73 20 61 6e  f.** there is an
1190: 20 61 62 6f 72 74 20 72 65 71 75 65 73 74 2e 0a   abort request..
11a0: 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20 57 61 6c  **.** If the Wal
11b0: 6b 65 72 20 64 6f 65 73 20 6e 6f 74 20 68 61 76  ker does not hav
11c0: 65 20 61 6e 20 78 53 65 6c 65 63 74 43 61 6c 6c  e an xSelectCall
11d0: 62 61 63 6b 28 29 20 74 68 65 6e 20 74 68 69 73  back() then this
11e0: 20 72 6f 75 74 69 6e 65 0a 2a 2a 20 69 73 20 61   routine.** is a
11f0: 20 6e 6f 2d 6f 70 20 72 65 74 75 72 6e 69 6e 67   no-op returning
1200: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a   WRC_Continue..*
1210: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c  /.int sqlite3Wal
1220: 6b 53 65 6c 65 63 74 28 57 61 6c 6b 65 72 20 2a  kSelect(Walker *
1230: 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20  pWalker, Select 
1240: 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20  *p){.  int rc;. 
1250: 20 69 66 28 20 70 3d 3d 30 20 7c 7c 20 28 70 57   if( p==0 || (pW
1260: 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61  alker->xSelectCa
1270: 6c 6c 62 61 63 6b 3d 3d 30 20 26 26 20 70 57 61  llback==0 && pWa
1280: 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c  lker->xSelectCal
1290: 6c 62 61 63 6b 32 3d 3d 30 29 20 29 7b 0a 20 20  lback2==0) ){.  
12a0: 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e    return WRC_Con
12b0: 74 69 6e 75 65 3b 0a 20 20 7d 0a 20 20 72 63 20  tinue;.  }.  rc 
12c0: 3d 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a  = WRC_Continue;.
12d0: 20 20 70 57 61 6c 6b 65 72 2d 3e 77 61 6c 6b 65    pWalker->walke
12e0: 72 44 65 70 74 68 2b 2b 3b 0a 20 20 77 68 69 6c  rDepth++;.  whil
12f0: 65 28 20 70 20 29 7b 0a 20 20 20 20 69 66 28 20  e( p ){.    if( 
1300: 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74  pWalker->xSelect
1310: 43 61 6c 6c 62 61 63 6b 20 29 7b 0a 20 20 20 20  Callback ){.    
1320: 20 20 20 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d     rc = pWalker-
1330: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
1340: 28 70 57 61 6c 6b 65 72 2c 20 70 29 3b 0a 20 20  (pWalker, p);.  
1350: 20 20 20 20 20 69 66 28 20 72 63 20 29 20 62 72       if( rc ) br
1360: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69  eak;.    }.    i
1370: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65  f( sqlite3WalkSe
1380: 6c 65 63 74 45 78 70 72 28 70 57 61 6c 6b 65 72  lectExpr(pWalker
1390: 2c 20 70 29 0a 20 20 20 20 20 7c 7c 20 73 71 6c  , p).     || sql
13a0: 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 46 72  ite3WalkSelectFr
13b0: 6f 6d 28 70 57 61 6c 6b 65 72 2c 20 70 29 0a 20  om(pWalker, p). 
13c0: 20 20 20 29 7b 0a 20 20 20 20 20 20 70 57 61 6c     ){.      pWal
13d0: 6b 65 72 2d 3e 77 61 6c 6b 65 72 44 65 70 74 68  ker->walkerDepth
13e0: 2d 2d 3b 0a 20 20 20 20 20 20 72 65 74 75 72 6e  --;.      return
13f0: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20   WRC_Abort;.    
1400: 7d 0a 20 20 20 20 69 66 28 20 70 57 61 6c 6b 65  }.    if( pWalke
1410: 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61  r->xSelectCallba
1420: 63 6b 32 20 29 7b 0a 20 20 20 20 20 20 70 57 61  ck2 ){.      pWa
1430: 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c  lker->xSelectCal
1440: 6c 62 61 63 6b 32 28 70 57 61 6c 6b 65 72 2c 20  lback2(pWalker, 
1450: 70 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 20  p);.    }.    p 
1460: 3d 20 70 2d 3e 70 50 72 69 6f 72 3b 0a 20 20 7d  = p->pPrior;.  }
1470: 0a 20 20 70 57 61 6c 6b 65 72 2d 3e 77 61 6c 6b  .  pWalker->walk
1480: 65 72 44 65 70 74 68 2d 2d 3b 0a 20 20 72 65 74  erDepth--;.  ret
1490: 75 72 6e 20 72 63 20 26 20 57 52 43 5f 41 62 6f  urn rc & WRC_Abo
14a0: 72 74 3b 0a 7d 0a                                rt;.}.
This page was generated in about 0.005s by Fossil 2.10 [44900415b1] 2019-09-21 17:50:15