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 15b7f9164eSdrh #ifndef SQLITE_OMIT_TRIGGER 16c3f9bad2Sdanielk1977 /* 174b59ab5eSdrh ** Delete a linked list of TriggerStep structures. 184b59ab5eSdrh */ 194adee20fSdanielk1977 void sqlite3DeleteTriggerStep(TriggerStep *pTriggerStep){ 204b59ab5eSdrh while( pTriggerStep ){ 214b59ab5eSdrh TriggerStep * pTmp = pTriggerStep; 224b59ab5eSdrh pTriggerStep = pTriggerStep->pNext; 234b59ab5eSdrh 248c74a8caSdrh if( pTmp->target.dyn ) sqliteFree((char*)pTmp->target.z); 254adee20fSdanielk1977 sqlite3ExprDelete(pTmp->pWhere); 264adee20fSdanielk1977 sqlite3ExprListDelete(pTmp->pExprList); 274adee20fSdanielk1977 sqlite3SelectDelete(pTmp->pSelect); 284adee20fSdanielk1977 sqlite3IdListDelete(pTmp->pIdList); 294b59ab5eSdrh 304b59ab5eSdrh sqliteFree(pTmp); 314b59ab5eSdrh } 324b59ab5eSdrh } 334b59ab5eSdrh 344b59ab5eSdrh /* 35f0f258b1Sdrh ** This is called by the parser when it sees a CREATE TRIGGER statement 36f0f258b1Sdrh ** up to the point of the BEGIN before the trigger actions. A Trigger 37f0f258b1Sdrh ** structure is generated based on the information available and stored 38f0f258b1Sdrh ** in pParse->pNewTrigger. After the trigger actions have been parsed, the 394adee20fSdanielk1977 ** sqlite3FinishTrigger() function is called to complete the trigger 40f0f258b1Sdrh ** construction process. 41c3f9bad2Sdanielk1977 */ 424adee20fSdanielk1977 void sqlite3BeginTrigger( 43c3f9bad2Sdanielk1977 Parse *pParse, /* The parse context of the CREATE TRIGGER statement */ 44ef2cb63eSdanielk1977 Token *pName1, /* The name of the trigger */ 45ef2cb63eSdanielk1977 Token *pName2, /* The name of the trigger */ 46d702fccbSdanielk1977 int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */ 47c3f9bad2Sdanielk1977 int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */ 48633ed08dSdanielk1977 IdList *pColumns, /* column list if this is an UPDATE OF trigger */ 49d24cc427Sdrh SrcList *pTableName,/* The name of the table/view the trigger applies to */ 50c3f9bad2Sdanielk1977 int foreach, /* One of TK_ROW or TK_STATEMENT */ 51c3f9bad2Sdanielk1977 Expr *pWhen, /* WHEN clause */ 52f0f258b1Sdrh int isTemp /* True if the TEMPORARY keyword is present */ 539adf9ac4Sdrh ){ 54d5d56523Sdanielk1977 Trigger *pTrigger = 0; 55ef2cb63eSdanielk1977 Table *pTab; 56e5f9c644Sdrh char *zName = 0; /* Name of the trigger */ 579bb575fdSdrh sqlite3 *db = pParse->db; 58ef2cb63eSdanielk1977 int iDb; /* The database to store the trigger in */ 59ef2cb63eSdanielk1977 Token *pName; /* The unqualified db name */ 604312db55Sdrh DbFixer sFix; 61ed6c8671Sdrh 62ef2cb63eSdanielk1977 if( isTemp ){ 63ef2cb63eSdanielk1977 /* If TEMP was specified, then the trigger name may not be qualified. */ 64ef2cb63eSdanielk1977 if( pName2 && pName2->n>0 ){ 65ef2cb63eSdanielk1977 sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name"); 66ef2cb63eSdanielk1977 goto trigger_cleanup; 67ef2cb63eSdanielk1977 } 68ef2cb63eSdanielk1977 iDb = 1; 69ef2cb63eSdanielk1977 pName = pName1; 70ef2cb63eSdanielk1977 }else{ 71ef2cb63eSdanielk1977 /* Figure out the db that the the trigger will be created in */ 72ef2cb63eSdanielk1977 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName); 73ef2cb63eSdanielk1977 if( iDb<0 ){ 74ef2cb63eSdanielk1977 goto trigger_cleanup; 75ef2cb63eSdanielk1977 } 76ef2cb63eSdanielk1977 } 77ef2cb63eSdanielk1977 78ef2cb63eSdanielk1977 /* If the trigger name was unqualified, and the table is a temp table, 79ef2cb63eSdanielk1977 ** then set iDb to 1 to create the trigger in the temporary database. 80ef2cb63eSdanielk1977 ** If sqlite3SrcListLookup() returns 0, indicating the table does not 81ef2cb63eSdanielk1977 ** exist, the error is caught by the block below. 82c3f9bad2Sdanielk1977 */ 83645f63edSdrh if( !pTableName || sqlite3_malloc_failed ) goto trigger_cleanup; 84ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 85ef2cb63eSdanielk1977 if( pName2->n==0 && pTab && pTab->iDb==1 ){ 86ef2cb63eSdanielk1977 iDb = 1; 87ef2cb63eSdanielk1977 } 88ef2cb63eSdanielk1977 89ef2cb63eSdanielk1977 /* Ensure the table name matches database name and that the table exists */ 906f8a503dSdanielk1977 if( sqlite3_malloc_failed ) goto trigger_cleanup; 91d24cc427Sdrh assert( pTableName->nSrc==1 ); 92ef2cb63eSdanielk1977 if( sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName) && 93ef2cb63eSdanielk1977 sqlite3FixSrcList(&sFix, pTableName) ){ 944312db55Sdrh goto trigger_cleanup; 95f26e09c8Sdrh } 96ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 97ef2cb63eSdanielk1977 if( !pTab ){ 98ef2cb63eSdanielk1977 /* The table does not exist. */ 99d24cc427Sdrh goto trigger_cleanup; 100d24cc427Sdrh } 101d24cc427Sdrh 102d8123366Sdanielk1977 /* Check that the trigger name is not reserved and that no trigger of the 103d8123366Sdanielk1977 ** specified name exists */ 104a99db3b6Sdrh zName = sqlite3NameFromToken(pName); 105d8123366Sdanielk1977 if( !zName || SQLITE_OK!=sqlite3CheckObjectName(pParse, zName) ){ 106d8123366Sdanielk1977 goto trigger_cleanup; 107d8123366Sdanielk1977 } 1084adee20fSdanielk1977 if( sqlite3HashFind(&(db->aDb[iDb].trigHash), zName,pName->n+1) ){ 1094adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "trigger %T already exists", pName); 110c3f9bad2Sdanielk1977 goto trigger_cleanup; 111c3f9bad2Sdanielk1977 } 112ef2cb63eSdanielk1977 113ef2cb63eSdanielk1977 /* Do not create a trigger on a system table */ 114dca76841Sdrh if( sqlite3StrNICmp(pTab->zName, "sqlite_", 7)==0 ){ 1154adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create trigger on system table"); 116e0bc4048Sdrh pParse->nErr++; 117e0bc4048Sdrh goto trigger_cleanup; 118e0bc4048Sdrh } 119ef2cb63eSdanielk1977 120ef2cb63eSdanielk1977 /* INSTEAD of triggers are only for views and views only support INSTEAD 121ef2cb63eSdanielk1977 ** of triggers. 122ef2cb63eSdanielk1977 */ 123ef2cb63eSdanielk1977 if( pTab->pSelect && tr_tm!=TK_INSTEAD ){ 1244adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S", 125da93d238Sdrh (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0); 126d702fccbSdanielk1977 goto trigger_cleanup; 127d702fccbSdanielk1977 } 128ef2cb63eSdanielk1977 if( !pTab->pSelect && tr_tm==TK_INSTEAD ){ 1294adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF" 130da93d238Sdrh " trigger on table: %S", pTableName, 0); 131d702fccbSdanielk1977 goto trigger_cleanup; 132d702fccbSdanielk1977 } 133ef2cb63eSdanielk1977 134e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 135e5f9c644Sdrh { 136e5f9c644Sdrh int code = SQLITE_CREATE_TRIGGER; 137ef2cb63eSdanielk1977 const char *zDb = db->aDb[pTab->iDb].zName; 138e22a334bSdrh const char *zDbTrig = isTemp ? db->aDb[1].zName : zDb; 139ef2cb63eSdanielk1977 if( pTab->iDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER; 140ef2cb63eSdanielk1977 if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){ 141ed6c8671Sdrh goto trigger_cleanup; 142ed6c8671Sdrh } 143ef2cb63eSdanielk1977 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(pTab->iDb),0,zDb)){ 14477ad4e41Sdrh goto trigger_cleanup; 14577ad4e41Sdrh } 146d702fccbSdanielk1977 } 147e5f9c644Sdrh #endif 148d702fccbSdanielk1977 149ef2cb63eSdanielk1977 /* INSTEAD OF triggers can only appear on views and BEFORE triggers 1505cf590c1Sdrh ** cannot appear on views. So we might as well translate every 1515cf590c1Sdrh ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code 1525cf590c1Sdrh ** elsewhere. 1535cf590c1Sdrh */ 154d702fccbSdanielk1977 if (tr_tm == TK_INSTEAD){ 155d702fccbSdanielk1977 tr_tm = TK_BEFORE; 156c3f9bad2Sdanielk1977 } 157c3f9bad2Sdanielk1977 158c3f9bad2Sdanielk1977 /* Build the Trigger object */ 159ef2cb63eSdanielk1977 pTrigger = (Trigger*)sqliteMalloc(sizeof(Trigger)); 160ef2cb63eSdanielk1977 if( pTrigger==0 ) goto trigger_cleanup; 161ef2cb63eSdanielk1977 pTrigger->name = zName; 162e5f9c644Sdrh zName = 0; 163ef2cb63eSdanielk1977 pTrigger->table = sqliteStrDup(pTableName->a[0].zName); 164ef2cb63eSdanielk1977 pTrigger->iDb = iDb; 165ef2cb63eSdanielk1977 pTrigger->iTabDb = pTab->iDb; 166ef2cb63eSdanielk1977 pTrigger->op = op; 167dca76841Sdrh pTrigger->tr_tm = tr_tm==TK_BEFORE ? TRIGGER_BEFORE : TRIGGER_AFTER; 168ef2cb63eSdanielk1977 pTrigger->pWhen = sqlite3ExprDup(pWhen); 169ef2cb63eSdanielk1977 pTrigger->pColumns = sqlite3IdListDup(pColumns); 170ef2cb63eSdanielk1977 pTrigger->foreach = foreach; 171ef2cb63eSdanielk1977 sqlite3TokenCopy(&pTrigger->nameToken,pName); 172f0f258b1Sdrh assert( pParse->pNewTrigger==0 ); 173ef2cb63eSdanielk1977 pParse->pNewTrigger = pTrigger; 174f0f258b1Sdrh 175f0f258b1Sdrh trigger_cleanup: 176f0f258b1Sdrh sqliteFree(zName); 1774adee20fSdanielk1977 sqlite3SrcListDelete(pTableName); 1784adee20fSdanielk1977 sqlite3IdListDelete(pColumns); 1794adee20fSdanielk1977 sqlite3ExprDelete(pWhen); 180d5d56523Sdanielk1977 if( !pParse->pNewTrigger ){ 181d5d56523Sdanielk1977 sqlite3DeleteTrigger(pTrigger); 182d5d56523Sdanielk1977 }else{ 183d5d56523Sdanielk1977 assert( pParse->pNewTrigger==pTrigger ); 184d5d56523Sdanielk1977 } 185f0f258b1Sdrh } 186f0f258b1Sdrh 187f0f258b1Sdrh /* 188f0f258b1Sdrh ** This routine is called after all of the trigger actions have been parsed 189f0f258b1Sdrh ** in order to complete the process of building the trigger. 190f0f258b1Sdrh */ 1914adee20fSdanielk1977 void sqlite3FinishTrigger( 192f0f258b1Sdrh Parse *pParse, /* Parser context */ 193f0f258b1Sdrh TriggerStep *pStepList, /* The triggered program */ 194f0f258b1Sdrh Token *pAll /* Token that describes the complete CREATE TRIGGER */ 195f0f258b1Sdrh ){ 196bfb9e35bSdanielk1977 Trigger *pTrig = 0; /* The trigger whose construction is finishing up */ 1979bb575fdSdrh sqlite3 *db = pParse->db; /* The database */ 198f26e09c8Sdrh DbFixer sFix; 199f0f258b1Sdrh 200bfb9e35bSdanielk1977 pTrig = pParse->pNewTrigger; 201f0f258b1Sdrh pParse->pNewTrigger = 0; 20253c0f748Sdanielk1977 if( pParse->nErr || pTrig==0 ) goto triggerfinish_cleanup; 203bfb9e35bSdanielk1977 pTrig->step_list = pStepList; 204a69d9168Sdrh while( pStepList ){ 205bfb9e35bSdanielk1977 pStepList->pTrig = pTrig; 206a69d9168Sdrh pStepList = pStepList->pNext; 207a69d9168Sdrh } 208bfb9e35bSdanielk1977 if( sqlite3FixInit(&sFix, pParse, pTrig->iDb, "trigger", &pTrig->nameToken) 209bfb9e35bSdanielk1977 && sqlite3FixTriggerStep(&sFix, pTrig->step_list) ){ 210f26e09c8Sdrh goto triggerfinish_cleanup; 211f26e09c8Sdrh } 212c3f9bad2Sdanielk1977 213c3f9bad2Sdanielk1977 /* if we are not initializing, and this trigger is not on a TEMP table, 2149adf9ac4Sdrh ** build the sqlite_master entry 2159adf9ac4Sdrh */ 2161d85d931Sdrh if( !db->init.busy ){ 2175719628aSdrh static const VdbeOpList insertTrig[] = { 218f0863fe5Sdrh { OP_NewRowid, 0, 0, 0 }, 2190f69c1e3Sdanielk1977 { OP_String8, 0, 0, "trigger" }, 2200f69c1e3Sdanielk1977 { OP_String8, 0, 0, 0 }, /* 2: trigger name */ 2210f69c1e3Sdanielk1977 { OP_String8, 0, 0, 0 }, /* 3: table name */ 222c977f7f5Sdrh { OP_Integer, 0, 0, 0 }, 2230f69c1e3Sdanielk1977 { OP_String8, 0, 0, "CREATE TRIGGER "}, 2240f69c1e3Sdanielk1977 { OP_String8, 0, 0, 0 }, /* 6: SQL */ 225855eb1cfSdrh { OP_Concat, 0, 0, 0 }, 226*8a51256cSdrh { OP_MakeRecord, 5, 0, "aaada" }, 227f0863fe5Sdrh { OP_Insert, 0, 0, 0 }, 228c977f7f5Sdrh }; 229c977f7f5Sdrh int addr; 230c977f7f5Sdrh Vdbe *v; 231c3f9bad2Sdanielk1977 232c3f9bad2Sdanielk1977 /* Make an entry in the sqlite_master table */ 2334adee20fSdanielk1977 v = sqlite3GetVdbe(pParse); 234f0f258b1Sdrh if( v==0 ) goto triggerfinish_cleanup; 235bfb9e35bSdanielk1977 sqlite3BeginWriteOperation(pParse, 0, pTrig->iDb); 236bfb9e35bSdanielk1977 sqlite3OpenMasterTable(v, pTrig->iDb); 2374adee20fSdanielk1977 addr = sqlite3VdbeAddOpList(v, ArraySize(insertTrig), insertTrig); 238bfb9e35bSdanielk1977 sqlite3VdbeChangeP3(v, addr+2, pTrig->name, 0); 239bfb9e35bSdanielk1977 sqlite3VdbeChangeP3(v, addr+3, pTrig->table, 0); 2403df6b257Sdanielk1977 sqlite3VdbeChangeP3(v, addr+6, pAll->z, pAll->n); 241bfb9e35bSdanielk1977 sqlite3ChangeCookie(db, v, pTrig->iDb); 2424adee20fSdanielk1977 sqlite3VdbeAddOp(v, OP_Close, 0, 0); 243bfb9e35bSdanielk1977 sqlite3VdbeOp3(v, OP_ParseSchema, pTrig->iDb, 0, 244bfb9e35bSdanielk1977 sqlite3MPrintf("type='trigger' AND name='%q'", pTrig->name), P3_DYNAMIC); 245c3f9bad2Sdanielk1977 } 246c3f9bad2Sdanielk1977 247956bc92cSdrh if( db->init.busy ){ 248f0f258b1Sdrh Table *pTab; 249d5d56523Sdanielk1977 Trigger *pDel; 250d5d56523Sdanielk1977 pDel = sqlite3HashInsert(&db->aDb[pTrig->iDb].trigHash, 251bfb9e35bSdanielk1977 pTrig->name, strlen(pTrig->name)+1, pTrig); 252d5d56523Sdanielk1977 if( pDel ){ 253d5d56523Sdanielk1977 assert( sqlite3_malloc_failed && pDel==pTrig ); 254d5d56523Sdanielk1977 goto triggerfinish_cleanup; 255d5d56523Sdanielk1977 } 256bfb9e35bSdanielk1977 pTab = sqlite3LocateTable(pParse,pTrig->table,db->aDb[pTrig->iTabDb].zName); 257f0f258b1Sdrh assert( pTab!=0 ); 258bfb9e35bSdanielk1977 pTrig->pNext = pTab->pTrigger; 259bfb9e35bSdanielk1977 pTab->pTrigger = pTrig; 260bfb9e35bSdanielk1977 pTrig = 0; 261c3f9bad2Sdanielk1977 } 262c3f9bad2Sdanielk1977 263f0f258b1Sdrh triggerfinish_cleanup: 264bfb9e35bSdanielk1977 sqlite3DeleteTrigger(pTrig); 265bfb9e35bSdanielk1977 assert( !pParse->pNewTrigger ); 2664adee20fSdanielk1977 sqlite3DeleteTriggerStep(pStepList); 267c3f9bad2Sdanielk1977 } 2684b59ab5eSdrh 2694b59ab5eSdrh /* 2704b59ab5eSdrh ** Make a copy of all components of the given trigger step. This has 2714b59ab5eSdrh ** the effect of copying all Expr.token.z values into memory obtained 2724b59ab5eSdrh ** from sqliteMalloc(). As initially created, the Expr.token.z values 2734b59ab5eSdrh ** all point to the input string that was fed to the parser. But that 2746f8a503dSdanielk1977 ** string is ephemeral - it will go away as soon as the sqlite3_exec() 2754b59ab5eSdrh ** call that started the parser exits. This routine makes a persistent 2764b59ab5eSdrh ** copy of all the Expr.token.z strings so that the TriggerStep structure 2776f8a503dSdanielk1977 ** will be valid even after the sqlite3_exec() call returns. 2784b59ab5eSdrh */ 2794b59ab5eSdrh static void sqlitePersistTriggerStep(TriggerStep *p){ 2804b59ab5eSdrh if( p->target.z ){ 2814b59ab5eSdrh p->target.z = sqliteStrNDup(p->target.z, p->target.n); 2824b59ab5eSdrh p->target.dyn = 1; 2834b59ab5eSdrh } 2844b59ab5eSdrh if( p->pSelect ){ 2854adee20fSdanielk1977 Select *pNew = sqlite3SelectDup(p->pSelect); 2864adee20fSdanielk1977 sqlite3SelectDelete(p->pSelect); 2874b59ab5eSdrh p->pSelect = pNew; 2884b59ab5eSdrh } 2894b59ab5eSdrh if( p->pWhere ){ 2904adee20fSdanielk1977 Expr *pNew = sqlite3ExprDup(p->pWhere); 2914adee20fSdanielk1977 sqlite3ExprDelete(p->pWhere); 2924b59ab5eSdrh p->pWhere = pNew; 2934b59ab5eSdrh } 2944b59ab5eSdrh if( p->pExprList ){ 2954adee20fSdanielk1977 ExprList *pNew = sqlite3ExprListDup(p->pExprList); 2964adee20fSdanielk1977 sqlite3ExprListDelete(p->pExprList); 2974b59ab5eSdrh p->pExprList = pNew; 2984b59ab5eSdrh } 2994b59ab5eSdrh if( p->pIdList ){ 3004adee20fSdanielk1977 IdList *pNew = sqlite3IdListDup(p->pIdList); 3014adee20fSdanielk1977 sqlite3IdListDelete(p->pIdList); 3024b59ab5eSdrh p->pIdList = pNew; 303c3f9bad2Sdanielk1977 } 304c3f9bad2Sdanielk1977 } 305c3f9bad2Sdanielk1977 306c977f7f5Sdrh /* 307c977f7f5Sdrh ** Turn a SELECT statement (that the pSelect parameter points to) into 308c977f7f5Sdrh ** a trigger step. Return a pointer to a TriggerStep structure. 309c977f7f5Sdrh ** 310c977f7f5Sdrh ** The parser calls this routine when it finds a SELECT statement in 311c977f7f5Sdrh ** body of a TRIGGER. 312c977f7f5Sdrh */ 3134adee20fSdanielk1977 TriggerStep *sqlite3TriggerSelectStep(Select *pSelect){ 314633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 315e4697f5eSdrh if( pTriggerStep==0 ) return 0; 316c3f9bad2Sdanielk1977 317633ed08dSdanielk1977 pTriggerStep->op = TK_SELECT; 318633ed08dSdanielk1977 pTriggerStep->pSelect = pSelect; 319633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 3204b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 321c3f9bad2Sdanielk1977 322633ed08dSdanielk1977 return pTriggerStep; 323c3f9bad2Sdanielk1977 } 324c3f9bad2Sdanielk1977 325c977f7f5Sdrh /* 326c977f7f5Sdrh ** Build a trigger step out of an INSERT statement. Return a pointer 327c977f7f5Sdrh ** to the new trigger step. 328c977f7f5Sdrh ** 329c977f7f5Sdrh ** The parser calls this routine when it sees an INSERT inside the 330c977f7f5Sdrh ** body of a trigger. 331c977f7f5Sdrh */ 3324adee20fSdanielk1977 TriggerStep *sqlite3TriggerInsertStep( 333c977f7f5Sdrh Token *pTableName, /* Name of the table into which we insert */ 334c977f7f5Sdrh IdList *pColumn, /* List of columns in pTableName to insert into */ 335c977f7f5Sdrh ExprList *pEList, /* The VALUE clause: a list of values to be inserted */ 336c977f7f5Sdrh Select *pSelect, /* A SELECT statement that supplies values */ 337c977f7f5Sdrh int orconf /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */ 338633ed08dSdanielk1977 ){ 339633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 340c3f9bad2Sdanielk1977 341633ed08dSdanielk1977 assert(pEList == 0 || pSelect == 0); 342633ed08dSdanielk1977 assert(pEList != 0 || pSelect != 0); 343c3f9bad2Sdanielk1977 344d5d56523Sdanielk1977 if( pTriggerStep ){ 345633ed08dSdanielk1977 pTriggerStep->op = TK_INSERT; 346633ed08dSdanielk1977 pTriggerStep->pSelect = pSelect; 347633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 348633ed08dSdanielk1977 pTriggerStep->pIdList = pColumn; 349633ed08dSdanielk1977 pTriggerStep->pExprList = pEList; 350633ed08dSdanielk1977 pTriggerStep->orconf = orconf; 3514b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 352d5d56523Sdanielk1977 }else{ 353d5d56523Sdanielk1977 sqlite3IdListDelete(pColumn); 354d5d56523Sdanielk1977 sqlite3ExprListDelete(pEList); 355d5d56523Sdanielk1977 sqlite3SelectDup(pSelect); 356d5d56523Sdanielk1977 } 357c3f9bad2Sdanielk1977 358633ed08dSdanielk1977 return pTriggerStep; 359c3f9bad2Sdanielk1977 } 360c3f9bad2Sdanielk1977 361c977f7f5Sdrh /* 362c977f7f5Sdrh ** Construct a trigger step that implements an UPDATE statement and return 363c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 364c977f7f5Sdrh ** sees an UPDATE statement inside the body of a CREATE TRIGGER. 365c977f7f5Sdrh */ 3664adee20fSdanielk1977 TriggerStep *sqlite3TriggerUpdateStep( 367c977f7f5Sdrh Token *pTableName, /* Name of the table to be updated */ 368c977f7f5Sdrh ExprList *pEList, /* The SET clause: list of column and new values */ 369c977f7f5Sdrh Expr *pWhere, /* The WHERE clause */ 370c977f7f5Sdrh int orconf /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */ 371c977f7f5Sdrh ){ 372633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 373e4697f5eSdrh if( pTriggerStep==0 ) return 0; 374c3f9bad2Sdanielk1977 375633ed08dSdanielk1977 pTriggerStep->op = TK_UPDATE; 376633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 377633ed08dSdanielk1977 pTriggerStep->pExprList = pEList; 378633ed08dSdanielk1977 pTriggerStep->pWhere = pWhere; 379633ed08dSdanielk1977 pTriggerStep->orconf = orconf; 3804b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 381c3f9bad2Sdanielk1977 382633ed08dSdanielk1977 return pTriggerStep; 383c3f9bad2Sdanielk1977 } 384c3f9bad2Sdanielk1977 385c977f7f5Sdrh /* 386c977f7f5Sdrh ** Construct a trigger step that implements a DELETE statement and return 387c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 388c977f7f5Sdrh ** sees a DELETE statement inside the body of a CREATE TRIGGER. 389c977f7f5Sdrh */ 3904adee20fSdanielk1977 TriggerStep *sqlite3TriggerDeleteStep(Token *pTableName, Expr *pWhere){ 391633ed08dSdanielk1977 TriggerStep *pTriggerStep = sqliteMalloc(sizeof(TriggerStep)); 392e4697f5eSdrh if( pTriggerStep==0 ) return 0; 393c3f9bad2Sdanielk1977 394633ed08dSdanielk1977 pTriggerStep->op = TK_DELETE; 395633ed08dSdanielk1977 pTriggerStep->target = *pTableName; 396633ed08dSdanielk1977 pTriggerStep->pWhere = pWhere; 397633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 3984b59ab5eSdrh sqlitePersistTriggerStep(pTriggerStep); 399c3f9bad2Sdanielk1977 400633ed08dSdanielk1977 return pTriggerStep; 401c3f9bad2Sdanielk1977 } 402c3f9bad2Sdanielk1977 403c3f9bad2Sdanielk1977 /* 404633ed08dSdanielk1977 ** Recursively delete a Trigger structure 405c3f9bad2Sdanielk1977 */ 4064adee20fSdanielk1977 void sqlite3DeleteTrigger(Trigger *pTrigger){ 407f0f258b1Sdrh if( pTrigger==0 ) return; 4084adee20fSdanielk1977 sqlite3DeleteTriggerStep(pTrigger->step_list); 409633ed08dSdanielk1977 sqliteFree(pTrigger->name); 410633ed08dSdanielk1977 sqliteFree(pTrigger->table); 4114adee20fSdanielk1977 sqlite3ExprDelete(pTrigger->pWhen); 4124adee20fSdanielk1977 sqlite3IdListDelete(pTrigger->pColumns); 4134312db55Sdrh if( pTrigger->nameToken.dyn ) sqliteFree((char*)pTrigger->nameToken.z); 414633ed08dSdanielk1977 sqliteFree(pTrigger); 415633ed08dSdanielk1977 } 416633ed08dSdanielk1977 417633ed08dSdanielk1977 /* 4188a41449eSdanielk1977 ** This function is called to drop a trigger from the database schema. 4198a41449eSdanielk1977 ** 4208a41449eSdanielk1977 ** This may be called directly from the parser and therefore identifies 4218a41449eSdanielk1977 ** the trigger by name. The sqlite3DropTriggerPtr() routine does the 4228a41449eSdanielk1977 ** same job as this routine except it takes a pointer to the trigger 4238a41449eSdanielk1977 ** instead of the trigger name. 4248a41449eSdanielk1977 **/ 4254adee20fSdanielk1977 void sqlite3DropTrigger(Parse *pParse, SrcList *pName){ 426742f947bSdanielk1977 Trigger *pTrigger = 0; 427d24cc427Sdrh int i; 428d24cc427Sdrh const char *zDb; 429d24cc427Sdrh const char *zName; 430d24cc427Sdrh int nName; 4319bb575fdSdrh sqlite3 *db = pParse->db; 432633ed08dSdanielk1977 4336f8a503dSdanielk1977 if( sqlite3_malloc_failed ) goto drop_trigger_cleanup; 4348a41449eSdanielk1977 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){ 435c0391398Sdanielk1977 goto drop_trigger_cleanup; 436c0391398Sdanielk1977 } 4378e227875Sdanielk1977 438d24cc427Sdrh assert( pName->nSrc==1 ); 439d24cc427Sdrh zDb = pName->a[0].zDatabase; 440d24cc427Sdrh zName = pName->a[0].zName; 441d24cc427Sdrh nName = strlen(zName); 44253c0f748Sdanielk1977 for(i=OMIT_TEMPDB; i<db->nDb; i++){ 443812d7a21Sdrh int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */ 4444adee20fSdanielk1977 if( zDb && sqlite3StrICmp(db->aDb[j].zName, zDb) ) continue; 4454adee20fSdanielk1977 pTrigger = sqlite3HashFind(&(db->aDb[j].trigHash), zName, nName+1); 446d24cc427Sdrh if( pTrigger ) break; 447c3f9bad2Sdanielk1977 } 448d24cc427Sdrh if( !pTrigger ){ 4494adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0); 450d24cc427Sdrh goto drop_trigger_cleanup; 451d24cc427Sdrh } 4524adee20fSdanielk1977 sqlite3DropTriggerPtr(pParse, pTrigger, 0); 45379a519c0Sdrh 45479a519c0Sdrh drop_trigger_cleanup: 4554adee20fSdanielk1977 sqlite3SrcListDelete(pName); 45679a519c0Sdrh } 45779a519c0Sdrh 45879a519c0Sdrh /* 459956bc92cSdrh ** Return a pointer to the Table structure for the table that a trigger 460956bc92cSdrh ** is set on. 461956bc92cSdrh */ 462956bc92cSdrh static Table *tableOfTrigger(sqlite3 *db, Trigger *pTrigger){ 463956bc92cSdrh return sqlite3FindTable(db,pTrigger->table,db->aDb[pTrigger->iTabDb].zName); 464956bc92cSdrh } 465956bc92cSdrh 466956bc92cSdrh 467956bc92cSdrh /* 46879a519c0Sdrh ** Drop a trigger given a pointer to that trigger. If nested is false, 46979a519c0Sdrh ** then also generate code to remove the trigger from the SQLITE_MASTER 47079a519c0Sdrh ** table. 47179a519c0Sdrh */ 4724adee20fSdanielk1977 void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger, int nested){ 47379a519c0Sdrh Table *pTable; 47479a519c0Sdrh Vdbe *v; 4759bb575fdSdrh sqlite3 *db = pParse->db; 476956bc92cSdrh int iDb; 47779a519c0Sdrh 478956bc92cSdrh iDb = pTrigger->iDb; 479956bc92cSdrh assert( iDb>=0 && iDb<db->nDb ); 480956bc92cSdrh pTable = tableOfTrigger(db, pTrigger); 481ed6c8671Sdrh assert(pTable); 482956bc92cSdrh assert( pTable->iDb==iDb || iDb==1 ); 483e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 484e5f9c644Sdrh { 485e5f9c644Sdrh int code = SQLITE_DROP_TRIGGER; 486956bc92cSdrh const char *zDb = db->aDb[iDb].zName; 487956bc92cSdrh const char *zTab = SCHEMA_TABLE(iDb); 488956bc92cSdrh if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER; 4894adee20fSdanielk1977 if( sqlite3AuthCheck(pParse, code, pTrigger->name, pTable->zName, zDb) || 4904adee20fSdanielk1977 sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){ 49179a519c0Sdrh return; 492ed6c8671Sdrh } 493e5f9c644Sdrh } 494e5f9c644Sdrh #endif 495c3f9bad2Sdanielk1977 496f0f258b1Sdrh /* Generate code to destroy the database record of the trigger. 497f0f258b1Sdrh */ 4988e227875Sdanielk1977 if( pTable!=0 && (v = sqlite3GetVdbe(pParse))!=0 ){ 499f0f258b1Sdrh int base; 5005719628aSdrh static const VdbeOpList dropTrigger[] = { 5019b1b01bbSdrh { OP_Rewind, 0, ADDR(9), 0}, 5020f69c1e3Sdanielk1977 { OP_String8, 0, 0, 0}, /* 1 */ 503f0f258b1Sdrh { OP_Column, 0, 1, 0}, 5049b1b01bbSdrh { OP_Ne, 0, ADDR(8), 0}, 5050f69c1e3Sdanielk1977 { OP_String8, 0, 0, "trigger"}, 5069b1b01bbSdrh { OP_Column, 0, 0, 0}, 5079b1b01bbSdrh { OP_Ne, 0, ADDR(8), 0}, 508f0f258b1Sdrh { OP_Delete, 0, 0, 0}, 5099b1b01bbSdrh { OP_Next, 0, ADDR(1), 0}, /* 8 */ 510f0f258b1Sdrh }; 511f0f258b1Sdrh 512956bc92cSdrh sqlite3BeginWriteOperation(pParse, 0, iDb); 513956bc92cSdrh sqlite3OpenMasterTable(v, iDb); 5144adee20fSdanielk1977 base = sqlite3VdbeAddOpList(v, ArraySize(dropTrigger), dropTrigger); 5154adee20fSdanielk1977 sqlite3VdbeChangeP3(v, base+1, pTrigger->name, 0); 516956bc92cSdrh sqlite3ChangeCookie(db, v, iDb); 5174adee20fSdanielk1977 sqlite3VdbeAddOp(v, OP_Close, 0, 0); 518956bc92cSdrh sqlite3VdbeOp3(v, OP_DropTrigger, iDb, 0, pTrigger->name, 0); 519956bc92cSdrh } 520f0f258b1Sdrh } 521f0f258b1Sdrh 522c3f9bad2Sdanielk1977 /* 523956bc92cSdrh ** Remove a trigger from the hash tables of the sqlite* pointer. 524c3f9bad2Sdanielk1977 */ 525956bc92cSdrh void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){ 526956bc92cSdrh Trigger *pTrigger; 52779a519c0Sdrh int nName = strlen(zName); 528956bc92cSdrh pTrigger = sqlite3HashInsert(&(db->aDb[iDb].trigHash), zName, nName+1, 0); 529956bc92cSdrh if( pTrigger ){ 530956bc92cSdrh Table *pTable = tableOfTrigger(db, pTrigger); 531956bc92cSdrh assert( pTable!=0 ); 532633ed08dSdanielk1977 if( pTable->pTrigger == pTrigger ){ 533633ed08dSdanielk1977 pTable->pTrigger = pTrigger->pNext; 534633ed08dSdanielk1977 }else{ 535633ed08dSdanielk1977 Trigger *cc = pTable->pTrigger; 536c3f9bad2Sdanielk1977 while( cc ){ 537633ed08dSdanielk1977 if( cc->pNext == pTrigger ){ 538c3f9bad2Sdanielk1977 cc->pNext = cc->pNext->pNext; 539c3f9bad2Sdanielk1977 break; 540c3f9bad2Sdanielk1977 } 541c3f9bad2Sdanielk1977 cc = cc->pNext; 542c3f9bad2Sdanielk1977 } 543c3f9bad2Sdanielk1977 assert(cc); 544c3f9bad2Sdanielk1977 } 5454adee20fSdanielk1977 sqlite3DeleteTrigger(pTrigger); 546956bc92cSdrh db->flags |= SQLITE_InternChanges; 547c3f9bad2Sdanielk1977 } 548c3f9bad2Sdanielk1977 } 549c3f9bad2Sdanielk1977 550c977f7f5Sdrh /* 551c977f7f5Sdrh ** pEList is the SET clause of an UPDATE statement. Each entry 552c977f7f5Sdrh ** in pEList is of the format <id>=<expr>. If any of the entries 553c977f7f5Sdrh ** in pEList have an <id> which matches an identifier in pIdList, 554c977f7f5Sdrh ** then return TRUE. If pIdList==NULL, then it is considered a 555c977f7f5Sdrh ** wildcard that matches anything. Likewise if pEList==NULL then 556c977f7f5Sdrh ** it matches anything so always return true. Return false only 557c977f7f5Sdrh ** if there is no match. 558c977f7f5Sdrh */ 559c977f7f5Sdrh static int checkColumnOverLap(IdList *pIdList, ExprList *pEList){ 560ad2d8307Sdrh int e; 561ad2d8307Sdrh if( !pIdList || !pEList ) return 1; 562f29ce559Sdanielk1977 for(e=0; e<pEList->nExpr; e++){ 5634adee20fSdanielk1977 if( sqlite3IdListIndex(pIdList, pEList->a[e].zName)>=0 ) return 1; 564f29ce559Sdanielk1977 } 565c3f9bad2Sdanielk1977 return 0; 566c3f9bad2Sdanielk1977 } 567c3f9bad2Sdanielk1977 568c3f9bad2Sdanielk1977 /* 569dca76841Sdrh ** Return a bit vector to indicate what kind of triggers exist for operation 570dca76841Sdrh ** "op" on table pTab. If pChanges is not NULL then it is a list of columns 571dca76841Sdrh ** that are being updated. Triggers only match if the ON clause of the 572dca76841Sdrh ** trigger definition overlaps the set of columns being updated. 573dca76841Sdrh ** 574dca76841Sdrh ** The returned bit vector is some combination of TRIGGER_BEFORE and 575dca76841Sdrh ** TRIGGER_AFTER. 576c3f9bad2Sdanielk1977 */ 5774adee20fSdanielk1977 int sqlite3TriggersExist( 578c977f7f5Sdrh Parse *pParse, /* Used to check for recursive triggers */ 579dca76841Sdrh Table *pTab, /* The table the contains the triggers */ 580c3f9bad2Sdanielk1977 int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */ 581c977f7f5Sdrh ExprList *pChanges /* Columns that change in an UPDATE statement */ 582c977f7f5Sdrh ){ 583dca76841Sdrh Trigger *pTrigger = pTab->pTrigger; 584dca76841Sdrh int mask = 0; 585c3f9bad2Sdanielk1977 586dca76841Sdrh while( pTrigger ){ 587dca76841Sdrh if( pTrigger->op==op && checkColumnOverLap(pTrigger->pColumns, pChanges) ){ 588c3f9bad2Sdanielk1977 TriggerStack *ss; 589c3f9bad2Sdanielk1977 ss = pParse->trigStack; 590dca76841Sdrh while( ss && ss->pTrigger!=pTab->pTrigger ){ 591f29ce559Sdanielk1977 ss = ss->pNext; 592f29ce559Sdanielk1977 } 593dca76841Sdrh if( ss==0 ){ 594dca76841Sdrh mask |= pTrigger->tr_tm; 595c3f9bad2Sdanielk1977 } 596c3f9bad2Sdanielk1977 } 597dca76841Sdrh pTrigger = pTrigger->pNext; 598dca76841Sdrh } 599dca76841Sdrh return mask; 600c3f9bad2Sdanielk1977 } 601c3f9bad2Sdanielk1977 602c977f7f5Sdrh /* 603f26e09c8Sdrh ** Convert the pStep->target token into a SrcList and return a pointer 604f26e09c8Sdrh ** to that SrcList. 605f26e09c8Sdrh ** 606f26e09c8Sdrh ** This routine adds a specific database name, if needed, to the target when 607f26e09c8Sdrh ** forming the SrcList. This prevents a trigger in one database from 608f26e09c8Sdrh ** referring to a target in another database. An exception is when the 609f26e09c8Sdrh ** trigger is in TEMP in which case it can refer to any other database it 610f26e09c8Sdrh ** wants. 611f26e09c8Sdrh */ 612f26e09c8Sdrh static SrcList *targetSrcList( 613f26e09c8Sdrh Parse *pParse, /* The parsing context */ 614f26e09c8Sdrh TriggerStep *pStep /* The trigger containing the target token */ 615f26e09c8Sdrh ){ 616f26e09c8Sdrh Token sDb; /* Dummy database name token */ 617f26e09c8Sdrh int iDb; /* Index of the database to use */ 618f26e09c8Sdrh SrcList *pSrc; /* SrcList to be returned */ 619f26e09c8Sdrh 620f26e09c8Sdrh iDb = pStep->pTrig->iDb; 621f26e09c8Sdrh if( iDb==0 || iDb>=2 ){ 622f26e09c8Sdrh assert( iDb<pParse->db->nDb ); 623f26e09c8Sdrh sDb.z = pParse->db->aDb[iDb].zName; 624f26e09c8Sdrh sDb.n = strlen(sDb.z); 6254adee20fSdanielk1977 pSrc = sqlite3SrcListAppend(0, &sDb, &pStep->target); 626f26e09c8Sdrh } else { 6274adee20fSdanielk1977 pSrc = sqlite3SrcListAppend(0, &pStep->target, 0); 628f26e09c8Sdrh } 629f26e09c8Sdrh return pSrc; 630f26e09c8Sdrh } 631f26e09c8Sdrh 632f26e09c8Sdrh /* 633c977f7f5Sdrh ** Generate VDBE code for zero or more statements inside the body of a 634c977f7f5Sdrh ** trigger. 635c977f7f5Sdrh */ 636c3f9bad2Sdanielk1977 static int codeTriggerProgram( 637c977f7f5Sdrh Parse *pParse, /* The parser context */ 638c977f7f5Sdrh TriggerStep *pStepList, /* List of statements inside the trigger body */ 639c977f7f5Sdrh int orconfin /* Conflict algorithm. (OE_Abort, etc) */ 640633ed08dSdanielk1977 ){ 641633ed08dSdanielk1977 TriggerStep * pTriggerStep = pStepList; 642c3f9bad2Sdanielk1977 int orconf; 643344737f6Sdrh Vdbe *v = pParse->pVdbe; 644c3f9bad2Sdanielk1977 645344737f6Sdrh assert( pTriggerStep!=0 ); 646344737f6Sdrh assert( v!=0 ); 647344737f6Sdrh sqlite3VdbeAddOp(v, OP_ContextPush, 0, 0); 64867040462Sdrh VdbeComment((v, "# begin trigger %s", pStepList->pTrig->name)); 649633ed08dSdanielk1977 while( pTriggerStep ){ 650633ed08dSdanielk1977 orconf = (orconfin == OE_Default)?pTriggerStep->orconf:orconfin; 651c3f9bad2Sdanielk1977 pParse->trigStack->orconf = orconf; 652633ed08dSdanielk1977 switch( pTriggerStep->op ){ 653c3f9bad2Sdanielk1977 case TK_SELECT: { 6544adee20fSdanielk1977 Select * ss = sqlite3SelectDup(pTriggerStep->pSelect); 6556f34903eSdanielk1977 assert(ss); 6566f34903eSdanielk1977 assert(ss->pSrc); 657b3bce662Sdanielk1977 sqlite3SelectResolve(pParse, ss, 0); 658b3bce662Sdanielk1977 sqlite3Select(pParse, ss, SRT_Discard, 0, 0, 0, 0, 0); 6594adee20fSdanielk1977 sqlite3SelectDelete(ss); 660c3f9bad2Sdanielk1977 break; 661c3f9bad2Sdanielk1977 } 662c3f9bad2Sdanielk1977 case TK_UPDATE: { 663113088ecSdrh SrcList *pSrc; 664f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 665344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); 6664adee20fSdanielk1977 sqlite3Update(pParse, pSrc, 6674adee20fSdanielk1977 sqlite3ExprListDup(pTriggerStep->pExprList), 6684adee20fSdanielk1977 sqlite3ExprDup(pTriggerStep->pWhere), orconf); 669344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); 670c3f9bad2Sdanielk1977 break; 671c3f9bad2Sdanielk1977 } 672c3f9bad2Sdanielk1977 case TK_INSERT: { 673113088ecSdrh SrcList *pSrc; 674f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 675344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); 6764adee20fSdanielk1977 sqlite3Insert(pParse, pSrc, 6774adee20fSdanielk1977 sqlite3ExprListDup(pTriggerStep->pExprList), 6784adee20fSdanielk1977 sqlite3SelectDup(pTriggerStep->pSelect), 6794adee20fSdanielk1977 sqlite3IdListDup(pTriggerStep->pIdList), orconf); 680344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); 681c3f9bad2Sdanielk1977 break; 682c3f9bad2Sdanielk1977 } 683c3f9bad2Sdanielk1977 case TK_DELETE: { 684113088ecSdrh SrcList *pSrc; 685344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 0, 0); 686f26e09c8Sdrh pSrc = targetSrcList(pParse, pTriggerStep); 6874adee20fSdanielk1977 sqlite3DeleteFrom(pParse, pSrc, sqlite3ExprDup(pTriggerStep->pWhere)); 688344737f6Sdrh sqlite3VdbeAddOp(v, OP_ResetCount, 1, 0); 689c3f9bad2Sdanielk1977 break; 690c3f9bad2Sdanielk1977 } 691c3f9bad2Sdanielk1977 default: 692c3f9bad2Sdanielk1977 assert(0); 693c3f9bad2Sdanielk1977 } 694633ed08dSdanielk1977 pTriggerStep = pTriggerStep->pNext; 695c3f9bad2Sdanielk1977 } 696344737f6Sdrh sqlite3VdbeAddOp(v, OP_ContextPop, 0, 0); 69767040462Sdrh VdbeComment((v, "# end trigger %s", pStepList->pTrig->name)); 698c3f9bad2Sdanielk1977 699c3f9bad2Sdanielk1977 return 0; 700c3f9bad2Sdanielk1977 } 701c3f9bad2Sdanielk1977 702633ed08dSdanielk1977 /* 703633ed08dSdanielk1977 ** This is called to code FOR EACH ROW triggers. 704633ed08dSdanielk1977 ** 705633ed08dSdanielk1977 ** When the code that this function generates is executed, the following 706633ed08dSdanielk1977 ** must be true: 707c977f7f5Sdrh ** 708c977f7f5Sdrh ** 1. No cursors may be open in the main database. (But newIdx and oldIdx 709c977f7f5Sdrh ** can be indices of cursors in temporary tables. See below.) 710c977f7f5Sdrh ** 711633ed08dSdanielk1977 ** 2. If the triggers being coded are ON INSERT or ON UPDATE triggers, then 712633ed08dSdanielk1977 ** a temporary vdbe cursor (index newIdx) must be open and pointing at 713633ed08dSdanielk1977 ** a row containing values to be substituted for new.* expressions in the 714633ed08dSdanielk1977 ** trigger program(s). 715c977f7f5Sdrh ** 716633ed08dSdanielk1977 ** 3. If the triggers being coded are ON DELETE or ON UPDATE triggers, then 717633ed08dSdanielk1977 ** a temporary vdbe cursor (index oldIdx) must be open and pointing at 718633ed08dSdanielk1977 ** a row containing values to be substituted for old.* expressions in the 719633ed08dSdanielk1977 ** trigger program(s). 720633ed08dSdanielk1977 ** 721633ed08dSdanielk1977 */ 7224adee20fSdanielk1977 int sqlite3CodeRowTrigger( 723c3f9bad2Sdanielk1977 Parse *pParse, /* Parse context */ 724c3f9bad2Sdanielk1977 int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */ 725633ed08dSdanielk1977 ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ 726dca76841Sdrh int tr_tm, /* One of TRIGGER_BEFORE, TRIGGER_AFTER */ 727633ed08dSdanielk1977 Table *pTab, /* The table to code triggers from */ 728633ed08dSdanielk1977 int newIdx, /* The indice of the "new" row to access */ 729633ed08dSdanielk1977 int oldIdx, /* The indice of the "old" row to access */ 7306f34903eSdanielk1977 int orconf, /* ON CONFLICT policy */ 7316f34903eSdanielk1977 int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ 732c977f7f5Sdrh ){ 733c3f9bad2Sdanielk1977 Trigger *pTrigger; 73467040462Sdrh TriggerStack *pStack; 73567040462Sdrh TriggerStack trigStackEntry; 736c3f9bad2Sdanielk1977 737c3f9bad2Sdanielk1977 assert(op == TK_UPDATE || op == TK_INSERT || op == TK_DELETE); 738dca76841Sdrh assert(tr_tm == TRIGGER_BEFORE || tr_tm == TRIGGER_AFTER ); 739c3f9bad2Sdanielk1977 740633ed08dSdanielk1977 assert(newIdx != -1 || oldIdx != -1); 741c3f9bad2Sdanielk1977 742633ed08dSdanielk1977 pTrigger = pTab->pTrigger; 743c3f9bad2Sdanielk1977 while( pTrigger ){ 744c3f9bad2Sdanielk1977 int fire_this = 0; 745c3f9bad2Sdanielk1977 746c3f9bad2Sdanielk1977 /* determine whether we should code this trigger */ 747dca76841Sdrh if( pTrigger->op == op && pTrigger->tr_tm == tr_tm ){ 748c3f9bad2Sdanielk1977 fire_this = 1; 74967040462Sdrh for(pStack=pParse->trigStack; pStack; pStack=pStack->pNext){ 75067040462Sdrh if( pStack->pTrigger==pTrigger ){ 751f29ce559Sdanielk1977 fire_this = 0; 752f29ce559Sdanielk1977 } 753c3f9bad2Sdanielk1977 } 754c3f9bad2Sdanielk1977 if( op == TK_UPDATE && pTrigger->pColumns && 755f29ce559Sdanielk1977 !checkColumnOverLap(pTrigger->pColumns, pChanges) ){ 756c3f9bad2Sdanielk1977 fire_this = 0; 757c3f9bad2Sdanielk1977 } 758f29ce559Sdanielk1977 } 759c3f9bad2Sdanielk1977 76067040462Sdrh if( fire_this ){ 761c3f9bad2Sdanielk1977 int endTrigger; 762c3f9bad2Sdanielk1977 Expr * whenExpr; 76385e2096fSdrh AuthContext sContext; 764b3bce662Sdanielk1977 NameContext sNC; 765c3f9bad2Sdanielk1977 766b3bce662Sdanielk1977 memset(&sNC, 0, sizeof(sNC)); 767b3bce662Sdanielk1977 sNC.pParse = pParse; 768c3f9bad2Sdanielk1977 769c3f9bad2Sdanielk1977 /* Push an entry on to the trigger stack */ 77067040462Sdrh trigStackEntry.pTrigger = pTrigger; 77167040462Sdrh trigStackEntry.newIdx = newIdx; 77267040462Sdrh trigStackEntry.oldIdx = oldIdx; 77367040462Sdrh trigStackEntry.pTab = pTab; 77467040462Sdrh trigStackEntry.pNext = pParse->trigStack; 77567040462Sdrh trigStackEntry.ignoreJump = ignoreJump; 77667040462Sdrh pParse->trigStack = &trigStackEntry; 7774adee20fSdanielk1977 sqlite3AuthContextPush(pParse, &sContext, pTrigger->name); 778c3f9bad2Sdanielk1977 779c3f9bad2Sdanielk1977 /* code the WHEN clause */ 7804adee20fSdanielk1977 endTrigger = sqlite3VdbeMakeLabel(pParse->pVdbe); 7814adee20fSdanielk1977 whenExpr = sqlite3ExprDup(pTrigger->pWhen); 782b3bce662Sdanielk1977 if( sqlite3ExprResolveNames(&sNC, whenExpr) ){ 78367040462Sdrh pParse->trigStack = trigStackEntry.pNext; 7844adee20fSdanielk1977 sqlite3ExprDelete(whenExpr); 785c3f9bad2Sdanielk1977 return 1; 786c3f9bad2Sdanielk1977 } 7874adee20fSdanielk1977 sqlite3ExprIfFalse(pParse, whenExpr, endTrigger, 1); 7884adee20fSdanielk1977 sqlite3ExprDelete(whenExpr); 789c3f9bad2Sdanielk1977 790633ed08dSdanielk1977 codeTriggerProgram(pParse, pTrigger->step_list, orconf); 791c3f9bad2Sdanielk1977 792c3f9bad2Sdanielk1977 /* Pop the entry off the trigger stack */ 79367040462Sdrh pParse->trigStack = trigStackEntry.pNext; 7944adee20fSdanielk1977 sqlite3AuthContextPop(&sContext); 795c3f9bad2Sdanielk1977 7964adee20fSdanielk1977 sqlite3VdbeResolveLabel(pParse->pVdbe, endTrigger); 797c3f9bad2Sdanielk1977 } 798c3f9bad2Sdanielk1977 pTrigger = pTrigger->pNext; 799c3f9bad2Sdanielk1977 } 800c3f9bad2Sdanielk1977 return 0; 801c3f9bad2Sdanielk1977 } 802b7f9164eSdrh #endif /* !defined(SQLITE_OMIT_TRIGGER) */ 803