/ Hex Artifact Content
Login

Artifact 3112bb3afe1d85dc52317cb1d752055e9a781f8f:


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 63 65 6e 64 69 6e 67 2e 20 20  ile decending.  
0280: 28 49 6e 20 6f 74 68 65 72 20 77 6f 72 64 73 2c  (In other words,
0290: 20 74 68 65 20 63 61 6c 6c 62 61 63 6b 0a 2a 2a   the callback.**
02a0: 20 69 73 20 69 6e 76 6f 6b 65 64 20 62 65 66 6f   is invoked befo
02b0: 72 65 20 76 69 73 69 74 69 6e 67 20 63 68 69 6c  re visiting chil
02c0: 64 72 65 6e 2e 29 0a 2a 2a 0a 2a 2a 20 54 68 65  dren.).**.** The
02d0: 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66 72   return value fr
02e0: 6f 6d 20 74 68 65 20 63 61 6c 6c 62 61 63 6b 20  om the callback 
02f0: 73 68 6f 75 6c 64 20 62 65 20 6f 6e 65 20 6f 66  should be one of
0300: 20 74 68 65 20 57 52 43 5f 2a 0a 2a 2a 20 63 6f   the WRC_*.** co
0310: 6e 73 74 61 6e 74 73 20 74 6f 20 73 70 65 63 69  nstants to speci
0320: 66 79 20 68 6f 77 20 74 6f 20 70 72 6f 63 65 65  fy how to procee
0330: 64 20 77 69 74 68 20 74 68 65 20 77 61 6c 6b 2e  d with the walk.
0340: 0a 2a 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 43 6f  .**.**    WRC_Co
0350: 6e 74 69 6e 75 65 20 20 20 20 20 20 43 6f 6e 74  ntinue      Cont
0360: 69 6e 75 65 20 64 65 73 63 65 6e 64 69 6e 67 20  inue descending 
0370: 64 6f 77 6e 20 74 68 65 20 74 72 65 65 2e 0a 2a  down the tree..*
0380: 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 50 72 75 6e  *.**    WRC_Prun
0390: 65 20 20 20 20 20 20 20 20 20 44 6f 20 6e 6f 74  e         Do not
03a0: 20 64 65 73 63 65 6e 64 20 69 6e 74 6f 20 63 68   descend into ch
03b0: 69 6c 64 20 6e 6f 64 65 73 2e 20 20 42 75 74 20  ild 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 74 68 65        return the
0470: 20 74 6f 70 2d 6c 65 76 65 6c 20 77 61 6c 6b 20   top-level walk 
0480: 63 61 6c 6c 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20  call..**.** The 
0490: 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66 72 6f  return value fro
04a0: 6d 20 74 68 69 73 20 72 6f 75 74 69 6e 65 20 69  m this routine i
04b0: 73 20 57 52 43 5f 41 62 6f 72 74 20 74 6f 20 61  s WRC_Abort to a
04c0: 62 61 6e 64 6f 6e 20 74 68 65 20 74 72 65 65 20  bandon the tree 
04d0: 77 61 6c 6b 0a 2a 2a 20 61 6e 64 20 57 52 43 5f  walk.** and WRC_
04e0: 43 6f 6e 74 69 6e 75 65 20 74 6f 20 63 6f 6e 74  Continue to cont
04f0: 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c  inue..*/.int sql
0500: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 57 61 6c  ite3WalkExpr(Wal
0510: 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45 78  ker *pWalker, Ex
0520: 70 72 20 2a 70 45 78 70 72 29 7b 0a 20 20 69 6e  pr *pExpr){.  in
0530: 74 20 72 63 3b 0a 20 20 69 66 28 20 70 45 78 70  t rc;.  if( pExp
0540: 72 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 57 52  r==0 ) return WR
0550: 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20 74 65  C_Continue;.  te
0560: 73 74 63 61 73 65 28 20 45 78 70 72 48 61 73 50  stcase( ExprHasP
0570: 72 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45  roperty(pExpr, E
0580: 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 3b 0a  P_TokenOnly) );.
0590: 20 20 74 65 73 74 63 61 73 65 28 20 45 78 70 72    testcase( Expr
05a0: 48 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70  HasProperty(pExp
05b0: 72 2c 20 45 50 5f 52 65 64 75 63 65 64 29 20 29  r, EP_Reduced) )
05c0: 3b 0a 20 20 72 63 20 3d 20 70 57 61 6c 6b 65 72  ;.  rc = pWalker
05d0: 2d 3e 78 45 78 70 72 43 61 6c 6c 62 61 63 6b 28  ->xExprCallback(
05e0: 70 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 29 3b  pWalker, pExpr);
05f0: 0a 20 20 69 66 28 20 72 63 3d 3d 57 52 43 5f 43  .  if( rc==WRC_C
0600: 6f 6e 74 69 6e 75 65 0a 20 20 20 20 20 20 20 20  ontinue.        
0610: 20 20 20 20 20 20 26 26 20 21 45 78 70 72 48 61        && !ExprHa
0620: 73 41 6e 79 50 72 6f 70 65 72 74 79 28 70 45 78  sAnyProperty(pEx
0630: 70 72 2c 45 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 29  pr,EP_TokenOnly)
0640: 20 29 7b 0a 20 20 20 20 69 66 28 20 73 71 6c 69   ){.    if( sqli
0650: 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c  te3WalkExpr(pWal
0660: 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70 4c 65 66  ker, pExpr->pLef
0670: 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f  t) ) return WRC_
0680: 41 62 6f 72 74 3b 0a 20 20 20 20 69 66 28 20 73  Abort;.    if( s
0690: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70  qlite3WalkExpr(p
06a0: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70  Walker, pExpr->p
06b0: 52 69 67 68 74 29 20 29 20 72 65 74 75 72 6e 20  Right) ) return 
06c0: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 69  WRC_Abort;.    i
06d0: 66 28 20 45 78 70 72 48 61 73 50 72 6f 70 65 72  f( ExprHasProper
06e0: 74 79 28 70 45 78 70 72 2c 20 45 50 5f 78 49 73  ty(pExpr, EP_xIs
06f0: 53 65 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 20  Select) ){.     
0700: 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b   if( sqlite3Walk
0710: 53 65 6c 65 63 74 28 70 57 61 6c 6b 65 72 2c 20  Select(pWalker, 
0720: 70 45 78 70 72 2d 3e 78 2e 70 53 65 6c 65 63 74  pExpr->x.pSelect
0730: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0740: 62 6f 72 74 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  bort;.    }else{
0750: 0a 20 20 20 20 20 20 69 66 28 20 73 71 6c 69 74  .      if( sqlit
0760: 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70  e3WalkExprList(p
0770: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78  Walker, pExpr->x
0780: 2e 70 4c 69 73 74 29 20 29 20 72 65 74 75 72 6e  .pList) ) return
0790: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20   WRC_Abort;.    
07a0: 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72  }.  }.  return r
07b0: 63 20 26 20 57 52 43 5f 41 62 6f 72 74 3b 0a 7d  c & WRC_Abort;.}
07c0: 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73 71 6c  ../*.** Call sql
07d0: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 29 20 66  ite3WalkExpr() f
07e0: 6f 72 20 65 76 65 72 79 20 65 78 70 72 65 73 73  or every express
07f0: 69 6f 6e 20 69 6e 20 6c 69 73 74 20 70 20 6f 72  ion in list p or
0800: 20 75 6e 74 69 6c 0a 2a 2a 20 61 6e 20 61 62 6f   until.** an abo
0810: 72 74 20 72 65 71 75 65 73 74 20 69 73 20 73 65  rt request is se
0820: 65 6e 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74  en..*/.int sqlit
0830: 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 57  e3WalkExprList(W
0840: 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20  alker *pWalker, 
0850: 45 78 70 72 4c 69 73 74 20 2a 70 29 7b 0a 20 20  ExprList *p){.  
0860: 69 6e 74 20 69 3b 0a 20 20 73 74 72 75 63 74 20  int i;.  struct 
0870: 45 78 70 72 4c 69 73 74 5f 69 74 65 6d 20 2a 70  ExprList_item *p
0880: 49 74 65 6d 3b 0a 20 20 69 66 28 20 70 20 29 7b  Item;.  if( p ){
0890: 0a 20 20 20 20 66 6f 72 28 69 3d 70 2d 3e 6e 45  .    for(i=p->nE
08a0: 78 70 72 2c 20 70 49 74 65 6d 3d 70 2d 3e 61 3b  xpr, pItem=p->a;
08b0: 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49 74 65 6d   i>0; i--, pItem
08c0: 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73  ++){.      if( s
08d0: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70  qlite3WalkExpr(p
08e0: 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 70  Walker, pItem->p
08f0: 45 78 70 72 29 20 29 20 72 65 74 75 72 6e 20 57  Expr) ) return W
0900: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a  RC_Abort;.    }.
0910: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 57 52 43    }.  return WRC
0920: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a  _Continue;.}../*
0930: 0a 2a 2a 20 57 61 6c 6b 20 61 6c 6c 20 65 78 70  .** Walk all exp
0940: 72 65 73 73 69 6f 6e 73 20 61 73 73 6f 63 69 61  ressions associa
0950: 74 65 64 20 77 69 74 68 20 53 45 4c 45 43 54 20  ted with SELECT 
0960: 73 74 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f  statement p.  Do
0970: 0a 2a 2a 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74  .** not invoke t
0980: 68 65 20 53 45 4c 45 43 54 20 63 61 6c 6c 62 61  he SELECT callba
0990: 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20  ck on p, but do 
09a0: 28 6f 66 20 63 6f 75 72 73 65 29 20 69 6e 76 6f  (of course) invo
09b0: 6b 65 0a 2a 2a 20 61 6e 79 20 65 78 70 72 20 63  ke.** any expr c
09c0: 61 6c 6c 62 61 63 6b 73 20 61 6e 64 20 53 45 4c  allbacks and SEL
09d0: 45 43 54 20 63 61 6c 6c 62 61 63 6b 73 20 74 68  ECT callbacks th
09e0: 61 74 20 63 6f 6d 65 20 66 72 6f 6d 20 73 75 62  at come from sub
09f0: 71 75 65 72 69 65 73 2e 0a 2a 2a 20 52 65 74 75  queries..** Retu
0a00: 72 6e 20 57 52 43 5f 41 62 6f 72 74 20 6f 72 20  rn WRC_Abort or 
0a10: 57 52 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f  WRC_Continue..*/
0a20: 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b  .int sqlite3Walk
0a30: 53 65 6c 65 63 74 45 78 70 72 28 57 61 6c 6b 65  SelectExpr(Walke
0a40: 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65  r *pWalker, Sele
0a50: 63 74 20 2a 70 29 7b 0a 20 20 69 66 28 20 73 71  ct *p){.  if( sq
0a60: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73  lite3WalkExprLis
0a70: 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 45  t(pWalker, p->pE
0a80: 4c 69 73 74 29 20 29 20 72 65 74 75 72 6e 20 57  List) ) return W
0a90: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20  RC_Abort;.  if( 
0aa0: 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28  sqlite3WalkExpr(
0ab0: 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 57 68 65  pWalker, p->pWhe
0ac0: 72 65 29 20 29 20 72 65 74 75 72 6e 20 57 52 43  re) ) return WRC
0ad0: 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71  _Abort;.  if( sq
0ae0: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73  lite3WalkExprLis
0af0: 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 47  t(pWalker, p->pG
0b00: 72 6f 75 70 42 79 29 20 29 20 72 65 74 75 72 6e  roupBy) ) return
0b10: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66   WRC_Abort;.  if
0b20: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70  ( sqlite3WalkExp
0b30: 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 48  r(pWalker, p->pH
0b40: 61 76 69 6e 67 29 20 29 20 72 65 74 75 72 6e 20  aving) ) return 
0b50: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28  WRC_Abort;.  if(
0b60: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0b70: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d  List(pWalker, p-
0b80: 3e 70 4f 72 64 65 72 42 79 29 20 29 20 72 65 74  >pOrderBy) ) ret
0b90: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20  urn WRC_Abort;. 
0ba0: 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b   if( sqlite3Walk
0bb0: 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d  Expr(pWalker, p-
0bc0: 3e 70 4c 69 6d 69 74 29 20 29 20 72 65 74 75 72  >pLimit) ) retur
0bd0: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69  n WRC_Abort;.  i
0be0: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78  f( sqlite3WalkEx
0bf0: 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70  pr(pWalker, p->p
0c00: 4f 66 66 73 65 74 29 20 29 20 72 65 74 75 72 6e  Offset) ) return
0c10: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 72 65   WRC_Abort;.  re
0c20: 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75  turn WRC_Continu
0c30: 65 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b  e;.}../*.** Walk
0c40: 20 74 68 65 20 70 61 72 73 65 20 74 72 65 65 73   the parse trees
0c50: 20 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68   associated with
0c60: 20 61 6c 6c 20 73 75 62 71 75 65 72 69 65 73 20   all subqueries 
0c70: 69 6e 20 74 68 65 0a 2a 2a 20 46 52 4f 4d 20 63  in the.** FROM c
0c80: 6c 61 75 73 65 20 6f 66 20 53 45 4c 45 43 54 20  lause of SELECT 
0c90: 73 74 61 74 65 6d 65 6e 74 20 70 2e 20 20 44 6f  statement p.  Do
0ca0: 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74 68 65 20   not invoke the 
0cb0: 73 65 6c 65 63 74 0a 2a 2a 20 63 61 6c 6c 62 61  select.** callba
0cc0: 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20 64 6f 20  ck on p, but do 
0cd0: 69 6e 76 6f 6b 65 20 69 74 20 6f 6e 20 65 61 63  invoke it on eac
0ce0: 68 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 73 75  h FROM clause su
0cf0: 62 71 75 65 72 79 0a 2a 2a 20 61 6e 64 20 6f 6e  bquery.** and on
0d00: 20 61 6e 79 20 73 75 62 71 75 65 72 69 65 73 20   any subqueries 
0d10: 66 75 72 74 68 65 72 20 64 6f 77 6e 20 69 6e 20  further down in 
0d20: 74 68 65 20 74 72 65 65 2e 20 20 52 65 74 75 72  the tree.  Retur
0d30: 6e 20 0a 2a 2a 20 57 52 43 5f 41 62 6f 72 74 20  n .** WRC_Abort 
0d40: 6f 72 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b  or WRC_Continue;
0d50: 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57  .*/.int sqlite3W
0d60: 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d 28 57 61  alkSelectFrom(Wa
0d70: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53  lker *pWalker, S
0d80: 65 6c 65 63 74 20 2a 70 29 7b 0a 20 20 53 72 63  elect *p){.  Src
0d90: 4c 69 73 74 20 2a 70 53 72 63 3b 0a 20 20 69 6e  List *pSrc;.  in
0da0: 74 20 69 3b 0a 20 20 73 74 72 75 63 74 20 53 72  t i;.  struct Sr
0db0: 63 4c 69 73 74 5f 69 74 65 6d 20 2a 70 49 74 65  cList_item *pIte
0dc0: 6d 3b 0a 0a 20 20 70 53 72 63 20 3d 20 70 2d 3e  m;..  pSrc = p->
0dd0: 70 53 72 63 3b 0a 20 20 69 66 28 20 41 4c 57 41  pSrc;.  if( ALWA
0de0: 59 53 28 70 53 72 63 29 20 29 7b 0a 20 20 20 20  YS(pSrc) ){.    
0df0: 66 6f 72 28 69 3d 70 53 72 63 2d 3e 6e 53 72 63  for(i=pSrc->nSrc
0e00: 2c 20 70 49 74 65 6d 3d 70 53 72 63 2d 3e 61 3b  , pItem=pSrc->a;
0e10: 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49 74 65 6d   i>0; i--, pItem
0e20: 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66 28 20 73  ++){.      if( s
0e30: 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74  qlite3WalkSelect
0e40: 28 70 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d  (pWalker, pItem-
0e50: 3e 70 53 65 6c 65 63 74 29 20 29 7b 0a 20 20 20  >pSelect) ){.   
0e60: 20 20 20 20 20 72 65 74 75 72 6e 20 57 52 43 5f       return WRC_
0e70: 41 62 6f 72 74 3b 0a 20 20 20 20 20 20 7d 0a 20  Abort;.      }. 
0e80: 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72     }.  }.  retur
0e90: 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a  n WRC_Continue;.
0ea0: 7d 20 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73  } ../*.** Call s
0eb0: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 29  qlite3WalkExpr()
0ec0: 20 66 6f 72 20 65 76 65 72 79 20 65 78 70 72 65   for every expre
0ed0: 73 73 69 6f 6e 20 69 6e 20 53 65 6c 65 63 74 20  ssion in Select 
0ee0: 73 74 61 74 65 6d 65 6e 74 20 70 2e 0a 2a 2a 20  statement p..** 
0ef0: 49 6e 76 6f 6b 65 20 73 71 6c 69 74 65 33 57 61  Invoke sqlite3Wa
0f00: 6c 6b 53 65 6c 65 63 74 28 29 20 66 6f 72 20 73  lkSelect() for s
0f10: 75 62 71 75 65 72 69 65 73 20 69 6e 20 74 68 65  ubqueries in the
0f20: 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 61 6e 64   FROM clause and
0f30: 0a 2a 2a 20 6f 6e 20 74 68 65 20 63 6f 6d 70 6f  .** on the compo
0f40: 75 6e 64 20 73 65 6c 65 63 74 20 63 68 61 69 6e  und select chain
0f50: 2c 20 70 2d 3e 70 50 72 69 6f 72 2e 0a 2a 2a 0a  , p->pPrior..**.
0f60: 2a 2a 20 52 65 74 75 72 6e 20 57 52 43 5f 43 6f  ** Return WRC_Co
0f70: 6e 74 69 6e 75 65 20 75 6e 64 65 72 20 6e 6f 72  ntinue under nor
0f80: 6d 61 6c 20 63 6f 6e 64 69 74 69 6f 6e 73 2e 20  mal conditions. 
0f90: 20 52 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72   Return WRC_Abor
0fa0: 74 20 69 66 0a 2a 2a 20 74 68 65 72 65 20 69 73  t if.** there is
0fb0: 20 61 6e 20 61 62 6f 72 74 20 72 65 71 75 65 73   an abort reques
0fc0: 74 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20  t..**.** If the 
0fd0: 57 61 6c 6b 65 72 20 64 6f 65 73 20 6e 6f 74 20  Walker does not 
0fe0: 68 61 76 65 20 61 6e 20 78 53 65 6c 65 63 74 43  have an xSelectC
0ff0: 61 6c 6c 62 61 63 6b 28 29 20 74 68 65 6e 20 74  allback() then t
1000: 68 69 73 20 72 6f 75 74 69 6e 65 0a 2a 2a 20 69  his routine.** i
1010: 73 20 61 20 6e 6f 2d 6f 70 20 72 65 74 75 72 6e  s a no-op return
1020: 69 6e 67 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65  ing WRC_Continue
1030: 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33  ..*/.int sqlite3
1040: 57 61 6c 6b 53 65 6c 65 63 74 28 57 61 6c 6b 65  WalkSelect(Walke
1050: 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65  r *pWalker, Sele
1060: 63 74 20 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63  ct *p){.  int rc
1070: 3b 0a 20 20 69 66 28 20 70 3d 3d 30 20 7c 7c 20  ;.  if( p==0 || 
1080: 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74  pWalker->xSelect
1090: 43 61 6c 6c 62 61 63 6b 3d 3d 30 20 29 20 72 65  Callback==0 ) re
10a0: 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75  turn WRC_Continu
10b0: 65 3b 0a 20 20 72 63 20 3d 20 57 52 43 5f 43 6f  e;.  rc = WRC_Co
10c0: 6e 74 69 6e 75 65 3b 0a 20 20 77 68 69 6c 65 28  ntinue;.  while(
10d0: 20 70 20 20 29 7b 0a 20 20 20 20 72 63 20 3d 20   p  ){.    rc = 
10e0: 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74  pWalker->xSelect
10f0: 43 61 6c 6c 62 61 63 6b 28 70 57 61 6c 6b 65 72  Callback(pWalker
1100: 2c 20 70 29 3b 0a 20 20 20 20 69 66 28 20 72 63  , p);.    if( rc
1110: 20 29 20 62 72 65 61 6b 3b 0a 20 20 20 20 69 66   ) break;.    if
1120: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c  ( sqlite3WalkSel
1130: 65 63 74 45 78 70 72 28 70 57 61 6c 6b 65 72 2c  ectExpr(pWalker,
1140: 20 70 29 20 29 20 72 65 74 75 72 6e 20 57 52 43   p) ) return WRC
1150: 5f 41 62 6f 72 74 3b 0a 20 20 20 20 69 66 28 20  _Abort;.    if( 
1160: 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63  sqlite3WalkSelec
1170: 74 46 72 6f 6d 28 70 57 61 6c 6b 65 72 2c 20 70  tFrom(pWalker, p
1180: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
1190: 62 6f 72 74 3b 0a 20 20 20 20 70 20 3d 20 70 2d  bort;.    p = p-
11a0: 3e 70 50 72 69 6f 72 3b 0a 20 20 7d 0a 20 20 72  >pPrior;.  }.  r
11b0: 65 74 75 72 6e 20 72 63 20 26 20 57 52 43 5f 41  eturn rc & WRC_A
11c0: 62 6f 72 74 3b 0a 7d 0a                          bort;.}.