blob: 7649036f5622586fe3767ada827e2598fd266f3b [file] [log] [blame]
drh7d10d5a2008-08-20 16:35:10 +00001/*
2** 2008 August 16
3**
4** The author disclaims copyright to this source code. In place of
5** a legal notice, here is a blessing:
6**
7** May you do good and not evil.
8** May you find forgiveness for yourself and forgive others.
9** May you share freely, never taking more than you give.
10**
11*************************************************************************
12** This file contains routines used for walking the parser tree for
13** an SQL statement.
drh7d10d5a2008-08-20 16:35:10 +000014*/
15#include "sqliteInt.h"
16#include <stdlib.h>
17#include <string.h>
18
19
dand9995032019-01-23 16:59:24 +000020#if !defined(SQLITE_OMIT_WINDOWFUNC)
21/*
22** Walk all expressions linked into the list of Window objects passed
23** as the second argument.
24*/
25static int walkWindowList(Walker *pWalker, Window *pList){
26 Window *pWin;
27 for(pWin=pList; pWin; pWin=pWin->pNextWin){
drhc5cc8702019-07-19 15:00:32 +000028 int rc;
29 rc = sqlite3WalkExprList(pWalker, pWin->pOrderBy);
30 if( rc ) return WRC_Abort;
31 rc = sqlite3WalkExprList(pWalker, pWin->pPartition);
32 if( rc ) return WRC_Abort;
33 rc = sqlite3WalkExpr(pWalker, pWin->pFilter);
34 if( rc ) return WRC_Abort;
35
36 /* The next two are purely for calls to sqlite3RenameExprUnmap()
37 ** within sqlite3WindowOffsetExpr(). Because of constraints imposed
38 ** by sqlite3WindowOffsetExpr(), they can never fail. The results do
39 ** not matter anyhow. */
40 rc = sqlite3WalkExpr(pWalker, pWin->pStart);
41 if( NEVER(rc) ) return WRC_Abort;
42 rc = sqlite3WalkExpr(pWalker, pWin->pEnd);
43 if( NEVER(rc) ) return WRC_Abort;
dand9995032019-01-23 16:59:24 +000044 }
45 return WRC_Continue;
46}
47#endif
48
drh7d10d5a2008-08-20 16:35:10 +000049/*
50** Walk an expression tree. Invoke the callback once for each node
peter.d.reid60ec9142014-09-06 16:39:46 +000051** of the expression, while descending. (In other words, the callback
drh7d10d5a2008-08-20 16:35:10 +000052** is invoked before visiting children.)
53**
54** The return value from the callback should be one of the WRC_*
55** constants to specify how to proceed with the walk.
56**
57** WRC_Continue Continue descending down the tree.
58**
drh567bd442017-03-07 12:18:23 +000059** WRC_Prune Do not descend into child nodes, but allow
drh7d10d5a2008-08-20 16:35:10 +000060** the walk to continue with sibling nodes.
61**
62** WRC_Abort Do no more callbacks. Unwind the stack and
drh567bd442017-03-07 12:18:23 +000063** return from the top-level walk call.
drh7d10d5a2008-08-20 16:35:10 +000064**
65** The return value from this routine is WRC_Abort to abandon the tree walk
66** and WRC_Continue to continue.
67*/
drh50922cf2016-01-11 14:19:14 +000068static SQLITE_NOINLINE int walkExpr(Walker *pWalker, Expr *pExpr){
drh7d10d5a2008-08-20 16:35:10 +000069 int rc;
drh0a9aa222009-04-08 12:21:30 +000070 testcase( ExprHasProperty(pExpr, EP_TokenOnly) );
drh0a9aa222009-04-08 12:21:30 +000071 testcase( ExprHasProperty(pExpr, EP_Reduced) );
drhdceed862017-08-17 19:23:16 +000072 while(1){
73 rc = pWalker->xExprCallback(pWalker, pExpr);
74 if( rc ) return rc & WRC_Abort;
75 if( !ExprHasProperty(pExpr,(EP_TokenOnly|EP_Leaf)) ){
drhec123e12019-11-22 11:47:04 +000076 assert( pExpr->x.pList==0 || pExpr->pRight==0 );
drhdceed862017-08-17 19:23:16 +000077 if( pExpr->pLeft && walkExpr(pWalker, pExpr->pLeft) ) return WRC_Abort;
drhdceed862017-08-17 19:23:16 +000078 if( pExpr->pRight ){
dan4f9adee2019-07-13 16:22:50 +000079 assert( !ExprHasProperty(pExpr, EP_WinFunc) );
drhdceed862017-08-17 19:23:16 +000080 pExpr = pExpr->pRight;
81 continue;
82 }else if( ExprHasProperty(pExpr, EP_xIsSelect) ){
dan4f9adee2019-07-13 16:22:50 +000083 assert( !ExprHasProperty(pExpr, EP_WinFunc) );
drhdceed862017-08-17 19:23:16 +000084 if( sqlite3WalkSelect(pWalker, pExpr->x.pSelect) ) return WRC_Abort;
dan8117f112019-07-10 20:16:53 +000085 }else{
86 if( pExpr->x.pList ){
87 if( sqlite3WalkExprList(pWalker, pExpr->x.pList) ) return WRC_Abort;
88 }
dan867be212018-06-25 11:42:08 +000089#ifndef SQLITE_OMIT_WINDOWFUNC
dan4f9adee2019-07-13 16:22:50 +000090 if( ExprHasProperty(pExpr, EP_WinFunc) ){
91 if( walkWindowList(pWalker, pExpr->y.pWin) ) return WRC_Abort;
dan8117f112019-07-10 20:16:53 +000092 }
dan867be212018-06-25 11:42:08 +000093#endif
dan8117f112019-07-10 20:16:53 +000094 }
drhc2d14a92017-07-07 12:58:30 +000095 }
drhdceed862017-08-17 19:23:16 +000096 break;
drh7d10d5a2008-08-20 16:35:10 +000097 }
drh922802c2016-08-10 18:56:32 +000098 return WRC_Continue;
drh7d10d5a2008-08-20 16:35:10 +000099}
drh50922cf2016-01-11 14:19:14 +0000100int sqlite3WalkExpr(Walker *pWalker, Expr *pExpr){
101 return pExpr ? walkExpr(pWalker,pExpr) : WRC_Continue;
102}
drh7d10d5a2008-08-20 16:35:10 +0000103
104/*
105** Call sqlite3WalkExpr() for every expression in list p or until
106** an abort request is seen.
107*/
108int sqlite3WalkExprList(Walker *pWalker, ExprList *p){
drhf7828b52009-06-15 23:15:59 +0000109 int i;
drh7d10d5a2008-08-20 16:35:10 +0000110 struct ExprList_item *pItem;
111 if( p ){
112 for(i=p->nExpr, pItem=p->a; i>0; i--, pItem++){
113 if( sqlite3WalkExpr(pWalker, pItem->pExpr) ) return WRC_Abort;
114 }
115 }
drhf7828b52009-06-15 23:15:59 +0000116 return WRC_Continue;
drh7d10d5a2008-08-20 16:35:10 +0000117}
118
119/*
120** Walk all expressions associated with SELECT statement p. Do
121** not invoke the SELECT callback on p, but do (of course) invoke
122** any expr callbacks and SELECT callbacks that come from subqueries.
123** Return WRC_Abort or WRC_Continue.
124*/
125int sqlite3WalkSelectExpr(Walker *pWalker, Select *p){
126 if( sqlite3WalkExprList(pWalker, p->pEList) ) return WRC_Abort;
127 if( sqlite3WalkExpr(pWalker, p->pWhere) ) return WRC_Abort;
128 if( sqlite3WalkExprList(pWalker, p->pGroupBy) ) return WRC_Abort;
129 if( sqlite3WalkExpr(pWalker, p->pHaving) ) return WRC_Abort;
130 if( sqlite3WalkExprList(pWalker, p->pOrderBy) ) return WRC_Abort;
131 if( sqlite3WalkExpr(pWalker, p->pLimit) ) return WRC_Abort;
dand9995032019-01-23 16:59:24 +0000132#if !defined(SQLITE_OMIT_WINDOWFUNC) && !defined(SQLITE_OMIT_ALTERTABLE)
133 {
134 Parse *pParse = pWalker->pParse;
135 if( pParse && IN_RENAME_OBJECT ){
dana1ac0352019-07-19 10:31:29 +0000136 /* The following may return WRC_Abort if there are unresolvable
137 ** symbols (e.g. a table that does not exist) in a window definition. */
drh6a02f232019-01-24 04:44:54 +0000138 int rc = walkWindowList(pWalker, p->pWinDefn);
drh6a02f232019-01-24 04:44:54 +0000139 return rc;
dand9995032019-01-23 16:59:24 +0000140 }
141 }
142#endif
drh7d10d5a2008-08-20 16:35:10 +0000143 return WRC_Continue;
144}
145
146/*
147** Walk the parse trees associated with all subqueries in the
148** FROM clause of SELECT statement p. Do not invoke the select
149** callback on p, but do invoke it on each FROM clause subquery
150** and on any subqueries further down in the tree. Return
151** WRC_Abort or WRC_Continue;
152*/
153int sqlite3WalkSelectFrom(Walker *pWalker, Select *p){
154 SrcList *pSrc;
155 int i;
156 struct SrcList_item *pItem;
157
158 pSrc = p->pSrc;
drh2aee5142020-03-21 00:05:53 +0000159 if( pSrc ){
160 for(i=pSrc->nSrc, pItem=pSrc->a; i>0; i--, pItem++){
161 if( pItem->pSelect && sqlite3WalkSelect(pWalker, pItem->pSelect) ){
162 return WRC_Abort;
163 }
164 if( pItem->fg.isTabFunc
165 && sqlite3WalkExprList(pWalker, pItem->u1.pFuncArg)
166 ){
167 return WRC_Abort;
168 }
drh7d10d5a2008-08-20 16:35:10 +0000169 }
170 }
171 return WRC_Continue;
172}
173
174/*
175** Call sqlite3WalkExpr() for every expression in Select statement p.
176** Invoke sqlite3WalkSelect() for subqueries in the FROM clause and
danb290f112014-01-17 14:59:27 +0000177** on the compound select chain, p->pPrior.
178**
179** If it is not NULL, the xSelectCallback() callback is invoked before
180** the walk of the expressions and FROM clause. The xSelectCallback2()
drh979dd1b2017-05-29 14:26:07 +0000181** method is invoked following the walk of the expressions and FROM clause,
182** but only if both xSelectCallback and xSelectCallback2 are both non-NULL
183** and if the expressions and FROM clause both return WRC_Continue;
drh7d10d5a2008-08-20 16:35:10 +0000184**
185** Return WRC_Continue under normal conditions. Return WRC_Abort if
186** there is an abort request.
187**
188** If the Walker does not have an xSelectCallback() then this routine
189** is a no-op returning WRC_Continue.
190*/
191int sqlite3WalkSelect(Walker *pWalker, Select *p){
192 int rc;
drh3da70a62017-07-07 11:49:48 +0000193 if( p==0 ) return WRC_Continue;
194 if( pWalker->xSelectCallback==0 ) return WRC_Continue;
drh979dd1b2017-05-29 14:26:07 +0000195 do{
196 rc = pWalker->xSelectCallback(pWalker, p);
197 if( rc ) return rc & WRC_Abort;
drhed551b92012-08-23 19:46:11 +0000198 if( sqlite3WalkSelectExpr(pWalker, p)
199 || sqlite3WalkSelectFrom(pWalker, p)
200 ){
drhed551b92012-08-23 19:46:11 +0000201 return WRC_Abort;
202 }
danb290f112014-01-17 14:59:27 +0000203 if( pWalker->xSelectCallback2 ){
204 pWalker->xSelectCallback2(pWalker, p);
drhaa87f9a2013-04-25 00:57:10 +0000205 }
drh7d10d5a2008-08-20 16:35:10 +0000206 p = p->pPrior;
drh979dd1b2017-05-29 14:26:07 +0000207 }while( p!=0 );
208 return WRC_Continue;
drh7d10d5a2008-08-20 16:35:10 +0000209}
drhe40cc162020-05-24 03:01:36 +0000210
211/* Increase the walkerDepth when entering a subquery, and
212** descrease when leaving the subquery.
213*/
214int sqlite3WalkerDepthIncrease(Walker *pWalker, Select *pSelect){
215 UNUSED_PARAMETER(pSelect);
216 pWalker->walkerDepth++;
217 return WRC_Continue;
218}
219void sqlite3WalkerDepthDecrease(Walker *pWalker, Select *pSelect){
220 UNUSED_PARAMETER(pSelect);
221 pWalker->walkerDepth--;
222}
223
224
225/*
226** No-op routine for the parse-tree walker.
227**
228** When this routine is the Walker.xExprCallback then expression trees
229** are walked without any actions being taken at each node. Presumably,
230** when this routine is used for Walker.xExprCallback then
231** Walker.xSelectCallback is set to do something useful for every
232** subquery in the parser tree.
233*/
234int sqlite3ExprWalkNoop(Walker *NotUsed, Expr *NotUsed2){
235 UNUSED_PARAMETER2(NotUsed, NotUsed2);
236 return WRC_Continue;
237}
238
239/*
240** No-op routine for the parse-tree walker for SELECT statements.
241** subquery in the parser tree.
242*/
243int sqlite3SelectWalkNoop(Walker *NotUsed, Select *NotUsed2){
244 UNUSED_PARAMETER2(NotUsed, NotUsed2);
245 return WRC_Continue;
246}