1c3f9bad2Sdanielk1977 /* 2633ed08dSdanielk1977 ** 3633ed08dSdanielk1977 ** The author disclaims copyright to this source code. In place of 4633ed08dSdanielk1977 ** a legal notice, here is a blessing: 5633ed08dSdanielk1977 ** 6633ed08dSdanielk1977 ** May you do good and not evil. 7633ed08dSdanielk1977 ** May you find forgiveness for yourself and forgive others. 8633ed08dSdanielk1977 ** May you share freely, never taking more than you give. 9633ed08dSdanielk1977 ** 10633ed08dSdanielk1977 ************************************************************************* 11633ed08dSdanielk1977 * 12c3f9bad2Sdanielk1977 */ 13c3f9bad2Sdanielk1977 #include "sqliteInt.h" 149adf9ac4Sdrh 15c3f9bad2Sdanielk1977 /* 164b59ab5eSdrh ** Delete a linked list of TriggerStep structures. 174b59ab5eSdrh */ 184adee20fSdanielk1977 void sqlite3DeleteTriggerStep(TriggerStep *pTriggerStep){ 194b59ab5eSdrh while( pTriggerStep ){ 204b59ab5eSdrh TriggerStep * pTmp = pTriggerStep; 214b59ab5eSdrh pTriggerStep = pTriggerStep->pNext; 224b59ab5eSdrh 238c74a8caSdrh if( pTmp->target.dyn ) sqliteFree((char*)pTmp->target.z); 244adee20fSdanielk1977 sqlite3ExprDelete(pTmp->pWhere); 254adee20fSdanielk1977 sqlite3ExprListDelete(pTmp->pExprList); 264adee20fSdanielk1977 sqlite3SelectDelete(pTmp->pSelect); 274adee20fSdanielk1977 sqlite3IdListDelete(pTmp->pIdList); 284b59ab5eSdrh 294b59ab5eSdrh sqliteFree(pTmp); 304b59ab5eSdrh } 314b59ab5eSdrh } 324b59ab5eSdrh 334b59ab5eSdrh /* 34f0f258b1Sdrh ** This is called by the parser when it sees a CREATE TRIGGER statement 35f0f258b1Sdrh ** up to the point of the BEGIN before the trigger actions. A Trigger 36f0f258b1Sdrh ** structure is generated based on the information available and stored 37f0f258b1Sdrh ** in pParse->pNewTrigger. After the trigger actions have been parsed, the 384adee20fSdanielk1977 ** sqlite3FinishTrigger() function is called to complete the trigger 39f0f258b1Sdrh ** construction process. 40c3f9bad2Sdanielk1977 */ 414adee20fSdanielk1977 void sqlite3BeginTrigger( 42c3f9bad2Sdanielk1977 Parse *pParse, /* The parse context of the CREATE TRIGGER statement */ 43*ef2cb63eSdanielk1977 Token *pName1, /* The name of the trigger */ 44*ef2cb63eSdanielk1977 Token *pName2, /* The name of the trigger */ 45d702fccbSdanielk1977 int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */ 46c3f9bad2Sdanielk1977 int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */ 47633ed08dSdanielk1977 IdList *pColumns, /* column list if this is an UPDATE OF trigger */ 48d24cc427Sdrh SrcList *pTableName,/* The name of the table/view the trigger applies to */ 49c3f9bad2Sdanielk1977 int foreach, /* One of TK_ROW or TK_STATEMENT */ 50c3f9bad2Sdanielk1977 Expr *pWhen, /* WHEN clause */ 51f0f258b1Sdrh int isTemp /* True if the TEMPORARY keyword is present */ 529adf9ac4Sdrh ){ 53*ef2cb63eSdanielk1977 Trigger *pTrigger; 54*ef2cb63eSdanielk1977 Table *pTab; 55e5f9c644Sdrh char *zName = 0; /* Name of the trigger */ 56d24cc427Sdrh sqlite *db = pParse->db; 57*ef2cb63eSdanielk1977 int iDb; /* The database to store the trigger in */ 58*ef2cb63eSdanielk1977 Token *pName; /* The unqualified db name */ 594312db55Sdrh DbFixer sFix; 60ed6c8671Sdrh 61*ef2cb63eSdanielk1977 if( isTemp ){ 62*ef2cb63eSdanielk1977 /* If TEMP was specified, then the trigger name may not be qualified. */ 63*ef2cb63eSdanielk1977 if( pName2 && pName2->n>0 ){ 64*ef2cb63eSdanielk1977 sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name"); 65*ef2cb63eSdanielk1977 goto trigger_cleanup; 66*ef2cb63eSdanielk1977 } 67*ef2cb63eSdanielk1977 iDb = 1; 68*ef2cb63eSdanielk1977 pName = pName1; 69*ef2cb63eSdanielk1977 }else{ 70*ef2cb63eSdanielk1977 /* Figure out the db that the the trigger will be created in */ 71*ef2cb63eSdanielk1977 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName); 72*ef2cb63eSdanielk1977 if( iDb<0 ){ 73*ef2cb63eSdanielk1977 goto trigger_cleanup; 74*ef2cb63eSdanielk1977 } 75*ef2cb63eSdanielk1977 } 76*ef2cb63eSdanielk1977 77*ef2cb63eSdanielk1977 /* If the trigger name was unqualified, and the table is a temp table, 78*ef2cb63eSdanielk1977 ** then set iDb to 1 to create the trigger in the temporary database. 79*ef2cb63eSdanielk1977 ** If sqlite3SrcListLookup() returns 0, indicating the table does not 80*ef2cb63eSdanielk1977 ** exist, the error is caught by the block below. 81c3f9bad2Sdanielk1977 */ 82*ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 83*ef2cb63eSdanielk1977 if( pName2->n==0 && pTab && pTab->iDb==1 ){ 84*ef2cb63eSdanielk1977 iDb = 1; 85*ef2cb63eSdanielk1977 } 86*ef2cb63eSdanielk1977 87*ef2cb63eSdanielk1977 /* Ensure the table name matches database name and that the table exists */ 886f8a503dSdanielk1977 if( sqlite3_malloc_failed ) goto trigger_cleanup; 89d24cc427Sdrh assert( pTableName->nSrc==1 ); 90*ef2cb63eSdanielk1977 if( sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName) && 91*ef2cb63eSdanielk1977 sqlite3FixSrcList(&sFix, pTableName) ){ 924312db55Sdrh goto trigger_cleanup; 93f26e09c8Sdrh } 94*ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 95*ef2cb63eSdanielk1977 if( !pTab ){ 96*ef2cb63eSdanielk1977 /* The table does not exist. */ 97d24cc427Sdrh goto trigger_cleanup; 98d24cc427Sdrh } 99d24cc427Sdrh 100*ef2cb63eSdanielk1977 /* Check that no trigger of the specified name exists */ 101e5f9c644Sdrh zName = sqliteStrNDup(pName->z, pName->n); 1024adee20fSdanielk1977 sqlite3Dequote(zName); 1034adee20fSdanielk1977 if( sqlite3HashFind(&(db->aDb[iDb].trigHash), zName,pName->n+1) ){ 1044adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "trigger %T already exists", pName); 105c3f9bad2Sdanielk1977 goto trigger_cleanup; 106c3f9bad2Sdanielk1977 } 107*ef2cb63eSdanielk1977 108*ef2cb63eSdanielk1977 /* Do not create a trigger on a system table */ 109*ef2cb63eSdanielk1977 if( (iDb!=1 && sqlite3StrICmp(pTab->zName, MASTER_NAME)==0) || 110*ef2cb63eSdanielk1977 (iDb==1 && sqlite3StrICmp(pTab->zName, TEMP_MASTER_NAME)==0) 111*ef2cb63eSdanielk1977 ){ 1124adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create trigger on system table"); 113e0bc4048Sdrh pParse->nErr++; 114e0bc4048Sdrh goto trigger_cleanup; 115e0bc4048Sdrh } 116*ef2cb63eSdanielk1977 117*ef2cb63eSdanielk1977 /* INSTEAD of triggers are only for views and views only support INSTEAD 118*ef2cb63eSdanielk1977 ** of triggers. 119*ef2cb63eSdanielk1977 */ 120*ef2cb63eSdanielk1977 if( pTab->pSelect && tr_tm!=TK_INSTEAD ){ 1214adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S", 122da93d238Sdrh (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0); 123d702fccbSdanielk1977 goto trigger_cleanup; 124d702fccbSdanielk1977 } 125*ef2cb63eSdanielk1977 if( !pTab->pSelect && tr_tm==TK_INSTEAD ){ 1264adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF" 127da93d238Sdrh " trigger on table: %S", pTableName, 0); 128d702fccbSdanielk1977 goto trigger_cleanup; 129d702fccbSdanielk1977 } 130*ef2cb63eSdanielk1977 131e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 132e5f9c644Sdrh { 133e5f9c644Sdrh int code = SQLITE_CREATE_TRIGGER; 134*ef2cb63eSdanielk1977 const char *zDb = db->aDb[pTab->iDb].zName; 135e22a334bSdrh const char *zDbTrig = isTemp ? db->aDb[1].zName : zDb; 136*ef2cb63eSdanielk1977 if( pTab->iDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER; 137*ef2cb63eSdanielk1977 if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){ 138ed6c8671Sdrh goto trigger_cleanup; 139ed6c8671Sdrh } 140*ef2cb63eSdanielk1977 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(pTab->iDb), 0, zDb)){ 14177ad4e41Sdrh goto trigger_cleanup; 14277ad4e41Sdrh } 143d702fccbSdanielk1977 } 144e5f9c644Sdrh #endif 145d702fccbSdanielk1977 146*ef2cb63eSdanielk1977 /* INSTEAD OF triggers can only appear on views and BEFORE triggers 1475cf590c1Sdrh ** cannot appear on views. So we might as well translate every 1485cf590c1Sdrh ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code 1495cf590c1Sdrh ** elsewhere. 1505cf590c1Sdrh */ 151d702fccbSdanielk1977 if (tr_tm == TK_INSTEAD){ 152d702fccbSdanielk1977 tr_tm = TK_BEFORE; 153c3f9bad2Sdanielk1977 } 154c3f9bad2Sdanielk1977 155c3f9bad2Sdanielk1977 /* Build the Trigger object */ 156*ef2cb63eSdanielk1977 pTrigger = (Trigger*)sqliteMalloc(sizeof(Trigger)); 157*ef2cb63eSdanielk1977 if( pTrigger==0 ) goto trigger_cleanup; 158*ef2cb63eSdanielk1977 pTrigger->name = zName; 159e5f9c644Sdrh zName = 0; 160*ef2cb63eSdanielk1977 pTrigger->table = sqliteStrDup(pTableName->a[0].zName); 1616f8a503dSdanielk1977 if( sqlite3_malloc_failed ) goto trigger_cleanup; 162*ef2cb63eSdanielk1977 pTrigger->iDb = iDb; 163*ef2cb63eSdanielk1977 pTrigger->iTabDb = pTab->iDb; 164*ef2cb63eSdanielk1977 pTrigger->op = op; 165*ef2cb63eSdanielk1977 pTrigger->tr_tm = tr_tm; 166*ef2cb63eSdanielk1977 pTrigger->pWhen = sqlite3ExprDup(pWhen); 167*ef2cb63eSdanielk1977 pTrigger->pColumns = sqlite3IdListDup(pColumns); 168*ef2cb63eSdanielk1977 pTrigger->foreach = foreach; 169*ef2cb63eSdanielk1977 sqlite3TokenCopy(&pTrigger->nameToken,pName); 170f0f258b1Sdrh assert( pParse->pNewTrigger==0 ); 171*ef2cb63eSdanielk1977 pParse->pNewTrigger = pTrigger; 172f0f258b1Sdrh 173f0f258b1Sdrh trigger_cleanup: 174f0f258b1Sdrh sqliteFree(zName); 1754adee20fSdanielk1977 sqlite3SrcListDelete(pTableName); 1764adee20fSdanielk1977 sqlite3IdListDelete(pColumns); 1774adee20fSdanielk1977 sqlite3ExprDelete(pWhen); 178f0f258b1Sdrh } 179f0f258b1Sdrh 180f0f258b1Sdrh /* 181f0f258b1Sdrh ** This routine is called after all of the trigger actions have been parsed 182f0f258b1Sdrh ** in order to complete the process of building the trigger. 183f0f258b1Sdrh */ 1844adee20fSdanielk1977 void sqlite3FinishTrigger( 185f0f258b1Sdrh Parse *pParse, /* Parser context */ 186f0f258b1Sdrh TriggerStep *pStepList, /* The triggered program */ 187f0f258b1Sdrh Token *pAll /* Token that describes the complete CREATE TRIGGER */ 188f0f258b1Sdrh ){ 189f26e09c8Sdrh Trigger *nt = 0; /* The trigger whose construction is finishing up */ 190f0f258b1Sdrh sqlite *db = pParse->db; /* The database */ 191f26e09c8Sdrh DbFixer sFix; 192f0f258b1Sdrh 193f0f258b1Sdrh if( pParse->nErr || pParse->pNewTrigger==0 ) goto triggerfinish_cleanup; 194f0f258b1Sdrh nt = pParse->pNewTrigger; 195f0f258b1Sdrh pParse->pNewTrigger = 0; 196633ed08dSdanielk1977 nt->step_list = pStepList; 197a69d9168Sdrh while( pStepList ){ 198a69d9168Sdrh pStepList->pTrig = nt; 199a69d9168Sdrh pStepList = pStepList->pNext; 200a69d9168Sdrh } 2014adee20fSdanielk1977 if( sqlite3FixInit(&sFix, pParse, nt->iDb, "trigger", &nt->nameToken) 2024adee20fSdanielk1977 && sqlite3FixTriggerStep(&sFix, nt->step_list) ){ 203f26e09c8Sdrh goto triggerfinish_cleanup; 204f26e09c8Sdrh } 205c3f9bad2Sdanielk1977 206c3f9bad2Sdanielk1977 /* if we are not initializing, and this trigger is not on a TEMP table, 2079adf9ac4Sdrh ** build the sqlite_master entry 2089adf9ac4Sdrh */ 2091d85d931Sdrh if( !db->init.busy ){ 210905793e2Sdrh static VdbeOpList insertTrig[] = { 211c977f7f5Sdrh { OP_NewRecno, 0, 0, 0 }, 212c977f7f5Sdrh { OP_String, 0, 0, "trigger" }, 213e0bc4048Sdrh { OP_String, 0, 0, 0 }, /* 2: trigger name */ 214e0bc4048Sdrh { OP_String, 0, 0, 0 }, /* 3: table name */ 215c977f7f5Sdrh { OP_Integer, 0, 0, 0 }, 216e0bc4048Sdrh { OP_String, 0, 0, 0 }, /* 5: SQL */ 217bf3b721fSdanielk1977 { OP_MakeRecord, 5, 0, "tttit" }, 218c977f7f5Sdrh { OP_PutIntKey, 0, 0, 0 }, 219c977f7f5Sdrh }; 220c977f7f5Sdrh int addr; 221c977f7f5Sdrh Vdbe *v; 222c3f9bad2Sdanielk1977 223c3f9bad2Sdanielk1977 /* Make an entry in the sqlite_master table */ 2244adee20fSdanielk1977 v = sqlite3GetVdbe(pParse); 225f0f258b1Sdrh if( v==0 ) goto triggerfinish_cleanup; 226*ef2cb63eSdanielk1977 sqlite3BeginWriteOperation(pParse, 0, nt->iDb); 2274adee20fSdanielk1977 sqlite3OpenMasterTable(v, nt->iDb); 2284adee20fSdanielk1977 addr = sqlite3VdbeAddOpList(v, ArraySize(insertTrig), insertTrig); 2294adee20fSdanielk1977 sqlite3VdbeChangeP3(v, addr+2, nt->name, 0); 2304adee20fSdanielk1977 sqlite3VdbeChangeP3(v, addr+3, nt->table, 0); 2314adee20fSdanielk1977 sqlite3VdbeChangeP3(v, addr+5, pAll->z, pAll->n); 232f0f258b1Sdrh if( nt->iDb==0 ){ 233cbb18d22Sdanielk1977 sqlite3ChangeCookie(db, v, 0); 234e0bc4048Sdrh } 2354adee20fSdanielk1977 sqlite3VdbeAddOp(v, OP_Close, 0, 0); 2364adee20fSdanielk1977 sqlite3EndWriteOperation(pParse); 237c3f9bad2Sdanielk1977 } 238c3f9bad2Sdanielk1977 239c3f9bad2Sdanielk1977 if( !pParse->explain ){ 240f0f258b1Sdrh Table *pTab; 2414adee20fSdanielk1977 sqlite3HashInsert(&db->aDb[nt->iDb].trigHash, 242f0f258b1Sdrh nt->name, strlen(nt->name)+1, nt); 2434adee20fSdanielk1977 pTab = sqlite3LocateTable(pParse, nt->table, db->aDb[nt->iTabDb].zName); 244f0f258b1Sdrh assert( pTab!=0 ); 245f0f258b1Sdrh nt->pNext = pTab->pTrigger; 246f0f258b1Sdrh pTab->pTrigger = nt; 247f26e09c8Sdrh nt = 0; 248c3f9bad2Sdanielk1977 } 249c3f9bad2Sdanielk1977 250f0f258b1Sdrh triggerfinish_cleanup: 2514adee20fSdanielk1977 sqlite3DeleteTrigger(nt); 2524adee20fSdanielk1977 sqlite3DeleteTrigger(pParse->pNewTrigger); 253f0f258b1Sdrh pParse->pNewTrigger = 0; 2544adee20fSdanielk1977 sqlite3DeleteTriggerStep(pStepList); 255c3f9bad2Sdanielk1977 } 2564b59ab5eSdrh 2574b59ab5eSdrh /* 2584b59ab5eSdrh ** Make a copy of all components of the given trigger step. This has 2594b59ab5eSdrh ** the effect of copying all Expr.token.z values into memory obtained 2604b59ab5eSdrh ** from sqliteMalloc(). As initially created, the Expr.token.z values 2614b59ab5eSdrh ** all point to the input string that was fed to the parser. But that 2626f8a503dSdanielk1977 ** string is ephemeral - it will go away as soon as the sqlite3_exec() 2634b59ab5eSdrh ** call that started the parser exits. This routine makes a persistent 2644b59ab5eSdrh ** copy of all the Expr.token.z strings so that the TriggerStep structure 2656f8a503dSdanielk1977 ** will be valid even after the sqlite3_exec() call returns. 2664b59ab5eSdrh */ 2674b59ab5eSdrh static void sqlitePersistTriggerStep(TriggerStep *p){ 2684b59ab5eSdrh if( p->target.z ){ 2694b59ab5eSdrh p->target.z = sqliteStrNDup(p->target.z, p->target.n); 2704b59ab5eSdrh p->target.dyn = 1; 2714b59ab5eSdrh } 2724b59ab5eSdrh if( p->pSelect ){ 2734adee20fSdanielk1977 Select *pNew = sqlite3SelectDup(p->pSelect); 2744adee20fSdanielk1977 sqlite3SelectDelete(p->pSelect); 2754b59ab5eSdrh p->pSelect = pNew; 2764b59ab5eSdrh } 2774b59ab5eSdrh if( p->pWhere ){ 2784adee20fSdanielk1977 Expr *pNew = sqlite3ExprDup(p->pWhere); 2794adee20fSdanielk1977 sqlite3ExprDelete(p->pWhere); 2804b59ab5eSdrh p->pWhere = pNew; 2814b59ab5eSdrh } 2824b59ab5eSdrh if( p->pExprList ){ 2834adee20fSdanielk1977 ExprList *pNew = sqlite3ExprListDup(p->pExprList); 2844adee20fSdanielk1977 sqlite3ExprListDelete(p->pExprList); 2854b59ab5eSdrh p->pExprList = pNew; 2864b59ab5eSdrh } 2874b59ab5eSdrh if( p->pIdList ){ 2884adee20fSdanielk1977 IdList *pNew = sqlite3IdListDup(p->pIdList); 2894adee20fSdanielk1977 sqlite3IdListDelete(p->pIdList); 2904b59ab5eSdrh p->pIdList = pNew; 291c3f9bad2Sdanielk1977 } 292c3f9bad2Sdanielk1977 } 293c3f9bad2Sdanielk1977 294c977f7f5Sdrh /* 295c977f7f5Sdrh ** Turn a SELECT statement (that the pSelect parameter points to) into 296c977f7f5Sdrh ** a trigger step. Return a pointer to a TriggerStep structure. 297c977f7f5Sdrh ** 298c977f7f5Sdrh ** The parser calls this routine when it finds a SELECT statement in 299c977f7f5Sdrh ** body of a TRIGGER. 300c977f7f5Sdrh */ 3014adee20fSdanielk1977 TriggerStep *sqlite3TriggerSelectStep(Select *pSelect){ 302633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 303e4697f5eSdrh if( pTriggerStep==0 ) return 0; 304c3f9bad2Sdanielk1977 305633ed08dSdanielk1977 pTriggerStep->op = TK_SELECT; 306633ed08dSdanielk1977 pTriggerStep->pSelect = pSelect; 307633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 3084b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 309c3f9bad2Sdanielk1977 310633ed08dSdanielk1977 return pTriggerStep; 311c3f9bad2Sdanielk1977 } 312c3f9bad2Sdanielk1977 313c977f7f5Sdrh /* 314c977f7f5Sdrh ** Build a trigger step out of an INSERT statement. Return a pointer 315c977f7f5Sdrh ** to the new trigger step. 316c977f7f5Sdrh ** 317c977f7f5Sdrh ** The parser calls this routine when it sees an INSERT inside the 318c977f7f5Sdrh ** body of a trigger. 319c977f7f5Sdrh */ 3204adee20fSdanielk1977 TriggerStep *sqlite3TriggerInsertStep( 321c977f7f5Sdrh Token *pTableName, /* Name of the table into which we insert */ 322c977f7f5Sdrh IdList *pColumn, /* List of columns in pTableName to insert into */ 323c977f7f5Sdrh ExprList *pEList, /* The VALUE clause: a list of values to be inserted */ 324c977f7f5Sdrh Select *pSelect, /* A SELECT statement that supplies values */ 325c977f7f5Sdrh int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */ 326633ed08dSdanielk1977 ){ 327633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 328e4697f5eSdrh if( pTriggerStep==0 ) return 0; 329c3f9bad2Sdanielk1977 330633ed08dSdanielk1977 assert(pEList == 0 || pSelect == 0); 331633ed08dSdanielk1977 assert(pEList != 0 || pSelect != 0); 332c3f9bad2Sdanielk1977 333633ed08dSdanielk1977 pTriggerStep->op = TK_INSERT; 334633ed08dSdanielk1977 pTriggerStep->pSelect = pSelect; 335633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 336633ed08dSdanielk1977 pTriggerStep->pIdList = pColumn; 337633ed08dSdanielk1977 pTriggerStep->pExprList = pEList; 338633ed08dSdanielk1977 pTriggerStep->orconf = orconf; 3394b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 340c3f9bad2Sdanielk1977 341633ed08dSdanielk1977 return pTriggerStep; 342c3f9bad2Sdanielk1977 } 343c3f9bad2Sdanielk1977 344c977f7f5Sdrh /* 345c977f7f5Sdrh ** Construct a trigger step that implements an UPDATE statement and return 346c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 347c977f7f5Sdrh ** sees an UPDATE statement inside the body of a CREATE TRIGGER. 348c977f7f5Sdrh */ 3494adee20fSdanielk1977 TriggerStep *sqlite3TriggerUpdateStep( 350c977f7f5Sdrh Token *pTableName, /* Name of the table to be updated */ 351c977f7f5Sdrh ExprList *pEList, /* The SET clause: list of column and new values */ 352c977f7f5Sdrh Expr *pWhere, /* The WHERE clause */ 353c977f7f5Sdrh int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */ 354c977f7f5Sdrh ){ 355633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 356e4697f5eSdrh if( pTriggerStep==0 ) return 0; 357c3f9bad2Sdanielk1977 358633ed08dSdanielk1977 pTriggerStep->op = TK_UPDATE; 359633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 360633ed08dSdanielk1977 pTriggerStep->pExprList = pEList; 361633ed08dSdanielk1977 pTriggerStep->pWhere = pWhere; 362633ed08dSdanielk1977 pTriggerStep->orconf = orconf; 3634b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 364c3f9bad2Sdanielk1977 365633ed08dSdanielk1977 return pTriggerStep; 366c3f9bad2Sdanielk1977 } 367c3f9bad2Sdanielk1977 368c977f7f5Sdrh /* 369c977f7f5Sdrh ** Construct a trigger step that implements a DELETE statement and return 370c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 371c977f7f5Sdrh ** sees a DELETE statement inside the body of a CREATE TRIGGER. 372c977f7f5Sdrh */ 3734adee20fSdanielk1977 TriggerStep *sqlite3TriggerDeleteStep(Token *pTableName, Expr *pWhere){ 374633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 375e4697f5eSdrh if( pTriggerStep==0 ) return 0; 376c3f9bad2Sdanielk1977 377633ed08dSdanielk1977 pTriggerStep->op = TK_DELETE; 378633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 379633ed08dSdanielk1977 pTriggerStep->pWhere = pWhere; 380633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 3814b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 382c3f9bad2Sdanielk1977 383633ed08dSdanielk1977 return pTriggerStep; 384c3f9bad2Sdanielk1977 } 385c3f9bad2Sdanielk1977 386c3f9bad2Sdanielk1977 /* 387633ed08dSdanielk1977 ** Recursively delete a Trigger structure 388c3f9bad2Sdanielk1977 */ 3894adee20fSdanielk1977 void sqlite3DeleteTrigger(Trigger *pTrigger){ 390f0f258b1Sdrh if( pTrigger==0 ) return; 3914adee20fSdanielk1977 sqlite3DeleteTriggerStep(pTrigger->step_list); 392633ed08dSdanielk1977 sqliteFree(pTrigger->name); 393633ed08dSdanielk1977 sqliteFree(pTrigger->table); 3944adee20fSdanielk1977 sqlite3ExprDelete(pTrigger->pWhen); 3954adee20fSdanielk1977 sqlite3IdListDelete(pTrigger->pColumns); 3964312db55Sdrh if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z); 397633ed08dSdanielk1977 sqliteFree(pTrigger); 398633ed08dSdanielk1977 } 399633ed08dSdanielk1977 400633ed08dSdanielk1977 /* 401633ed08dSdanielk1977 * This function is called to drop a trigger from the database schema. 402633ed08dSdanielk1977 * 40379a519c0Sdrh * This may be called directly from the parser and therefore identifies 4044adee20fSdanielk1977 * the trigger by name. The sqlite3DropTriggerPtr() routine does the 40579a519c0Sdrh * same job as this routine except it take a spointer to the trigger 40679a519c0Sdrh * instead of the trigger name. 407633ed08dSdanielk1977 * 408633ed08dSdanielk1977 * Note that this function does not delete the trigger entirely. Instead it 409633ed08dSdanielk1977 * removes it from the internal schema and places it in the trigDrop hash 410633ed08dSdanielk1977 * table. This is so that the trigger can be restored into the database schema 411633ed08dSdanielk1977 * if the transaction is rolled back. 412633ed08dSdanielk1977 */ 4134adee20fSdanielk1977 void sqlite3DropTrigger(Parse *pParse, SrcList *pName){ 414633ed08dSdanielk1977 Trigger *pTrigger; 415d24cc427Sdrh int i; 416d24cc427Sdrh const char *zDb; 417d24cc427Sdrh const char *zName; 418d24cc427Sdrh int nName; 419d24cc427Sdrh sqlite *db = pParse->db; 420633ed08dSdanielk1977 4216f8a503dSdanielk1977 if( sqlite3_malloc_failed ) goto drop_trigger_cleanup; 422d24cc427Sdrh assert( pName->nSrc==1 ); 423d24cc427Sdrh zDb = pName->a[0].zDatabase; 424d24cc427Sdrh zName = pName->a[0].zName; 425d24cc427Sdrh nName = strlen(zName); 426d24cc427Sdrh for(i=0; i<db->nDb; i++){ 427812d7a21Sdrh int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */ 4284adee20fSdanielk1977 if( zDb && sqlite3StrICmp(db->aDb[j].zName, zDb) ) continue; 4294adee20fSdanielk1977 pTrigger = sqlite3HashFind(&(db->aDb[j].trigHash), zName, nName+1); 430d24cc427Sdrh if( pTrigger ) break; 431c3f9bad2Sdanielk1977 } 432d24cc427Sdrh if( !pTrigger ){ 4334adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0); 434d24cc427Sdrh goto drop_trigger_cleanup; 435d24cc427Sdrh } 4364adee20fSdanielk1977 sqlite3DropTriggerPtr(pParse, pTrigger, 0); 43779a519c0Sdrh 43879a519c0Sdrh drop_trigger_cleanup: 4394adee20fSdanielk1977 sqlite3SrcListDelete(pName); 44079a519c0Sdrh } 44179a519c0Sdrh 44279a519c0Sdrh /* 44379a519c0Sdrh ** Drop a trigger given a pointer to that trigger. If nested is false, 44479a519c0Sdrh ** then also generate code to remove the trigger from the SQLITE_MASTER 44579a519c0Sdrh ** table. 44679a519c0Sdrh */ 4474adee20fSdanielk1977 void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger, int nested){ 44879a519c0Sdrh Table *pTable; 44979a519c0Sdrh Vdbe *v; 45079a519c0Sdrh sqlite *db = pParse->db; 45179a519c0Sdrh 452f0f258b1Sdrh assert( pTrigger->iDb<db->nDb ); 4534adee20fSdanielk1977 pTable = sqlite3FindTable(db, pTrigger->table,db->aDb[pTrigger->iTabDb].zName); 454ed6c8671Sdrh assert(pTable); 455f0f258b1Sdrh assert( pTable->iDb==pTrigger->iDb || pTrigger->iDb==1 ); 456e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 457e5f9c644Sdrh { 458e5f9c644Sdrh int code = SQLITE_DROP_TRIGGER; 459e22a334bSdrh const char *zDb = db->aDb[pTrigger->iDb].zName; 460e22a334bSdrh const char *zTab = SCHEMA_TABLE(pTrigger->iDb); 461*ef2cb63eSdanielk1977 if( pTrigger->iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER; 4624adee20fSdanielk1977 if( sqlite3AuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) || 4634adee20fSdanielk1977 sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){ 46479a519c0Sdrh return; 465ed6c8671Sdrh } 466e5f9c644Sdrh } 467e5f9c644Sdrh #endif 468c3f9bad2Sdanielk1977 469f0f258b1Sdrh /* Generate code to destroy the database record of the trigger. 470f0f258b1Sdrh */ 4714adee20fSdanielk1977 if( pTable!=0 && !nested && (v = sqlite3GetVdbe(pParse))!=0 ){ 472f0f258b1Sdrh int base; 473905793e2Sdrh static VdbeOpList dropTrigger[] = { 4749b1b01bbSdrh { OP_Rewind, 0, ADDR(9), 0}, 475f0f258b1Sdrh { OP_String, 0, 0, 0}, /* 1 */ 476f0f258b1Sdrh { OP_Column, 0, 1, 0}, 4779b1b01bbSdrh { OP_Ne, 0, ADDR(8), 0}, 4789b1b01bbSdrh { OP_String, 0, 0, "trigger"}, 4799b1b01bbSdrh { OP_Column, 0, 0, 0}, 4809b1b01bbSdrh { OP_Ne, 0, ADDR(8), 0}, 481f0f258b1Sdrh { OP_Delete, 0, 0, 0}, 4829b1b01bbSdrh { OP_Next, 0, ADDR(1), 0}, /* 8 */ 483f0f258b1Sdrh }; 484f0f258b1Sdrh 485*ef2cb63eSdanielk1977 sqlite3BeginWriteOperation(pParse, 0, pTrigger->iDb); 4864adee20fSdanielk1977 sqlite3OpenMasterTable(v, pTrigger->iDb); 4874adee20fSdanielk1977 base = sqlite3VdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger); 4884adee20fSdanielk1977 sqlite3VdbeChangeP3(v, base+1, pTrigger->name, 0); 489f0f258b1Sdrh if( pTrigger->iDb==0 ){ 490cbb18d22Sdanielk1977 sqlite3ChangeCookie(db, v, 0); 491f0f258b1Sdrh } 4924adee20fSdanielk1977 sqlite3VdbeAddOp(v, OP_Close, 0, 0); 4934adee20fSdanielk1977 sqlite3EndWriteOperation(pParse); 494f0f258b1Sdrh } 495f0f258b1Sdrh 496c3f9bad2Sdanielk1977 /* 497e0bc4048Sdrh * If this is not an "explain", then delete the trigger structure. 498c3f9bad2Sdanielk1977 */ 499c3f9bad2Sdanielk1977 if( !pParse->explain ){ 50079a519c0Sdrh const char *zName = pTrigger->name; 50179a519c0Sdrh int nName = strlen(zName); 502633ed08dSdanielk1977 if( pTable->pTrigger == pTrigger ){ 503633ed08dSdanielk1977 pTable->pTrigger = pTrigger->pNext; 504633ed08dSdanielk1977 }else{ 505633ed08dSdanielk1977 Trigger *cc = pTable->pTrigger; 506c3f9bad2Sdanielk1977 while( cc ){ 507633ed08dSdanielk1977 if( cc->pNext == pTrigger ){ 508c3f9bad2Sdanielk1977 cc->pNext = cc->pNext->pNext; 509c3f9bad2Sdanielk1977 break; 510c3f9bad2Sdanielk1977 } 511c3f9bad2Sdanielk1977 cc = cc->pNext; 512c3f9bad2Sdanielk1977 } 513c3f9bad2Sdanielk1977 assert(cc); 514c3f9bad2Sdanielk1977 } 5154adee20fSdanielk1977 sqlite3HashInsert(&(db->aDb[pTrigger->iDb].trigHash), zName, nName+1, 0); 5164adee20fSdanielk1977 sqlite3DeleteTrigger(pTrigger); 517c3f9bad2Sdanielk1977 } 518c3f9bad2Sdanielk1977 } 519c3f9bad2Sdanielk1977 520c977f7f5Sdrh /* 521c977f7f5Sdrh ** pEList is the SET clause of an UPDATE statement. Each entry 522c977f7f5Sdrh ** in pEList is of the format <id>=<expr>. If any of the entries 523c977f7f5Sdrh ** in pEList have an <id> which matches an identifier in pIdList, 524c977f7f5Sdrh ** then return TRUE. If pIdList==NULL, then it is considered a 525c977f7f5Sdrh ** wildcard that matches anything. Likewise if pEList==NULL then 526c977f7f5Sdrh ** it matches anything so always return true. Return false only 527c977f7f5Sdrh ** if there is no match. 528c977f7f5Sdrh */ 529c977f7f5Sdrh static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){ 530ad2d8307Sdrh int e; 531ad2d8307Sdrh if( !pIdList || !pEList ) return 1; 532f29ce559Sdanielk1977 for(e=0; e<pEList->nExpr; e++){ 5334adee20fSdanielk1977 if( sqlite3IdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1; 534f29ce559Sdanielk1977 } 535c3f9bad2Sdanielk1977 return 0; 536c3f9bad2Sdanielk1977 } 537c3f9bad2Sdanielk1977 538c3f9bad2Sdanielk1977 /* A global variable that is TRUE if we should always set up temp tables for 539c3f9bad2Sdanielk1977 * for triggers, even if there are no triggers to code. This is used to test 540c3f9bad2Sdanielk1977 * how much overhead the triggers algorithm is causing. 541c3f9bad2Sdanielk1977 * 542c3f9bad2Sdanielk1977 * This flag can be set or cleared using the "trigger_overhead_test" pragma. 543c3f9bad2Sdanielk1977 * The pragma is not documented since it is not really part of the interface 544c3f9bad2Sdanielk1977 * to SQLite, just the test procedure. 545c3f9bad2Sdanielk1977 */ 546c3f9bad2Sdanielk1977 int always_code_trigger_setup = 0; 547c3f9bad2Sdanielk1977 548c3f9bad2Sdanielk1977 /* 549c3f9bad2Sdanielk1977 * Returns true if a trigger matching op, tr_tm and foreach that is NOT already 550c3f9bad2Sdanielk1977 * on the Parse objects trigger-stack (to prevent recursive trigger firing) is 551c3f9bad2Sdanielk1977 * found in the list specified as pTrigger. 552c3f9bad2Sdanielk1977 */ 5534adee20fSdanielk1977 int sqlite3TriggersExist( 554c977f7f5Sdrh Parse *pParse, /* Used to check for recursive triggers */ 555c977f7f5Sdrh Trigger *pTrigger, /* A list of triggers associated with a table */ 556c3f9bad2Sdanielk1977 int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */ 557c3f9bad2Sdanielk1977 int tr_tm, /* one of TK_BEFORE, TK_AFTER */ 558c3f9bad2Sdanielk1977 int foreach, /* one of TK_ROW or TK_STATEMENT */ 559c977f7f5Sdrh ExprList *pChanges /* Columns that change in an UPDATE statement */ 560c977f7f5Sdrh ){ 561633ed08dSdanielk1977 Trigger * pTriggerCursor; 562c3f9bad2Sdanielk1977 563633ed08dSdanielk1977 if( always_code_trigger_setup ){ 564633ed08dSdanielk1977 return 1; 565633ed08dSdanielk1977 } 566c3f9bad2Sdanielk1977 567633ed08dSdanielk1977 pTriggerCursor = pTrigger; 568633ed08dSdanielk1977 while( pTriggerCursor ){ 569633ed08dSdanielk1977 if( pTriggerCursor->op == op && 570633ed08dSdanielk1977 pTriggerCursor->tr_tm == tr_tm && 571633ed08dSdanielk1977 pTriggerCursor->foreach == foreach && 572633ed08dSdanielk1977 checkColumnOverLap(pTriggerCursor->pColumns, pChanges) ){ 573c3f9bad2Sdanielk1977 TriggerStack * ss; 574c3f9bad2Sdanielk1977 ss = pParse->trigStack; 575f29ce559Sdanielk1977 while( ss && ss->pTrigger != pTrigger ){ 576f29ce559Sdanielk1977 ss = ss->pNext; 577f29ce559Sdanielk1977 } 578c3f9bad2Sdanielk1977 if( !ss )return 1; 579c3f9bad2Sdanielk1977 } 580633ed08dSdanielk1977 pTriggerCursor = pTriggerCursor->pNext; 581c3f9bad2Sdanielk1977 } 582c3f9bad2Sdanielk1977 583c3f9bad2Sdanielk1977 return 0; 584c3f9bad2Sdanielk1977 } 585c3f9bad2Sdanielk1977 586c977f7f5Sdrh /* 587f26e09c8Sdrh ** Convert the pStep->target token into a SrcList and return a pointer 588f26e09c8Sdrh ** to that SrcList. 589f26e09c8Sdrh ** 590f26e09c8Sdrh ** This routine adds a specific database name, if needed, to the target when 591f26e09c8Sdrh ** forming the SrcList. This prevents a trigger in one database from 592f26e09c8Sdrh ** referring to a target in another database. An exception is when the 593f26e09c8Sdrh ** trigger is in TEMP in which case it can refer to any other database it 594f26e09c8Sdrh ** wants. 595f26e09c8Sdrh */ 596f26e09c8Sdrh static SrcList *targetSrcList( 597f26e09c8Sdrh Parse *pParse, /* The parsing context */ 598f26e09c8Sdrh TriggerStep *pStep /* The trigger containing the target token */ 599f26e09c8Sdrh ){ 600f26e09c8Sdrh Token sDb; /* Dummy database name token */ 601f26e09c8Sdrh int iDb; /* Index of the database to use */ 602f26e09c8Sdrh SrcList *pSrc; /* SrcList to be returned */ 603f26e09c8Sdrh 604f26e09c8Sdrh iDb = pStep->pTrig->iDb; 605f26e09c8Sdrh if( iDb==0 || iDb>=2 ){ 606f26e09c8Sdrh assert( iDb<pParse->db->nDb ); 607f26e09c8Sdrh sDb.z = pParse->db->aDb[iDb].zName; 608f26e09c8Sdrh sDb.n = strlen(sDb.z); 6094adee20fSdanielk1977 pSrc = sqlite3SrcListAppend(0, &sDb, &pStep->target); 610f26e09c8Sdrh } else { 6114adee20fSdanielk1977 pSrc = sqlite3SrcListAppend(0, &pStep->target, 0); 612f26e09c8Sdrh } 613f26e09c8Sdrh return pSrc; 614f26e09c8Sdrh } 615f26e09c8Sdrh 616f26e09c8Sdrh /* 617c977f7f5Sdrh ** Generate VDBE code for zero or more statements inside the body of a 618c977f7f5Sdrh ** trigger. 619c977f7f5Sdrh */ 620c3f9bad2Sdanielk1977 static int codeTriggerProgram( 621c977f7f5Sdrh Parse *pParse, /* The parser context */ 622c977f7f5Sdrh TriggerStep *pStepList, /* List of statements inside the trigger body */ 623c977f7f5Sdrh int orconfin /* Conflict algorithm. (OE_Abort, etc) */ 624633ed08dSdanielk1977 ){ 625633ed08dSdanielk1977 TriggerStep * pTriggerStep = pStepList; 626c3f9bad2Sdanielk1977 int orconf; 627c3f9bad2Sdanielk1977 628633ed08dSdanielk1977 while( pTriggerStep ){ 629c3f9bad2Sdanielk1977 int saveNTab = pParse->nTab; 630f26e09c8Sdrh 631633ed08dSdanielk1977 orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin; 632c3f9bad2Sdanielk1977 pParse->trigStack->orconf = orconf; 633633ed08dSdanielk1977 switch( pTriggerStep->op ){ 634c3f9bad2Sdanielk1977 case TK_SELECT: { 6354adee20fSdanielk1977 Select * ss = sqlite3SelectDup(pTriggerStep->pSelect); 6366f34903eSdanielk1977 assert(ss); 6376f34903eSdanielk1977 assert(ss->pSrc); 638bf3b721fSdanielk1977 sqlite3Select(pParse, ss, SRT_Discard, 0, 0, 0, 0, 0); 6394adee20fSdanielk1977 sqlite3SelectDelete(ss); 640c3f9bad2Sdanielk1977 break; 641c3f9bad2Sdanielk1977 } 642c3f9bad2Sdanielk1977 case TK_UPDATE: { 643113088ecSdrh SrcList *pSrc; 644f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 6454adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ListPush, 0, 0); 6464adee20fSdanielk1977 sqlite3Update(pParse, pSrc, 6474adee20fSdanielk1977 sqlite3ExprListDup(pTriggerStep->pExprList), 6484adee20fSdanielk1977 sqlite3ExprDup(pTriggerStep->pWhere), orconf); 6494adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ListPop, 0, 0); 650c3f9bad2Sdanielk1977 break; 651c3f9bad2Sdanielk1977 } 652c3f9bad2Sdanielk1977 case TK_INSERT: { 653113088ecSdrh SrcList *pSrc; 654f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 6554adee20fSdanielk1977 sqlite3Insert(pParse, pSrc, 6564adee20fSdanielk1977 sqlite3ExprListDup(pTriggerStep->pExprList), 6574adee20fSdanielk1977 sqlite3SelectDup(pTriggerStep->pSelect), 6584adee20fSdanielk1977 sqlite3IdListDup(pTriggerStep->pIdList), orconf); 659c3f9bad2Sdanielk1977 break; 660c3f9bad2Sdanielk1977 } 661c3f9bad2Sdanielk1977 case TK_DELETE: { 662113088ecSdrh SrcList *pSrc; 6634adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ListPush, 0, 0); 664f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 6654adee20fSdanielk1977 sqlite3DeleteFrom(pParse, pSrc, sqlite3ExprDup(pTriggerStep->pWhere)); 6664adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ListPop, 0, 0); 667c3f9bad2Sdanielk1977 break; 668c3f9bad2Sdanielk1977 } 669c3f9bad2Sdanielk1977 default: 670c3f9bad2Sdanielk1977 assert(0); 671c3f9bad2Sdanielk1977 } 672c3f9bad2Sdanielk1977 pParse->nTab = saveNTab; 673633ed08dSdanielk1977 pTriggerStep = pTriggerStep->pNext; 674c3f9bad2Sdanielk1977 } 675c3f9bad2Sdanielk1977 676c3f9bad2Sdanielk1977 return 0; 677c3f9bad2Sdanielk1977 } 678c3f9bad2Sdanielk1977 679633ed08dSdanielk1977 /* 680633ed08dSdanielk1977 ** This is called to code FOR EACH ROW triggers. 681633ed08dSdanielk1977 ** 682633ed08dSdanielk1977 ** When the code that this function generates is executed, the following 683633ed08dSdanielk1977 ** must be true: 684c977f7f5Sdrh ** 685c977f7f5Sdrh ** 1. No cursors may be open in the main database. (But newIdx and oldIdx 686c977f7f5Sdrh ** can be indices of cursors in temporary tables. See below.) 687c977f7f5Sdrh ** 688633ed08dSdanielk1977 ** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then 689633ed08dSdanielk1977 ** a temporary vdbe cursor (index newIdx) must be open and pointing at 690633ed08dSdanielk1977 ** a row containing values to be substituted for new.* expressions in the 691633ed08dSdanielk1977 ** trigger program(s). 692c977f7f5Sdrh ** 693633ed08dSdanielk1977 ** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then 694633ed08dSdanielk1977 ** a temporary vdbe cursor (index oldIdx) must be open and pointing at 695633ed08dSdanielk1977 ** a row containing values to be substituted for old.* expressions in the 696633ed08dSdanielk1977 ** trigger program(s). 697633ed08dSdanielk1977 ** 698633ed08dSdanielk1977 */ 6994adee20fSdanielk1977 int sqlite3CodeRowTrigger( 700c3f9bad2Sdanielk1977 Parse *pParse, /* Parse context */ 701c3f9bad2Sdanielk1977 int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */ 702633ed08dSdanielk1977 ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ 703c3f9bad2Sdanielk1977 int tr_tm, /* One of TK_BEFORE, TK_AFTER */ 704633ed08dSdanielk1977 Table *pTab, /* The table to code triggers from */ 705633ed08dSdanielk1977 int newIdx, /* The indice of the "new" row to access */ 706633ed08dSdanielk1977 int oldIdx, /* The indice of the "old" row to access */ 7076f34903eSdanielk1977 int orconf, /* ON CONFLICT policy */ 7086f34903eSdanielk1977 int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ 709c977f7f5Sdrh ){ 710c3f9bad2Sdanielk1977 Trigger * pTrigger; 711c3f9bad2Sdanielk1977 TriggerStack * pTriggerStack; 712c3f9bad2Sdanielk1977 713c3f9bad2Sdanielk1977 assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE); 714c3f9bad2Sdanielk1977 assert(tr_tm == TK_BEFORE || tr_tm == TK_AFTER ); 715c3f9bad2Sdanielk1977 716633ed08dSdanielk1977 assert(newIdx != -1 || oldIdx != -1); 717c3f9bad2Sdanielk1977 718633ed08dSdanielk1977 pTrigger = pTab->pTrigger; 719c3f9bad2Sdanielk1977 while( pTrigger ){ 720c3f9bad2Sdanielk1977 int fire_this = 0; 721c3f9bad2Sdanielk1977 722c3f9bad2Sdanielk1977 /* determine whether we should code this trigger */ 723c3f9bad2Sdanielk1977 if( pTrigger->op == op && pTrigger->tr_tm == tr_tm && 724c3f9bad2Sdanielk1977 pTrigger->foreach == TK_ROW ){ 725c3f9bad2Sdanielk1977 fire_this = 1; 726c3f9bad2Sdanielk1977 pTriggerStack = pParse->trigStack; 727c3f9bad2Sdanielk1977 while( pTriggerStack ){ 728f29ce559Sdanielk1977 if( pTriggerStack->pTrigger == pTrigger ){ 729f29ce559Sdanielk1977 fire_this = 0; 730f29ce559Sdanielk1977 } 731c3f9bad2Sdanielk1977 pTriggerStack = pTriggerStack->pNext; 732c3f9bad2Sdanielk1977 } 733c3f9bad2Sdanielk1977 if( op == TK_UPDATE && pTrigger->pColumns && 734f29ce559Sdanielk1977 !checkColumnOverLap(pTrigger->pColumns, pChanges) ){ 735c3f9bad2Sdanielk1977 fire_this = 0; 736c3f9bad2Sdanielk1977 } 737f29ce559Sdanielk1977 } 738c3f9bad2Sdanielk1977 739e4697f5eSdrh if( fire_this && (pTriggerStack = sqliteMalloc(sizeof(TriggerStack)))!=0 ){ 740c3f9bad2Sdanielk1977 int endTrigger; 741ad3cab52Sdrh SrcList dummyTablist; 742c3f9bad2Sdanielk1977 Expr * whenExpr; 74385e2096fSdrh AuthContext sContext; 744c3f9bad2Sdanielk1977 745ad3cab52Sdrh dummyTablist.nSrc = 0; 746c3f9bad2Sdanielk1977 747c3f9bad2Sdanielk1977 /* Push an entry on to the trigger stack */ 748c3f9bad2Sdanielk1977 pTriggerStack->pTrigger = pTrigger; 749633ed08dSdanielk1977 pTriggerStack->newIdx = newIdx; 750633ed08dSdanielk1977 pTriggerStack->oldIdx = oldIdx; 751633ed08dSdanielk1977 pTriggerStack->pTab = pTab; 752c3f9bad2Sdanielk1977 pTriggerStack->pNext = pParse->trigStack; 7536f34903eSdanielk1977 pTriggerStack->ignoreJump = ignoreJump; 754c3f9bad2Sdanielk1977 pParse->trigStack = pTriggerStack; 7554adee20fSdanielk1977 sqlite3AuthContextPush(pParse, &sContext, pTrigger->name); 756c3f9bad2Sdanielk1977 757c3f9bad2Sdanielk1977 /* code the WHEN clause */ 7584adee20fSdanielk1977 endTrigger = sqlite3VdbeMakeLabel(pParse->pVdbe); 7594adee20fSdanielk1977 whenExpr = sqlite3ExprDup(pTrigger->pWhen); 7604adee20fSdanielk1977 if( sqlite3ExprResolveIds(pParse, &dummyTablist, 0, whenExpr) ){ 761c3f9bad2Sdanielk1977 pParse->trigStack = pParse->trigStack->pNext; 762c3f9bad2Sdanielk1977 sqliteFree(pTriggerStack); 7634adee20fSdanielk1977 sqlite3ExprDelete(whenExpr); 764c3f9bad2Sdanielk1977 return 1; 765c3f9bad2Sdanielk1977 } 7664adee20fSdanielk1977 sqlite3ExprIfFalse(pParse, whenExpr, endTrigger, 1); 7674adee20fSdanielk1977 sqlite3ExprDelete(whenExpr); 768c3f9bad2Sdanielk1977 7694adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ContextPush, 0, 0); 770633ed08dSdanielk1977 codeTriggerProgram(pParse, pTrigger->step_list, orconf); 7714adee20fSdanielk1977 sqlite3VdbeAddOp(pParse->pVdbe, OP_ContextPop, 0, 0); 772c3f9bad2Sdanielk1977 773c3f9bad2Sdanielk1977 /* Pop the entry off the trigger stack */ 774c3f9bad2Sdanielk1977 pParse->trigStack = pParse->trigStack->pNext; 7754adee20fSdanielk1977 sqlite3AuthContextPop(&sContext); 776c3f9bad2Sdanielk1977 sqliteFree(pTriggerStack); 777c3f9bad2Sdanielk1977 7784adee20fSdanielk1977 sqlite3VdbeResolveLabel(pParse->pVdbe, endTrigger); 779c3f9bad2Sdanielk1977 } 780c3f9bad2Sdanielk1977 pTrigger = pTrigger->pNext; 781c3f9bad2Sdanielk1977 } 782c3f9bad2Sdanielk1977 783c3f9bad2Sdanielk1977 return 0; 784c3f9bad2Sdanielk1977 } 7854adee20fSdanielk1977 7864adee20fSdanielk1977 7874adee20fSdanielk1977 788