/ Hex Artifact Content
Login

Artifact 1edca756275f158b80f20eb6f104c8d3fcc96a04:


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 2a 0a  L statement..**.
01d0: 2a 2a 20 24 49 64 3a 20 77 61 6c 6b 65 72 2e 63  ** $Id: walker.c
01e0: 2c 76 20 31 2e 37 20 32 30 30 39 2f 30 36 2f 31  ,v 1.7 2009/06/1
01f0: 35 20 32 33 3a 31 35 3a 35 39 20 64 72 68 20 45  5 23:15:59 drh E
0200: 78 70 20 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65  xp $.*/.#include
0210: 20 22 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a 23   "sqliteInt.h".#
0220: 69 6e 63 6c 75 64 65 20 3c 73 74 64 6c 69 62 2e  include <stdlib.
0230: 68 3e 0a 23 69 6e 63 6c 75 64 65 20 3c 73 74 72  h>.#include <str
0240: 69 6e 67 2e 68 3e 0a 0a 0a 2f 2a 0a 2a 2a 20 57  ing.h>.../*.** W
0250: 61 6c 6b 20 61 6e 20 65 78 70 72 65 73 73 69 6f  alk an expressio
0260: 6e 20 74 72 65 65 2e 20 20 49 6e 76 6f 6b 65 20  n tree.  Invoke 
0270: 74 68 65 20 63 61 6c 6c 62 61 63 6b 20 6f 6e 63  the callback onc
0280: 65 20 66 6f 72 20 65 61 63 68 20 6e 6f 64 65 0a  e for each node.
0290: 2a 2a 20 6f 66 20 74 68 65 20 65 78 70 72 65 73  ** of the expres
02a0: 73 69 6f 6e 2c 20 77 68 69 6c 65 20 64 65 63 65  sion, while dece
02b0: 6e 64 69 6e 67 2e 20 20 28 49 6e 20 6f 74 68 65  nding.  (In othe
02c0: 72 20 77 6f 72 64 73 2c 20 74 68 65 20 63 61 6c  r words, the cal
02d0: 6c 62 61 63 6b 0a 2a 2a 20 69 73 20 69 6e 76 6f  lback.** is invo
02e0: 6b 65 64 20 62 65 66 6f 72 65 20 76 69 73 69 74  ked before visit
02f0: 69 6e 67 20 63 68 69 6c 64 72 65 6e 2e 29 0a 2a  ing children.).*
0300: 2a 0a 2a 2a 20 54 68 65 20 72 65 74 75 72 6e 20  *.** The return 
0310: 76 61 6c 75 65 20 66 72 6f 6d 20 74 68 65 20 63  value from the c
0320: 61 6c 6c 62 61 63 6b 20 73 68 6f 75 6c 64 20 62  allback should b
0330: 65 20 6f 6e 65 20 6f 66 20 74 68 65 20 57 52 43  e one of the WRC
0340: 5f 2a 0a 2a 2a 20 63 6f 6e 73 74 61 6e 74 73 20  _*.** constants 
0350: 74 6f 20 73 70 65 63 69 66 79 20 68 6f 77 20 74  to specify how t
0360: 6f 20 70 72 6f 63 65 65 64 20 77 69 74 68 20 74  o proceed with t
0370: 68 65 20 77 61 6c 6b 2e 0a 2a 2a 0a 2a 2a 20 20  he walk..**.**  
0380: 20 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20 20    WRC_Continue  
0390: 20 20 20 20 43 6f 6e 74 69 6e 75 65 20 64 65 73      Continue des
03a0: 63 65 6e 64 69 6e 67 20 64 6f 77 6e 20 74 68 65  cending down the
03b0: 20 74 72 65 65 2e 0a 2a 2a 0a 2a 2a 20 20 20 20   tree..**.**    
03c0: 57 52 43 5f 50 72 75 6e 65 20 20 20 20 20 20 20  WRC_Prune       
03d0: 20 20 44 6f 20 6e 6f 74 20 64 65 73 63 65 6e 64    Do not descend
03e0: 20 69 6e 74 6f 20 63 68 69 6c 64 20 6e 6f 64 65   into child node
03f0: 73 2e 20 20 42 75 74 20 61 6c 6c 6f 77 0a 2a 2a  s.  But allow.**
0400: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0410: 20 20 20 20 20 20 74 68 65 20 77 61 6c 6b 20 74        the walk t
0420: 6f 20 63 6f 6e 74 69 6e 75 65 20 77 69 74 68 20  o continue with 
0430: 73 69 62 6c 69 6e 67 20 6e 6f 64 65 73 2e 0a 2a  sibling nodes..*
0440: 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 41 62 6f 72  *.**    WRC_Abor
0450: 74 20 20 20 20 20 20 20 20 20 44 6f 20 6e 6f 20  t         Do no 
0460: 6d 6f 72 65 20 63 61 6c 6c 62 61 63 6b 73 2e 20  more callbacks. 
0470: 20 55 6e 77 69 6e 64 20 74 68 65 20 73 74 61 63   Unwind the stac
0480: 6b 20 61 6e 64 0a 2a 2a 20 20 20 20 20 20 20 20  k and.**        
0490: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 72 65                re
04a0: 74 75 72 6e 20 74 68 65 20 74 6f 70 2d 6c 65 76  turn the top-lev
04b0: 65 6c 20 77 61 6c 6b 20 63 61 6c 6c 2e 0a 2a 2a  el walk call..**
04c0: 0a 2a 2a 20 54 68 65 20 72 65 74 75 72 6e 20 76  .** The return v
04d0: 61 6c 75 65 20 66 72 6f 6d 20 74 68 69 73 20 72  alue from this r
04e0: 6f 75 74 69 6e 65 20 69 73 20 57 52 43 5f 41 62  outine is WRC_Ab
04f0: 6f 72 74 20 74 6f 20 61 62 61 6e 64 6f 6e 20 74  ort to abandon t
0500: 68 65 20 74 72 65 65 20 77 61 6c 6b 0a 2a 2a 20  he tree walk.** 
0510: 61 6e 64 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  and WRC_Continue
0520: 20 74 6f 20 63 6f 6e 74 69 6e 75 65 2e 0a 2a 2f   to continue..*/
0530: 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b  .int sqlite3Walk
0540: 45 78 70 72 28 57 61 6c 6b 65 72 20 2a 70 57 61  Expr(Walker *pWa
0550: 6c 6b 65 72 2c 20 45 78 70 72 20 2a 70 45 78 70  lker, Expr *pExp
0560: 72 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20  r){.  int rc;.  
0570: 69 66 28 20 70 45 78 70 72 3d 3d 30 20 29 20 72  if( pExpr==0 ) r
0580: 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e  eturn WRC_Contin
0590: 75 65 3b 0a 20 20 74 65 73 74 63 61 73 65 28 20  ue;.  testcase( 
05a0: 45 78 70 72 48 61 73 50 72 6f 70 65 72 74 79 28  ExprHasProperty(
05b0: 70 45 78 70 72 2c 20 45 50 5f 54 6f 6b 65 6e 4f  pExpr, EP_TokenO
05c0: 6e 6c 79 29 20 29 3b 0a 20 20 74 65 73 74 63 61  nly) );.  testca
05d0: 73 65 28 20 45 78 70 72 48 61 73 50 72 6f 70 65  se( ExprHasPrope
05e0: 72 74 79 28 70 45 78 70 72 2c 20 45 50 5f 52 65  rty(pExpr, EP_Re
05f0: 64 75 63 65 64 29 20 29 3b 0a 20 20 72 63 20 3d  duced) );.  rc =
0600: 20 70 57 61 6c 6b 65 72 2d 3e 78 45 78 70 72 43   pWalker->xExprC
0610: 61 6c 6c 62 61 63 6b 28 70 57 61 6c 6b 65 72 2c  allback(pWalker,
0620: 20 70 45 78 70 72 29 3b 0a 20 20 69 66 28 20 72   pExpr);.  if( r
0630: 63 3d 3d 57 52 43 5f 43 6f 6e 74 69 6e 75 65 0a  c==WRC_Continue.
0640: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 26 26                &&
0650: 20 21 45 78 70 72 48 61 73 41 6e 79 50 72 6f 70   !ExprHasAnyProp
0660: 65 72 74 79 28 70 45 78 70 72 2c 45 50 5f 54 6f  erty(pExpr,EP_To
0670: 6b 65 6e 4f 6e 6c 79 29 20 29 7b 0a 20 20 20 20  kenOnly) ){.    
0680: 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45  if( sqlite3WalkE
0690: 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 45 78  xpr(pWalker, pEx
06a0: 70 72 2d 3e 70 4c 65 66 74 29 20 29 20 72 65 74  pr->pLeft) ) ret
06b0: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
06c0: 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61     if( sqlite3Wa
06d0: 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20  lkExpr(pWalker, 
06e0: 70 45 78 70 72 2d 3e 70 52 69 67 68 74 29 20 29  pExpr->pRight) )
06f0: 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72   return WRC_Abor
0700: 74 3b 0a 20 20 20 20 69 66 28 20 45 78 70 72 48  t;.    if( ExprH
0710: 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70 72  asProperty(pExpr
0720: 2c 20 45 50 5f 78 49 73 53 65 6c 65 63 74 29 20  , EP_xIsSelect) 
0730: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73 71 6c  ){.      if( sql
0740: 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 28 70  ite3WalkSelect(p
0750: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78  Walker, pExpr->x
0760: 2e 70 53 65 6c 65 63 74 29 20 29 20 72 65 74 75  .pSelect) ) retu
0770: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20  rn WRC_Abort;.  
0780: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20 69    }else{.      i
0790: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  f( sqlite3WalkEx
07a0: 70 72 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20  prList(pWalker, 
07b0: 70 45 78 70 72 2d 3e 78 2e 70 4c 69 73 74 29 20  pExpr->x.pList) 
07c0: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
07d0: 72 74 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20  rt;.    }.  }.  
07e0: 72 65 74 75 72 6e 20 72 63 20 26 20 57 52 43 5f  return rc & WRC_
07f0: 41 62 6f 72 74 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20  Abort;.}../*.** 
0800: 43 61 6c 6c 20 73 71 6c 69 74 65 33 57 61 6c 6b  Call sqlite3Walk
0810: 45 78 70 72 28 29 20 66 6f 72 20 65 76 65 72 79  Expr() for every
0820: 20 65 78 70 72 65 73 73 69 6f 6e 20 69 6e 20 6c   expression in l
0830: 69 73 74 20 70 20 6f 72 20 75 6e 74 69 6c 0a 2a  ist p or until.*
0840: 2a 20 61 6e 20 61 62 6f 72 74 20 72 65 71 75 65  * an abort reque
0850: 73 74 20 69 73 20 73 65 65 6e 2e 0a 2a 2f 0a 69  st is seen..*/.i
0860: 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  nt sqlite3WalkEx
0870: 70 72 4c 69 73 74 28 57 61 6c 6b 65 72 20 2a 70  prList(Walker *p
0880: 57 61 6c 6b 65 72 2c 20 45 78 70 72 4c 69 73 74  Walker, ExprList
0890: 20 2a 70 29 7b 0a 20 20 69 6e 74 20 69 3b 0a 20   *p){.  int i;. 
08a0: 20 73 74 72 75 63 74 20 45 78 70 72 4c 69 73 74   struct ExprList
08b0: 5f 69 74 65 6d 20 2a 70 49 74 65 6d 3b 0a 20 20  _item *pItem;.  
08c0: 69 66 28 20 70 20 29 7b 0a 20 20 20 20 66 6f 72  if( p ){.    for
08d0: 28 69 3d 70 2d 3e 6e 45 78 70 72 2c 20 70 49 74  (i=p->nExpr, pIt
08e0: 65 6d 3d 70 2d 3e 61 3b 20 69 3e 30 3b 20 69 2d  em=p->a; i>0; i-
08f0: 2d 2c 20 70 49 74 65 6d 2b 2b 29 7b 0a 20 20 20  -, pItem++){.   
0900: 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61     if( sqlite3Wa
0910: 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20  lkExpr(pWalker, 
0920: 70 49 74 65 6d 2d 3e 70 45 78 70 72 29 20 29 20  pItem->pExpr) ) 
0930: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
0940: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  ;.    }.  }.  re
0950: 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75  turn WRC_Continu
0960: 65 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b  e;.}../*.** Walk
0970: 20 61 6c 6c 20 65 78 70 72 65 73 73 69 6f 6e 73   all expressions
0980: 20 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68   associated with
0990: 20 53 45 4c 45 43 54 20 73 74 61 74 65 6d 65 6e   SELECT statemen
09a0: 74 20 70 2e 20 20 44 6f 0a 2a 2a 20 6e 6f 74 20  t p.  Do.** not 
09b0: 69 6e 76 6f 6b 65 20 74 68 65 20 53 45 4c 45 43  invoke the SELEC
09c0: 54 20 63 61 6c 6c 62 61 63 6b 20 6f 6e 20 70 2c  T callback on p,
09d0: 20 62 75 74 20 64 6f 20 28 6f 66 20 63 6f 75 72   but do (of cour
09e0: 73 65 29 20 69 6e 76 6f 6b 65 0a 2a 2a 20 61 6e  se) invoke.** an
09f0: 79 20 65 78 70 72 20 63 61 6c 6c 62 61 63 6b 73  y expr callbacks
0a00: 20 61 6e 64 20 53 45 4c 45 43 54 20 63 61 6c 6c   and SELECT call
0a10: 62 61 63 6b 73 20 74 68 61 74 20 63 6f 6d 65 20  backs that come 
0a20: 66 72 6f 6d 20 73 75 62 71 75 65 72 69 65 73 2e  from subqueries.
0a30: 0a 2a 2a 20 52 65 74 75 72 6e 20 57 52 43 5f 41  .** Return WRC_A
0a40: 62 6f 72 74 20 6f 72 20 57 52 43 5f 43 6f 6e 74  bort or WRC_Cont
0a50: 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c  inue..*/.int sql
0a60: 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 45 78  ite3WalkSelectEx
0a70: 70 72 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b  pr(Walker *pWalk
0a80: 65 72 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b 0a  er, Select *p){.
0a90: 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c    if( sqlite3Wal
0aa0: 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c 6b 65  kExprList(pWalke
0ab0: 72 2c 20 70 2d 3e 70 45 4c 69 73 74 29 20 29 20  r, p->pEList) ) 
0ac0: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
0ad0: 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33 57  ;.  if( sqlite3W
0ae0: 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c  alkExpr(pWalker,
0af0: 20 70 2d 3e 70 57 68 65 72 65 29 20 29 20 72 65   p->pWhere) ) re
0b00: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a  turn WRC_Abort;.
0b10: 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c    if( sqlite3Wal
0b20: 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c 6b 65  kExprList(pWalke
0b30: 72 2c 20 70 2d 3e 70 47 72 6f 75 70 42 79 29 20  r, p->pGroupBy) 
0b40: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0b50: 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65  rt;.  if( sqlite
0b60: 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65  3WalkExpr(pWalke
0b70: 72 2c 20 70 2d 3e 70 48 61 76 69 6e 67 29 20 29  r, p->pHaving) )
0b80: 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72   return WRC_Abor
0b90: 74 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33  t;.  if( sqlite3
0ba0: 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61  WalkExprList(pWa
0bb0: 6c 6b 65 72 2c 20 70 2d 3e 70 4f 72 64 65 72 42  lker, p->pOrderB
0bc0: 79 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f  y) ) return WRC_
0bd0: 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c  Abort;.  if( sql
0be0: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61  ite3WalkExpr(pWa
0bf0: 6c 6b 65 72 2c 20 70 2d 3e 70 4c 69 6d 69 74 29  lker, p->pLimit)
0c00: 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62   ) return WRC_Ab
0c10: 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69 74  ort;.  if( sqlit
0c20: 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b  e3WalkExpr(pWalk
0c30: 65 72 2c 20 70 2d 3e 70 4f 66 66 73 65 74 29 20  er, p->pOffset) 
0c40: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0c50: 72 74 3b 0a 20 20 72 65 74 75 72 6e 20 57 52 43  rt;.  return WRC
0c60: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a  _Continue;.}../*
0c70: 0a 2a 2a 20 57 61 6c 6b 20 74 68 65 20 70 61 72  .** Walk the par
0c80: 73 65 20 74 72 65 65 73 20 61 73 73 6f 63 69 61  se trees associa
0c90: 74 65 64 20 77 69 74 68 20 61 6c 6c 20 73 75 62  ted with all sub
0ca0: 71 75 65 72 69 65 73 20 69 6e 20 74 68 65 0a 2a  queries in the.*
0cb0: 2a 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 6f 66  * FROM clause of
0cc0: 20 53 45 4c 45 43 54 20 73 74 61 74 65 6d 65 6e   SELECT statemen
0cd0: 74 20 70 2e 20 20 44 6f 20 6e 6f 74 20 69 6e 76  t p.  Do not inv
0ce0: 6f 6b 65 20 74 68 65 20 73 65 6c 65 63 74 0a 2a  oke the select.*
0cf0: 2a 20 63 61 6c 6c 62 61 63 6b 20 6f 6e 20 70 2c  * callback on p,
0d00: 20 62 75 74 20 64 6f 20 69 6e 76 6f 6b 65 20 69   but do invoke i
0d10: 74 20 6f 6e 20 65 61 63 68 20 46 52 4f 4d 20 63  t on each FROM c
0d20: 6c 61 75 73 65 20 73 75 62 71 75 65 72 79 0a 2a  lause subquery.*
0d30: 2a 20 61 6e 64 20 6f 6e 20 61 6e 79 20 73 75 62  * and on any sub
0d40: 71 75 65 72 69 65 73 20 66 75 72 74 68 65 72 20  queries further 
0d50: 64 6f 77 6e 20 69 6e 20 74 68 65 20 74 72 65 65  down in the tree
0d60: 2e 20 20 52 65 74 75 72 6e 20 0a 2a 2a 20 57 52  .  Return .** WR
0d70: 43 5f 41 62 6f 72 74 20 6f 72 20 57 52 43 5f 43  C_Abort or WRC_C
0d80: 6f 6e 74 69 6e 75 65 3b 0a 2a 2f 0a 69 6e 74 20  ontinue;.*/.int 
0d90: 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63  sqlite3WalkSelec
0da0: 74 46 72 6f 6d 28 57 61 6c 6b 65 72 20 2a 70 57  tFrom(Walker *pW
0db0: 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20 2a 70  alker, Select *p
0dc0: 29 7b 0a 20 20 53 72 63 4c 69 73 74 20 2a 70 53  ){.  SrcList *pS
0dd0: 72 63 3b 0a 20 20 69 6e 74 20 69 3b 0a 20 20 73  rc;.  int i;.  s
0de0: 74 72 75 63 74 20 53 72 63 4c 69 73 74 5f 69 74  truct SrcList_it
0df0: 65 6d 20 2a 70 49 74 65 6d 3b 0a 0a 20 20 70 53  em *pItem;..  pS
0e00: 72 63 20 3d 20 70 2d 3e 70 53 72 63 3b 0a 20 20  rc = p->pSrc;.  
0e10: 69 66 28 20 41 4c 57 41 59 53 28 70 53 72 63 29  if( ALWAYS(pSrc)
0e20: 20 29 7b 0a 20 20 20 20 66 6f 72 28 69 3d 70 53   ){.    for(i=pS
0e30: 72 63 2d 3e 6e 53 72 63 2c 20 70 49 74 65 6d 3d  rc->nSrc, pItem=
0e40: 70 53 72 63 2d 3e 61 3b 20 69 3e 30 3b 20 69 2d  pSrc->a; i>0; i-
0e50: 2d 2c 20 70 49 74 65 6d 2b 2b 29 7b 0a 20 20 20  -, pItem++){.   
0e60: 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61     if( sqlite3Wa
0e70: 6c 6b 53 65 6c 65 63 74 28 70 57 61 6c 6b 65 72  lkSelect(pWalker
0e80: 2c 20 70 49 74 65 6d 2d 3e 70 53 65 6c 65 63 74  , pItem->pSelect
0e90: 29 20 29 7b 0a 20 20 20 20 20 20 20 20 72 65 74  ) ){.        ret
0ea0: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
0eb0: 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d       }.    }.  }
0ec0: 0a 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f  .  return WRC_Co
0ed0: 6e 74 69 6e 75 65 3b 0a 7d 20 0a 0a 2f 2a 0a 2a  ntinue;.} ../*.*
0ee0: 2a 20 43 61 6c 6c 20 73 71 6c 69 74 65 33 57 61  * Call sqlite3Wa
0ef0: 6c 6b 45 78 70 72 28 29 20 66 6f 72 20 65 76 65  lkExpr() for eve
0f00: 72 79 20 65 78 70 72 65 73 73 69 6f 6e 20 69 6e  ry expression in
0f10: 20 53 65 6c 65 63 74 20 73 74 61 74 65 6d 65 6e   Select statemen
0f20: 74 20 70 2e 0a 2a 2a 20 49 6e 76 6f 6b 65 20 73  t p..** Invoke s
0f30: 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74  qlite3WalkSelect
0f40: 28 29 20 66 6f 72 20 73 75 62 71 75 65 72 69 65  () for subquerie
0f50: 73 20 69 6e 20 74 68 65 20 46 52 4f 4d 20 63 6c  s in the FROM cl
0f60: 61 75 73 65 20 61 6e 64 0a 2a 2a 20 6f 6e 20 74  ause and.** on t
0f70: 68 65 20 63 6f 6d 70 6f 75 6e 64 20 73 65 6c 65  he compound sele
0f80: 63 74 20 63 68 61 69 6e 2c 20 70 2d 3e 70 50 72  ct chain, p->pPr
0f90: 69 6f 72 2e 0a 2a 2a 0a 2a 2a 20 52 65 74 75 72  ior..**.** Retur
0fa0: 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20 75  n WRC_Continue u
0fb0: 6e 64 65 72 20 6e 6f 72 6d 61 6c 20 63 6f 6e 64  nder normal cond
0fc0: 69 74 69 6f 6e 73 2e 20 20 52 65 74 75 72 6e 20  itions.  Return 
0fd0: 57 52 43 5f 41 62 6f 72 74 20 69 66 0a 2a 2a 20  WRC_Abort if.** 
0fe0: 74 68 65 72 65 20 69 73 20 61 6e 20 61 62 6f 72  there is an abor
0ff0: 74 20 72 65 71 75 65 73 74 2e 0a 2a 2a 0a 2a 2a  t request..**.**
1000: 20 49 66 20 74 68 65 20 57 61 6c 6b 65 72 20 64   If the Walker d
1010: 6f 65 73 20 6e 6f 74 20 68 61 76 65 20 61 6e 20  oes not have an 
1020: 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b 28  xSelectCallback(
1030: 29 20 74 68 65 6e 20 74 68 69 73 20 72 6f 75 74  ) then this rout
1040: 69 6e 65 0a 2a 2a 20 69 73 20 61 20 6e 6f 2d 6f  ine.** is a no-o
1050: 70 20 72 65 74 75 72 6e 69 6e 67 20 57 52 43 5f  p returning WRC_
1060: 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74  Continue..*/.int
1070: 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65   sqlite3WalkSele
1080: 63 74 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b  ct(Walker *pWalk
1090: 65 72 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b 0a  er, Select *p){.
10a0: 20 20 69 6e 74 20 72 63 3b 0a 20 20 69 66 28 20    int rc;.  if( 
10b0: 70 3d 3d 30 20 7c 7c 20 70 57 61 6c 6b 65 72 2d  p==0 || pWalker-
10c0: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
10d0: 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 57 52 43  ==0 ) return WRC
10e0: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20 72 63 20  _Continue;.  rc 
10f0: 3d 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a  = WRC_Continue;.
1100: 20 20 77 68 69 6c 65 28 20 70 20 20 29 7b 0a 20    while( p  ){. 
1110: 20 20 20 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d     rc = pWalker-
1120: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
1130: 28 70 57 61 6c 6b 65 72 2c 20 70 29 3b 0a 20 20  (pWalker, p);.  
1140: 20 20 69 66 28 20 72 63 20 29 20 62 72 65 61 6b    if( rc ) break
1150: 3b 0a 20 20 20 20 69 66 28 20 73 71 6c 69 74 65  ;.    if( sqlite
1160: 33 57 61 6c 6b 53 65 6c 65 63 74 45 78 70 72 28  3WalkSelectExpr(
1170: 70 57 61 6c 6b 65 72 2c 20 70 29 20 29 20 72 65  pWalker, p) ) re
1180: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a  turn WRC_Abort;.
1190: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57      if( sqlite3W
11a0: 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d 28 70 57  alkSelectFrom(pW
11b0: 61 6c 6b 65 72 2c 20 70 29 20 29 20 72 65 74 75  alker, p) ) retu
11c0: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20  rn WRC_Abort;.  
11d0: 20 20 70 20 3d 20 70 2d 3e 70 50 72 69 6f 72 3b    p = p->pPrior;
11e0: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72 63  .  }.  return rc
11f0: 20 26 20 57 52 43 5f 41 62 6f 72 74 3b 0a 7d 0a   & WRC_Abort;.}.