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 | |
drh | b7f9164 | 2004-10-31 02:22:47 +0000 | [diff] [blame] | 15 | #ifndef SQLITE_OMIT_TRIGGER |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 16 | /* |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 17 | ** Delete a linked list of TriggerStep structures. |
| 18 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 19 | void sqlite3DeleteTriggerStep(TriggerStep *pTriggerStep){ |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 20 | while( pTriggerStep ){ |
| 21 | TriggerStep * pTmp = pTriggerStep; |
| 22 | pTriggerStep = pTriggerStep->pNext; |
| 23 | |
drh | 8c74a8c | 2002-08-25 19:20:40 +0000 | [diff] [blame] | 24 | if( pTmp->target.dyn ) sqliteFree((char*)pTmp->target.z); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 25 | sqlite3ExprDelete(pTmp->pWhere); |
| 26 | sqlite3ExprListDelete(pTmp->pExprList); |
| 27 | sqlite3SelectDelete(pTmp->pSelect); |
| 28 | sqlite3IdListDelete(pTmp->pIdList); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 29 | |
| 30 | sqliteFree(pTmp); |
| 31 | } |
| 32 | } |
| 33 | |
| 34 | /* |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 35 | ** 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 |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 39 | ** sqlite3FinishTrigger() function is called to complete the trigger |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 40 | ** construction process. |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 41 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 42 | void sqlite3BeginTrigger( |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 43 | Parse *pParse, /* The parse context of the CREATE TRIGGER statement */ |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 44 | Token *pName1, /* The name of the trigger */ |
| 45 | Token *pName2, /* The name of the trigger */ |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 46 | int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 47 | int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 48 | IdList *pColumns, /* column list if this is an UPDATE OF trigger */ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 49 | SrcList *pTableName,/* The name of the table/view the trigger applies to */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 50 | int foreach, /* One of TK_ROW or TK_STATEMENT */ |
| 51 | Expr *pWhen, /* WHEN clause */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 52 | int isTemp /* True if the TEMPORARY keyword is present */ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 53 | ){ |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 54 | Trigger *pTrigger = 0; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 55 | Table *pTab; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 56 | char *zName = 0; /* Name of the trigger */ |
drh | 9bb575f | 2004-09-06 17:24:11 +0000 | [diff] [blame] | 57 | sqlite3 *db = pParse->db; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 58 | int iDb; /* The database to store the trigger in */ |
| 59 | Token *pName; /* The unqualified db name */ |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 60 | DbFixer sFix; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 61 | int iTabDb; |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 62 | |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 63 | if( isTemp ){ |
| 64 | /* If TEMP was specified, then the trigger name may not be qualified. */ |
| 65 | if( pName2 && pName2->n>0 ){ |
| 66 | sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name"); |
| 67 | goto trigger_cleanup; |
| 68 | } |
| 69 | iDb = 1; |
| 70 | pName = pName1; |
| 71 | }else{ |
| 72 | /* Figure out the db that the the trigger will be created in */ |
| 73 | iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName); |
| 74 | if( iDb<0 ){ |
| 75 | goto trigger_cleanup; |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | /* If the trigger name was unqualified, and the table is a temp table, |
| 80 | ** then set iDb to 1 to create the trigger in the temporary database. |
| 81 | ** If sqlite3SrcListLookup() returns 0, indicating the table does not |
| 82 | ** exist, the error is caught by the block below. |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 83 | */ |
danielk1977 | 9e12800 | 2006-01-18 16:51:35 +0000 | [diff] [blame] | 84 | if( !pTableName || sqlite3MallocFailed() ){ |
drh | 6f7adc8 | 2006-01-11 21:41:20 +0000 | [diff] [blame] | 85 | goto trigger_cleanup; |
| 86 | } |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 87 | pTab = sqlite3SrcListLookup(pParse, pTableName); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 88 | if( pName2->n==0 && pTab && pTab->pSchema==db->aDb[1].pSchema ){ |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 89 | iDb = 1; |
| 90 | } |
| 91 | |
| 92 | /* Ensure the table name matches database name and that the table exists */ |
danielk1977 | 9e12800 | 2006-01-18 16:51:35 +0000 | [diff] [blame] | 93 | if( sqlite3MallocFailed() ) goto trigger_cleanup; |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 94 | assert( pTableName->nSrc==1 ); |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 95 | if( sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName) && |
| 96 | sqlite3FixSrcList(&sFix, pTableName) ){ |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 97 | goto trigger_cleanup; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 98 | } |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 99 | pTab = sqlite3SrcListLookup(pParse, pTableName); |
| 100 | if( !pTab ){ |
| 101 | /* The table does not exist. */ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 102 | goto trigger_cleanup; |
| 103 | } |
| 104 | |
danielk1977 | d812336 | 2004-06-12 09:25:12 +0000 | [diff] [blame] | 105 | /* Check that the trigger name is not reserved and that no trigger of the |
| 106 | ** specified name exists */ |
drh | a99db3b | 2004-06-19 14:49:12 +0000 | [diff] [blame] | 107 | zName = sqlite3NameFromToken(pName); |
danielk1977 | d812336 | 2004-06-12 09:25:12 +0000 | [diff] [blame] | 108 | if( !zName || SQLITE_OK!=sqlite3CheckObjectName(pParse, zName) ){ |
| 109 | goto trigger_cleanup; |
| 110 | } |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 111 | if( sqlite3HashFind(&(db->aDb[iDb].pSchema->trigHash), zName,pName->n+1) ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 112 | sqlite3ErrorMsg(pParse, "trigger %T already exists", pName); |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 113 | goto trigger_cleanup; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 114 | } |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 115 | |
| 116 | /* Do not create a trigger on a system table */ |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 117 | if( sqlite3StrNICmp(pTab->zName, "sqlite_", 7)==0 ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 118 | sqlite3ErrorMsg(pParse, "cannot create trigger on system table"); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 119 | pParse->nErr++; |
| 120 | goto trigger_cleanup; |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 121 | } |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 122 | |
| 123 | /* INSTEAD of triggers are only for views and views only support INSTEAD |
| 124 | ** of triggers. |
| 125 | */ |
| 126 | if( pTab->pSelect && tr_tm!=TK_INSTEAD ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 127 | sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S", |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 128 | (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 129 | goto trigger_cleanup; |
| 130 | } |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 131 | if( !pTab->pSelect && tr_tm==TK_INSTEAD ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 132 | sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF" |
drh | da93d23 | 2003-03-31 02:12:46 +0000 | [diff] [blame] | 133 | " trigger on table: %S", pTableName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 134 | goto trigger_cleanup; |
| 135 | } |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 136 | iTabDb = sqlite3SchemaToIndex(db, pTab->pSchema); |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 137 | |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 138 | #ifndef SQLITE_OMIT_AUTHORIZATION |
| 139 | { |
| 140 | int code = SQLITE_CREATE_TRIGGER; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 141 | const char *zDb = db->aDb[iTabDb].zName; |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 142 | const char *zDbTrig = isTemp ? db->aDb[1].zName : zDb; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 143 | if( iTabDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 144 | if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 145 | goto trigger_cleanup; |
| 146 | } |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 147 | if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(iTabDb),0,zDb)){ |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 148 | goto trigger_cleanup; |
| 149 | } |
| 150 | } |
| 151 | #endif |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 152 | |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 153 | /* INSTEAD OF triggers can only appear on views and BEFORE triggers |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 154 | ** cannot appear on views. So we might as well translate every |
| 155 | ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code |
| 156 | ** elsewhere. |
| 157 | */ |
danielk1977 | d702fcc | 2002-05-26 23:24:40 +0000 | [diff] [blame] | 158 | if (tr_tm == TK_INSTEAD){ |
| 159 | tr_tm = TK_BEFORE; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 160 | } |
| 161 | |
| 162 | /* Build the Trigger object */ |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 163 | pTrigger = (Trigger*)sqliteMalloc(sizeof(Trigger)); |
| 164 | if( pTrigger==0 ) goto trigger_cleanup; |
| 165 | pTrigger->name = zName; |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 166 | zName = 0; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 167 | pTrigger->table = sqliteStrDup(pTableName->a[0].zName); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 168 | pTrigger->pSchema = db->aDb[iDb].pSchema; |
danielk1977 | aaf2268 | 2006-01-06 15:03:48 +0000 | [diff] [blame] | 169 | pTrigger->pTabSchema = pTab->pSchema; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 170 | pTrigger->op = op; |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 171 | pTrigger->tr_tm = tr_tm==TK_BEFORE ? TRIGGER_BEFORE : TRIGGER_AFTER; |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 172 | pTrigger->pWhen = sqlite3ExprDup(pWhen); |
| 173 | pTrigger->pColumns = sqlite3IdListDup(pColumns); |
| 174 | pTrigger->foreach = foreach; |
| 175 | sqlite3TokenCopy(&pTrigger->nameToken,pName); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 176 | assert( pParse->pNewTrigger==0 ); |
danielk1977 | ef2cb63 | 2004-05-29 02:37:19 +0000 | [diff] [blame] | 177 | pParse->pNewTrigger = pTrigger; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 178 | |
| 179 | trigger_cleanup: |
| 180 | sqliteFree(zName); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 181 | sqlite3SrcListDelete(pTableName); |
| 182 | sqlite3IdListDelete(pColumns); |
| 183 | sqlite3ExprDelete(pWhen); |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 184 | if( !pParse->pNewTrigger ){ |
| 185 | sqlite3DeleteTrigger(pTrigger); |
| 186 | }else{ |
| 187 | assert( pParse->pNewTrigger==pTrigger ); |
| 188 | } |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 189 | } |
| 190 | |
| 191 | /* |
| 192 | ** This routine is called after all of the trigger actions have been parsed |
| 193 | ** in order to complete the process of building the trigger. |
| 194 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 195 | void sqlite3FinishTrigger( |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 196 | Parse *pParse, /* Parser context */ |
| 197 | TriggerStep *pStepList, /* The triggered program */ |
| 198 | Token *pAll /* Token that describes the complete CREATE TRIGGER */ |
| 199 | ){ |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 200 | Trigger *pTrig = 0; /* The trigger whose construction is finishing up */ |
drh | 9bb575f | 2004-09-06 17:24:11 +0000 | [diff] [blame] | 201 | sqlite3 *db = pParse->db; /* The database */ |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 202 | DbFixer sFix; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 203 | int iDb; /* Database containing the trigger */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 204 | |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 205 | pTrig = pParse->pNewTrigger; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 206 | pParse->pNewTrigger = 0; |
danielk1977 | 2e588c7 | 2005-12-09 14:25:08 +0000 | [diff] [blame] | 207 | if( pParse->nErr || !pTrig ) goto triggerfinish_cleanup; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 208 | iDb = sqlite3SchemaToIndex(pParse->db, pTrig->pSchema); |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 209 | pTrig->step_list = pStepList; |
drh | a69d916 | 2003-04-17 22:57:53 +0000 | [diff] [blame] | 210 | while( pStepList ){ |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 211 | pStepList->pTrig = pTrig; |
drh | a69d916 | 2003-04-17 22:57:53 +0000 | [diff] [blame] | 212 | pStepList = pStepList->pNext; |
| 213 | } |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 214 | if( sqlite3FixInit(&sFix, pParse, iDb, "trigger", &pTrig->nameToken) |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 215 | && sqlite3FixTriggerStep(&sFix, pTrig->step_list) ){ |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 216 | goto triggerfinish_cleanup; |
| 217 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 218 | |
| 219 | /* 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] | 220 | ** build the sqlite_master entry |
| 221 | */ |
drh | 1d85d93 | 2004-02-14 23:05:52 +0000 | [diff] [blame] | 222 | if( !db->init.busy ){ |
drh | 5719628 | 2004-10-06 15:41:16 +0000 | [diff] [blame] | 223 | static const VdbeOpList insertTrig[] = { |
drh | f0863fe | 2005-06-12 21:35:51 +0000 | [diff] [blame] | 224 | { OP_NewRowid, 0, 0, 0 }, |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 225 | { OP_String8, 0, 0, "trigger" }, |
| 226 | { OP_String8, 0, 0, 0 }, /* 2: trigger name */ |
| 227 | { OP_String8, 0, 0, 0 }, /* 3: table name */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 228 | { OP_Integer, 0, 0, 0 }, |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 229 | { OP_String8, 0, 0, "CREATE TRIGGER "}, |
| 230 | { OP_String8, 0, 0, 0 }, /* 6: SQL */ |
drh | 855eb1c | 2004-08-31 13:45:11 +0000 | [diff] [blame] | 231 | { OP_Concat, 0, 0, 0 }, |
drh | 8a51256 | 2005-11-14 22:29:05 +0000 | [diff] [blame] | 232 | { OP_MakeRecord, 5, 0, "aaada" }, |
drh | f0863fe | 2005-06-12 21:35:51 +0000 | [diff] [blame] | 233 | { OP_Insert, 0, 0, 0 }, |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 234 | }; |
| 235 | int addr; |
| 236 | Vdbe *v; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 237 | |
| 238 | /* Make an entry in the sqlite_master table */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 239 | v = sqlite3GetVdbe(pParse); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 240 | if( v==0 ) goto triggerfinish_cleanup; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 241 | sqlite3BeginWriteOperation(pParse, 0, iDb); |
danielk1977 | c00da10 | 2006-01-07 13:21:04 +0000 | [diff] [blame] | 242 | sqlite3OpenMasterTable(pParse, iDb); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 243 | addr = sqlite3VdbeAddOpList(v, ArraySize(insertTrig), insertTrig); |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 244 | sqlite3VdbeChangeP3(v, addr+2, pTrig->name, 0); |
| 245 | sqlite3VdbeChangeP3(v, addr+3, pTrig->table, 0); |
drh | 2646da7 | 2005-12-09 20:02:05 +0000 | [diff] [blame] | 246 | sqlite3VdbeChangeP3(v, addr+6, (char*)pAll->z, pAll->n); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 247 | sqlite3ChangeCookie(db, v, iDb); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 248 | sqlite3VdbeAddOp(v, OP_Close, 0, 0); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 249 | sqlite3VdbeOp3(v, OP_ParseSchema, iDb, 0, |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 250 | sqlite3MPrintf("type='trigger' AND name='%q'", pTrig->name), P3_DYNAMIC); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 251 | } |
| 252 | |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 253 | if( db->init.busy ){ |
danielk1977 | aaf2268 | 2006-01-06 15:03:48 +0000 | [diff] [blame] | 254 | int n; |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 255 | Table *pTab; |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 256 | Trigger *pDel; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 257 | pDel = sqlite3HashInsert(&db->aDb[iDb].pSchema->trigHash, |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 258 | pTrig->name, strlen(pTrig->name)+1, pTrig); |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 259 | if( pDel ){ |
danielk1977 | 9e12800 | 2006-01-18 16:51:35 +0000 | [diff] [blame] | 260 | assert( sqlite3MallocFailed() && pDel==pTrig ); |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 261 | goto triggerfinish_cleanup; |
| 262 | } |
danielk1977 | aaf2268 | 2006-01-06 15:03:48 +0000 | [diff] [blame] | 263 | n = strlen(pTrig->table) + 1; |
| 264 | pTab = sqlite3HashFind(&pTrig->pTabSchema->tblHash, pTrig->table, n); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 265 | assert( pTab!=0 ); |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 266 | pTrig->pNext = pTab->pTrigger; |
| 267 | pTab->pTrigger = pTrig; |
| 268 | pTrig = 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 269 | } |
| 270 | |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 271 | triggerfinish_cleanup: |
danielk1977 | bfb9e35 | 2005-01-24 13:03:32 +0000 | [diff] [blame] | 272 | sqlite3DeleteTrigger(pTrig); |
| 273 | assert( !pParse->pNewTrigger ); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 274 | sqlite3DeleteTriggerStep(pStepList); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 275 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 276 | |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 277 | /* |
| 278 | ** Make a copy of all components of the given trigger step. This has |
| 279 | ** the effect of copying all Expr.token.z values into memory obtained |
| 280 | ** from sqliteMalloc(). As initially created, the Expr.token.z values |
| 281 | ** all point to the input string that was fed to the parser. But that |
danielk1977 | 6f8a503 | 2004-05-10 10:34:51 +0000 | [diff] [blame] | 282 | ** string is ephemeral - it will go away as soon as the sqlite3_exec() |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 283 | ** call that started the parser exits. This routine makes a persistent |
| 284 | ** copy of all the Expr.token.z strings so that the TriggerStep structure |
danielk1977 | 6f8a503 | 2004-05-10 10:34:51 +0000 | [diff] [blame] | 285 | ** will be valid even after the sqlite3_exec() call returns. |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 286 | */ |
| 287 | static void sqlitePersistTriggerStep(TriggerStep *p){ |
| 288 | if( p->target.z ){ |
drh | 2646da7 | 2005-12-09 20:02:05 +0000 | [diff] [blame] | 289 | p->target.z = (u8*)sqliteStrNDup((char*)p->target.z, p->target.n); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 290 | p->target.dyn = 1; |
| 291 | } |
| 292 | if( p->pSelect ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 293 | Select *pNew = sqlite3SelectDup(p->pSelect); |
| 294 | sqlite3SelectDelete(p->pSelect); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 295 | p->pSelect = pNew; |
| 296 | } |
| 297 | if( p->pWhere ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 298 | Expr *pNew = sqlite3ExprDup(p->pWhere); |
| 299 | sqlite3ExprDelete(p->pWhere); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 300 | p->pWhere = pNew; |
| 301 | } |
| 302 | if( p->pExprList ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 303 | ExprList *pNew = sqlite3ExprListDup(p->pExprList); |
| 304 | sqlite3ExprListDelete(p->pExprList); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 305 | p->pExprList = pNew; |
| 306 | } |
| 307 | if( p->pIdList ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 308 | IdList *pNew = sqlite3IdListDup(p->pIdList); |
| 309 | sqlite3IdListDelete(p->pIdList); |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 310 | p->pIdList = pNew; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 311 | } |
| 312 | } |
| 313 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 314 | /* |
| 315 | ** Turn a SELECT statement (that the pSelect parameter points to) into |
| 316 | ** a trigger step. Return a pointer to a TriggerStep structure. |
| 317 | ** |
| 318 | ** The parser calls this routine when it finds a SELECT statement in |
| 319 | ** body of a TRIGGER. |
| 320 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 321 | TriggerStep *sqlite3TriggerSelectStep(Select *pSelect){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 322 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
danielk1977 | 2e588c7 | 2005-12-09 14:25:08 +0000 | [diff] [blame] | 323 | if( pTriggerStep==0 ) { |
| 324 | sqlite3SelectDelete(pSelect); |
| 325 | return 0; |
| 326 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 327 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 328 | pTriggerStep->op = TK_SELECT; |
| 329 | pTriggerStep->pSelect = pSelect; |
| 330 | pTriggerStep->orconf = OE_Default; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 331 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 332 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 333 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 334 | } |
| 335 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 336 | /* |
| 337 | ** Build a trigger step out of an INSERT statement. Return a pointer |
| 338 | ** to the new trigger step. |
| 339 | ** |
| 340 | ** The parser calls this routine when it sees an INSERT inside the |
| 341 | ** body of a trigger. |
| 342 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 343 | TriggerStep *sqlite3TriggerInsertStep( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 344 | Token *pTableName, /* Name of the table into which we insert */ |
| 345 | IdList *pColumn, /* List of columns in pTableName to insert into */ |
| 346 | ExprList *pEList, /* The VALUE clause: a list of values to be inserted */ |
| 347 | Select *pSelect, /* A SELECT statement that supplies values */ |
| 348 | int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 349 | ){ |
| 350 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 351 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 352 | assert(pEList == 0 || pSelect == 0); |
| 353 | assert(pEList != 0 || pSelect != 0); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 354 | |
danielk1977 | d5d5652 | 2005-03-16 12:15:20 +0000 | [diff] [blame] | 355 | if( pTriggerStep ){ |
| 356 | pTriggerStep->op = TK_INSERT; |
| 357 | pTriggerStep->pSelect = pSelect; |
| 358 | pTriggerStep->target = *pTableName; |
| 359 | pTriggerStep->pIdList = pColumn; |
| 360 | pTriggerStep->pExprList = pEList; |
| 361 | pTriggerStep->orconf = orconf; |
| 362 | sqlitePersistTriggerStep(pTriggerStep); |
| 363 | }else{ |
| 364 | sqlite3IdListDelete(pColumn); |
| 365 | sqlite3ExprListDelete(pEList); |
| 366 | sqlite3SelectDup(pSelect); |
| 367 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 368 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 369 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 370 | } |
| 371 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 372 | /* |
| 373 | ** Construct a trigger step that implements an UPDATE statement and return |
| 374 | ** a pointer to that trigger step. The parser calls this routine when it |
| 375 | ** sees an UPDATE statement inside the body of a CREATE TRIGGER. |
| 376 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 377 | TriggerStep *sqlite3TriggerUpdateStep( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 378 | Token *pTableName, /* Name of the table to be updated */ |
| 379 | ExprList *pEList, /* The SET clause: list of column and new values */ |
| 380 | Expr *pWhere, /* The WHERE clause */ |
| 381 | int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */ |
| 382 | ){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 383 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 384 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 385 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 386 | pTriggerStep->op = TK_UPDATE; |
| 387 | pTriggerStep->target = *pTableName; |
| 388 | pTriggerStep->pExprList = pEList; |
| 389 | pTriggerStep->pWhere = pWhere; |
| 390 | pTriggerStep->orconf = orconf; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 391 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 392 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 393 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 394 | } |
| 395 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 396 | /* |
| 397 | ** Construct a trigger step that implements a DELETE statement and return |
| 398 | ** a pointer to that trigger step. The parser calls this routine when it |
| 399 | ** sees a DELETE statement inside the body of a CREATE TRIGGER. |
| 400 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 401 | TriggerStep *sqlite3TriggerDeleteStep(Token *pTableName, Expr *pWhere){ |
drh | e4697f5 | 2002-05-23 02:09:03 +0000 | [diff] [blame] | 402 | TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); |
| 403 | if( pTriggerStep==0 ) return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 404 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 405 | pTriggerStep->op = TK_DELETE; |
| 406 | pTriggerStep->target = *pTableName; |
| 407 | pTriggerStep->pWhere = pWhere; |
| 408 | pTriggerStep->orconf = OE_Default; |
drh | 4b59ab5 | 2002-08-24 18:24:51 +0000 | [diff] [blame] | 409 | sqlitePersistTriggerStep(pTriggerStep); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 410 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 411 | return pTriggerStep; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 412 | } |
| 413 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 414 | /* |
| 415 | ** Recursively delete a Trigger structure |
| 416 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 417 | void sqlite3DeleteTrigger(Trigger *pTrigger){ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 418 | if( pTrigger==0 ) return; |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 419 | sqlite3DeleteTriggerStep(pTrigger->step_list); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 420 | sqliteFree(pTrigger->name); |
| 421 | sqliteFree(pTrigger->table); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 422 | sqlite3ExprDelete(pTrigger->pWhen); |
| 423 | sqlite3IdListDelete(pTrigger->pColumns); |
drh | 4312db5 | 2003-06-03 01:47:11 +0000 | [diff] [blame] | 424 | if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 425 | sqliteFree(pTrigger); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 426 | } |
| 427 | |
| 428 | /* |
danielk1977 | 8a41449 | 2004-06-29 08:59:35 +0000 | [diff] [blame] | 429 | ** This function is called to drop a trigger from the database schema. |
| 430 | ** |
| 431 | ** This may be called directly from the parser and therefore identifies |
| 432 | ** the trigger by name. The sqlite3DropTriggerPtr() routine does the |
| 433 | ** same job as this routine except it takes a pointer to the trigger |
| 434 | ** instead of the trigger name. |
| 435 | **/ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 436 | void sqlite3DropTrigger(Parse *pParse, SrcList *pName){ |
danielk1977 | 742f947 | 2004-06-16 12:02:43 +0000 | [diff] [blame] | 437 | Trigger *pTrigger = 0; |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 438 | int i; |
| 439 | const char *zDb; |
| 440 | const char *zName; |
| 441 | int nName; |
drh | 9bb575f | 2004-09-06 17:24:11 +0000 | [diff] [blame] | 442 | sqlite3 *db = pParse->db; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 443 | |
danielk1977 | 9e12800 | 2006-01-18 16:51:35 +0000 | [diff] [blame] | 444 | if( sqlite3MallocFailed() ) goto drop_trigger_cleanup; |
danielk1977 | 8a41449 | 2004-06-29 08:59:35 +0000 | [diff] [blame] | 445 | if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){ |
danielk1977 | c039139 | 2004-06-09 12:30:04 +0000 | [diff] [blame] | 446 | goto drop_trigger_cleanup; |
| 447 | } |
danielk1977 | 8e22787 | 2004-06-07 07:52:17 +0000 | [diff] [blame] | 448 | |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 449 | assert( pName->nSrc==1 ); |
| 450 | zDb = pName->a[0].zDatabase; |
| 451 | zName = pName->a[0].zName; |
| 452 | nName = strlen(zName); |
danielk1977 | 53c0f74 | 2005-03-29 03:10:59 +0000 | [diff] [blame] | 453 | for(i=OMIT_TEMPDB; i<db->nDb; i++){ |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 454 | int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 455 | if( zDb && sqlite3StrICmp(db->aDb[j].zName, zDb) ) continue; |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 456 | pTrigger = sqlite3HashFind(&(db->aDb[j].pSchema->trigHash), zName, nName+1); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 457 | if( pTrigger ) break; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 458 | } |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 459 | if( !pTrigger ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 460 | sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0); |
drh | d24cc42 | 2003-03-27 12:51:24 +0000 | [diff] [blame] | 461 | goto drop_trigger_cleanup; |
| 462 | } |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 463 | sqlite3DropTriggerPtr(pParse, pTrigger); |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 464 | |
| 465 | drop_trigger_cleanup: |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 466 | sqlite3SrcListDelete(pName); |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 467 | } |
| 468 | |
| 469 | /* |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 470 | ** Return a pointer to the Table structure for the table that a trigger |
| 471 | ** is set on. |
| 472 | */ |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 473 | static Table *tableOfTrigger(Trigger *pTrigger){ |
danielk1977 | aaf2268 | 2006-01-06 15:03:48 +0000 | [diff] [blame] | 474 | int n = strlen(pTrigger->table) + 1; |
| 475 | return sqlite3HashFind(&pTrigger->pTabSchema->tblHash, pTrigger->table, n); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 476 | } |
| 477 | |
| 478 | |
| 479 | /* |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 480 | ** Drop a trigger given a pointer to that trigger. |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 481 | */ |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 482 | void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger){ |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 483 | Table *pTable; |
| 484 | Vdbe *v; |
drh | 9bb575f | 2004-09-06 17:24:11 +0000 | [diff] [blame] | 485 | sqlite3 *db = pParse->db; |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 486 | int iDb; |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 487 | |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 488 | iDb = sqlite3SchemaToIndex(pParse->db, pTrigger->pSchema); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 489 | assert( iDb>=0 && iDb<db->nDb ); |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 490 | pTable = tableOfTrigger(pTrigger); |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 491 | assert(pTable); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 492 | assert( pTable->pSchema==pTrigger->pSchema || iDb==1 ); |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 493 | #ifndef SQLITE_OMIT_AUTHORIZATION |
| 494 | { |
| 495 | int code = SQLITE_DROP_TRIGGER; |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 496 | const char *zDb = db->aDb[iDb].zName; |
| 497 | const char *zTab = SCHEMA_TABLE(iDb); |
| 498 | if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER; |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 499 | if( sqlite3AuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) || |
| 500 | sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){ |
drh | 79a519c | 2003-05-17 19:04:03 +0000 | [diff] [blame] | 501 | return; |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 502 | } |
drh | ed6c867 | 2003-01-12 18:02:16 +0000 | [diff] [blame] | 503 | } |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 504 | #endif |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 505 | |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 506 | /* Generate code to destroy the database record of the trigger. |
| 507 | */ |
danielk1977 | 8e22787 | 2004-06-07 07:52:17 +0000 | [diff] [blame] | 508 | if( pTable!=0 && (v = sqlite3GetVdbe(pParse))!=0 ){ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 509 | int base; |
drh | 5719628 | 2004-10-06 15:41:16 +0000 | [diff] [blame] | 510 | static const VdbeOpList dropTrigger[] = { |
drh | 9b1b01b | 2003-08-16 12:37:51 +0000 | [diff] [blame] | 511 | { OP_Rewind, 0, ADDR(9), 0}, |
drh | 5719628 | 2004-10-06 15:41:16 +0000 | [diff] [blame] | 512 | { OP_String8, 0, 0, 0}, /* 1 */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 513 | { OP_Column, 0, 1, 0}, |
drh | 9b1b01b | 2003-08-16 12:37:51 +0000 | [diff] [blame] | 514 | { OP_Ne, 0, ADDR(8), 0}, |
drh | 5719628 | 2004-10-06 15:41:16 +0000 | [diff] [blame] | 515 | { OP_String8, 0, 0, "trigger"}, |
drh | 9b1b01b | 2003-08-16 12:37:51 +0000 | [diff] [blame] | 516 | { OP_Column, 0, 0, 0}, |
| 517 | { OP_Ne, 0, ADDR(8), 0}, |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 518 | { OP_Delete, 0, 0, 0}, |
drh | 9b1b01b | 2003-08-16 12:37:51 +0000 | [diff] [blame] | 519 | { OP_Next, 0, ADDR(1), 0}, /* 8 */ |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 520 | }; |
| 521 | |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 522 | sqlite3BeginWriteOperation(pParse, 0, iDb); |
danielk1977 | c00da10 | 2006-01-07 13:21:04 +0000 | [diff] [blame] | 523 | sqlite3OpenMasterTable(pParse, iDb); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 524 | base = sqlite3VdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger); |
| 525 | sqlite3VdbeChangeP3(v, base+1, pTrigger->name, 0); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 526 | sqlite3ChangeCookie(db, v, iDb); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 527 | sqlite3VdbeAddOp(v, OP_Close, 0, 0); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 528 | sqlite3VdbeOp3(v, OP_DropTrigger, iDb, 0, pTrigger->name, 0); |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 529 | } |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 530 | } |
drh | f0f258b | 2003-04-21 18:48:45 +0000 | [diff] [blame] | 531 | |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 532 | /* |
| 533 | ** Remove a trigger from the hash tables of the sqlite* pointer. |
| 534 | */ |
| 535 | void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){ |
| 536 | Trigger *pTrigger; |
| 537 | int nName = strlen(zName); |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 538 | pTrigger = sqlite3HashInsert(&(db->aDb[iDb].pSchema->trigHash), zName, nName+1, 0); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 539 | if( pTrigger ){ |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 540 | Table *pTable = tableOfTrigger(pTrigger); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 541 | assert( pTable!=0 ); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 542 | if( pTable->pTrigger == pTrigger ){ |
| 543 | pTable->pTrigger = pTrigger->pNext; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 544 | }else{ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 545 | Trigger *cc = pTable->pTrigger; |
| 546 | while( cc ){ |
| 547 | if( cc->pNext == pTrigger ){ |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 548 | cc->pNext = cc->pNext->pNext; |
| 549 | break; |
| 550 | } |
| 551 | cc = cc->pNext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 552 | } |
| 553 | assert(cc); |
| 554 | } |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 555 | sqlite3DeleteTrigger(pTrigger); |
drh | 956bc92 | 2004-07-24 17:38:29 +0000 | [diff] [blame] | 556 | db->flags |= SQLITE_InternChanges; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 557 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 558 | } |
| 559 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 560 | /* |
| 561 | ** pEList is the SET clause of an UPDATE statement. Each entry |
| 562 | ** in pEList is of the format <id>=<expr>. If any of the entries |
| 563 | ** in pEList have an <id> which matches an identifier in pIdList, |
| 564 | ** then return TRUE. If pIdList==NULL, then it is considered a |
| 565 | ** wildcard that matches anything. Likewise if pEList==NULL then |
| 566 | ** it matches anything so always return true. Return false only |
| 567 | ** if there is no match. |
| 568 | */ |
| 569 | static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){ |
drh | ad2d830 | 2002-05-24 20:31:36 +0000 | [diff] [blame] | 570 | int e; |
| 571 | if( !pIdList || !pEList ) return 1; |
| 572 | for(e=0; e<pEList->nExpr; e++){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 573 | if( sqlite3IdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 574 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 575 | return 0; |
| 576 | } |
| 577 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 578 | /* |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 579 | ** Return a bit vector to indicate what kind of triggers exist for operation |
| 580 | ** "op" on table pTab. If pChanges is not NULL then it is a list of columns |
| 581 | ** that are being updated. Triggers only match if the ON clause of the |
| 582 | ** trigger definition overlaps the set of columns being updated. |
| 583 | ** |
| 584 | ** The returned bit vector is some combination of TRIGGER_BEFORE and |
| 585 | ** TRIGGER_AFTER. |
| 586 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 587 | int sqlite3TriggersExist( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 588 | Parse *pParse, /* Used to check for recursive triggers */ |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 589 | Table *pTab, /* The table the contains the triggers */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 590 | int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 591 | ExprList *pChanges /* Columns that change in an UPDATE statement */ |
| 592 | ){ |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 593 | Trigger *pTrigger = pTab->pTrigger; |
| 594 | int mask = 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 595 | |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 596 | while( pTrigger ){ |
| 597 | if( pTrigger->op==op && checkColumnOverLap(pTrigger->pColumns, pChanges) ){ |
| 598 | TriggerStack *ss; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 599 | ss = pParse->trigStack; |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 600 | while( ss && ss->pTrigger!=pTab->pTrigger ){ |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 601 | ss = ss->pNext; |
| 602 | } |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 603 | if( ss==0 ){ |
| 604 | mask |= pTrigger->tr_tm; |
| 605 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 606 | } |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 607 | pTrigger = pTrigger->pNext; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 608 | } |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 609 | return mask; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 610 | } |
| 611 | |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 612 | /* |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 613 | ** Convert the pStep->target token into a SrcList and return a pointer |
| 614 | ** to that SrcList. |
| 615 | ** |
| 616 | ** This routine adds a specific database name, if needed, to the target when |
| 617 | ** forming the SrcList. This prevents a trigger in one database from |
| 618 | ** referring to a target in another database. An exception is when the |
| 619 | ** trigger is in TEMP in which case it can refer to any other database it |
| 620 | ** wants. |
| 621 | */ |
| 622 | static SrcList *targetSrcList( |
| 623 | Parse *pParse, /* The parsing context */ |
| 624 | TriggerStep *pStep /* The trigger containing the target token */ |
| 625 | ){ |
| 626 | Token sDb; /* Dummy database name token */ |
| 627 | int iDb; /* Index of the database to use */ |
| 628 | SrcList *pSrc; /* SrcList to be returned */ |
| 629 | |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 630 | iDb = sqlite3SchemaToIndex(pParse->db, pStep->pTrig->pSchema); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 631 | if( iDb==0 || iDb>=2 ){ |
| 632 | assert( iDb<pParse->db->nDb ); |
drh | 2646da7 | 2005-12-09 20:02:05 +0000 | [diff] [blame] | 633 | sDb.z = (u8*)pParse->db->aDb[iDb].zName; |
| 634 | sDb.n = strlen((char*)sDb.z); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 635 | pSrc = sqlite3SrcListAppend(0, &sDb, &pStep->target); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 636 | } else { |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 637 | pSrc = sqlite3SrcListAppend(0, &pStep->target, 0); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 638 | } |
| 639 | return pSrc; |
| 640 | } |
| 641 | |
| 642 | /* |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 643 | ** Generate VDBE code for zero or more statements inside the body of a |
| 644 | ** trigger. |
| 645 | */ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 646 | static int codeTriggerProgram( |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 647 | Parse *pParse, /* The parser context */ |
| 648 | TriggerStep *pStepList, /* List of statements inside the trigger body */ |
| 649 | int orconfin /* Conflict algorithm. (OE_Abort, etc) */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 650 | ){ |
| 651 | TriggerStep * pTriggerStep = pStepList; |
| 652 | int orconf; |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 653 | Vdbe *v = pParse->pVdbe; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 654 | |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 655 | assert( pTriggerStep!=0 ); |
| 656 | assert( v!=0 ); |
| 657 | sqlite3VdbeAddOp(v, OP_ContextPush, 0, 0); |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 658 | VdbeComment((v, "# begin trigger %s", pStepList->pTrig->name)); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 659 | while( pTriggerStep ){ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 660 | orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin; |
| 661 | pParse->trigStack->orconf = orconf; |
| 662 | switch( pTriggerStep->op ){ |
| 663 | case TK_SELECT: { |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 664 | Select * ss = sqlite3SelectDup(pTriggerStep->pSelect); |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 665 | assert(ss); |
| 666 | assert(ss->pSrc); |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 667 | sqlite3SelectResolve(pParse, ss, 0); |
| 668 | sqlite3Select(pParse, ss, SRT_Discard, 0, 0, 0, 0, 0); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 669 | sqlite3SelectDelete(ss); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 670 | break; |
| 671 | } |
| 672 | case TK_UPDATE: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 673 | SrcList *pSrc; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 674 | pSrc = targetSrcList(pParse, pTriggerStep); |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 675 | sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 676 | sqlite3Update(pParse, pSrc, |
| 677 | sqlite3ExprListDup(pTriggerStep->pExprList), |
| 678 | sqlite3ExprDup(pTriggerStep->pWhere), orconf); |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 679 | sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 680 | break; |
| 681 | } |
| 682 | case TK_INSERT: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 683 | SrcList *pSrc; |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 684 | pSrc = targetSrcList(pParse, pTriggerStep); |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 685 | sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 686 | sqlite3Insert(pParse, pSrc, |
| 687 | sqlite3ExprListDup(pTriggerStep->pExprList), |
| 688 | sqlite3SelectDup(pTriggerStep->pSelect), |
| 689 | sqlite3IdListDup(pTriggerStep->pIdList), orconf); |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 690 | sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 691 | break; |
| 692 | } |
| 693 | case TK_DELETE: { |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 694 | SrcList *pSrc; |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 695 | sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); |
drh | f26e09c | 2003-05-31 16:21:12 +0000 | [diff] [blame] | 696 | pSrc = targetSrcList(pParse, pTriggerStep); |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 697 | sqlite3DeleteFrom(pParse, pSrc, sqlite3ExprDup(pTriggerStep->pWhere)); |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 698 | sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 699 | break; |
| 700 | } |
| 701 | default: |
| 702 | assert(0); |
| 703 | } |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 704 | pTriggerStep = pTriggerStep->pNext; |
| 705 | } |
drh | 344737f | 2004-09-19 00:50:20 +0000 | [diff] [blame] | 706 | sqlite3VdbeAddOp(v, OP_ContextPop, 0, 0); |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 707 | VdbeComment((v, "# end trigger %s", pStepList->pTrig->name)); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 708 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 709 | return 0; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 710 | } |
| 711 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 712 | /* |
| 713 | ** This is called to code FOR EACH ROW triggers. |
| 714 | ** |
| 715 | ** When the code that this function generates is executed, the following |
| 716 | ** must be true: |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 717 | ** |
| 718 | ** 1. No cursors may be open in the main database. (But newIdx and oldIdx |
| 719 | ** can be indices of cursors in temporary tables. See below.) |
| 720 | ** |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 721 | ** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then |
| 722 | ** a temporary vdbe cursor (index newIdx) must be open and pointing at |
| 723 | ** a row containing values to be substituted for new.* expressions in the |
| 724 | ** trigger program(s). |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 725 | ** |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 726 | ** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then |
| 727 | ** a temporary vdbe cursor (index oldIdx) must be open and pointing at |
| 728 | ** a row containing values to be substituted for old.* expressions in the |
| 729 | ** trigger program(s). |
| 730 | ** |
| 731 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 732 | int sqlite3CodeRowTrigger( |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 733 | Parse *pParse, /* Parse context */ |
| 734 | int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */ |
| 735 | ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 736 | int tr_tm, /* One of TRIGGER_BEFORE, TRIGGER_AFTER */ |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 737 | Table *pTab, /* The table to code triggers from */ |
| 738 | int newIdx, /* The indice of the "new" row to access */ |
| 739 | int oldIdx, /* The indice of the "old" row to access */ |
danielk1977 | 6f34903 | 2002-06-11 02:25:40 +0000 | [diff] [blame] | 740 | int orconf, /* ON CONFLICT policy */ |
| 741 | int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ |
drh | c977f7f | 2002-05-21 11:38:11 +0000 | [diff] [blame] | 742 | ){ |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 743 | Trigger *p; |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 744 | TriggerStack trigStackEntry; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 745 | |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 746 | assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE); |
drh | dca7684 | 2004-12-07 14:06:13 +0000 | [diff] [blame] | 747 | assert(tr_tm == TRIGGER_BEFORE || tr_tm == TRIGGER_AFTER ); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 748 | |
danielk1977 | 633ed08 | 2002-05-17 00:05:58 +0000 | [diff] [blame] | 749 | assert(newIdx != -1 || oldIdx != -1); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 750 | |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 751 | for(p=pTab->pTrigger; p; p=p->pNext){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 752 | int fire_this = 0; |
| 753 | |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 754 | /* Determine whether we should code this trigger */ |
| 755 | if( |
| 756 | p->op==op && |
| 757 | p->tr_tm==tr_tm && |
| 758 | (p->pSchema==p->pTabSchema || p->pSchema==pParse->db->aDb[1].pSchema) && |
| 759 | (op!=TK_UPDATE||!p->pColumns||checkColumnOverLap(p->pColumns,pChanges)) |
| 760 | ){ |
| 761 | TriggerStack *pS; /* Pointer to trigger-stack entry */ |
drh | 7416170 | 2006-02-24 02:53:49 +0000 | [diff] [blame] | 762 | for(pS=pParse->trigStack; pS && p!=pS->pTrigger; pS=pS->pNext){} |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 763 | if( !pS ){ |
| 764 | fire_this = 1; |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 765 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 766 | } |
drh | ad6d946 | 2004-09-19 02:15:24 +0000 | [diff] [blame] | 767 | |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 768 | if( fire_this ){ |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 769 | int endTrigger; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 770 | Expr * whenExpr; |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 771 | AuthContext sContext; |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 772 | NameContext sNC; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 773 | |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 774 | memset(&sNC, 0, sizeof(sNC)); |
| 775 | sNC.pParse = pParse; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 776 | |
| 777 | /* Push an entry on to the trigger stack */ |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 778 | trigStackEntry.pTrigger = p; |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 779 | trigStackEntry.newIdx = newIdx; |
| 780 | trigStackEntry.oldIdx = oldIdx; |
| 781 | trigStackEntry.pTab = pTab; |
| 782 | trigStackEntry.pNext = pParse->trigStack; |
| 783 | trigStackEntry.ignoreJump = ignoreJump; |
| 784 | pParse->trigStack = &trigStackEntry; |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 785 | sqlite3AuthContextPush(pParse, &sContext, p->name); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 786 | |
| 787 | /* code the WHEN clause */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 788 | endTrigger = sqlite3VdbeMakeLabel(pParse->pVdbe); |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 789 | whenExpr = sqlite3ExprDup(p->pWhen); |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 790 | if( sqlite3ExprResolveNames(&sNC, whenExpr) ){ |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 791 | pParse->trigStack = trigStackEntry.pNext; |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 792 | sqlite3ExprDelete(whenExpr); |
drh | 9adf9ac | 2002-05-15 11:44:13 +0000 | [diff] [blame] | 793 | return 1; |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 794 | } |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 795 | sqlite3ExprIfFalse(pParse, whenExpr, endTrigger, 1); |
| 796 | sqlite3ExprDelete(whenExpr); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 797 | |
danielk1977 | eecfb3e | 2006-01-10 12:31:39 +0000 | [diff] [blame] | 798 | codeTriggerProgram(pParse, p->step_list, orconf); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 799 | |
| 800 | /* Pop the entry off the trigger stack */ |
drh | 6704046 | 2004-09-24 12:24:36 +0000 | [diff] [blame] | 801 | pParse->trigStack = trigStackEntry.pNext; |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 802 | sqlite3AuthContextPop(&sContext); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 803 | |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 804 | sqlite3VdbeResolveLabel(pParse->pVdbe, endTrigger); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 805 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 806 | } |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 807 | return 0; |
| 808 | } |
drh | b7f9164 | 2004-10-31 02:22:47 +0000 | [diff] [blame] | 809 | #endif /* !defined(SQLITE_OMIT_TRIGGER) */ |