danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 1 | /* |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 2 | ** |
| 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 | * |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 12 | */ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 13 | #include "sqliteInt.h" |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 14 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 15 | /* |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 16 | ** Delete a linked list of TriggerStep structures. |
| 17 | */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 18 | void sqliteDeleteTriggerStep(TriggerStep *pTriggerStep){ |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 19 | while( pTriggerStep ){ |
| 20 | TriggerStep * pTmp = pTriggerStep; |
| 21 | pTriggerStep = pTriggerStep->pNext; |
| 22 | |
drh | 8c74a8c | 2002-08-25 19:20:40 +0000 | [diff] [blame] | 23 | if( pTmp->target.dyn ) sqliteFree((char*)pTmp->target.z); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 24 | sqliteExprDelete(pTmp->pWhere); |
| 25 | sqliteExprListDelete(pTmp->pExprList); |
| 26 | sqliteSelectDelete(pTmp->pSelect); |
| 27 | sqliteIdListDelete(pTmp->pIdList); |
| 28 | |
| 29 | sqliteFree(pTmp); |
| 30 | } |
| 31 | } |
| 32 | |
| 33 | /* |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 34 | ** This is called by the parser when it sees a CREATE TRIGGER statement |
| 35 | ** up to the point of the BEGIN before the trigger actions. A Trigger |
| 36 | ** structure is generated based on the information available and stored |
| 37 | ** in pParse->pNewTrigger. After the trigger actions have been parsed, the |
| 38 | ** sqliteFinishTrigger() function is called to complete the trigger |
| 39 | ** construction process. |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 40 | */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 41 | void sqliteBeginTrigger( |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 42 | Parse *pParse, /* The parse context of the CREATE TRIGGER statement */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 43 | Token *pName, /* The name of the trigger */ |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 44 | int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 45 | int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 46 | IdList *pColumns, /* column list if this is an UPDATE OF trigger */ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 47 | SrcList *pTableName,/* The name of the table/view the trigger applies to */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 48 | int foreach, /* One of TK_ROW or TK_STATEMENT */ |
| 49 | Expr *pWhen, /* WHEN clause */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 50 | int isTemp /* True if the TEMPORARY keyword is present */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 51 | ){ |
| 52 | Trigger *nt; |
| 53 | Table *tab; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 54 | char *zName = 0; /* Name of the trigger */ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 55 | sqlite *db = pParse->db; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 56 | int iDb; /* When database to store the trigger in */ |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 57 | DbFixer sFix; |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 58 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 59 | /* Check that: |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 60 | ** 1. the trigger name does not already exist. |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 61 | ** 2. the table (or view) does exist in the same database as the trigger. |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 62 | ** 3. that we are not trying to create a trigger on the sqlite_master table |
| 63 | ** 4. That we are not trying to create an INSTEAD OF trigger on a table. |
| 64 | ** 5. That we are not trying to create a BEFORE or AFTER trigger on a view. |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 65 | */ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 66 | if( sqlite_malloc_failed ) goto trigger_cleanup; |
| 67 | assert( pTableName->nSrc==1 ); |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 68 | if( pParse->initFlag |
| 69 | && sqliteFixInit(&sFix, pParse, pParse->iDb, "trigger", pName) |
| 70 | && sqliteFixSrcList(&sFix, pTableName) |
| 71 | ){ |
| 72 | goto trigger_cleanup; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 73 | } |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 74 | tab = sqliteSrcListLookup(pParse, pTableName); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 75 | if( !tab ){ |
| 76 | goto trigger_cleanup; |
| 77 | } |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 78 | iDb = isTemp ? 1 : tab->iDb; |
| 79 | if( iDb>=2 && !pParse->initFlag ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 80 | sqliteErrorMsg(pParse, "triggers may not be added to auxiliary " |
| 81 | "database %s", db->aDb[tab->iDb].zName); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 82 | goto trigger_cleanup; |
| 83 | } |
| 84 | |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 85 | zName = sqliteStrNDup(pName->z, pName->n); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 86 | if( sqliteHashFind(&(db->aDb[iDb].trigHash), zName,pName->n+1) ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 87 | sqliteErrorMsg(pParse, "trigger %T already exists", pName); |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 88 | goto trigger_cleanup; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 89 | } |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 90 | if( sqliteStrNICmp(tab->zName, "sqlite_", 7)==0 ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 91 | sqliteErrorMsg(pParse, "cannot create trigger on system table"); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 92 | pParse->nErr++; |
| 93 | goto trigger_cleanup; |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 94 | } |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 95 | if( tab->pSelect && tr_tm != TK_INSTEAD ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 96 | sqliteErrorMsg(pParse, "cannot create %s trigger on view: %S", |
| 97 | (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 98 | goto trigger_cleanup; |
| 99 | } |
| 100 | if( !tab->pSelect && tr_tm == TK_INSTEAD ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 101 | sqliteErrorMsg(pParse, "cannot create INSTEAD OF" |
| 102 | " trigger on table: %S", pTableName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 103 | goto trigger_cleanup; |
| 104 | } |
| 105 | #ifndef SQLITE_OMIT_AUTHORIZATION |
| 106 | { |
| 107 | int code = SQLITE_CREATE_TRIGGER; |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 108 | const char *zDb = db->aDb[tab->iDb].zName; |
| 109 | const char *zDbTrig = isTemp ? db->aDb[1].zName : zDb; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 110 | if( tab->iDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER; |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 111 | if( sqliteAuthCheck(pParse, code, zName, tab->zName, zDbTrig) ){ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 112 | goto trigger_cleanup; |
| 113 | } |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 114 | if( sqliteAuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(tab->iDb), 0, zDb)){ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 115 | goto trigger_cleanup; |
| 116 | } |
| 117 | } |
| 118 | #endif |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 119 | |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 120 | /* INSTEAD OF triggers can only appear on views and BEGIN triggers |
| 121 | ** cannot appear on views. So we might as well translate every |
| 122 | ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code |
| 123 | ** elsewhere. |
| 124 | */ |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 125 | if (tr_tm == TK_INSTEAD){ |
| 126 | tr_tm = TK_BEFORE; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 127 | } |
| 128 | |
| 129 | /* Build the Trigger object */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 130 | nt = (Trigger*)sqliteMalloc(sizeof(Trigger)); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 131 | if( nt==0 ) goto trigger_cleanup; |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 132 | nt->name = zName; |
| 133 | zName = 0; |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 134 | nt->table = sqliteStrDup(pTableName->a[0].zName); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 135 | if( sqlite_malloc_failed ) goto trigger_cleanup; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 136 | nt->iDb = iDb; |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 137 | nt->iTabDb = tab->iDb; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 138 | nt->op = op; |
| 139 | nt->tr_tm = tr_tm; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 140 | nt->pWhen = sqliteExprDup(pWhen); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 141 | nt->pColumns = sqliteIdListDup(pColumns); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 142 | nt->foreach = foreach; |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 143 | sqliteTokenCopy(&nt->nameToken,pName); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 144 | assert( pParse->pNewTrigger==0 ); |
| 145 | pParse->pNewTrigger = nt; |
| 146 | |
| 147 | trigger_cleanup: |
| 148 | sqliteFree(zName); |
| 149 | sqliteSrcListDelete(pTableName); |
| 150 | sqliteIdListDelete(pColumns); |
| 151 | sqliteExprDelete(pWhen); |
| 152 | } |
| 153 | |
| 154 | /* |
| 155 | ** This routine is called after all of the trigger actions have been parsed |
| 156 | ** in order to complete the process of building the trigger. |
| 157 | */ |
| 158 | void sqliteFinishTrigger( |
| 159 | Parse *pParse, /* Parser context */ |
| 160 | TriggerStep *pStepList, /* The triggered program */ |
| 161 | Token *pAll /* Token that describes the complete CREATE TRIGGER */ |
| 162 | ){ |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 163 | Trigger *nt = 0; /* The trigger whose construction is finishing up */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 164 | sqlite *db = pParse->db; /* The database */ |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 165 | DbFixer sFix; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 166 | |
| 167 | if( pParse->nErr || pParse->pNewTrigger==0 ) goto triggerfinish_cleanup; |
| 168 | nt = pParse->pNewTrigger; |
| 169 | pParse->pNewTrigger = 0; |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 170 | nt->step_list = pStepList; |
drh | a69d916 | 2003-04-17 22:57:53 +0000 | [diff] [blame] | 171 | while( pStepList ){ |
| 172 | pStepList->pTrig = nt; |
| 173 | pStepList = pStepList->pNext; |
| 174 | } |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 175 | if( sqliteFixInit(&sFix, pParse, nt->iDb, "trigger", &nt->nameToken) |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 176 | && sqliteFixTriggerStep(&sFix, nt->step_list) ){ |
| 177 | goto triggerfinish_cleanup; |
| 178 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 179 | |
| 180 | /* if we are not initializing, and this trigger is not on a TEMP table, |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 181 | ** build the sqlite_master entry |
| 182 | */ |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 183 | if( !pParse->initFlag ){ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 184 | static VdbeOp insertTrig[] = { |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 185 | { OP_NewRecno, 0, 0, 0 }, |
| 186 | { OP_String, 0, 0, "trigger" }, |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 187 | { OP_String, 0, 0, 0 }, /* 2: trigger name */ |
| 188 | { OP_String, 0, 0, 0 }, /* 3: table name */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 189 | { OP_Integer, 0, 0, 0 }, |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 190 | { OP_String, 0, 0, 0 }, /* 5: SQL */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 191 | { OP_MakeRecord, 5, 0, 0 }, |
| 192 | { OP_PutIntKey, 0, 0, 0 }, |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 193 | }; |
| 194 | int addr; |
| 195 | Vdbe *v; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 196 | |
| 197 | /* Make an entry in the sqlite_master table */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 198 | v = sqliteGetVdbe(pParse); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 199 | if( v==0 ) goto triggerfinish_cleanup; |
drh | cabb081 | 2002-09-14 13:47:32 +0000 | [diff] [blame] | 200 | sqliteBeginWriteOperation(pParse, 0, 0); |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 201 | sqliteOpenMasterTable(v, nt->iDb); |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 202 | addr = sqliteVdbeAddOpList(v, ArraySize(insertTrig), insertTrig); |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 203 | sqliteVdbeChangeP3(v, addr+2, nt->name, 0); |
| 204 | sqliteVdbeChangeP3(v, addr+3, nt->table, 0); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 205 | sqliteVdbeChangeP3(v, addr+5, pAll->z, pAll->n); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 206 | if( nt->iDb==0 ){ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 207 | sqliteChangeCookie(db, v); |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 208 | } |
| 209 | sqliteVdbeAddOp(v, OP_Close, 0, 0); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 210 | sqliteEndWriteOperation(pParse); |
| 211 | } |
| 212 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 213 | if( !pParse->explain ){ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 214 | Table *pTab; |
| 215 | sqliteHashInsert(&db->aDb[nt->iDb].trigHash, |
| 216 | nt->name, strlen(nt->name)+1, nt); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 217 | pTab = sqliteLocateTable(pParse, nt->table, db->aDb[nt->iTabDb].zName); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 218 | assert( pTab!=0 ); |
| 219 | nt->pNext = pTab->pTrigger; |
| 220 | pTab->pTrigger = nt; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 221 | nt = 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 222 | } |
| 223 | |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 224 | triggerfinish_cleanup: |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 225 | sqliteDeleteTrigger(nt); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 226 | sqliteDeleteTrigger(pParse->pNewTrigger); |
| 227 | pParse->pNewTrigger = 0; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 228 | sqliteDeleteTriggerStep(pStepList); |
| 229 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 230 | |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 231 | /* |
| 232 | ** Make a copy of all components of the given trigger step. This has |
| 233 | ** the effect of copying all Expr.token.z values into memory obtained |
| 234 | ** from sqliteMalloc(). As initially created, the Expr.token.z values |
| 235 | ** all point to the input string that was fed to the parser. But that |
| 236 | ** string is ephemeral - it will go away as soon as the sqlite_exec() |
| 237 | ** call that started the parser exits. This routine makes a persistent |
| 238 | ** copy of all the Expr.token.z strings so that the TriggerStep structure |
| 239 | ** will be valid even after the sqlite_exec() call returns. |
| 240 | */ |
| 241 | static void sqlitePersistTriggerStep(TriggerStep *p){ |
| 242 | if( p->target.z ){ |
| 243 | p->target.z = sqliteStrNDup(p->target.z, p->target.n); |
| 244 | p->target.dyn = 1; |
| 245 | } |
| 246 | if( p->pSelect ){ |
| 247 | Select *pNew = sqliteSelectDup(p->pSelect); |
| 248 | sqliteSelectDelete(p->pSelect); |
| 249 | p->pSelect = pNew; |
| 250 | } |
| 251 | if( p->pWhere ){ |
| 252 | Expr *pNew = sqliteExprDup(p->pWhere); |
| 253 | sqliteExprDelete(p->pWhere); |
| 254 | p->pWhere = pNew; |
| 255 | } |
| 256 | if( p->pExprList ){ |
| 257 | ExprList *pNew = sqliteExprListDup(p->pExprList); |
| 258 | sqliteExprListDelete(p->pExprList); |
| 259 | p->pExprList = pNew; |
| 260 | } |
| 261 | if( p->pIdList ){ |
| 262 | IdList *pNew = sqliteIdListDup(p->pIdList); |
| 263 | sqliteIdListDelete(p->pIdList); |
| 264 | p->pIdList = pNew; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 265 | } |
| 266 | } |
| 267 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 268 | /* |
| 269 | ** Turn a SELECT statement (that the pSelect parameter points to) into |
| 270 | ** a trigger step. Return a pointer to a TriggerStep structure. |
| 271 | ** |
| 272 | ** The parser calls this routine when it finds a SELECT statement in |
| 273 | ** body of a TRIGGER. |
| 274 | */ |
| 275 | TriggerStep *sqliteTriggerSelectStep(Select *pSelect){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 276 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 277 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 278 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 279 | pTriggerStep->op = TK_SELECT; |
| 280 | pTriggerStep->pSelect = pSelect; |
| 281 | pTriggerStep->orconf = OE_Default; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 282 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 283 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 284 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 285 | } |
| 286 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 287 | /* |
| 288 | ** Build a trigger step out of an INSERT statement. Return a pointer |
| 289 | ** to the new trigger step. |
| 290 | ** |
| 291 | ** The parser calls this routine when it sees an INSERT inside the |
| 292 | ** body of a trigger. |
| 293 | */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 294 | TriggerStep *sqliteTriggerInsertStep( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 295 | Token *pTableName, /* Name of the table into which we insert */ |
| 296 | IdList *pColumn, /* List of columns in pTableName to insert into */ |
| 297 | ExprList *pEList, /* The VALUE clause: a list of values to be inserted */ |
| 298 | Select *pSelect, /* A SELECT statement that supplies values */ |
| 299 | int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 300 | ){ |
| 301 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 302 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 303 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 304 | assert(pEList == 0 || pSelect == 0); |
| 305 | assert(pEList != 0 || pSelect != 0); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 306 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 307 | pTriggerStep->op = TK_INSERT; |
| 308 | pTriggerStep->pSelect = pSelect; |
| 309 | pTriggerStep->target = *pTableName; |
| 310 | pTriggerStep->pIdList = pColumn; |
| 311 | pTriggerStep->pExprList = pEList; |
| 312 | pTriggerStep->orconf = orconf; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 313 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 314 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 315 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 316 | } |
| 317 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 318 | /* |
| 319 | ** Construct a trigger step that implements an UPDATE statement and return |
| 320 | ** a pointer to that trigger step. The parser calls this routine when it |
| 321 | ** sees an UPDATE statement inside the body of a CREATE TRIGGER. |
| 322 | */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 323 | TriggerStep *sqliteTriggerUpdateStep( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 324 | Token *pTableName, /* Name of the table to be updated */ |
| 325 | ExprList *pEList, /* The SET clause: list of column and new values */ |
| 326 | Expr *pWhere, /* The WHERE clause */ |
| 327 | int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */ |
| 328 | ){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 329 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 330 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 331 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 332 | pTriggerStep->op = TK_UPDATE; |
| 333 | pTriggerStep->target = *pTableName; |
| 334 | pTriggerStep->pExprList = pEList; |
| 335 | pTriggerStep->pWhere = pWhere; |
| 336 | pTriggerStep->orconf = orconf; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 337 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 338 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 339 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 340 | } |
| 341 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 342 | /* |
| 343 | ** Construct a trigger step that implements a DELETE statement and return |
| 344 | ** a pointer to that trigger step. The parser calls this routine when it |
| 345 | ** sees a DELETE statement inside the body of a CREATE TRIGGER. |
| 346 | */ |
| 347 | TriggerStep *sqliteTriggerDeleteStep(Token *pTableName, Expr *pWhere){ |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 348 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
| 349 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 350 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 351 | pTriggerStep->op = TK_DELETE; |
| 352 | pTriggerStep->target = *pTableName; |
| 353 | pTriggerStep->pWhere = pWhere; |
| 354 | pTriggerStep->orconf = OE_Default; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 355 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 356 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 357 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 358 | } |
| 359 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 360 | /* |
| 361 | ** Recursively delete a Trigger structure |
| 362 | */ |
drh | 1d1f305 | 2002-05-21 13:18:25 +0000 | [diff] [blame] | 363 | void sqliteDeleteTrigger(Trigger *pTrigger){ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 364 | if( pTrigger==0 ) return; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 365 | sqliteDeleteTriggerStep(pTrigger->step_list); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 366 | sqliteFree(pTrigger->name); |
| 367 | sqliteFree(pTrigger->table); |
| 368 | sqliteExprDelete(pTrigger->pWhen); |
| 369 | sqliteIdListDelete(pTrigger->pColumns); |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 370 | if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 371 | sqliteFree(pTrigger); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 372 | } |
| 373 | |
| 374 | /* |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 375 | * This function is called to drop a trigger from the database schema. |
| 376 | * |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 377 | * This may be called directly from the parser and therefore identifies |
| 378 | * the trigger by name. The sqliteDropTriggerPtr() routine does the |
| 379 | * same job as this routine except it take a spointer to the trigger |
| 380 | * instead of the trigger name. |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 381 | * |
| 382 | * Note that this function does not delete the trigger entirely. Instead it |
| 383 | * removes it from the internal schema and places it in the trigDrop hash |
| 384 | * table. This is so that the trigger can be restored into the database schema |
| 385 | * if the transaction is rolled back. |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 386 | */ |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 387 | void sqliteDropTrigger(Parse *pParse, SrcList *pName){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 388 | Trigger *pTrigger; |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 389 | int i; |
| 390 | const char *zDb; |
| 391 | const char *zName; |
| 392 | int nName; |
| 393 | sqlite *db = pParse->db; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 394 | |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 395 | if( sqlite_malloc_failed ) goto drop_trigger_cleanup; |
| 396 | assert( pName->nSrc==1 ); |
| 397 | zDb = pName->a[0].zDatabase; |
| 398 | zName = pName->a[0].zName; |
| 399 | nName = strlen(zName); |
| 400 | for(i=0; i<db->nDb; i++){ |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 401 | int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */ |
| 402 | if( zDb && sqliteStrICmp(db->aDb[j].zName, zDb) ) continue; |
| 403 | pTrigger = sqliteHashFind(&(db->aDb[j].trigHash), zName, nName+1); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 404 | if( pTrigger ) break; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 405 | } |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 406 | if( !pTrigger ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 407 | sqliteErrorMsg(pParse, "no such trigger: %S", pName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 408 | goto drop_trigger_cleanup; |
| 409 | } |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 410 | sqliteDropTriggerPtr(pParse, pTrigger, 0); |
| 411 | |
| 412 | drop_trigger_cleanup: |
| 413 | sqliteSrcListDelete(pName); |
| 414 | } |
| 415 | |
| 416 | /* |
| 417 | ** Drop a trigger given a pointer to that trigger. If nested is false, |
| 418 | ** then also generate code to remove the trigger from the SQLITE_MASTER |
| 419 | ** table. |
| 420 | */ |
| 421 | void sqliteDropTriggerPtr(Parse *pParse, Trigger *pTrigger, int nested){ |
| 422 | Table *pTable; |
| 423 | Vdbe *v; |
| 424 | sqlite *db = pParse->db; |
| 425 | |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 426 | assert( pTrigger->iDb<db->nDb ); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 427 | if( pTrigger->iDb>=2 ){ |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 428 | sqliteErrorMsg(pParse, "triggers may not be removed from " |
| 429 | "auxiliary database %s", db->aDb[pTrigger->iDb].zName); |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 430 | return; |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 431 | } |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 432 | pTable = sqliteFindTable(db, pTrigger->table,db->aDb[pTrigger->iTabDb].zName); |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 433 | assert(pTable); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 434 | assert( pTable->iDb==pTrigger->iDb || pTrigger->iDb==1 ); |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 435 | #ifndef SQLITE_OMIT_AUTHORIZATION |
| 436 | { |
| 437 | int code = SQLITE_DROP_TRIGGER; |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 438 | const char *zDb = db->aDb[pTrigger->iDb].zName; |
| 439 | const char *zTab = SCHEMA_TABLE(pTrigger->iDb); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 440 | if( pTrigger->iDb ) code = SQLITE_DROP_TEMP_TRIGGER; |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 441 | if( sqliteAuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) || |
| 442 | sqliteAuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){ |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 443 | return; |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 444 | } |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 445 | } |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 446 | #endif |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 447 | |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 448 | /* Generate code to destroy the database record of the trigger. |
| 449 | */ |
| 450 | if( pTable!=0 && !nested && (v = sqliteGetVdbe(pParse))!=0 ){ |
| 451 | int base; |
| 452 | static VdbeOp dropTrigger[] = { |
| 453 | { OP_Rewind, 0, ADDR(8), 0}, |
| 454 | { OP_String, 0, 0, 0}, /* 1 */ |
| 455 | { OP_MemStore, 1, 1, 0}, |
| 456 | { OP_MemLoad, 1, 0, 0}, /* 3 */ |
| 457 | { OP_Column, 0, 1, 0}, |
| 458 | { OP_Ne, 0, ADDR(7), 0}, |
| 459 | { OP_Delete, 0, 0, 0}, |
| 460 | { OP_Next, 0, ADDR(3), 0}, /* 7 */ |
| 461 | }; |
| 462 | |
| 463 | sqliteBeginWriteOperation(pParse, 0, 0); |
| 464 | sqliteOpenMasterTable(v, pTrigger->iDb); |
| 465 | base = sqliteVdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger); |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 466 | sqliteVdbeChangeP3(v, base+1, pTrigger->name, 0); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 467 | if( pTrigger->iDb==0 ){ |
| 468 | sqliteChangeCookie(db, v); |
| 469 | } |
| 470 | sqliteVdbeAddOp(v, OP_Close, 0, 0); |
| 471 | sqliteEndWriteOperation(pParse); |
| 472 | } |
| 473 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 474 | /* |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 475 | * If this is not an "explain", then delete the trigger structure. |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 476 | */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 477 | if( !pParse->explain ){ |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 478 | const char *zName = pTrigger->name; |
| 479 | int nName = strlen(zName); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 480 | if( pTable->pTrigger == pTrigger ){ |
| 481 | pTable->pTrigger = pTrigger->pNext; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 482 | }else{ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 483 | Trigger *cc = pTable->pTrigger; |
| 484 | while( cc ){ |
| 485 | if( cc->pNext == pTrigger ){ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 486 | cc->pNext = cc->pNext->pNext; |
| 487 | break; |
| 488 | } |
| 489 | cc = cc->pNext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 490 | } |
| 491 | assert(cc); |
| 492 | } |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 493 | sqliteHashInsert(&(db->aDb[pTrigger->iDb].trigHash), zName, nName+1, 0); |
drh | e0bc404 | 2002-06-25 01:09:11 +0000 | [diff] [blame] | 494 | sqliteDeleteTrigger(pTrigger); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 495 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 496 | } |
| 497 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 498 | /* |
| 499 | ** pEList is the SET clause of an UPDATE statement. Each entry |
| 500 | ** in pEList is of the format <id>=<expr>. If any of the entries |
| 501 | ** in pEList have an <id> which matches an identifier in pIdList, |
| 502 | ** then return TRUE. If pIdList==NULL, then it is considered a |
| 503 | ** wildcard that matches anything. Likewise if pEList==NULL then |
| 504 | ** it matches anything so always return true. Return false only |
| 505 | ** if there is no match. |
| 506 | */ |
| 507 | static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){ |
drh | ad2d830 | 2002-05-24 20:31:36 +0000 | [diff] [blame] | 508 | int e; |
| 509 | if( !pIdList || !pEList ) return 1; |
| 510 | for(e=0; e<pEList->nExpr; e++){ |
| 511 | if( sqliteIdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 512 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 513 | return 0; |
| 514 | } |
| 515 | |
| 516 | /* A global variable that is TRUE if we should always set up temp tables for |
| 517 | * for triggers, even if there are no triggers to code. This is used to test |
| 518 | * how much overhead the triggers algorithm is causing. |
| 519 | * |
| 520 | * This flag can be set or cleared using the "trigger_overhead_test" pragma. |
| 521 | * The pragma is not documented since it is not really part of the interface |
| 522 | * to SQLite, just the test procedure. |
| 523 | */ |
| 524 | int always_code_trigger_setup = 0; |
| 525 | |
| 526 | /* |
| 527 | * Returns true if a trigger matching op, tr_tm and foreach that is NOT already |
| 528 | * on the Parse objects trigger-stack (to prevent recursive trigger firing) is |
| 529 | * found in the list specified as pTrigger. |
| 530 | */ |
| 531 | int sqliteTriggersExist( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 532 | Parse *pParse, /* Used to check for recursive triggers */ |
| 533 | Trigger *pTrigger, /* A list of triggers associated with a table */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 534 | int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */ |
| 535 | int tr_tm, /* one of TK_BEFORE, TK_AFTER */ |
| 536 | int foreach, /* one of TK_ROW or TK_STATEMENT */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 537 | ExprList *pChanges /* Columns that change in an UPDATE statement */ |
| 538 | ){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 539 | Trigger * pTriggerCursor; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 540 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 541 | if( always_code_trigger_setup ){ |
| 542 | return 1; |
| 543 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 544 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 545 | pTriggerCursor = pTrigger; |
| 546 | while( pTriggerCursor ){ |
| 547 | if( pTriggerCursor->op == op && |
| 548 | pTriggerCursor->tr_tm == tr_tm && |
| 549 | pTriggerCursor->foreach == foreach && |
| 550 | checkColumnOverLap(pTriggerCursor->pColumns, pChanges) ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 551 | TriggerStack * ss; |
| 552 | ss = pParse->trigStack; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 553 | while( ss && ss->pTrigger != pTrigger ){ |
| 554 | ss = ss->pNext; |
| 555 | } |
| 556 | if( !ss )return 1; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 557 | } |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 558 | pTriggerCursor = pTriggerCursor->pNext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 559 | } |
| 560 | |
| 561 | return 0; |
| 562 | } |
| 563 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 564 | /* |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 565 | ** Convert the pStep->target token into a SrcList and return a pointer |
| 566 | ** to that SrcList. |
| 567 | ** |
| 568 | ** This routine adds a specific database name, if needed, to the target when |
| 569 | ** forming the SrcList. This prevents a trigger in one database from |
| 570 | ** referring to a target in another database. An exception is when the |
| 571 | ** trigger is in TEMP in which case it can refer to any other database it |
| 572 | ** wants. |
| 573 | */ |
| 574 | static SrcList *targetSrcList( |
| 575 | Parse *pParse, /* The parsing context */ |
| 576 | TriggerStep *pStep /* The trigger containing the target token */ |
| 577 | ){ |
| 578 | Token sDb; /* Dummy database name token */ |
| 579 | int iDb; /* Index of the database to use */ |
| 580 | SrcList *pSrc; /* SrcList to be returned */ |
| 581 | |
| 582 | iDb = pStep->pTrig->iDb; |
| 583 | if( iDb==0 || iDb>=2 ){ |
| 584 | assert( iDb<pParse->db->nDb ); |
| 585 | sDb.z = pParse->db->aDb[iDb].zName; |
| 586 | sDb.n = strlen(sDb.z); |
| 587 | pSrc = sqliteSrcListAppend(0, &sDb, &pStep->target); |
| 588 | } else { |
| 589 | pSrc = sqliteSrcListAppend(0, &pStep->target, 0); |
| 590 | } |
| 591 | return pSrc; |
| 592 | } |
| 593 | |
| 594 | /* |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 595 | ** Generate VDBE code for zero or more statements inside the body of a |
| 596 | ** trigger. |
| 597 | */ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 598 | static int codeTriggerProgram( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 599 | Parse *pParse, /* The parser context */ |
| 600 | TriggerStep *pStepList, /* List of statements inside the trigger body */ |
| 601 | int orconfin /* Conflict algorithm. (OE_Abort, etc) */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 602 | ){ |
| 603 | TriggerStep * pTriggerStep = pStepList; |
| 604 | int orconf; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 605 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 606 | while( pTriggerStep ){ |
| 607 | int saveNTab = pParse->nTab; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 608 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 609 | orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin; |
| 610 | pParse->trigStack->orconf = orconf; |
| 611 | switch( pTriggerStep->op ){ |
| 612 | case TK_SELECT: { |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 613 | Select * ss = sqliteSelectDup(pTriggerStep->pSelect); |
| 614 | assert(ss); |
| 615 | assert(ss->pSrc); |
| 616 | sqliteSelect(pParse, ss, SRT_Discard, 0, 0, 0, 0); |
| 617 | sqliteSelectDelete(ss); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 618 | break; |
| 619 | } |
| 620 | case TK_UPDATE: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 621 | SrcList *pSrc; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 622 | pSrc = targetSrcList(pParse, pTriggerStep); |
drh | bd5a451 | 2002-05-23 22:07:02 +0000 | [diff] [blame] | 623 | sqliteVdbeAddOp(pParse->pVdbe, OP_ListPush, 0, 0); |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 624 | sqliteUpdate(pParse, pSrc, |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 625 | sqliteExprListDup(pTriggerStep->pExprList), |
| 626 | sqliteExprDup(pTriggerStep->pWhere), orconf); |
drh | bd5a451 | 2002-05-23 22:07:02 +0000 | [diff] [blame] | 627 | sqliteVdbeAddOp(pParse->pVdbe, OP_ListPop, 0, 0); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 628 | break; |
| 629 | } |
| 630 | case TK_INSERT: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 631 | SrcList *pSrc; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 632 | pSrc = targetSrcList(pParse, pTriggerStep); |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 633 | sqliteInsert(pParse, pSrc, |
| 634 | sqliteExprListDup(pTriggerStep->pExprList), |
| 635 | sqliteSelectDup(pTriggerStep->pSelect), |
| 636 | sqliteIdListDup(pTriggerStep->pIdList), orconf); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 637 | break; |
| 638 | } |
| 639 | case TK_DELETE: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 640 | SrcList *pSrc; |
drh | bd5a451 | 2002-05-23 22:07:02 +0000 | [diff] [blame] | 641 | sqliteVdbeAddOp(pParse->pVdbe, OP_ListPush, 0, 0); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 642 | pSrc = targetSrcList(pParse, pTriggerStep); |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 643 | sqliteDeleteFrom(pParse, pSrc, sqliteExprDup(pTriggerStep->pWhere)); |
drh | bd5a451 | 2002-05-23 22:07:02 +0000 | [diff] [blame] | 644 | sqliteVdbeAddOp(pParse->pVdbe, OP_ListPop, 0, 0); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 645 | break; |
| 646 | } |
| 647 | default: |
| 648 | assert(0); |
| 649 | } |
| 650 | pParse->nTab = saveNTab; |
| 651 | pTriggerStep = pTriggerStep->pNext; |
| 652 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 653 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 654 | return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 655 | } |
| 656 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 657 | /* |
| 658 | ** This is called to code FOR EACH ROW triggers. |
| 659 | ** |
| 660 | ** When the code that this function generates is executed, the following |
| 661 | ** must be true: |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 662 | ** |
| 663 | ** 1. No cursors may be open in the main database. (But newIdx and oldIdx |
| 664 | ** can be indices of cursors in temporary tables. See below.) |
| 665 | ** |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 666 | ** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then |
| 667 | ** a temporary vdbe cursor (index newIdx) must be open and pointing at |
| 668 | ** a row containing values to be substituted for new.* expressions in the |
| 669 | ** trigger program(s). |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 670 | ** |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 671 | ** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then |
| 672 | ** a temporary vdbe cursor (index oldIdx) must be open and pointing at |
| 673 | ** a row containing values to be substituted for old.* expressions in the |
| 674 | ** trigger program(s). |
| 675 | ** |
| 676 | */ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 677 | int sqliteCodeRowTrigger( |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 678 | Parse *pParse, /* Parse context */ |
| 679 | int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */ |
| 680 | ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ |
| 681 | int tr_tm, /* One of TK_BEFORE, TK_AFTER */ |
| 682 | Table *pTab, /* The table to code triggers from */ |
| 683 | int newIdx, /* The indice of the "new" row to access */ |
| 684 | int oldIdx, /* The indice of the "old" row to access */ |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 685 | int orconf, /* ON CONFLICT policy */ |
| 686 | int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 687 | ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 688 | Trigger * pTrigger; |
| 689 | TriggerStack * pTriggerStack; |
| 690 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 691 | assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE); |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 692 | assert(tr_tm == TK_BEFORE || tr_tm == TK_AFTER ); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 693 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 694 | assert(newIdx != -1 || oldIdx != -1); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 695 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 696 | pTrigger = pTab->pTrigger; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 697 | while( pTrigger ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 698 | int fire_this = 0; |
| 699 | |
| 700 | /* determine whether we should code this trigger */ |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 701 | if( pTrigger->op == op && pTrigger->tr_tm == tr_tm && |
| 702 | pTrigger->foreach == TK_ROW ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 703 | fire_this = 1; |
| 704 | pTriggerStack = pParse->trigStack; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 705 | while( pTriggerStack ){ |
| 706 | if( pTriggerStack->pTrigger == pTrigger ){ |
| 707 | fire_this = 0; |
| 708 | } |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 709 | pTriggerStack = pTriggerStack->pNext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 710 | } |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 711 | if( op == TK_UPDATE && pTrigger->pColumns && |
| 712 | !checkColumnOverLap(pTrigger->pColumns, pChanges) ){ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 713 | fire_this = 0; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 714 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 715 | } |
| 716 | |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 717 | if( fire_this && (pTriggerStack = sqliteMalloc(sizeof(TriggerStack)))!=0 ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 718 | int endTrigger; |
drh | ad3cab5 | 2002-05-24 02:04:32 +0000 | [diff] [blame] | 719 | SrcList dummyTablist; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 720 | Expr * whenExpr; |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 721 | AuthContext sContext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 722 | |
drh | ad3cab5 | 2002-05-24 02:04:32 +0000 | [diff] [blame] | 723 | dummyTablist.nSrc = 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 724 | |
| 725 | /* Push an entry on to the trigger stack */ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 726 | pTriggerStack->pTrigger = pTrigger; |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 727 | pTriggerStack->newIdx = newIdx; |
| 728 | pTriggerStack->oldIdx = oldIdx; |
| 729 | pTriggerStack->pTab = pTab; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 730 | pTriggerStack->pNext = pParse->trigStack; |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 731 | pTriggerStack->ignoreJump = ignoreJump; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 732 | pParse->trigStack = pTriggerStack; |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 733 | sqliteAuthContextPush(pParse, &sContext, pTrigger->name); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 734 | |
| 735 | /* code the WHEN clause */ |
| 736 | endTrigger = sqliteVdbeMakeLabel(pParse->pVdbe); |
| 737 | whenExpr = sqliteExprDup(pTrigger->pWhen); |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 738 | if( sqliteExprResolveIds(pParse, &dummyTablist, 0, whenExpr) ){ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 739 | pParse->trigStack = pParse->trigStack->pNext; |
| 740 | sqliteFree(pTriggerStack); |
| 741 | sqliteExprDelete(whenExpr); |
| 742 | return 1; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 743 | } |
drh | f5905aa | 2002-05-26 20:54:33 +0000 | [diff] [blame] | 744 | sqliteExprIfFalse(pParse, whenExpr, endTrigger, 1); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 745 | sqliteExprDelete(whenExpr); |
| 746 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 747 | codeTriggerProgram(pParse, pTrigger->step_list, orconf); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 748 | |
| 749 | /* Pop the entry off the trigger stack */ |
| 750 | pParse->trigStack = pParse->trigStack->pNext; |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 751 | sqliteAuthContextPop(&sContext); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 752 | sqliteFree(pTriggerStack); |
| 753 | |
| 754 | sqliteVdbeResolveLabel(pParse->pVdbe, endTrigger); |
| 755 | } |
| 756 | pTrigger = pTrigger->pNext; |
| 757 | } |
| 758 | |
| 759 | return 0; |
| 760 | } |