blob: cc5fc080e77b567fd2bf9f80d30264a95fdfea3f [file] [log] [blame]
danielk1977c3f9bad2002-05-15 08:30:12 +00001/*
danielk1977633ed082002-05-17 00:05:58 +00002**
3** The author disclaims copyright to this source code. In place of
4** a legal notice, here is a blessing:
5**
6** May you do good and not evil.
7** May you find forgiveness for yourself and forgive others.
8** May you share freely, never taking more than you give.
9**
10*************************************************************************
11*
drh9adf9ac2002-05-15 11:44:13 +000012*/
danielk1977c3f9bad2002-05-15 08:30:12 +000013#include "sqliteInt.h"
drh9adf9ac2002-05-15 11:44:13 +000014
drhb7f91642004-10-31 02:22:47 +000015#ifndef SQLITE_OMIT_TRIGGER
danielk1977c3f9bad2002-05-15 08:30:12 +000016/*
drh4b59ab52002-08-24 18:24:51 +000017** Delete a linked list of TriggerStep structures.
18*/
danielk19774adee202004-05-08 08:23:19 +000019void sqlite3DeleteTriggerStep(TriggerStep *pTriggerStep){
drh4b59ab52002-08-24 18:24:51 +000020 while( pTriggerStep ){
21 TriggerStep * pTmp = pTriggerStep;
22 pTriggerStep = pTriggerStep->pNext;
23
drh8c74a8c2002-08-25 19:20:40 +000024 if( pTmp->target.dyn ) sqliteFree((char*)pTmp->target.z);
danielk19774adee202004-05-08 08:23:19 +000025 sqlite3ExprDelete(pTmp->pWhere);
26 sqlite3ExprListDelete(pTmp->pExprList);
27 sqlite3SelectDelete(pTmp->pSelect);
28 sqlite3IdListDelete(pTmp->pIdList);
drh4b59ab52002-08-24 18:24:51 +000029
30 sqliteFree(pTmp);
31 }
32}
33
34/*
drhf0f258b2003-04-21 18:48:45 +000035** This is called by the parser when it sees a CREATE TRIGGER statement
36** up to the point of the BEGIN before the trigger actions. A Trigger
37** structure is generated based on the information available and stored
38** in pParse->pNewTrigger. After the trigger actions have been parsed, the
danielk19774adee202004-05-08 08:23:19 +000039** sqlite3FinishTrigger() function is called to complete the trigger
drhf0f258b2003-04-21 18:48:45 +000040** construction process.
drh9adf9ac2002-05-15 11:44:13 +000041*/
danielk19774adee202004-05-08 08:23:19 +000042void sqlite3BeginTrigger(
drh9adf9ac2002-05-15 11:44:13 +000043 Parse *pParse, /* The parse context of the CREATE TRIGGER statement */
danielk1977ef2cb632004-05-29 02:37:19 +000044 Token *pName1, /* The name of the trigger */
45 Token *pName2, /* The name of the trigger */
drh5cf590c2003-04-24 01:45:04 +000046 int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */
drh9adf9ac2002-05-15 11:44:13 +000047 int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */
danielk1977633ed082002-05-17 00:05:58 +000048 IdList *pColumns, /* column list if this is an UPDATE OF trigger */
drhd24cc422003-03-27 12:51:24 +000049 SrcList *pTableName,/* The name of the table/view the trigger applies to */
drh9adf9ac2002-05-15 11:44:13 +000050 int foreach, /* One of TK_ROW or TK_STATEMENT */
51 Expr *pWhen, /* WHEN clause */
drhf0f258b2003-04-21 18:48:45 +000052 int isTemp /* True if the TEMPORARY keyword is present */
drh9adf9ac2002-05-15 11:44:13 +000053){
danielk1977d5d56522005-03-16 12:15:20 +000054 Trigger *pTrigger = 0;
danielk1977ef2cb632004-05-29 02:37:19 +000055 Table *pTab;
drhf0f258b2003-04-21 18:48:45 +000056 char *zName = 0; /* Name of the trigger */
drh9bb575f2004-09-06 17:24:11 +000057 sqlite3 *db = pParse->db;
danielk1977ef2cb632004-05-29 02:37:19 +000058 int iDb; /* The database to store the trigger in */
59 Token *pName; /* The unqualified db name */
drh4312db52003-06-03 01:47:11 +000060 DbFixer sFix;
drhed6c8672003-01-12 18:02:16 +000061
danielk1977ef2cb632004-05-29 02:37:19 +000062 if( isTemp ){
63 /* If TEMP was specified, then the trigger name may not be qualified. */
64 if( pName2 && pName2->n>0 ){
65 sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name");
66 goto trigger_cleanup;
67 }
68 iDb = 1;
69 pName = pName1;
70 }else{
71 /* Figure out the db that the the trigger will be created in */
72 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName);
73 if( iDb<0 ){
74 goto trigger_cleanup;
75 }
76 }
77
78 /* If the trigger name was unqualified, and the table is a temp table,
79 ** then set iDb to 1 to create the trigger in the temporary database.
80 ** If sqlite3SrcListLookup() returns 0, indicating the table does not
81 ** exist, the error is caught by the block below.
drh9adf9ac2002-05-15 11:44:13 +000082 */
danielk1977261919c2005-12-06 12:52:59 +000083 if( !pTableName || sqlite3Tsd()->mallocFailed ) goto trigger_cleanup;
danielk1977ef2cb632004-05-29 02:37:19 +000084 pTab = sqlite3SrcListLookup(pParse, pTableName);
85 if( pName2->n==0 && pTab && pTab->iDb==1 ){
86 iDb = 1;
87 }
88
89 /* Ensure the table name matches database name and that the table exists */
danielk1977261919c2005-12-06 12:52:59 +000090 if( sqlite3Tsd()->mallocFailed ) goto trigger_cleanup;
drhd24cc422003-03-27 12:51:24 +000091 assert( pTableName->nSrc==1 );
danielk1977ef2cb632004-05-29 02:37:19 +000092 if( sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName) &&
93 sqlite3FixSrcList(&sFix, pTableName) ){
drh4312db52003-06-03 01:47:11 +000094 goto trigger_cleanup;
drhf26e09c2003-05-31 16:21:12 +000095 }
danielk1977ef2cb632004-05-29 02:37:19 +000096 pTab = sqlite3SrcListLookup(pParse, pTableName);
97 if( !pTab ){
98 /* The table does not exist. */
drhd24cc422003-03-27 12:51:24 +000099 goto trigger_cleanup;
100 }
101
danielk1977d8123362004-06-12 09:25:12 +0000102 /* Check that the trigger name is not reserved and that no trigger of the
103 ** specified name exists */
drha99db3b2004-06-19 14:49:12 +0000104 zName = sqlite3NameFromToken(pName);
danielk1977d8123362004-06-12 09:25:12 +0000105 if( !zName || SQLITE_OK!=sqlite3CheckObjectName(pParse, zName) ){
106 goto trigger_cleanup;
107 }
danielk19774adee202004-05-08 08:23:19 +0000108 if( sqlite3HashFind(&(db->aDb[iDb].trigHash), zName,pName->n+1) ){
109 sqlite3ErrorMsg(pParse, "trigger %T already exists", pName);
drhe5f9c642003-01-13 23:27:31 +0000110 goto trigger_cleanup;
danielk1977c3f9bad2002-05-15 08:30:12 +0000111 }
danielk1977ef2cb632004-05-29 02:37:19 +0000112
113 /* Do not create a trigger on a system table */
drhdca76842004-12-07 14:06:13 +0000114 if( sqlite3StrNICmp(pTab->zName, "sqlite_", 7)==0 ){
danielk19774adee202004-05-08 08:23:19 +0000115 sqlite3ErrorMsg(pParse, "cannot create trigger on system table");
drhd24cc422003-03-27 12:51:24 +0000116 pParse->nErr++;
117 goto trigger_cleanup;
danielk1977d702fcc2002-05-26 23:24:40 +0000118 }
danielk1977ef2cb632004-05-29 02:37:19 +0000119
120 /* INSTEAD of triggers are only for views and views only support INSTEAD
121 ** of triggers.
122 */
123 if( pTab->pSelect && tr_tm!=TK_INSTEAD ){
danielk19774adee202004-05-08 08:23:19 +0000124 sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S",
drhda93d232003-03-31 02:12:46 +0000125 (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0);
drhd24cc422003-03-27 12:51:24 +0000126 goto trigger_cleanup;
127 }
danielk1977ef2cb632004-05-29 02:37:19 +0000128 if( !pTab->pSelect && tr_tm==TK_INSTEAD ){
danielk19774adee202004-05-08 08:23:19 +0000129 sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF"
drhda93d232003-03-31 02:12:46 +0000130 " trigger on table: %S", pTableName, 0);
drhd24cc422003-03-27 12:51:24 +0000131 goto trigger_cleanup;
132 }
danielk1977ef2cb632004-05-29 02:37:19 +0000133
drhd24cc422003-03-27 12:51:24 +0000134#ifndef SQLITE_OMIT_AUTHORIZATION
135 {
136 int code = SQLITE_CREATE_TRIGGER;
danielk1977ef2cb632004-05-29 02:37:19 +0000137 const char *zDb = db->aDb[pTab->iDb].zName;
drhe22a3342003-04-22 20:30:37 +0000138 const char *zDbTrig = isTemp ? db->aDb[1].zName : zDb;
danielk1977ef2cb632004-05-29 02:37:19 +0000139 if( pTab->iDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER;
140 if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){
drhd24cc422003-03-27 12:51:24 +0000141 goto trigger_cleanup;
142 }
drh956bc922004-07-24 17:38:29 +0000143 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(pTab->iDb),0,zDb)){
drhd24cc422003-03-27 12:51:24 +0000144 goto trigger_cleanup;
145 }
146 }
147#endif
danielk1977d702fcc2002-05-26 23:24:40 +0000148
danielk1977ef2cb632004-05-29 02:37:19 +0000149 /* INSTEAD OF triggers can only appear on views and BEFORE triggers
drh5cf590c2003-04-24 01:45:04 +0000150 ** cannot appear on views. So we might as well translate every
151 ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code
152 ** elsewhere.
153 */
danielk1977d702fcc2002-05-26 23:24:40 +0000154 if (tr_tm == TK_INSTEAD){
155 tr_tm = TK_BEFORE;
danielk1977c3f9bad2002-05-15 08:30:12 +0000156 }
157
158 /* Build the Trigger object */
danielk1977ef2cb632004-05-29 02:37:19 +0000159 pTrigger = (Trigger*)sqliteMalloc(sizeof(Trigger));
160 if( pTrigger==0 ) goto trigger_cleanup;
161 pTrigger->name = zName;
drhe5f9c642003-01-13 23:27:31 +0000162 zName = 0;
danielk1977ef2cb632004-05-29 02:37:19 +0000163 pTrigger->table = sqliteStrDup(pTableName->a[0].zName);
danielk1977ef2cb632004-05-29 02:37:19 +0000164 pTrigger->iDb = iDb;
165 pTrigger->iTabDb = pTab->iDb;
166 pTrigger->op = op;
drhdca76842004-12-07 14:06:13 +0000167 pTrigger->tr_tm = tr_tm==TK_BEFORE ? TRIGGER_BEFORE : TRIGGER_AFTER;
danielk1977ef2cb632004-05-29 02:37:19 +0000168 pTrigger->pWhen = sqlite3ExprDup(pWhen);
169 pTrigger->pColumns = sqlite3IdListDup(pColumns);
170 pTrigger->foreach = foreach;
171 sqlite3TokenCopy(&pTrigger->nameToken,pName);
drhf0f258b2003-04-21 18:48:45 +0000172 assert( pParse->pNewTrigger==0 );
danielk1977ef2cb632004-05-29 02:37:19 +0000173 pParse->pNewTrigger = pTrigger;
drhf0f258b2003-04-21 18:48:45 +0000174
175trigger_cleanup:
176 sqliteFree(zName);
danielk19774adee202004-05-08 08:23:19 +0000177 sqlite3SrcListDelete(pTableName);
178 sqlite3IdListDelete(pColumns);
179 sqlite3ExprDelete(pWhen);
danielk1977d5d56522005-03-16 12:15:20 +0000180 if( !pParse->pNewTrigger ){
181 sqlite3DeleteTrigger(pTrigger);
182 }else{
183 assert( pParse->pNewTrigger==pTrigger );
184 }
drhf0f258b2003-04-21 18:48:45 +0000185}
186
187/*
188** This routine is called after all of the trigger actions have been parsed
189** in order to complete the process of building the trigger.
190*/
danielk19774adee202004-05-08 08:23:19 +0000191void sqlite3FinishTrigger(
drhf0f258b2003-04-21 18:48:45 +0000192 Parse *pParse, /* Parser context */
193 TriggerStep *pStepList, /* The triggered program */
194 Token *pAll /* Token that describes the complete CREATE TRIGGER */
195){
danielk1977bfb9e352005-01-24 13:03:32 +0000196 Trigger *pTrig = 0; /* The trigger whose construction is finishing up */
drh9bb575f2004-09-06 17:24:11 +0000197 sqlite3 *db = pParse->db; /* The database */
drhf26e09c2003-05-31 16:21:12 +0000198 DbFixer sFix;
drhf0f258b2003-04-21 18:48:45 +0000199
danielk1977bfb9e352005-01-24 13:03:32 +0000200 pTrig = pParse->pNewTrigger;
drhf0f258b2003-04-21 18:48:45 +0000201 pParse->pNewTrigger = 0;
danielk197753c0f742005-03-29 03:10:59 +0000202 if( pParse->nErr || pTrig==0 ) goto triggerfinish_cleanup;
danielk1977bfb9e352005-01-24 13:03:32 +0000203 pTrig->step_list = pStepList;
drha69d9162003-04-17 22:57:53 +0000204 while( pStepList ){
danielk1977bfb9e352005-01-24 13:03:32 +0000205 pStepList->pTrig = pTrig;
drha69d9162003-04-17 22:57:53 +0000206 pStepList = pStepList->pNext;
207 }
danielk1977bfb9e352005-01-24 13:03:32 +0000208 if( sqlite3FixInit(&sFix, pParse, pTrig->iDb, "trigger", &pTrig->nameToken)
209 && sqlite3FixTriggerStep(&sFix, pTrig->step_list) ){
drhf26e09c2003-05-31 16:21:12 +0000210 goto triggerfinish_cleanup;
211 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000212
213 /* if we are not initializing, and this trigger is not on a TEMP table,
drh9adf9ac2002-05-15 11:44:13 +0000214 ** build the sqlite_master entry
215 */
drh1d85d932004-02-14 23:05:52 +0000216 if( !db->init.busy ){
drh57196282004-10-06 15:41:16 +0000217 static const VdbeOpList insertTrig[] = {
drhf0863fe2005-06-12 21:35:51 +0000218 { OP_NewRowid, 0, 0, 0 },
drh956bc922004-07-24 17:38:29 +0000219 { OP_String8, 0, 0, "trigger" },
220 { OP_String8, 0, 0, 0 }, /* 2: trigger name */
221 { OP_String8, 0, 0, 0 }, /* 3: table name */
drhc977f7f2002-05-21 11:38:11 +0000222 { OP_Integer, 0, 0, 0 },
drh956bc922004-07-24 17:38:29 +0000223 { OP_String8, 0, 0, "CREATE TRIGGER "},
224 { OP_String8, 0, 0, 0 }, /* 6: SQL */
drh855eb1c2004-08-31 13:45:11 +0000225 { OP_Concat, 0, 0, 0 },
drh8a512562005-11-14 22:29:05 +0000226 { OP_MakeRecord, 5, 0, "aaada" },
drhf0863fe2005-06-12 21:35:51 +0000227 { OP_Insert, 0, 0, 0 },
drhc977f7f2002-05-21 11:38:11 +0000228 };
229 int addr;
230 Vdbe *v;
danielk1977c3f9bad2002-05-15 08:30:12 +0000231
232 /* Make an entry in the sqlite_master table */
danielk19774adee202004-05-08 08:23:19 +0000233 v = sqlite3GetVdbe(pParse);
drhf0f258b2003-04-21 18:48:45 +0000234 if( v==0 ) goto triggerfinish_cleanup;
danielk1977bfb9e352005-01-24 13:03:32 +0000235 sqlite3BeginWriteOperation(pParse, 0, pTrig->iDb);
236 sqlite3OpenMasterTable(v, pTrig->iDb);
danielk19774adee202004-05-08 08:23:19 +0000237 addr = sqlite3VdbeAddOpList(v, ArraySize(insertTrig), insertTrig);
danielk1977bfb9e352005-01-24 13:03:32 +0000238 sqlite3VdbeChangeP3(v, addr+2, pTrig->name, 0);
239 sqlite3VdbeChangeP3(v, addr+3, pTrig->table, 0);
danielk19773df6b252004-05-29 10:23:19 +0000240 sqlite3VdbeChangeP3(v, addr+6, pAll->z, pAll->n);
danielk1977bfb9e352005-01-24 13:03:32 +0000241 sqlite3ChangeCookie(db, v, pTrig->iDb);
danielk19774adee202004-05-08 08:23:19 +0000242 sqlite3VdbeAddOp(v, OP_Close, 0, 0);
danielk1977bfb9e352005-01-24 13:03:32 +0000243 sqlite3VdbeOp3(v, OP_ParseSchema, pTrig->iDb, 0,
244 sqlite3MPrintf("type='trigger' AND name='%q'", pTrig->name), P3_DYNAMIC);
danielk1977c3f9bad2002-05-15 08:30:12 +0000245 }
246
drh956bc922004-07-24 17:38:29 +0000247 if( db->init.busy ){
drhf0f258b2003-04-21 18:48:45 +0000248 Table *pTab;
danielk1977d5d56522005-03-16 12:15:20 +0000249 Trigger *pDel;
250 pDel = sqlite3HashInsert(&db->aDb[pTrig->iDb].trigHash,
danielk1977bfb9e352005-01-24 13:03:32 +0000251 pTrig->name, strlen(pTrig->name)+1, pTrig);
danielk1977d5d56522005-03-16 12:15:20 +0000252 if( pDel ){
danielk1977261919c2005-12-06 12:52:59 +0000253 assert( sqlite3Tsd()->mallocFailed && pDel==pTrig );
danielk1977d5d56522005-03-16 12:15:20 +0000254 goto triggerfinish_cleanup;
255 }
danielk1977bfb9e352005-01-24 13:03:32 +0000256 pTab = sqlite3LocateTable(pParse,pTrig->table,db->aDb[pTrig->iTabDb].zName);
drhf0f258b2003-04-21 18:48:45 +0000257 assert( pTab!=0 );
danielk1977bfb9e352005-01-24 13:03:32 +0000258 pTrig->pNext = pTab->pTrigger;
259 pTab->pTrigger = pTrig;
260 pTrig = 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000261 }
262
drhf0f258b2003-04-21 18:48:45 +0000263triggerfinish_cleanup:
danielk1977bfb9e352005-01-24 13:03:32 +0000264 sqlite3DeleteTrigger(pTrig);
265 assert( !pParse->pNewTrigger );
danielk19774adee202004-05-08 08:23:19 +0000266 sqlite3DeleteTriggerStep(pStepList);
drh4b59ab52002-08-24 18:24:51 +0000267}
danielk1977c3f9bad2002-05-15 08:30:12 +0000268
drh4b59ab52002-08-24 18:24:51 +0000269/*
270** Make a copy of all components of the given trigger step. This has
271** the effect of copying all Expr.token.z values into memory obtained
272** from sqliteMalloc(). As initially created, the Expr.token.z values
273** all point to the input string that was fed to the parser. But that
danielk19776f8a5032004-05-10 10:34:51 +0000274** string is ephemeral - it will go away as soon as the sqlite3_exec()
drh4b59ab52002-08-24 18:24:51 +0000275** call that started the parser exits. This routine makes a persistent
276** copy of all the Expr.token.z strings so that the TriggerStep structure
danielk19776f8a5032004-05-10 10:34:51 +0000277** will be valid even after the sqlite3_exec() call returns.
drh4b59ab52002-08-24 18:24:51 +0000278*/
279static void sqlitePersistTriggerStep(TriggerStep *p){
280 if( p->target.z ){
281 p->target.z = sqliteStrNDup(p->target.z, p->target.n);
282 p->target.dyn = 1;
283 }
284 if( p->pSelect ){
danielk19774adee202004-05-08 08:23:19 +0000285 Select *pNew = sqlite3SelectDup(p->pSelect);
286 sqlite3SelectDelete(p->pSelect);
drh4b59ab52002-08-24 18:24:51 +0000287 p->pSelect = pNew;
288 }
289 if( p->pWhere ){
danielk19774adee202004-05-08 08:23:19 +0000290 Expr *pNew = sqlite3ExprDup(p->pWhere);
291 sqlite3ExprDelete(p->pWhere);
drh4b59ab52002-08-24 18:24:51 +0000292 p->pWhere = pNew;
293 }
294 if( p->pExprList ){
danielk19774adee202004-05-08 08:23:19 +0000295 ExprList *pNew = sqlite3ExprListDup(p->pExprList);
296 sqlite3ExprListDelete(p->pExprList);
drh4b59ab52002-08-24 18:24:51 +0000297 p->pExprList = pNew;
298 }
299 if( p->pIdList ){
danielk19774adee202004-05-08 08:23:19 +0000300 IdList *pNew = sqlite3IdListDup(p->pIdList);
301 sqlite3IdListDelete(p->pIdList);
drh4b59ab52002-08-24 18:24:51 +0000302 p->pIdList = pNew;
danielk1977c3f9bad2002-05-15 08:30:12 +0000303 }
304}
305
drhc977f7f2002-05-21 11:38:11 +0000306/*
307** Turn a SELECT statement (that the pSelect parameter points to) into
308** a trigger step. Return a pointer to a TriggerStep structure.
309**
310** The parser calls this routine when it finds a SELECT statement in
311** body of a TRIGGER.
312*/
danielk19774adee202004-05-08 08:23:19 +0000313TriggerStep *sqlite3TriggerSelectStep(Select *pSelect){
danielk1977633ed082002-05-17 00:05:58 +0000314 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
drhe4697f52002-05-23 02:09:03 +0000315 if( pTriggerStep==0 ) return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000316
danielk1977633ed082002-05-17 00:05:58 +0000317 pTriggerStep->op = TK_SELECT;
318 pTriggerStep->pSelect = pSelect;
319 pTriggerStep->orconf = OE_Default;
drh4b59ab52002-08-24 18:24:51 +0000320 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000321
danielk1977633ed082002-05-17 00:05:58 +0000322 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000323}
324
drhc977f7f2002-05-21 11:38:11 +0000325/*
326** Build a trigger step out of an INSERT statement. Return a pointer
327** to the new trigger step.
328**
329** The parser calls this routine when it sees an INSERT inside the
330** body of a trigger.
331*/
danielk19774adee202004-05-08 08:23:19 +0000332TriggerStep *sqlite3TriggerInsertStep(
drhc977f7f2002-05-21 11:38:11 +0000333 Token *pTableName, /* Name of the table into which we insert */
334 IdList *pColumn, /* List of columns in pTableName to insert into */
335 ExprList *pEList, /* The VALUE clause: a list of values to be inserted */
336 Select *pSelect, /* A SELECT statement that supplies values */
337 int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */
danielk1977633ed082002-05-17 00:05:58 +0000338){
339 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
danielk1977c3f9bad2002-05-15 08:30:12 +0000340
danielk1977633ed082002-05-17 00:05:58 +0000341 assert(pEList == 0 || pSelect == 0);
342 assert(pEList != 0 || pSelect != 0);
danielk1977c3f9bad2002-05-15 08:30:12 +0000343
danielk1977d5d56522005-03-16 12:15:20 +0000344 if( pTriggerStep ){
345 pTriggerStep->op = TK_INSERT;
346 pTriggerStep->pSelect = pSelect;
347 pTriggerStep->target = *pTableName;
348 pTriggerStep->pIdList = pColumn;
349 pTriggerStep->pExprList = pEList;
350 pTriggerStep->orconf = orconf;
351 sqlitePersistTriggerStep(pTriggerStep);
352 }else{
353 sqlite3IdListDelete(pColumn);
354 sqlite3ExprListDelete(pEList);
355 sqlite3SelectDup(pSelect);
356 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000357
danielk1977633ed082002-05-17 00:05:58 +0000358 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000359}
360
drhc977f7f2002-05-21 11:38:11 +0000361/*
362** Construct a trigger step that implements an UPDATE statement and return
363** a pointer to that trigger step. The parser calls this routine when it
364** sees an UPDATE statement inside the body of a CREATE TRIGGER.
365*/
danielk19774adee202004-05-08 08:23:19 +0000366TriggerStep *sqlite3TriggerUpdateStep(
drhc977f7f2002-05-21 11:38:11 +0000367 Token *pTableName, /* Name of the table to be updated */
368 ExprList *pEList, /* The SET clause: list of column and new values */
369 Expr *pWhere, /* The WHERE clause */
370 int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */
371){
danielk1977633ed082002-05-17 00:05:58 +0000372 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
drhe4697f52002-05-23 02:09:03 +0000373 if( pTriggerStep==0 ) return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000374
danielk1977633ed082002-05-17 00:05:58 +0000375 pTriggerStep->op = TK_UPDATE;
376 pTriggerStep->target = *pTableName;
377 pTriggerStep->pExprList = pEList;
378 pTriggerStep->pWhere = pWhere;
379 pTriggerStep->orconf = orconf;
drh4b59ab52002-08-24 18:24:51 +0000380 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000381
danielk1977633ed082002-05-17 00:05:58 +0000382 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000383}
384
drhc977f7f2002-05-21 11:38:11 +0000385/*
386** Construct a trigger step that implements a DELETE statement and return
387** a pointer to that trigger step. The parser calls this routine when it
388** sees a DELETE statement inside the body of a CREATE TRIGGER.
389*/
danielk19774adee202004-05-08 08:23:19 +0000390TriggerStep *sqlite3TriggerDeleteStep(Token *pTableName, Expr *pWhere){
drhe4697f52002-05-23 02:09:03 +0000391 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
392 if( pTriggerStep==0 ) return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000393
danielk1977633ed082002-05-17 00:05:58 +0000394 pTriggerStep->op = TK_DELETE;
395 pTriggerStep->target = *pTableName;
396 pTriggerStep->pWhere = pWhere;
397 pTriggerStep->orconf = OE_Default;
drh4b59ab52002-08-24 18:24:51 +0000398 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000399
danielk1977633ed082002-05-17 00:05:58 +0000400 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000401}
402
danielk1977633ed082002-05-17 00:05:58 +0000403/*
404** Recursively delete a Trigger structure
405*/
danielk19774adee202004-05-08 08:23:19 +0000406void sqlite3DeleteTrigger(Trigger *pTrigger){
drhf0f258b2003-04-21 18:48:45 +0000407 if( pTrigger==0 ) return;
danielk19774adee202004-05-08 08:23:19 +0000408 sqlite3DeleteTriggerStep(pTrigger->step_list);
danielk1977633ed082002-05-17 00:05:58 +0000409 sqliteFree(pTrigger->name);
410 sqliteFree(pTrigger->table);
danielk19774adee202004-05-08 08:23:19 +0000411 sqlite3ExprDelete(pTrigger->pWhen);
412 sqlite3IdListDelete(pTrigger->pColumns);
drh4312db52003-06-03 01:47:11 +0000413 if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z);
danielk1977633ed082002-05-17 00:05:58 +0000414 sqliteFree(pTrigger);
danielk1977c3f9bad2002-05-15 08:30:12 +0000415}
416
417/*
danielk19778a414492004-06-29 08:59:35 +0000418** This function is called to drop a trigger from the database schema.
419**
420** This may be called directly from the parser and therefore identifies
421** the trigger by name. The sqlite3DropTriggerPtr() routine does the
422** same job as this routine except it takes a pointer to the trigger
423** instead of the trigger name.
424**/
danielk19774adee202004-05-08 08:23:19 +0000425void sqlite3DropTrigger(Parse *pParse, SrcList *pName){
danielk1977742f9472004-06-16 12:02:43 +0000426 Trigger *pTrigger = 0;
drhd24cc422003-03-27 12:51:24 +0000427 int i;
428 const char *zDb;
429 const char *zName;
430 int nName;
drh9bb575f2004-09-06 17:24:11 +0000431 sqlite3 *db = pParse->db;
danielk1977c3f9bad2002-05-15 08:30:12 +0000432
danielk1977261919c2005-12-06 12:52:59 +0000433 if( sqlite3Tsd()->mallocFailed ) goto drop_trigger_cleanup;
danielk19778a414492004-06-29 08:59:35 +0000434 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
danielk1977c0391392004-06-09 12:30:04 +0000435 goto drop_trigger_cleanup;
436 }
danielk19778e227872004-06-07 07:52:17 +0000437
drhd24cc422003-03-27 12:51:24 +0000438 assert( pName->nSrc==1 );
439 zDb = pName->a[0].zDatabase;
440 zName = pName->a[0].zName;
441 nName = strlen(zName);
danielk197753c0f742005-03-29 03:10:59 +0000442 for(i=OMIT_TEMPDB; i<db->nDb; i++){
drh812d7a22003-03-27 13:50:00 +0000443 int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */
danielk19774adee202004-05-08 08:23:19 +0000444 if( zDb && sqlite3StrICmp(db->aDb[j].zName, zDb) ) continue;
445 pTrigger = sqlite3HashFind(&(db->aDb[j].trigHash), zName, nName+1);
drhd24cc422003-03-27 12:51:24 +0000446 if( pTrigger ) break;
danielk1977c3f9bad2002-05-15 08:30:12 +0000447 }
drhd24cc422003-03-27 12:51:24 +0000448 if( !pTrigger ){
danielk19774adee202004-05-08 08:23:19 +0000449 sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0);
drhd24cc422003-03-27 12:51:24 +0000450 goto drop_trigger_cleanup;
451 }
danielk19774adee202004-05-08 08:23:19 +0000452 sqlite3DropTriggerPtr(pParse, pTrigger, 0);
drh79a519c2003-05-17 19:04:03 +0000453
454drop_trigger_cleanup:
danielk19774adee202004-05-08 08:23:19 +0000455 sqlite3SrcListDelete(pName);
drh79a519c2003-05-17 19:04:03 +0000456}
457
458/*
drh956bc922004-07-24 17:38:29 +0000459** Return a pointer to the Table structure for the table that a trigger
460** is set on.
461*/
462static Table *tableOfTrigger(sqlite3 *db, Trigger *pTrigger){
463 return sqlite3FindTable(db,pTrigger->table,db->aDb[pTrigger->iTabDb].zName);
464}
465
466
467/*
drh79a519c2003-05-17 19:04:03 +0000468** Drop a trigger given a pointer to that trigger. If nested is false,
469** then also generate code to remove the trigger from the SQLITE_MASTER
470** table.
471*/
danielk19774adee202004-05-08 08:23:19 +0000472void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger, int nested){
drh79a519c2003-05-17 19:04:03 +0000473 Table *pTable;
474 Vdbe *v;
drh9bb575f2004-09-06 17:24:11 +0000475 sqlite3 *db = pParse->db;
drh956bc922004-07-24 17:38:29 +0000476 int iDb;
drh79a519c2003-05-17 19:04:03 +0000477
drh956bc922004-07-24 17:38:29 +0000478 iDb = pTrigger->iDb;
479 assert( iDb>=0 && iDb<db->nDb );
480 pTable = tableOfTrigger(db, pTrigger);
drhed6c8672003-01-12 18:02:16 +0000481 assert(pTable);
drh956bc922004-07-24 17:38:29 +0000482 assert( pTable->iDb==iDb || iDb==1 );
drhe5f9c642003-01-13 23:27:31 +0000483#ifndef SQLITE_OMIT_AUTHORIZATION
484 {
485 int code = SQLITE_DROP_TRIGGER;
drh956bc922004-07-24 17:38:29 +0000486 const char *zDb = db->aDb[iDb].zName;
487 const char *zTab = SCHEMA_TABLE(iDb);
488 if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER;
danielk19774adee202004-05-08 08:23:19 +0000489 if( sqlite3AuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) ||
490 sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){
drh79a519c2003-05-17 19:04:03 +0000491 return;
drhe5f9c642003-01-13 23:27:31 +0000492 }
drhed6c8672003-01-12 18:02:16 +0000493 }
drhe5f9c642003-01-13 23:27:31 +0000494#endif
danielk1977c3f9bad2002-05-15 08:30:12 +0000495
drhf0f258b2003-04-21 18:48:45 +0000496 /* Generate code to destroy the database record of the trigger.
497 */
danielk19778e227872004-06-07 07:52:17 +0000498 if( pTable!=0 && (v = sqlite3GetVdbe(pParse))!=0 ){
drhf0f258b2003-04-21 18:48:45 +0000499 int base;
drh57196282004-10-06 15:41:16 +0000500 static const VdbeOpList dropTrigger[] = {
drh9b1b01b2003-08-16 12:37:51 +0000501 { OP_Rewind, 0, ADDR(9), 0},
drh57196282004-10-06 15:41:16 +0000502 { OP_String8, 0, 0, 0}, /* 1 */
drhf0f258b2003-04-21 18:48:45 +0000503 { OP_Column, 0, 1, 0},
drh9b1b01b2003-08-16 12:37:51 +0000504 { OP_Ne, 0, ADDR(8), 0},
drh57196282004-10-06 15:41:16 +0000505 { OP_String8, 0, 0, "trigger"},
drh9b1b01b2003-08-16 12:37:51 +0000506 { OP_Column, 0, 0, 0},
507 { OP_Ne, 0, ADDR(8), 0},
drhf0f258b2003-04-21 18:48:45 +0000508 { OP_Delete, 0, 0, 0},
drh9b1b01b2003-08-16 12:37:51 +0000509 { OP_Next, 0, ADDR(1), 0}, /* 8 */
drhf0f258b2003-04-21 18:48:45 +0000510 };
511
drh956bc922004-07-24 17:38:29 +0000512 sqlite3BeginWriteOperation(pParse, 0, iDb);
513 sqlite3OpenMasterTable(v, iDb);
danielk19774adee202004-05-08 08:23:19 +0000514 base = sqlite3VdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger);
515 sqlite3VdbeChangeP3(v, base+1, pTrigger->name, 0);
drh956bc922004-07-24 17:38:29 +0000516 sqlite3ChangeCookie(db, v, iDb);
danielk19774adee202004-05-08 08:23:19 +0000517 sqlite3VdbeAddOp(v, OP_Close, 0, 0);
drh956bc922004-07-24 17:38:29 +0000518 sqlite3VdbeOp3(v, OP_DropTrigger, iDb, 0, pTrigger->name, 0);
drhf0f258b2003-04-21 18:48:45 +0000519 }
drh956bc922004-07-24 17:38:29 +0000520}
drhf0f258b2003-04-21 18:48:45 +0000521
drh956bc922004-07-24 17:38:29 +0000522/*
523** Remove a trigger from the hash tables of the sqlite* pointer.
524*/
525void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){
526 Trigger *pTrigger;
527 int nName = strlen(zName);
528 pTrigger = sqlite3HashInsert(&(db->aDb[iDb].trigHash), zName, nName+1, 0);
529 if( pTrigger ){
530 Table *pTable = tableOfTrigger(db, pTrigger);
531 assert( pTable!=0 );
danielk1977633ed082002-05-17 00:05:58 +0000532 if( pTable->pTrigger == pTrigger ){
533 pTable->pTrigger = pTrigger->pNext;
danielk1977f29ce552002-05-19 23:43:12 +0000534 }else{
danielk1977633ed082002-05-17 00:05:58 +0000535 Trigger *cc = pTable->pTrigger;
536 while( cc ){
537 if( cc->pNext == pTrigger ){
drh9adf9ac2002-05-15 11:44:13 +0000538 cc->pNext = cc->pNext->pNext;
539 break;
540 }
541 cc = cc->pNext;
danielk1977c3f9bad2002-05-15 08:30:12 +0000542 }
543 assert(cc);
544 }
danielk19774adee202004-05-08 08:23:19 +0000545 sqlite3DeleteTrigger(pTrigger);
drh956bc922004-07-24 17:38:29 +0000546 db->flags |= SQLITE_InternChanges;
danielk1977c3f9bad2002-05-15 08:30:12 +0000547 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000548}
549
drhc977f7f2002-05-21 11:38:11 +0000550/*
551** pEList is the SET clause of an UPDATE statement. Each entry
552** in pEList is of the format <id>=<expr>. If any of the entries
553** in pEList have an <id> which matches an identifier in pIdList,
554** then return TRUE. If pIdList==NULL, then it is considered a
555** wildcard that matches anything. Likewise if pEList==NULL then
556** it matches anything so always return true. Return false only
557** if there is no match.
558*/
559static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){
drhad2d8302002-05-24 20:31:36 +0000560 int e;
561 if( !pIdList || !pEList ) return 1;
562 for(e=0; e<pEList->nExpr; e++){
danielk19774adee202004-05-08 08:23:19 +0000563 if( sqlite3IdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1;
danielk1977f29ce552002-05-19 23:43:12 +0000564 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000565 return 0;
566}
567
danielk1977c3f9bad2002-05-15 08:30:12 +0000568/*
drhdca76842004-12-07 14:06:13 +0000569** Return a bit vector to indicate what kind of triggers exist for operation
570** "op" on table pTab. If pChanges is not NULL then it is a list of columns
571** that are being updated. Triggers only match if the ON clause of the
572** trigger definition overlaps the set of columns being updated.
573**
574** The returned bit vector is some combination of TRIGGER_BEFORE and
575** TRIGGER_AFTER.
576*/
danielk19774adee202004-05-08 08:23:19 +0000577int sqlite3TriggersExist(
drhc977f7f2002-05-21 11:38:11 +0000578 Parse *pParse, /* Used to check for recursive triggers */
drhdca76842004-12-07 14:06:13 +0000579 Table *pTab, /* The table the contains the triggers */
danielk1977633ed082002-05-17 00:05:58 +0000580 int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */
drhc977f7f2002-05-21 11:38:11 +0000581 ExprList *pChanges /* Columns that change in an UPDATE statement */
582){
drhdca76842004-12-07 14:06:13 +0000583 Trigger *pTrigger = pTab->pTrigger;
584 int mask = 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000585
drhdca76842004-12-07 14:06:13 +0000586 while( pTrigger ){
587 if( pTrigger->op==op && checkColumnOverLap(pTrigger->pColumns, pChanges) ){
588 TriggerStack *ss;
danielk1977c3f9bad2002-05-15 08:30:12 +0000589 ss = pParse->trigStack;
drhdca76842004-12-07 14:06:13 +0000590 while( ss && ss->pTrigger!=pTab->pTrigger ){
danielk1977f29ce552002-05-19 23:43:12 +0000591 ss = ss->pNext;
592 }
drhdca76842004-12-07 14:06:13 +0000593 if( ss==0 ){
594 mask |= pTrigger->tr_tm;
595 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000596 }
drhdca76842004-12-07 14:06:13 +0000597 pTrigger = pTrigger->pNext;
danielk1977c3f9bad2002-05-15 08:30:12 +0000598 }
drhdca76842004-12-07 14:06:13 +0000599 return mask;
danielk1977c3f9bad2002-05-15 08:30:12 +0000600}
601
drhc977f7f2002-05-21 11:38:11 +0000602/*
drhf26e09c2003-05-31 16:21:12 +0000603** Convert the pStep->target token into a SrcList and return a pointer
604** to that SrcList.
605**
606** This routine adds a specific database name, if needed, to the target when
607** forming the SrcList. This prevents a trigger in one database from
608** referring to a target in another database. An exception is when the
609** trigger is in TEMP in which case it can refer to any other database it
610** wants.
611*/
612static SrcList *targetSrcList(
613 Parse *pParse, /* The parsing context */
614 TriggerStep *pStep /* The trigger containing the target token */
615){
616 Token sDb; /* Dummy database name token */
617 int iDb; /* Index of the database to use */
618 SrcList *pSrc; /* SrcList to be returned */
619
620 iDb = pStep->pTrig->iDb;
621 if( iDb==0 || iDb>=2 ){
622 assert( iDb<pParse->db->nDb );
623 sDb.z = pParse->db->aDb[iDb].zName;
624 sDb.n = strlen(sDb.z);
danielk19774adee202004-05-08 08:23:19 +0000625 pSrc = sqlite3SrcListAppend(0, &sDb, &pStep->target);
drhf26e09c2003-05-31 16:21:12 +0000626 } else {
danielk19774adee202004-05-08 08:23:19 +0000627 pSrc = sqlite3SrcListAppend(0, &pStep->target, 0);
drhf26e09c2003-05-31 16:21:12 +0000628 }
629 return pSrc;
630}
631
632/*
drhc977f7f2002-05-21 11:38:11 +0000633** Generate VDBE code for zero or more statements inside the body of a
634** trigger.
635*/
danielk1977c3f9bad2002-05-15 08:30:12 +0000636static int codeTriggerProgram(
drhc977f7f2002-05-21 11:38:11 +0000637 Parse *pParse, /* The parser context */
638 TriggerStep *pStepList, /* List of statements inside the trigger body */
639 int orconfin /* Conflict algorithm. (OE_Abort, etc) */
danielk1977633ed082002-05-17 00:05:58 +0000640){
641 TriggerStep * pTriggerStep = pStepList;
642 int orconf;
drh344737f2004-09-19 00:50:20 +0000643 Vdbe *v = pParse->pVdbe;
danielk1977c3f9bad2002-05-15 08:30:12 +0000644
drh344737f2004-09-19 00:50:20 +0000645 assert( pTriggerStep!=0 );
646 assert( v!=0 );
647 sqlite3VdbeAddOp(v, OP_ContextPush, 0, 0);
drh67040462004-09-24 12:24:36 +0000648 VdbeComment((v, "# begin trigger %s", pStepList->pTrig->name));
danielk1977633ed082002-05-17 00:05:58 +0000649 while( pTriggerStep ){
danielk1977633ed082002-05-17 00:05:58 +0000650 orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin;
651 pParse->trigStack->orconf = orconf;
652 switch( pTriggerStep->op ){
653 case TK_SELECT: {
danielk19774adee202004-05-08 08:23:19 +0000654 Select * ss = sqlite3SelectDup(pTriggerStep->pSelect);
danielk19776f349032002-06-11 02:25:40 +0000655 assert(ss);
656 assert(ss->pSrc);
danielk1977b3bce662005-01-29 08:32:43 +0000657 sqlite3SelectResolve(pParse, ss, 0);
658 sqlite3Select(pParse, ss, SRT_Discard, 0, 0, 0, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000659 sqlite3SelectDelete(ss);
danielk1977633ed082002-05-17 00:05:58 +0000660 break;
661 }
662 case TK_UPDATE: {
drh113088e2003-03-20 01:16:58 +0000663 SrcList *pSrc;
drhf26e09c2003-05-31 16:21:12 +0000664 pSrc = targetSrcList(pParse, pTriggerStep);
drh344737f2004-09-19 00:50:20 +0000665 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000666 sqlite3Update(pParse, pSrc,
667 sqlite3ExprListDup(pTriggerStep->pExprList),
668 sqlite3ExprDup(pTriggerStep->pWhere), orconf);
drh344737f2004-09-19 00:50:20 +0000669 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000670 break;
671 }
672 case TK_INSERT: {
drh113088e2003-03-20 01:16:58 +0000673 SrcList *pSrc;
drhf26e09c2003-05-31 16:21:12 +0000674 pSrc = targetSrcList(pParse, pTriggerStep);
drh344737f2004-09-19 00:50:20 +0000675 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000676 sqlite3Insert(pParse, pSrc,
677 sqlite3ExprListDup(pTriggerStep->pExprList),
678 sqlite3SelectDup(pTriggerStep->pSelect),
679 sqlite3IdListDup(pTriggerStep->pIdList), orconf);
drh344737f2004-09-19 00:50:20 +0000680 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000681 break;
682 }
683 case TK_DELETE: {
drh113088e2003-03-20 01:16:58 +0000684 SrcList *pSrc;
drh344737f2004-09-19 00:50:20 +0000685 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
drhf26e09c2003-05-31 16:21:12 +0000686 pSrc = targetSrcList(pParse, pTriggerStep);
danielk19774adee202004-05-08 08:23:19 +0000687 sqlite3DeleteFrom(pParse, pSrc, sqlite3ExprDup(pTriggerStep->pWhere));
drh344737f2004-09-19 00:50:20 +0000688 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000689 break;
690 }
691 default:
692 assert(0);
693 }
danielk1977633ed082002-05-17 00:05:58 +0000694 pTriggerStep = pTriggerStep->pNext;
695 }
drh344737f2004-09-19 00:50:20 +0000696 sqlite3VdbeAddOp(v, OP_ContextPop, 0, 0);
drh67040462004-09-24 12:24:36 +0000697 VdbeComment((v, "# end trigger %s", pStepList->pTrig->name));
danielk1977c3f9bad2002-05-15 08:30:12 +0000698
danielk1977633ed082002-05-17 00:05:58 +0000699 return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000700}
701
danielk1977633ed082002-05-17 00:05:58 +0000702/*
703** This is called to code FOR EACH ROW triggers.
704**
705** When the code that this function generates is executed, the following
706** must be true:
drhc977f7f2002-05-21 11:38:11 +0000707**
708** 1. No cursors may be open in the main database. (But newIdx and oldIdx
709** can be indices of cursors in temporary tables. See below.)
710**
danielk1977633ed082002-05-17 00:05:58 +0000711** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then
712** a temporary vdbe cursor (index newIdx) must be open and pointing at
713** a row containing values to be substituted for new.* expressions in the
714** trigger program(s).
drhc977f7f2002-05-21 11:38:11 +0000715**
danielk1977633ed082002-05-17 00:05:58 +0000716** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then
717** a temporary vdbe cursor (index oldIdx) must be open and pointing at
718** a row containing values to be substituted for old.* expressions in the
719** trigger program(s).
720**
721*/
danielk19774adee202004-05-08 08:23:19 +0000722int sqlite3CodeRowTrigger(
danielk1977633ed082002-05-17 00:05:58 +0000723 Parse *pParse, /* Parse context */
724 int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */
725 ExprList *pChanges, /* Changes list for any UPDATE OF triggers */
drhdca76842004-12-07 14:06:13 +0000726 int tr_tm, /* One of TRIGGER_BEFORE, TRIGGER_AFTER */
danielk1977633ed082002-05-17 00:05:58 +0000727 Table *pTab, /* The table to code triggers from */
728 int newIdx, /* The indice of the "new" row to access */
729 int oldIdx, /* The indice of the "old" row to access */
danielk19776f349032002-06-11 02:25:40 +0000730 int orconf, /* ON CONFLICT policy */
731 int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */
drhc977f7f2002-05-21 11:38:11 +0000732){
drh67040462004-09-24 12:24:36 +0000733 Trigger *pTrigger;
734 TriggerStack *pStack;
735 TriggerStack trigStackEntry;
danielk1977c3f9bad2002-05-15 08:30:12 +0000736
danielk1977c3f9bad2002-05-15 08:30:12 +0000737 assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE);
drhdca76842004-12-07 14:06:13 +0000738 assert(tr_tm == TRIGGER_BEFORE || tr_tm == TRIGGER_AFTER );
danielk1977c3f9bad2002-05-15 08:30:12 +0000739
danielk1977633ed082002-05-17 00:05:58 +0000740 assert(newIdx != -1 || oldIdx != -1);
danielk1977c3f9bad2002-05-15 08:30:12 +0000741
danielk1977633ed082002-05-17 00:05:58 +0000742 pTrigger = pTab->pTrigger;
danielk1977f29ce552002-05-19 23:43:12 +0000743 while( pTrigger ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000744 int fire_this = 0;
745
746 /* determine whether we should code this trigger */
drhdca76842004-12-07 14:06:13 +0000747 if( pTrigger->op == op && pTrigger->tr_tm == tr_tm ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000748 fire_this = 1;
drh67040462004-09-24 12:24:36 +0000749 for(pStack=pParse->trigStack; pStack; pStack=pStack->pNext){
750 if( pStack->pTrigger==pTrigger ){
danielk1977f29ce552002-05-19 23:43:12 +0000751 fire_this = 0;
752 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000753 }
danielk1977f29ce552002-05-19 23:43:12 +0000754 if( op == TK_UPDATE && pTrigger->pColumns &&
755 !checkColumnOverLap(pTrigger->pColumns, pChanges) ){
drh9adf9ac2002-05-15 11:44:13 +0000756 fire_this = 0;
danielk1977f29ce552002-05-19 23:43:12 +0000757 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000758 }
drhad6d9462004-09-19 02:15:24 +0000759
drh67040462004-09-24 12:24:36 +0000760 if( fire_this ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000761 int endTrigger;
danielk1977c3f9bad2002-05-15 08:30:12 +0000762 Expr * whenExpr;
drh85e20962003-04-25 17:52:11 +0000763 AuthContext sContext;
danielk1977b3bce662005-01-29 08:32:43 +0000764 NameContext sNC;
danielk1977c3f9bad2002-05-15 08:30:12 +0000765
danielk1977b3bce662005-01-29 08:32:43 +0000766 memset(&sNC, 0, sizeof(sNC));
767 sNC.pParse = pParse;
danielk1977c3f9bad2002-05-15 08:30:12 +0000768
769 /* Push an entry on to the trigger stack */
drh67040462004-09-24 12:24:36 +0000770 trigStackEntry.pTrigger = pTrigger;
771 trigStackEntry.newIdx = newIdx;
772 trigStackEntry.oldIdx = oldIdx;
773 trigStackEntry.pTab = pTab;
774 trigStackEntry.pNext = pParse->trigStack;
775 trigStackEntry.ignoreJump = ignoreJump;
776 pParse->trigStack = &trigStackEntry;
danielk19774adee202004-05-08 08:23:19 +0000777 sqlite3AuthContextPush(pParse, &sContext, pTrigger->name);
danielk1977c3f9bad2002-05-15 08:30:12 +0000778
779 /* code the WHEN clause */
danielk19774adee202004-05-08 08:23:19 +0000780 endTrigger = sqlite3VdbeMakeLabel(pParse->pVdbe);
781 whenExpr = sqlite3ExprDup(pTrigger->pWhen);
danielk1977b3bce662005-01-29 08:32:43 +0000782 if( sqlite3ExprResolveNames(&sNC, whenExpr) ){
drh67040462004-09-24 12:24:36 +0000783 pParse->trigStack = trigStackEntry.pNext;
danielk19774adee202004-05-08 08:23:19 +0000784 sqlite3ExprDelete(whenExpr);
drh9adf9ac2002-05-15 11:44:13 +0000785 return 1;
danielk1977c3f9bad2002-05-15 08:30:12 +0000786 }
danielk19774adee202004-05-08 08:23:19 +0000787 sqlite3ExprIfFalse(pParse, whenExpr, endTrigger, 1);
788 sqlite3ExprDelete(whenExpr);
danielk1977c3f9bad2002-05-15 08:30:12 +0000789
danielk1977633ed082002-05-17 00:05:58 +0000790 codeTriggerProgram(pParse, pTrigger->step_list, orconf);
danielk1977c3f9bad2002-05-15 08:30:12 +0000791
792 /* Pop the entry off the trigger stack */
drh67040462004-09-24 12:24:36 +0000793 pParse->trigStack = trigStackEntry.pNext;
danielk19774adee202004-05-08 08:23:19 +0000794 sqlite3AuthContextPop(&sContext);
danielk1977c3f9bad2002-05-15 08:30:12 +0000795
danielk19774adee202004-05-08 08:23:19 +0000796 sqlite3VdbeResolveLabel(pParse->pVdbe, endTrigger);
danielk1977c3f9bad2002-05-15 08:30:12 +0000797 }
798 pTrigger = pTrigger->pNext;
799 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000800 return 0;
801}
drhb7f91642004-10-31 02:22:47 +0000802#endif /* !defined(SQLITE_OMIT_TRIGGER) */