blob: afd88df5530d54e01360c052578f3ce941be055f [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;
danielk19772e588c72005-12-09 14:25:08 +0000202 if( pParse->nErr || !pTrig ) 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);
drh2646da72005-12-09 20:02:05 +0000240 sqlite3VdbeChangeP3(v, addr+6, (char*)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 ){
drh2646da72005-12-09 20:02:05 +0000281 p->target.z = (u8*)sqliteStrNDup((char*)p->target.z, p->target.n);
drh4b59ab52002-08-24 18:24:51 +0000282 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));
danielk19772e588c72005-12-09 14:25:08 +0000315 if( pTriggerStep==0 ) {
316 sqlite3SelectDelete(pSelect);
317 return 0;
318 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000319
danielk1977633ed082002-05-17 00:05:58 +0000320 pTriggerStep->op = TK_SELECT;
321 pTriggerStep->pSelect = pSelect;
322 pTriggerStep->orconf = OE_Default;
drh4b59ab52002-08-24 18:24:51 +0000323 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000324
danielk1977633ed082002-05-17 00:05:58 +0000325 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000326}
327
drhc977f7f2002-05-21 11:38:11 +0000328/*
329** Build a trigger step out of an INSERT statement. Return a pointer
330** to the new trigger step.
331**
332** The parser calls this routine when it sees an INSERT inside the
333** body of a trigger.
334*/
danielk19774adee202004-05-08 08:23:19 +0000335TriggerStep *sqlite3TriggerInsertStep(
drhc977f7f2002-05-21 11:38:11 +0000336 Token *pTableName, /* Name of the table into which we insert */
337 IdList *pColumn, /* List of columns in pTableName to insert into */
338 ExprList *pEList, /* The VALUE clause: a list of values to be inserted */
339 Select *pSelect, /* A SELECT statement that supplies values */
340 int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */
danielk1977633ed082002-05-17 00:05:58 +0000341){
342 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
danielk1977c3f9bad2002-05-15 08:30:12 +0000343
danielk1977633ed082002-05-17 00:05:58 +0000344 assert(pEList == 0 || pSelect == 0);
345 assert(pEList != 0 || pSelect != 0);
danielk1977c3f9bad2002-05-15 08:30:12 +0000346
danielk1977d5d56522005-03-16 12:15:20 +0000347 if( pTriggerStep ){
348 pTriggerStep->op = TK_INSERT;
349 pTriggerStep->pSelect = pSelect;
350 pTriggerStep->target = *pTableName;
351 pTriggerStep->pIdList = pColumn;
352 pTriggerStep->pExprList = pEList;
353 pTriggerStep->orconf = orconf;
354 sqlitePersistTriggerStep(pTriggerStep);
355 }else{
356 sqlite3IdListDelete(pColumn);
357 sqlite3ExprListDelete(pEList);
358 sqlite3SelectDup(pSelect);
359 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000360
danielk1977633ed082002-05-17 00:05:58 +0000361 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000362}
363
drhc977f7f2002-05-21 11:38:11 +0000364/*
365** Construct a trigger step that implements an UPDATE statement and return
366** a pointer to that trigger step. The parser calls this routine when it
367** sees an UPDATE statement inside the body of a CREATE TRIGGER.
368*/
danielk19774adee202004-05-08 08:23:19 +0000369TriggerStep *sqlite3TriggerUpdateStep(
drhc977f7f2002-05-21 11:38:11 +0000370 Token *pTableName, /* Name of the table to be updated */
371 ExprList *pEList, /* The SET clause: list of column and new values */
372 Expr *pWhere, /* The WHERE clause */
373 int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */
374){
danielk1977633ed082002-05-17 00:05:58 +0000375 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
drhe4697f52002-05-23 02:09:03 +0000376 if( pTriggerStep==0 ) return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000377
danielk1977633ed082002-05-17 00:05:58 +0000378 pTriggerStep->op = TK_UPDATE;
379 pTriggerStep->target = *pTableName;
380 pTriggerStep->pExprList = pEList;
381 pTriggerStep->pWhere = pWhere;
382 pTriggerStep->orconf = orconf;
drh4b59ab52002-08-24 18:24:51 +0000383 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000384
danielk1977633ed082002-05-17 00:05:58 +0000385 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000386}
387
drhc977f7f2002-05-21 11:38:11 +0000388/*
389** Construct a trigger step that implements a DELETE statement and return
390** a pointer to that trigger step. The parser calls this routine when it
391** sees a DELETE statement inside the body of a CREATE TRIGGER.
392*/
danielk19774adee202004-05-08 08:23:19 +0000393TriggerStep *sqlite3TriggerDeleteStep(Token *pTableName, Expr *pWhere){
drhe4697f52002-05-23 02:09:03 +0000394 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep));
395 if( pTriggerStep==0 ) return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000396
danielk1977633ed082002-05-17 00:05:58 +0000397 pTriggerStep->op = TK_DELETE;
398 pTriggerStep->target = *pTableName;
399 pTriggerStep->pWhere = pWhere;
400 pTriggerStep->orconf = OE_Default;
drh4b59ab52002-08-24 18:24:51 +0000401 sqlitePersistTriggerStep(pTriggerStep);
danielk1977c3f9bad2002-05-15 08:30:12 +0000402
danielk1977633ed082002-05-17 00:05:58 +0000403 return pTriggerStep;
danielk1977c3f9bad2002-05-15 08:30:12 +0000404}
405
danielk1977633ed082002-05-17 00:05:58 +0000406/*
407** Recursively delete a Trigger structure
408*/
danielk19774adee202004-05-08 08:23:19 +0000409void sqlite3DeleteTrigger(Trigger *pTrigger){
drhf0f258b2003-04-21 18:48:45 +0000410 if( pTrigger==0 ) return;
danielk19774adee202004-05-08 08:23:19 +0000411 sqlite3DeleteTriggerStep(pTrigger->step_list);
danielk1977633ed082002-05-17 00:05:58 +0000412 sqliteFree(pTrigger->name);
413 sqliteFree(pTrigger->table);
danielk19774adee202004-05-08 08:23:19 +0000414 sqlite3ExprDelete(pTrigger->pWhen);
415 sqlite3IdListDelete(pTrigger->pColumns);
drh4312db52003-06-03 01:47:11 +0000416 if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z);
danielk1977633ed082002-05-17 00:05:58 +0000417 sqliteFree(pTrigger);
danielk1977c3f9bad2002-05-15 08:30:12 +0000418}
419
420/*
danielk19778a414492004-06-29 08:59:35 +0000421** This function is called to drop a trigger from the database schema.
422**
423** This may be called directly from the parser and therefore identifies
424** the trigger by name. The sqlite3DropTriggerPtr() routine does the
425** same job as this routine except it takes a pointer to the trigger
426** instead of the trigger name.
427**/
danielk19774adee202004-05-08 08:23:19 +0000428void sqlite3DropTrigger(Parse *pParse, SrcList *pName){
danielk1977742f9472004-06-16 12:02:43 +0000429 Trigger *pTrigger = 0;
drhd24cc422003-03-27 12:51:24 +0000430 int i;
431 const char *zDb;
432 const char *zName;
433 int nName;
drh9bb575f2004-09-06 17:24:11 +0000434 sqlite3 *db = pParse->db;
danielk1977c3f9bad2002-05-15 08:30:12 +0000435
danielk1977261919c2005-12-06 12:52:59 +0000436 if( sqlite3Tsd()->mallocFailed ) goto drop_trigger_cleanup;
danielk19778a414492004-06-29 08:59:35 +0000437 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
danielk1977c0391392004-06-09 12:30:04 +0000438 goto drop_trigger_cleanup;
439 }
danielk19778e227872004-06-07 07:52:17 +0000440
drhd24cc422003-03-27 12:51:24 +0000441 assert( pName->nSrc==1 );
442 zDb = pName->a[0].zDatabase;
443 zName = pName->a[0].zName;
444 nName = strlen(zName);
danielk197753c0f742005-03-29 03:10:59 +0000445 for(i=OMIT_TEMPDB; i<db->nDb; i++){
drh812d7a22003-03-27 13:50:00 +0000446 int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */
danielk19774adee202004-05-08 08:23:19 +0000447 if( zDb && sqlite3StrICmp(db->aDb[j].zName, zDb) ) continue;
448 pTrigger = sqlite3HashFind(&(db->aDb[j].trigHash), zName, nName+1);
drhd24cc422003-03-27 12:51:24 +0000449 if( pTrigger ) break;
danielk1977c3f9bad2002-05-15 08:30:12 +0000450 }
drhd24cc422003-03-27 12:51:24 +0000451 if( !pTrigger ){
danielk19774adee202004-05-08 08:23:19 +0000452 sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0);
drhd24cc422003-03-27 12:51:24 +0000453 goto drop_trigger_cleanup;
454 }
danielk19774adee202004-05-08 08:23:19 +0000455 sqlite3DropTriggerPtr(pParse, pTrigger, 0);
drh79a519c2003-05-17 19:04:03 +0000456
457drop_trigger_cleanup:
danielk19774adee202004-05-08 08:23:19 +0000458 sqlite3SrcListDelete(pName);
drh79a519c2003-05-17 19:04:03 +0000459}
460
461/*
drh956bc922004-07-24 17:38:29 +0000462** Return a pointer to the Table structure for the table that a trigger
463** is set on.
464*/
465static Table *tableOfTrigger(sqlite3 *db, Trigger *pTrigger){
466 return sqlite3FindTable(db,pTrigger->table,db->aDb[pTrigger->iTabDb].zName);
467}
468
469
470/*
drh79a519c2003-05-17 19:04:03 +0000471** Drop a trigger given a pointer to that trigger. If nested is false,
472** then also generate code to remove the trigger from the SQLITE_MASTER
473** table.
474*/
danielk19774adee202004-05-08 08:23:19 +0000475void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger, int nested){
drh79a519c2003-05-17 19:04:03 +0000476 Table *pTable;
477 Vdbe *v;
drh9bb575f2004-09-06 17:24:11 +0000478 sqlite3 *db = pParse->db;
drh956bc922004-07-24 17:38:29 +0000479 int iDb;
drh79a519c2003-05-17 19:04:03 +0000480
drh956bc922004-07-24 17:38:29 +0000481 iDb = pTrigger->iDb;
482 assert( iDb>=0 && iDb<db->nDb );
483 pTable = tableOfTrigger(db, pTrigger);
drhed6c8672003-01-12 18:02:16 +0000484 assert(pTable);
drh956bc922004-07-24 17:38:29 +0000485 assert( pTable->iDb==iDb || iDb==1 );
drhe5f9c642003-01-13 23:27:31 +0000486#ifndef SQLITE_OMIT_AUTHORIZATION
487 {
488 int code = SQLITE_DROP_TRIGGER;
drh956bc922004-07-24 17:38:29 +0000489 const char *zDb = db->aDb[iDb].zName;
490 const char *zTab = SCHEMA_TABLE(iDb);
491 if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER;
danielk19774adee202004-05-08 08:23:19 +0000492 if( sqlite3AuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) ||
493 sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){
drh79a519c2003-05-17 19:04:03 +0000494 return;
drhe5f9c642003-01-13 23:27:31 +0000495 }
drhed6c8672003-01-12 18:02:16 +0000496 }
drhe5f9c642003-01-13 23:27:31 +0000497#endif
danielk1977c3f9bad2002-05-15 08:30:12 +0000498
drhf0f258b2003-04-21 18:48:45 +0000499 /* Generate code to destroy the database record of the trigger.
500 */
danielk19778e227872004-06-07 07:52:17 +0000501 if( pTable!=0 && (v = sqlite3GetVdbe(pParse))!=0 ){
drhf0f258b2003-04-21 18:48:45 +0000502 int base;
drh57196282004-10-06 15:41:16 +0000503 static const VdbeOpList dropTrigger[] = {
drh9b1b01b2003-08-16 12:37:51 +0000504 { OP_Rewind, 0, ADDR(9), 0},
drh57196282004-10-06 15:41:16 +0000505 { OP_String8, 0, 0, 0}, /* 1 */
drhf0f258b2003-04-21 18:48:45 +0000506 { OP_Column, 0, 1, 0},
drh9b1b01b2003-08-16 12:37:51 +0000507 { OP_Ne, 0, ADDR(8), 0},
drh57196282004-10-06 15:41:16 +0000508 { OP_String8, 0, 0, "trigger"},
drh9b1b01b2003-08-16 12:37:51 +0000509 { OP_Column, 0, 0, 0},
510 { OP_Ne, 0, ADDR(8), 0},
drhf0f258b2003-04-21 18:48:45 +0000511 { OP_Delete, 0, 0, 0},
drh9b1b01b2003-08-16 12:37:51 +0000512 { OP_Next, 0, ADDR(1), 0}, /* 8 */
drhf0f258b2003-04-21 18:48:45 +0000513 };
514
drh956bc922004-07-24 17:38:29 +0000515 sqlite3BeginWriteOperation(pParse, 0, iDb);
516 sqlite3OpenMasterTable(v, iDb);
danielk19774adee202004-05-08 08:23:19 +0000517 base = sqlite3VdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger);
518 sqlite3VdbeChangeP3(v, base+1, pTrigger->name, 0);
drh956bc922004-07-24 17:38:29 +0000519 sqlite3ChangeCookie(db, v, iDb);
danielk19774adee202004-05-08 08:23:19 +0000520 sqlite3VdbeAddOp(v, OP_Close, 0, 0);
drh956bc922004-07-24 17:38:29 +0000521 sqlite3VdbeOp3(v, OP_DropTrigger, iDb, 0, pTrigger->name, 0);
drhf0f258b2003-04-21 18:48:45 +0000522 }
drh956bc922004-07-24 17:38:29 +0000523}
drhf0f258b2003-04-21 18:48:45 +0000524
drh956bc922004-07-24 17:38:29 +0000525/*
526** Remove a trigger from the hash tables of the sqlite* pointer.
527*/
528void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){
529 Trigger *pTrigger;
530 int nName = strlen(zName);
531 pTrigger = sqlite3HashInsert(&(db->aDb[iDb].trigHash), zName, nName+1, 0);
532 if( pTrigger ){
533 Table *pTable = tableOfTrigger(db, pTrigger);
534 assert( pTable!=0 );
danielk1977633ed082002-05-17 00:05:58 +0000535 if( pTable->pTrigger == pTrigger ){
536 pTable->pTrigger = pTrigger->pNext;
danielk1977f29ce552002-05-19 23:43:12 +0000537 }else{
danielk1977633ed082002-05-17 00:05:58 +0000538 Trigger *cc = pTable->pTrigger;
539 while( cc ){
540 if( cc->pNext == pTrigger ){
drh9adf9ac2002-05-15 11:44:13 +0000541 cc->pNext = cc->pNext->pNext;
542 break;
543 }
544 cc = cc->pNext;
danielk1977c3f9bad2002-05-15 08:30:12 +0000545 }
546 assert(cc);
547 }
danielk19774adee202004-05-08 08:23:19 +0000548 sqlite3DeleteTrigger(pTrigger);
drh956bc922004-07-24 17:38:29 +0000549 db->flags |= SQLITE_InternChanges;
danielk1977c3f9bad2002-05-15 08:30:12 +0000550 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000551}
552
drhc977f7f2002-05-21 11:38:11 +0000553/*
554** pEList is the SET clause of an UPDATE statement. Each entry
555** in pEList is of the format <id>=<expr>. If any of the entries
556** in pEList have an <id> which matches an identifier in pIdList,
557** then return TRUE. If pIdList==NULL, then it is considered a
558** wildcard that matches anything. Likewise if pEList==NULL then
559** it matches anything so always return true. Return false only
560** if there is no match.
561*/
562static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){
drhad2d8302002-05-24 20:31:36 +0000563 int e;
564 if( !pIdList || !pEList ) return 1;
565 for(e=0; e<pEList->nExpr; e++){
danielk19774adee202004-05-08 08:23:19 +0000566 if( sqlite3IdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1;
danielk1977f29ce552002-05-19 23:43:12 +0000567 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000568 return 0;
569}
570
danielk1977c3f9bad2002-05-15 08:30:12 +0000571/*
drhdca76842004-12-07 14:06:13 +0000572** Return a bit vector to indicate what kind of triggers exist for operation
573** "op" on table pTab. If pChanges is not NULL then it is a list of columns
574** that are being updated. Triggers only match if the ON clause of the
575** trigger definition overlaps the set of columns being updated.
576**
577** The returned bit vector is some combination of TRIGGER_BEFORE and
578** TRIGGER_AFTER.
579*/
danielk19774adee202004-05-08 08:23:19 +0000580int sqlite3TriggersExist(
drhc977f7f2002-05-21 11:38:11 +0000581 Parse *pParse, /* Used to check for recursive triggers */
drhdca76842004-12-07 14:06:13 +0000582 Table *pTab, /* The table the contains the triggers */
danielk1977633ed082002-05-17 00:05:58 +0000583 int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */
drhc977f7f2002-05-21 11:38:11 +0000584 ExprList *pChanges /* Columns that change in an UPDATE statement */
585){
drhdca76842004-12-07 14:06:13 +0000586 Trigger *pTrigger = pTab->pTrigger;
587 int mask = 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000588
drhdca76842004-12-07 14:06:13 +0000589 while( pTrigger ){
590 if( pTrigger->op==op && checkColumnOverLap(pTrigger->pColumns, pChanges) ){
591 TriggerStack *ss;
danielk1977c3f9bad2002-05-15 08:30:12 +0000592 ss = pParse->trigStack;
drhdca76842004-12-07 14:06:13 +0000593 while( ss && ss->pTrigger!=pTab->pTrigger ){
danielk1977f29ce552002-05-19 23:43:12 +0000594 ss = ss->pNext;
595 }
drhdca76842004-12-07 14:06:13 +0000596 if( ss==0 ){
597 mask |= pTrigger->tr_tm;
598 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000599 }
drhdca76842004-12-07 14:06:13 +0000600 pTrigger = pTrigger->pNext;
danielk1977c3f9bad2002-05-15 08:30:12 +0000601 }
drhdca76842004-12-07 14:06:13 +0000602 return mask;
danielk1977c3f9bad2002-05-15 08:30:12 +0000603}
604
drhc977f7f2002-05-21 11:38:11 +0000605/*
drhf26e09c2003-05-31 16:21:12 +0000606** Convert the pStep->target token into a SrcList and return a pointer
607** to that SrcList.
608**
609** This routine adds a specific database name, if needed, to the target when
610** forming the SrcList. This prevents a trigger in one database from
611** referring to a target in another database. An exception is when the
612** trigger is in TEMP in which case it can refer to any other database it
613** wants.
614*/
615static SrcList *targetSrcList(
616 Parse *pParse, /* The parsing context */
617 TriggerStep *pStep /* The trigger containing the target token */
618){
619 Token sDb; /* Dummy database name token */
620 int iDb; /* Index of the database to use */
621 SrcList *pSrc; /* SrcList to be returned */
622
623 iDb = pStep->pTrig->iDb;
624 if( iDb==0 || iDb>=2 ){
625 assert( iDb<pParse->db->nDb );
drh2646da72005-12-09 20:02:05 +0000626 sDb.z = (u8*)pParse->db->aDb[iDb].zName;
627 sDb.n = strlen((char*)sDb.z);
danielk19774adee202004-05-08 08:23:19 +0000628 pSrc = sqlite3SrcListAppend(0, &sDb, &pStep->target);
drhf26e09c2003-05-31 16:21:12 +0000629 } else {
danielk19774adee202004-05-08 08:23:19 +0000630 pSrc = sqlite3SrcListAppend(0, &pStep->target, 0);
drhf26e09c2003-05-31 16:21:12 +0000631 }
632 return pSrc;
633}
634
635/*
drhc977f7f2002-05-21 11:38:11 +0000636** Generate VDBE code for zero or more statements inside the body of a
637** trigger.
638*/
danielk1977c3f9bad2002-05-15 08:30:12 +0000639static int codeTriggerProgram(
drhc977f7f2002-05-21 11:38:11 +0000640 Parse *pParse, /* The parser context */
641 TriggerStep *pStepList, /* List of statements inside the trigger body */
642 int orconfin /* Conflict algorithm. (OE_Abort, etc) */
danielk1977633ed082002-05-17 00:05:58 +0000643){
644 TriggerStep * pTriggerStep = pStepList;
645 int orconf;
drh344737f2004-09-19 00:50:20 +0000646 Vdbe *v = pParse->pVdbe;
danielk1977c3f9bad2002-05-15 08:30:12 +0000647
drh344737f2004-09-19 00:50:20 +0000648 assert( pTriggerStep!=0 );
649 assert( v!=0 );
650 sqlite3VdbeAddOp(v, OP_ContextPush, 0, 0);
drh67040462004-09-24 12:24:36 +0000651 VdbeComment((v, "# begin trigger %s", pStepList->pTrig->name));
danielk1977633ed082002-05-17 00:05:58 +0000652 while( pTriggerStep ){
danielk1977633ed082002-05-17 00:05:58 +0000653 orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin;
654 pParse->trigStack->orconf = orconf;
655 switch( pTriggerStep->op ){
656 case TK_SELECT: {
danielk19774adee202004-05-08 08:23:19 +0000657 Select * ss = sqlite3SelectDup(pTriggerStep->pSelect);
danielk19776f349032002-06-11 02:25:40 +0000658 assert(ss);
659 assert(ss->pSrc);
danielk1977b3bce662005-01-29 08:32:43 +0000660 sqlite3SelectResolve(pParse, ss, 0);
661 sqlite3Select(pParse, ss, SRT_Discard, 0, 0, 0, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000662 sqlite3SelectDelete(ss);
danielk1977633ed082002-05-17 00:05:58 +0000663 break;
664 }
665 case TK_UPDATE: {
drh113088e2003-03-20 01:16:58 +0000666 SrcList *pSrc;
drhf26e09c2003-05-31 16:21:12 +0000667 pSrc = targetSrcList(pParse, pTriggerStep);
drh344737f2004-09-19 00:50:20 +0000668 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000669 sqlite3Update(pParse, pSrc,
670 sqlite3ExprListDup(pTriggerStep->pExprList),
671 sqlite3ExprDup(pTriggerStep->pWhere), orconf);
drh344737f2004-09-19 00:50:20 +0000672 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000673 break;
674 }
675 case TK_INSERT: {
drh113088e2003-03-20 01:16:58 +0000676 SrcList *pSrc;
drhf26e09c2003-05-31 16:21:12 +0000677 pSrc = targetSrcList(pParse, pTriggerStep);
drh344737f2004-09-19 00:50:20 +0000678 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000679 sqlite3Insert(pParse, pSrc,
680 sqlite3ExprListDup(pTriggerStep->pExprList),
681 sqlite3SelectDup(pTriggerStep->pSelect),
682 sqlite3IdListDup(pTriggerStep->pIdList), orconf);
drh344737f2004-09-19 00:50:20 +0000683 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000684 break;
685 }
686 case TK_DELETE: {
drh113088e2003-03-20 01:16:58 +0000687 SrcList *pSrc;
drh344737f2004-09-19 00:50:20 +0000688 sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0);
drhf26e09c2003-05-31 16:21:12 +0000689 pSrc = targetSrcList(pParse, pTriggerStep);
danielk19774adee202004-05-08 08:23:19 +0000690 sqlite3DeleteFrom(pParse, pSrc, sqlite3ExprDup(pTriggerStep->pWhere));
drh344737f2004-09-19 00:50:20 +0000691 sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0);
danielk1977633ed082002-05-17 00:05:58 +0000692 break;
693 }
694 default:
695 assert(0);
696 }
danielk1977633ed082002-05-17 00:05:58 +0000697 pTriggerStep = pTriggerStep->pNext;
698 }
drh344737f2004-09-19 00:50:20 +0000699 sqlite3VdbeAddOp(v, OP_ContextPop, 0, 0);
drh67040462004-09-24 12:24:36 +0000700 VdbeComment((v, "# end trigger %s", pStepList->pTrig->name));
danielk1977c3f9bad2002-05-15 08:30:12 +0000701
danielk1977633ed082002-05-17 00:05:58 +0000702 return 0;
danielk1977c3f9bad2002-05-15 08:30:12 +0000703}
704
danielk1977633ed082002-05-17 00:05:58 +0000705/*
706** This is called to code FOR EACH ROW triggers.
707**
708** When the code that this function generates is executed, the following
709** must be true:
drhc977f7f2002-05-21 11:38:11 +0000710**
711** 1. No cursors may be open in the main database. (But newIdx and oldIdx
712** can be indices of cursors in temporary tables. See below.)
713**
danielk1977633ed082002-05-17 00:05:58 +0000714** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then
715** a temporary vdbe cursor (index newIdx) must be open and pointing at
716** a row containing values to be substituted for new.* expressions in the
717** trigger program(s).
drhc977f7f2002-05-21 11:38:11 +0000718**
danielk1977633ed082002-05-17 00:05:58 +0000719** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then
720** a temporary vdbe cursor (index oldIdx) must be open and pointing at
721** a row containing values to be substituted for old.* expressions in the
722** trigger program(s).
723**
724*/
danielk19774adee202004-05-08 08:23:19 +0000725int sqlite3CodeRowTrigger(
danielk1977633ed082002-05-17 00:05:58 +0000726 Parse *pParse, /* Parse context */
727 int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */
728 ExprList *pChanges, /* Changes list for any UPDATE OF triggers */
drhdca76842004-12-07 14:06:13 +0000729 int tr_tm, /* One of TRIGGER_BEFORE, TRIGGER_AFTER */
danielk1977633ed082002-05-17 00:05:58 +0000730 Table *pTab, /* The table to code triggers from */
731 int newIdx, /* The indice of the "new" row to access */
732 int oldIdx, /* The indice of the "old" row to access */
danielk19776f349032002-06-11 02:25:40 +0000733 int orconf, /* ON CONFLICT policy */
734 int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */
drhc977f7f2002-05-21 11:38:11 +0000735){
drh67040462004-09-24 12:24:36 +0000736 Trigger *pTrigger;
737 TriggerStack *pStack;
738 TriggerStack trigStackEntry;
danielk1977c3f9bad2002-05-15 08:30:12 +0000739
danielk1977c3f9bad2002-05-15 08:30:12 +0000740 assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE);
drhdca76842004-12-07 14:06:13 +0000741 assert(tr_tm == TRIGGER_BEFORE || tr_tm == TRIGGER_AFTER );
danielk1977c3f9bad2002-05-15 08:30:12 +0000742
danielk1977633ed082002-05-17 00:05:58 +0000743 assert(newIdx != -1 || oldIdx != -1);
danielk1977c3f9bad2002-05-15 08:30:12 +0000744
danielk1977633ed082002-05-17 00:05:58 +0000745 pTrigger = pTab->pTrigger;
danielk1977f29ce552002-05-19 23:43:12 +0000746 while( pTrigger ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000747 int fire_this = 0;
748
749 /* determine whether we should code this trigger */
drhdca76842004-12-07 14:06:13 +0000750 if( pTrigger->op == op && pTrigger->tr_tm == tr_tm ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000751 fire_this = 1;
drh67040462004-09-24 12:24:36 +0000752 for(pStack=pParse->trigStack; pStack; pStack=pStack->pNext){
753 if( pStack->pTrigger==pTrigger ){
danielk1977f29ce552002-05-19 23:43:12 +0000754 fire_this = 0;
755 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000756 }
danielk1977f29ce552002-05-19 23:43:12 +0000757 if( op == TK_UPDATE && pTrigger->pColumns &&
758 !checkColumnOverLap(pTrigger->pColumns, pChanges) ){
drh9adf9ac2002-05-15 11:44:13 +0000759 fire_this = 0;
danielk1977f29ce552002-05-19 23:43:12 +0000760 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000761 }
drhad6d9462004-09-19 02:15:24 +0000762
drh67040462004-09-24 12:24:36 +0000763 if( fire_this ){
danielk1977c3f9bad2002-05-15 08:30:12 +0000764 int endTrigger;
danielk1977c3f9bad2002-05-15 08:30:12 +0000765 Expr * whenExpr;
drh85e20962003-04-25 17:52:11 +0000766 AuthContext sContext;
danielk1977b3bce662005-01-29 08:32:43 +0000767 NameContext sNC;
danielk1977c3f9bad2002-05-15 08:30:12 +0000768
danielk1977b3bce662005-01-29 08:32:43 +0000769 memset(&sNC, 0, sizeof(sNC));
770 sNC.pParse = pParse;
danielk1977c3f9bad2002-05-15 08:30:12 +0000771
772 /* Push an entry on to the trigger stack */
drh67040462004-09-24 12:24:36 +0000773 trigStackEntry.pTrigger = pTrigger;
774 trigStackEntry.newIdx = newIdx;
775 trigStackEntry.oldIdx = oldIdx;
776 trigStackEntry.pTab = pTab;
777 trigStackEntry.pNext = pParse->trigStack;
778 trigStackEntry.ignoreJump = ignoreJump;
779 pParse->trigStack = &trigStackEntry;
danielk19774adee202004-05-08 08:23:19 +0000780 sqlite3AuthContextPush(pParse, &sContext, pTrigger->name);
danielk1977c3f9bad2002-05-15 08:30:12 +0000781
782 /* code the WHEN clause */
danielk19774adee202004-05-08 08:23:19 +0000783 endTrigger = sqlite3VdbeMakeLabel(pParse->pVdbe);
784 whenExpr = sqlite3ExprDup(pTrigger->pWhen);
danielk1977b3bce662005-01-29 08:32:43 +0000785 if( sqlite3ExprResolveNames(&sNC, whenExpr) ){
drh67040462004-09-24 12:24:36 +0000786 pParse->trigStack = trigStackEntry.pNext;
danielk19774adee202004-05-08 08:23:19 +0000787 sqlite3ExprDelete(whenExpr);
drh9adf9ac2002-05-15 11:44:13 +0000788 return 1;
danielk1977c3f9bad2002-05-15 08:30:12 +0000789 }
danielk19774adee202004-05-08 08:23:19 +0000790 sqlite3ExprIfFalse(pParse, whenExpr, endTrigger, 1);
791 sqlite3ExprDelete(whenExpr);
danielk1977c3f9bad2002-05-15 08:30:12 +0000792
danielk1977633ed082002-05-17 00:05:58 +0000793 codeTriggerProgram(pParse, pTrigger->step_list, orconf);
danielk1977c3f9bad2002-05-15 08:30:12 +0000794
795 /* Pop the entry off the trigger stack */
drh67040462004-09-24 12:24:36 +0000796 pParse->trigStack = trigStackEntry.pNext;
danielk19774adee202004-05-08 08:23:19 +0000797 sqlite3AuthContextPop(&sContext);
danielk1977c3f9bad2002-05-15 08:30:12 +0000798
danielk19774adee202004-05-08 08:23:19 +0000799 sqlite3VdbeResolveLabel(pParse->pVdbe, endTrigger);
danielk1977c3f9bad2002-05-15 08:30:12 +0000800 }
801 pTrigger = pTrigger->pNext;
802 }
danielk1977c3f9bad2002-05-15 08:30:12 +0000803 return 0;
804}
drhb7f91642004-10-31 02:22:47 +0000805#endif /* !defined(SQLITE_OMIT_TRIGGER) */