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 ************************************************************************* 11c81c11f6Sdrh ** This file contains the implementation for TRIGGERs 12c3f9bad2Sdanielk1977 */ 13c3f9bad2Sdanielk1977 #include "sqliteInt.h" 149adf9ac4Sdrh 15b7f9164eSdrh #ifndef SQLITE_OMIT_TRIGGER 16c3f9bad2Sdanielk1977 /* 174b59ab5eSdrh ** Delete a linked list of TriggerStep structures. 184b59ab5eSdrh */ 19633e6d57Sdrh void sqlite3DeleteTriggerStep(sqlite3 *db, TriggerStep *pTriggerStep){ 204b59ab5eSdrh while( pTriggerStep ){ 214b59ab5eSdrh TriggerStep * pTmp = pTriggerStep; 224b59ab5eSdrh pTriggerStep = pTriggerStep->pNext; 234b59ab5eSdrh 24633e6d57Sdrh sqlite3ExprDelete(db, pTmp->pWhere); 25633e6d57Sdrh sqlite3ExprListDelete(db, pTmp->pExprList); 26633e6d57Sdrh sqlite3SelectDelete(db, pTmp->pSelect); 27633e6d57Sdrh sqlite3IdListDelete(db, pTmp->pIdList); 2846d2e5c3Sdrh sqlite3UpsertDelete(db, pTmp->pUpsert); 29e7877b2dSdan sqlite3SrcListDelete(db, pTmp->pFrom); 30f259df5fSdrh sqlite3DbFree(db, pTmp->zSpan); 314b59ab5eSdrh 32633e6d57Sdrh sqlite3DbFree(db, pTmp); 334b59ab5eSdrh } 344b59ab5eSdrh } 354b59ab5eSdrh 364b59ab5eSdrh /* 372f886d1dSdanielk1977 ** Given table pTab, return a list of all the triggers attached to 382f886d1dSdanielk1977 ** the table. The list is connected by Trigger.pNext pointers. 399ab4c2e8Sdrh ** 409ab4c2e8Sdrh ** All of the triggers on pTab that are in the same database as pTab 419ab4c2e8Sdrh ** are already attached to pTab->pTrigger. But there might be additional 429ab4c2e8Sdrh ** triggers on pTab in the TEMP schema. This routine prepends all 439ab4c2e8Sdrh ** TEMP triggers on pTab to the beginning of the pTab->pTrigger list 449ab4c2e8Sdrh ** and returns the combined list. 459ab4c2e8Sdrh ** 469ab4c2e8Sdrh ** To state it another way: This routine returns a list of all triggers 479ab4c2e8Sdrh ** that fire off of pTab. The list will include any TEMP triggers on 489ab4c2e8Sdrh ** pTab as well as the triggers lised in pTab->pTrigger. 492f886d1dSdanielk1977 */ 502f886d1dSdanielk1977 Trigger *sqlite3TriggerList(Parse *pParse, Table *pTab){ 512f886d1dSdanielk1977 Schema * const pTmpSchema = pParse->db->aDb[1].pSchema; 522f886d1dSdanielk1977 Trigger *pList = 0; /* List of triggers to return */ 532f886d1dSdanielk1977 54d66c8309Sdan if( pParse->disableTriggers ){ 55d66c8309Sdan return 0; 56d66c8309Sdan } 57d66c8309Sdan 582f886d1dSdanielk1977 if( pTmpSchema!=pTab->pSchema ){ 592f886d1dSdanielk1977 HashElem *p; 602120608eSdrh assert( sqlite3SchemaMutexHeld(pParse->db, 0, pTmpSchema) ); 612f886d1dSdanielk1977 for(p=sqliteHashFirst(&pTmpSchema->trigHash); p; p=sqliteHashNext(p)){ 622f886d1dSdanielk1977 Trigger *pTrig = (Trigger *)sqliteHashData(p); 632f886d1dSdanielk1977 if( pTrig->pTabSchema==pTab->pSchema 642f886d1dSdanielk1977 && 0==sqlite3StrICmp(pTrig->table, pTab->zName) 652f886d1dSdanielk1977 ){ 662f886d1dSdanielk1977 pTrig->pNext = (pList ? pList : pTab->pTrigger); 672f886d1dSdanielk1977 pList = pTrig; 682f886d1dSdanielk1977 } 692f886d1dSdanielk1977 } 702f886d1dSdanielk1977 } 712f886d1dSdanielk1977 722f886d1dSdanielk1977 return (pList ? pList : pTab->pTrigger); 732f886d1dSdanielk1977 } 742f886d1dSdanielk1977 752f886d1dSdanielk1977 /* 76f0f258b1Sdrh ** This is called by the parser when it sees a CREATE TRIGGER statement 77f0f258b1Sdrh ** up to the point of the BEGIN before the trigger actions. A Trigger 78f0f258b1Sdrh ** structure is generated based on the information available and stored 79f0f258b1Sdrh ** in pParse->pNewTrigger. After the trigger actions have been parsed, the 804adee20fSdanielk1977 ** sqlite3FinishTrigger() function is called to complete the trigger 81f0f258b1Sdrh ** construction process. 82c3f9bad2Sdanielk1977 */ 834adee20fSdanielk1977 void sqlite3BeginTrigger( 84c3f9bad2Sdanielk1977 Parse *pParse, /* The parse context of the CREATE TRIGGER statement */ 85ef2cb63eSdanielk1977 Token *pName1, /* The name of the trigger */ 86ef2cb63eSdanielk1977 Token *pName2, /* The name of the trigger */ 87d702fccbSdanielk1977 int tr_tm, /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */ 88c3f9bad2Sdanielk1977 int op, /* One of TK_INSERT, TK_UPDATE, TK_DELETE */ 89633ed08dSdanielk1977 IdList *pColumns, /* column list if this is an UPDATE OF trigger */ 90d24cc427Sdrh SrcList *pTableName,/* The name of the table/view the trigger applies to */ 91c3f9bad2Sdanielk1977 Expr *pWhen, /* WHEN clause */ 92fdd48a76Sdrh int isTemp, /* True if the TEMPORARY keyword is present */ 93fdd48a76Sdrh int noErr /* Suppress errors if the trigger already exists */ 949adf9ac4Sdrh ){ 953d5f74b2Sdrh Trigger *pTrigger = 0; /* The new trigger */ 963d5f74b2Sdrh Table *pTab; /* Table that the trigger fires off of */ 97e5f9c644Sdrh char *zName = 0; /* Name of the trigger */ 983d5f74b2Sdrh sqlite3 *db = pParse->db; /* The database connection */ 99ef2cb63eSdanielk1977 int iDb; /* The database to store the trigger in */ 100ef2cb63eSdanielk1977 Token *pName; /* The unqualified db name */ 1013d5f74b2Sdrh DbFixer sFix; /* State vector for the DB fixer */ 102ed6c8671Sdrh 10343617e9aSdrh assert( pName1!=0 ); /* pName1->z might be NULL, but not pName1 itself */ 10443617e9aSdrh assert( pName2!=0 ); 105aa78bec9Sdrh assert( op==TK_INSERT || op==TK_UPDATE || op==TK_DELETE ); 106aa78bec9Sdrh assert( op>0 && op<0xff ); 107ef2cb63eSdanielk1977 if( isTemp ){ 108ef2cb63eSdanielk1977 /* If TEMP was specified, then the trigger name may not be qualified. */ 10943617e9aSdrh if( pName2->n>0 ){ 110ef2cb63eSdanielk1977 sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name"); 111ef2cb63eSdanielk1977 goto trigger_cleanup; 112ef2cb63eSdanielk1977 } 113ef2cb63eSdanielk1977 iDb = 1; 114ef2cb63eSdanielk1977 pName = pName1; 115ef2cb63eSdanielk1977 }else{ 116d5578433Smistachkin /* Figure out the db that the trigger will be created in */ 117ef2cb63eSdanielk1977 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName); 118ef2cb63eSdanielk1977 if( iDb<0 ){ 119ef2cb63eSdanielk1977 goto trigger_cleanup; 120ef2cb63eSdanielk1977 } 121ef2cb63eSdanielk1977 } 1226fea83e5Sdrh if( !pTableName || db->mallocFailed ){ 1236fea83e5Sdrh goto trigger_cleanup; 1246fea83e5Sdrh } 1256fea83e5Sdrh 1266fea83e5Sdrh /* A long-standing parser bug is that this syntax was allowed: 1276fea83e5Sdrh ** 1286fea83e5Sdrh ** CREATE TRIGGER attached.demo AFTER INSERT ON attached.tab .... 1296fea83e5Sdrh ** ^^^^^^^^ 1306fea83e5Sdrh ** 1316fea83e5Sdrh ** To maintain backwards compatibility, ignore the database 132346a70caSdrh ** name on pTableName if we are reparsing out of the schema table 1336fea83e5Sdrh */ 1346fea83e5Sdrh if( db->init.busy && iDb!=1 ){ 1356fea83e5Sdrh sqlite3DbFree(db, pTableName->a[0].zDatabase); 1366fea83e5Sdrh pTableName->a[0].zDatabase = 0; 1376fea83e5Sdrh } 138ef2cb63eSdanielk1977 139ef2cb63eSdanielk1977 /* If the trigger name was unqualified, and the table is a temp table, 140ef2cb63eSdanielk1977 ** then set iDb to 1 to create the trigger in the temporary database. 141ef2cb63eSdanielk1977 ** If sqlite3SrcListLookup() returns 0, indicating the table does not 142ef2cb63eSdanielk1977 ** exist, the error is caught by the block below. 143c3f9bad2Sdanielk1977 */ 144ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 145622d2887Sdrh if( db->init.busy==0 && pName2->n==0 && pTab 146622d2887Sdrh && pTab->pSchema==db->aDb[1].pSchema ){ 147ef2cb63eSdanielk1977 iDb = 1; 148ef2cb63eSdanielk1977 } 149ef2cb63eSdanielk1977 150ef2cb63eSdanielk1977 /* Ensure the table name matches database name and that the table exists */ 15117435752Sdrh if( db->mallocFailed ) goto trigger_cleanup; 152d24cc427Sdrh assert( pTableName->nSrc==1 ); 153d100f691Sdrh sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName); 154d100f691Sdrh if( sqlite3FixSrcList(&sFix, pTableName) ){ 1554312db55Sdrh goto trigger_cleanup; 156f26e09c8Sdrh } 157ef2cb63eSdanielk1977 pTab = sqlite3SrcListLookup(pParse, pTableName); 158ef2cb63eSdanielk1977 if( !pTab ){ 159ef2cb63eSdanielk1977 /* The table does not exist. */ 160*4e451aadSdrh goto trigger_orphan_error; 161d24cc427Sdrh } 1624cbdda9eSdrh if( IsVirtual(pTab) ){ 1634cbdda9eSdrh sqlite3ErrorMsg(pParse, "cannot create triggers on virtual tables"); 164*4e451aadSdrh goto trigger_orphan_error; 1654cbdda9eSdrh } 166d24cc427Sdrh 167d8123366Sdanielk1977 /* Check that the trigger name is not reserved and that no trigger of the 168d8123366Sdanielk1977 ** specified name exists */ 16917435752Sdrh zName = sqlite3NameFromToken(db, pName); 170c5a93d4cSdrh if( zName==0 ){ 171c5a93d4cSdrh assert( db->mallocFailed ); 172c5a93d4cSdrh goto trigger_cleanup; 173c5a93d4cSdrh } 174c5a93d4cSdrh if( sqlite3CheckObjectName(pParse, zName, "trigger", pTab->zName) ){ 175d8123366Sdanielk1977 goto trigger_cleanup; 176d8123366Sdanielk1977 } 1772120608eSdrh assert( sqlite3SchemaMutexHeld(db, iDb, 0) ); 178c9461eccSdan if( !IN_RENAME_OBJECT ){ 179acbcb7e0Sdrh if( sqlite3HashFind(&(db->aDb[iDb].pSchema->trigHash),zName) ){ 180fdd48a76Sdrh if( !noErr ){ 1814adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "trigger %T already exists", pName); 1827687c83dSdan }else{ 1837687c83dSdan assert( !db->init.busy ); 1847687c83dSdan sqlite3CodeVerifySchema(pParse, iDb); 185fdd48a76Sdrh } 186c3f9bad2Sdanielk1977 goto trigger_cleanup; 187c3f9bad2Sdanielk1977 } 1885496d6a2Sdan } 189ef2cb63eSdanielk1977 190ef2cb63eSdanielk1977 /* Do not create a trigger on a system table */ 191dca76841Sdrh if( sqlite3StrNICmp(pTab->zName, "sqlite_", 7)==0 ){ 1924adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create trigger on system table"); 193e0bc4048Sdrh goto trigger_cleanup; 194e0bc4048Sdrh } 195ef2cb63eSdanielk1977 196ef2cb63eSdanielk1977 /* INSTEAD of triggers are only for views and views only support INSTEAD 197ef2cb63eSdanielk1977 ** of triggers. 198ef2cb63eSdanielk1977 */ 199ef2cb63eSdanielk1977 if( pTab->pSelect && tr_tm!=TK_INSTEAD ){ 2004adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S", 201da93d238Sdrh (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0); 202*4e451aadSdrh goto trigger_orphan_error; 203d702fccbSdanielk1977 } 204ef2cb63eSdanielk1977 if( !pTab->pSelect && tr_tm==TK_INSTEAD ){ 2054adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF" 206da93d238Sdrh " trigger on table: %S", pTableName, 0); 207*4e451aadSdrh goto trigger_orphan_error; 208d702fccbSdanielk1977 } 209ef2cb63eSdanielk1977 210e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 211c9461eccSdan if( !IN_RENAME_OBJECT ){ 212a0daa751Sdrh int iTabDb = sqlite3SchemaToIndex(db, pTab->pSchema); 213e5f9c644Sdrh int code = SQLITE_CREATE_TRIGGER; 21469c33826Sdrh const char *zDb = db->aDb[iTabDb].zDbSName; 21569c33826Sdrh const char *zDbTrig = isTemp ? db->aDb[1].zDbSName : zDb; 216da184236Sdanielk1977 if( iTabDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER; 217ef2cb63eSdanielk1977 if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){ 218ed6c8671Sdrh goto trigger_cleanup; 219ed6c8671Sdrh } 220da184236Sdanielk1977 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(iTabDb),0,zDb)){ 22177ad4e41Sdrh goto trigger_cleanup; 22277ad4e41Sdrh } 223d702fccbSdanielk1977 } 224e5f9c644Sdrh #endif 225d702fccbSdanielk1977 226ef2cb63eSdanielk1977 /* INSTEAD OF triggers can only appear on views and BEFORE triggers 2275cf590c1Sdrh ** cannot appear on views. So we might as well translate every 2285cf590c1Sdrh ** INSTEAD OF trigger into a BEFORE trigger. It simplifies code 2295cf590c1Sdrh ** elsewhere. 2305cf590c1Sdrh */ 231d702fccbSdanielk1977 if (tr_tm == TK_INSTEAD){ 232d702fccbSdanielk1977 tr_tm = TK_BEFORE; 233c3f9bad2Sdanielk1977 } 234c3f9bad2Sdanielk1977 235c3f9bad2Sdanielk1977 /* Build the Trigger object */ 23617435752Sdrh pTrigger = (Trigger*)sqlite3DbMallocZero(db, sizeof(Trigger)); 237ef2cb63eSdanielk1977 if( pTrigger==0 ) goto trigger_cleanup; 238165921a7Sdan pTrigger->zName = zName; 239e5f9c644Sdrh zName = 0; 24017435752Sdrh pTrigger->table = sqlite3DbStrDup(db, pTableName->a[0].zName); 241da184236Sdanielk1977 pTrigger->pSchema = db->aDb[iDb].pSchema; 242aaf22685Sdanielk1977 pTrigger->pTabSchema = pTab->pSchema; 243aa78bec9Sdrh pTrigger->op = (u8)op; 244dca76841Sdrh pTrigger->tr_tm = tr_tm==TK_BEFORE ? TRIGGER_BEFORE : TRIGGER_AFTER; 245c9461eccSdan if( IN_RENAME_OBJECT ){ 246c9461eccSdan sqlite3RenameTokenRemap(pParse, pTrigger->table, pTableName->a[0].zName); 2475496d6a2Sdan pTrigger->pWhen = pWhen; 2485496d6a2Sdan pWhen = 0; 2495496d6a2Sdan }else{ 2506ab3a2ecSdanielk1977 pTrigger->pWhen = sqlite3ExprDup(db, pWhen, EXPRDUP_REDUCE); 2515496d6a2Sdan } 2525496d6a2Sdan pTrigger->pColumns = pColumns; 2535496d6a2Sdan pColumns = 0; 254f0f258b1Sdrh assert( pParse->pNewTrigger==0 ); 255ef2cb63eSdanielk1977 pParse->pNewTrigger = pTrigger; 256f0f258b1Sdrh 257f0f258b1Sdrh trigger_cleanup: 258633e6d57Sdrh sqlite3DbFree(db, zName); 259633e6d57Sdrh sqlite3SrcListDelete(db, pTableName); 260633e6d57Sdrh sqlite3IdListDelete(db, pColumns); 261633e6d57Sdrh sqlite3ExprDelete(db, pWhen); 262d5d56523Sdanielk1977 if( !pParse->pNewTrigger ){ 263633e6d57Sdrh sqlite3DeleteTrigger(db, pTrigger); 264d5d56523Sdanielk1977 }else{ 265d5d56523Sdanielk1977 assert( pParse->pNewTrigger==pTrigger ); 266d5d56523Sdanielk1977 } 267*4e451aadSdrh return; 268*4e451aadSdrh 269*4e451aadSdrh trigger_orphan_error: 270*4e451aadSdrh if( db->init.iDb==1 ){ 271*4e451aadSdrh /* Ticket #3810. 272*4e451aadSdrh ** Normally, whenever a table is dropped, all associated triggers are 273*4e451aadSdrh ** dropped too. But if a TEMP trigger is created on a non-TEMP table 274*4e451aadSdrh ** and the table is dropped by a different database connection, the 275*4e451aadSdrh ** trigger is not visible to the database connection that does the 276*4e451aadSdrh ** drop so the trigger cannot be dropped. This results in an 277*4e451aadSdrh ** "orphaned trigger" - a trigger whose associated table is missing. 278*4e451aadSdrh ** 279*4e451aadSdrh ** 2020-11-05 see also https://sqlite.org/forum/forumpost/157dc791df 280*4e451aadSdrh */ 281*4e451aadSdrh db->init.orphanTrigger = 1; 282*4e451aadSdrh } 283*4e451aadSdrh goto trigger_cleanup; 284f0f258b1Sdrh } 285f0f258b1Sdrh 286f0f258b1Sdrh /* 287f0f258b1Sdrh ** This routine is called after all of the trigger actions have been parsed 288f0f258b1Sdrh ** in order to complete the process of building the trigger. 289f0f258b1Sdrh */ 2904adee20fSdanielk1977 void sqlite3FinishTrigger( 291f0f258b1Sdrh Parse *pParse, /* Parser context */ 292f0f258b1Sdrh TriggerStep *pStepList, /* The triggered program */ 293f0f258b1Sdrh Token *pAll /* Token that describes the complete CREATE TRIGGER */ 294f0f258b1Sdrh ){ 2952f886d1dSdanielk1977 Trigger *pTrig = pParse->pNewTrigger; /* Trigger being finished */ 2962f886d1dSdanielk1977 char *zName; /* Name of trigger */ 2979bb575fdSdrh sqlite3 *db = pParse->db; /* The database */ 298a8c62df9Sdrh DbFixer sFix; /* Fixer object */ 299da184236Sdanielk1977 int iDb; /* Database containing the trigger */ 300b7916a78Sdrh Token nameToken; /* Trigger name for error reporting */ 301f0f258b1Sdrh 302f0f258b1Sdrh pParse->pNewTrigger = 0; 3039ab4c2e8Sdrh if( NEVER(pParse->nErr) || !pTrig ) goto triggerfinish_cleanup; 304165921a7Sdan zName = pTrig->zName; 305da184236Sdanielk1977 iDb = sqlite3SchemaToIndex(pParse->db, pTrig->pSchema); 306bfb9e35bSdanielk1977 pTrig->step_list = pStepList; 307a69d9168Sdrh while( pStepList ){ 308bfb9e35bSdanielk1977 pStepList->pTrig = pTrig; 309a69d9168Sdrh pStepList = pStepList->pNext; 310a69d9168Sdrh } 31140aced5cSdrh sqlite3TokenInit(&nameToken, pTrig->zName); 312d100f691Sdrh sqlite3FixInit(&sFix, pParse, iDb, "trigger", &nameToken); 313d100f691Sdrh if( sqlite3FixTriggerStep(&sFix, pTrig->step_list) 31446539d7cSdan || sqlite3FixExpr(&sFix, pTrig->pWhen) 315d100f691Sdrh ){ 316f26e09c8Sdrh goto triggerfinish_cleanup; 317f26e09c8Sdrh } 318c3f9bad2Sdanielk1977 3195496d6a2Sdan #ifndef SQLITE_OMIT_ALTERTABLE 320c9461eccSdan if( IN_RENAME_OBJECT ){ 3215496d6a2Sdan assert( !db->init.busy ); 3225496d6a2Sdan pParse->pNewTrigger = pTrig; 3235496d6a2Sdan pTrig = 0; 3245496d6a2Sdan }else 3255496d6a2Sdan #endif 3265496d6a2Sdan 327a8c62df9Sdrh /* if we are not initializing, 3281e32bed3Sdrh ** build the sqlite_schema entry 3299adf9ac4Sdrh */ 3301d85d931Sdrh if( !db->init.busy ){ 331c977f7f5Sdrh Vdbe *v; 3322d401ab8Sdrh char *z; 333c3f9bad2Sdanielk1977 3341e32bed3Sdrh /* Make an entry in the sqlite_schema table */ 3354adee20fSdanielk1977 v = sqlite3GetVdbe(pParse); 336f0f258b1Sdrh if( v==0 ) goto triggerfinish_cleanup; 337da184236Sdanielk1977 sqlite3BeginWriteOperation(pParse, 0, iDb); 3382d401ab8Sdrh z = sqlite3DbStrNDup(db, (char*)pAll->z, pAll->n); 339d96cc6fbSdrh testcase( z==0 ); 3402d401ab8Sdrh sqlite3NestedParse(pParse, 341346a70caSdrh "INSERT INTO %Q." DFLT_SCHEMA_TABLE 342346a70caSdrh " VALUES('trigger',%Q,%Q,0,'CREATE TRIGGER %q')", 343346a70caSdrh db->aDb[iDb].zDbSName, zName, 3442d401ab8Sdrh pTrig->table, z); 345633e6d57Sdrh sqlite3DbFree(db, z); 3469cbf3425Sdrh sqlite3ChangeCookie(pParse, iDb); 3475d9c9da6Sdrh sqlite3VdbeAddParseSchemaOp(v, iDb, 3485d9c9da6Sdrh sqlite3MPrintf(db, "type='trigger' AND name='%q'", zName)); 349c3f9bad2Sdanielk1977 } 350c3f9bad2Sdanielk1977 351956bc92cSdrh if( db->init.busy ){ 3522f886d1dSdanielk1977 Trigger *pLink = pTrig; 3532f886d1dSdanielk1977 Hash *pHash = &db->aDb[iDb].pSchema->trigHash; 3542120608eSdrh assert( sqlite3SchemaMutexHeld(db, iDb, 0) ); 35555f66b34Sdrh assert( pLink!=0 ); 356acbcb7e0Sdrh pTrig = sqlite3HashInsert(pHash, zName, pTrig); 3572f886d1dSdanielk1977 if( pTrig ){ 3584a642b60Sdrh sqlite3OomFault(db); 3592f886d1dSdanielk1977 }else if( pLink->pSchema==pLink->pTabSchema ){ 3602f886d1dSdanielk1977 Table *pTab; 361acbcb7e0Sdrh pTab = sqlite3HashFind(&pLink->pTabSchema->tblHash, pLink->table); 362f0f258b1Sdrh assert( pTab!=0 ); 3632f886d1dSdanielk1977 pLink->pNext = pTab->pTrigger; 3642f886d1dSdanielk1977 pTab->pTrigger = pLink; 3652f886d1dSdanielk1977 } 366c3f9bad2Sdanielk1977 } 367c3f9bad2Sdanielk1977 368f0f258b1Sdrh triggerfinish_cleanup: 369633e6d57Sdrh sqlite3DeleteTrigger(db, pTrig); 370c9461eccSdan assert( IN_RENAME_OBJECT || !pParse->pNewTrigger ); 371633e6d57Sdrh sqlite3DeleteTriggerStep(db, pStepList); 372c3f9bad2Sdanielk1977 } 3734b59ab5eSdrh 3744b59ab5eSdrh /* 375f259df5fSdrh ** Duplicate a range of text from an SQL statement, then convert all 376f259df5fSdrh ** whitespace characters into ordinary space characters. 377f259df5fSdrh */ 378f259df5fSdrh static char *triggerSpanDup(sqlite3 *db, const char *zStart, const char *zEnd){ 379f259df5fSdrh char *z = sqlite3DbSpanDup(db, zStart, zEnd); 380f259df5fSdrh int i; 381f259df5fSdrh if( z ) for(i=0; z[i]; i++) if( sqlite3Isspace(z[i]) ) z[i] = ' '; 382f259df5fSdrh return z; 383f259df5fSdrh } 384f259df5fSdrh 385f259df5fSdrh /* 386c977f7f5Sdrh ** Turn a SELECT statement (that the pSelect parameter points to) into 387c977f7f5Sdrh ** a trigger step. Return a pointer to a TriggerStep structure. 388c977f7f5Sdrh ** 389c977f7f5Sdrh ** The parser calls this routine when it finds a SELECT statement in 390c977f7f5Sdrh ** body of a TRIGGER. 391c977f7f5Sdrh */ 392f259df5fSdrh TriggerStep *sqlite3TriggerSelectStep( 393f259df5fSdrh sqlite3 *db, /* Database connection */ 394f259df5fSdrh Select *pSelect, /* The SELECT statement */ 395f259df5fSdrh const char *zStart, /* Start of SQL text */ 396f259df5fSdrh const char *zEnd /* End of SQL text */ 397f259df5fSdrh ){ 39817435752Sdrh TriggerStep *pTriggerStep = sqlite3DbMallocZero(db, sizeof(TriggerStep)); 3992e588c75Sdanielk1977 if( pTriggerStep==0 ) { 400633e6d57Sdrh sqlite3SelectDelete(db, pSelect); 4012e588c75Sdanielk1977 return 0; 4022e588c75Sdanielk1977 } 403633ed08dSdanielk1977 pTriggerStep->op = TK_SELECT; 404633ed08dSdanielk1977 pTriggerStep->pSelect = pSelect; 405633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 406f259df5fSdrh pTriggerStep->zSpan = triggerSpanDup(db, zStart, zEnd); 407b7916a78Sdrh return pTriggerStep; 408b7916a78Sdrh } 409c3f9bad2Sdanielk1977 410b7916a78Sdrh /* 411b7916a78Sdrh ** Allocate space to hold a new trigger step. The allocated space 412b7916a78Sdrh ** holds both the TriggerStep object and the TriggerStep.target.z string. 413b7916a78Sdrh ** 414b7916a78Sdrh ** If an OOM error occurs, NULL is returned and db->mallocFailed is set. 415b7916a78Sdrh */ 416b7916a78Sdrh static TriggerStep *triggerStepAllocate( 417c9461eccSdan Parse *pParse, /* Parser context */ 4185eff7cf0Sshane u8 op, /* Trigger opcode */ 419f259df5fSdrh Token *pName, /* The target name */ 420f259df5fSdrh const char *zStart, /* Start of SQL text */ 421f259df5fSdrh const char *zEnd /* End of SQL text */ 422b7916a78Sdrh ){ 423c9461eccSdan sqlite3 *db = pParse->db; 424b7916a78Sdrh TriggerStep *pTriggerStep; 425b7916a78Sdrh 42646408354Sdan pTriggerStep = sqlite3DbMallocZero(db, sizeof(TriggerStep) + pName->n + 1); 427b7916a78Sdrh if( pTriggerStep ){ 428b7916a78Sdrh char *z = (char*)&pTriggerStep[1]; 429b7916a78Sdrh memcpy(z, pName->z, pName->n); 43046408354Sdan sqlite3Dequote(z); 43146408354Sdan pTriggerStep->zTarget = z; 432b7916a78Sdrh pTriggerStep->op = op; 433f259df5fSdrh pTriggerStep->zSpan = triggerSpanDup(db, zStart, zEnd); 434c9461eccSdan if( IN_RENAME_OBJECT ){ 435c9461eccSdan sqlite3RenameTokenMap(pParse, pTriggerStep->zTarget, pName); 436c9461eccSdan } 437b7916a78Sdrh } 438633ed08dSdanielk1977 return pTriggerStep; 439c3f9bad2Sdanielk1977 } 440c3f9bad2Sdanielk1977 441c977f7f5Sdrh /* 442c977f7f5Sdrh ** Build a trigger step out of an INSERT statement. Return a pointer 443c977f7f5Sdrh ** to the new trigger step. 444c977f7f5Sdrh ** 445c977f7f5Sdrh ** The parser calls this routine when it sees an INSERT inside the 446c977f7f5Sdrh ** body of a trigger. 447c977f7f5Sdrh */ 4484adee20fSdanielk1977 TriggerStep *sqlite3TriggerInsertStep( 4495be60c55Sdan Parse *pParse, /* Parser */ 450c977f7f5Sdrh Token *pTableName, /* Name of the table into which we insert */ 451c977f7f5Sdrh IdList *pColumn, /* List of columns in pTableName to insert into */ 452c977f7f5Sdrh Select *pSelect, /* A SELECT statement that supplies values */ 453f259df5fSdrh u8 orconf, /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */ 45446d2e5c3Sdrh Upsert *pUpsert, /* ON CONFLICT clauses for upsert */ 455f259df5fSdrh const char *zStart, /* Start of SQL text */ 456f259df5fSdrh const char *zEnd /* End of SQL text */ 457633ed08dSdanielk1977 ){ 4585be60c55Sdan sqlite3 *db = pParse->db; 459f3a65f7eSdrh TriggerStep *pTriggerStep; 460c3f9bad2Sdanielk1977 46175593d96Sdrh assert(pSelect != 0 || db->mallocFailed); 462c3f9bad2Sdanielk1977 463c9461eccSdan pTriggerStep = triggerStepAllocate(pParse, TK_INSERT, pTableName,zStart,zEnd); 464d5d56523Sdanielk1977 if( pTriggerStep ){ 465c9461eccSdan if( IN_RENAME_OBJECT ){ 4665be60c55Sdan pTriggerStep->pSelect = pSelect; 4675be60c55Sdan pSelect = 0; 4685be60c55Sdan }else{ 46933e619fcSdrh pTriggerStep->pSelect = sqlite3SelectDup(db, pSelect, EXPRDUP_REDUCE); 4705be60c55Sdan } 471633ed08dSdanielk1977 pTriggerStep->pIdList = pColumn; 47246d2e5c3Sdrh pTriggerStep->pUpsert = pUpsert; 473633ed08dSdanielk1977 pTriggerStep->orconf = orconf; 4749105fd51Sdan if( pUpsert ){ 4759105fd51Sdan sqlite3HasExplicitNulls(pParse, pUpsert->pUpsertTarget); 4769105fd51Sdan } 477d5d56523Sdanielk1977 }else{ 4789916048bSdrh testcase( pColumn ); 479633e6d57Sdrh sqlite3IdListDelete(db, pColumn); 4809916048bSdrh testcase( pUpsert ); 48146d2e5c3Sdrh sqlite3UpsertDelete(db, pUpsert); 48233e619fcSdrh } 483633e6d57Sdrh sqlite3SelectDelete(db, pSelect); 484c3f9bad2Sdanielk1977 485633ed08dSdanielk1977 return pTriggerStep; 486c3f9bad2Sdanielk1977 } 487c3f9bad2Sdanielk1977 488c977f7f5Sdrh /* 489c977f7f5Sdrh ** Construct a trigger step that implements an UPDATE statement and return 490c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 491c977f7f5Sdrh ** sees an UPDATE statement inside the body of a CREATE TRIGGER. 492c977f7f5Sdrh */ 4934adee20fSdanielk1977 TriggerStep *sqlite3TriggerUpdateStep( 4945be60c55Sdan Parse *pParse, /* Parser */ 495c977f7f5Sdrh Token *pTableName, /* Name of the table to be updated */ 496e7877b2dSdan SrcList *pFrom, 497c977f7f5Sdrh ExprList *pEList, /* The SET clause: list of column and new values */ 498c977f7f5Sdrh Expr *pWhere, /* The WHERE clause */ 499f259df5fSdrh u8 orconf, /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */ 500f259df5fSdrh const char *zStart, /* Start of SQL text */ 501f259df5fSdrh const char *zEnd /* End of SQL text */ 502c977f7f5Sdrh ){ 5035be60c55Sdan sqlite3 *db = pParse->db; 504b7916a78Sdrh TriggerStep *pTriggerStep; 505b7916a78Sdrh 506c9461eccSdan pTriggerStep = triggerStepAllocate(pParse, TK_UPDATE, pTableName,zStart,zEnd); 50733e619fcSdrh if( pTriggerStep ){ 508c9461eccSdan if( IN_RENAME_OBJECT ){ 5095be60c55Sdan pTriggerStep->pExprList = pEList; 5105be60c55Sdan pTriggerStep->pWhere = pWhere; 511e7877b2dSdan pTriggerStep->pFrom = pFrom; 5125be60c55Sdan pEList = 0; 5135be60c55Sdan pWhere = 0; 514e7877b2dSdan pFrom = 0; 5155be60c55Sdan }else{ 51633e619fcSdrh pTriggerStep->pExprList = sqlite3ExprListDup(db, pEList, EXPRDUP_REDUCE); 51733e619fcSdrh pTriggerStep->pWhere = sqlite3ExprDup(db, pWhere, EXPRDUP_REDUCE); 518e7877b2dSdan pTriggerStep->pFrom = sqlite3SrcListDup(db, pFrom, EXPRDUP_REDUCE); 5195be60c55Sdan } 52033e619fcSdrh pTriggerStep->orconf = orconf; 52133e619fcSdrh } 522633e6d57Sdrh sqlite3ExprListDelete(db, pEList); 523633e6d57Sdrh sqlite3ExprDelete(db, pWhere); 524e7877b2dSdan sqlite3SrcListDelete(db, pFrom); 525633ed08dSdanielk1977 return pTriggerStep; 526c3f9bad2Sdanielk1977 } 527c3f9bad2Sdanielk1977 528c977f7f5Sdrh /* 529c977f7f5Sdrh ** Construct a trigger step that implements a DELETE statement and return 530c977f7f5Sdrh ** a pointer to that trigger step. The parser calls this routine when it 531c977f7f5Sdrh ** sees a DELETE statement inside the body of a CREATE TRIGGER. 532c977f7f5Sdrh */ 53317435752Sdrh TriggerStep *sqlite3TriggerDeleteStep( 5345be60c55Sdan Parse *pParse, /* Parser */ 53517435752Sdrh Token *pTableName, /* The table from which rows are deleted */ 536f259df5fSdrh Expr *pWhere, /* The WHERE clause */ 537f259df5fSdrh const char *zStart, /* Start of SQL text */ 538f259df5fSdrh const char *zEnd /* End of SQL text */ 53917435752Sdrh ){ 5405be60c55Sdan sqlite3 *db = pParse->db; 541b7916a78Sdrh TriggerStep *pTriggerStep; 542b7916a78Sdrh 543c9461eccSdan pTriggerStep = triggerStepAllocate(pParse, TK_DELETE, pTableName,zStart,zEnd); 54433e619fcSdrh if( pTriggerStep ){ 545c9461eccSdan if( IN_RENAME_OBJECT ){ 5465be60c55Sdan pTriggerStep->pWhere = pWhere; 5475be60c55Sdan pWhere = 0; 5485be60c55Sdan }else{ 54933e619fcSdrh pTriggerStep->pWhere = sqlite3ExprDup(db, pWhere, EXPRDUP_REDUCE); 5505be60c55Sdan } 551633ed08dSdanielk1977 pTriggerStep->orconf = OE_Default; 55233e619fcSdrh } 55333e619fcSdrh sqlite3ExprDelete(db, pWhere); 554633ed08dSdanielk1977 return pTriggerStep; 555c3f9bad2Sdanielk1977 } 556c3f9bad2Sdanielk1977 557c3f9bad2Sdanielk1977 /* 558633ed08dSdanielk1977 ** Recursively delete a Trigger structure 559c3f9bad2Sdanielk1977 */ 560633e6d57Sdrh void sqlite3DeleteTrigger(sqlite3 *db, Trigger *pTrigger){ 561f0f258b1Sdrh if( pTrigger==0 ) return; 562633e6d57Sdrh sqlite3DeleteTriggerStep(db, pTrigger->step_list); 563165921a7Sdan sqlite3DbFree(db, pTrigger->zName); 564633e6d57Sdrh sqlite3DbFree(db, pTrigger->table); 565633e6d57Sdrh sqlite3ExprDelete(db, pTrigger->pWhen); 566633e6d57Sdrh sqlite3IdListDelete(db, pTrigger->pColumns); 567633e6d57Sdrh sqlite3DbFree(db, pTrigger); 568633ed08dSdanielk1977 } 569633ed08dSdanielk1977 570633ed08dSdanielk1977 /* 5718a41449eSdanielk1977 ** This function is called to drop a trigger from the database schema. 5728a41449eSdanielk1977 ** 5738a41449eSdanielk1977 ** This may be called directly from the parser and therefore identifies 5748a41449eSdanielk1977 ** the trigger by name. The sqlite3DropTriggerPtr() routine does the 5758a41449eSdanielk1977 ** same job as this routine except it takes a pointer to the trigger 5768a41449eSdanielk1977 ** instead of the trigger name. 5778a41449eSdanielk1977 **/ 578fdd48a76Sdrh void sqlite3DropTrigger(Parse *pParse, SrcList *pName, int noErr){ 579742f947bSdanielk1977 Trigger *pTrigger = 0; 580d24cc427Sdrh int i; 581d24cc427Sdrh const char *zDb; 582d24cc427Sdrh const char *zName; 5839bb575fdSdrh sqlite3 *db = pParse->db; 584633ed08dSdanielk1977 58517435752Sdrh if( db->mallocFailed ) goto drop_trigger_cleanup; 5868a41449eSdanielk1977 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){ 587c0391398Sdanielk1977 goto drop_trigger_cleanup; 588c0391398Sdanielk1977 } 5898e227875Sdanielk1977 590d24cc427Sdrh assert( pName->nSrc==1 ); 591d24cc427Sdrh zDb = pName->a[0].zDatabase; 592d24cc427Sdrh zName = pName->a[0].zName; 5932120608eSdrh assert( zDb!=0 || sqlite3BtreeHoldsAllMutexes(db) ); 59453c0f748Sdanielk1977 for(i=OMIT_TEMPDB; i<db->nDb; i++){ 595812d7a21Sdrh int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */ 596465c2b89Sdan if( zDb && sqlite3DbIsNamed(db, j, zDb)==0 ) continue; 5972120608eSdrh assert( sqlite3SchemaMutexHeld(db, j, 0) ); 598acbcb7e0Sdrh pTrigger = sqlite3HashFind(&(db->aDb[j].pSchema->trigHash), zName); 599d24cc427Sdrh if( pTrigger ) break; 600c3f9bad2Sdanielk1977 } 601d24cc427Sdrh if( !pTrigger ){ 602fdd48a76Sdrh if( !noErr ){ 6034adee20fSdanielk1977 sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0); 60457966753Sdan }else{ 60557966753Sdan sqlite3CodeVerifyNamedSchema(pParse, zDb); 606fdd48a76Sdrh } 6071db95106Sdan pParse->checkSchema = 1; 608d24cc427Sdrh goto drop_trigger_cleanup; 609d24cc427Sdrh } 61074161705Sdrh sqlite3DropTriggerPtr(pParse, pTrigger); 61179a519c0Sdrh 61279a519c0Sdrh drop_trigger_cleanup: 613633e6d57Sdrh sqlite3SrcListDelete(db, pName); 61479a519c0Sdrh } 61579a519c0Sdrh 61679a519c0Sdrh /* 617956bc92cSdrh ** Return a pointer to the Table structure for the table that a trigger 618956bc92cSdrh ** is set on. 619956bc92cSdrh */ 62074161705Sdrh static Table *tableOfTrigger(Trigger *pTrigger){ 621acbcb7e0Sdrh return sqlite3HashFind(&pTrigger->pTabSchema->tblHash, pTrigger->table); 622956bc92cSdrh } 623956bc92cSdrh 624956bc92cSdrh 625956bc92cSdrh /* 62674161705Sdrh ** Drop a trigger given a pointer to that trigger. 62779a519c0Sdrh */ 62874161705Sdrh void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger){ 62979a519c0Sdrh Table *pTable; 63079a519c0Sdrh Vdbe *v; 6319bb575fdSdrh sqlite3 *db = pParse->db; 632956bc92cSdrh int iDb; 63379a519c0Sdrh 634da184236Sdanielk1977 iDb = sqlite3SchemaToIndex(pParse->db, pTrigger->pSchema); 635956bc92cSdrh assert( iDb>=0 && iDb<db->nDb ); 63674161705Sdrh pTable = tableOfTrigger(pTrigger); 6376397a78bSdrh assert( (pTable && pTable->pSchema==pTrigger->pSchema) || iDb==1 ); 638e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION 6396397a78bSdrh if( pTable ){ 640e5f9c644Sdrh int code = SQLITE_DROP_TRIGGER; 64169c33826Sdrh const char *zDb = db->aDb[iDb].zDbSName; 642956bc92cSdrh const char *zTab = SCHEMA_TABLE(iDb); 643956bc92cSdrh if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER; 6442bd93516Sdan if( sqlite3AuthCheck(pParse, code, pTrigger->zName, pTable->zName, zDb) || 6454adee20fSdanielk1977 sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){ 64679a519c0Sdrh return; 647ed6c8671Sdrh } 648e5f9c644Sdrh } 649e5f9c644Sdrh #endif 650c3f9bad2Sdanielk1977 651f0f258b1Sdrh /* Generate code to destroy the database record of the trigger. 652f0f258b1Sdrh */ 65343617e9aSdrh if( (v = sqlite3GetVdbe(pParse))!=0 ){ 6548c8dddc9Sdrh sqlite3NestedParse(pParse, 655346a70caSdrh "DELETE FROM %Q." DFLT_SCHEMA_TABLE " WHERE name=%Q AND type='trigger'", 656346a70caSdrh db->aDb[iDb].zDbSName, pTrigger->zName 6578c8dddc9Sdrh ); 6589cbf3425Sdrh sqlite3ChangeCookie(pParse, iDb); 659165921a7Sdan sqlite3VdbeAddOp4(v, OP_DropTrigger, iDb, 0, 0, pTrigger->zName, 0); 660956bc92cSdrh } 661f0f258b1Sdrh } 662f0f258b1Sdrh 663c3f9bad2Sdanielk1977 /* 664956bc92cSdrh ** Remove a trigger from the hash tables of the sqlite* pointer. 665c3f9bad2Sdanielk1977 */ 666956bc92cSdrh void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){ 667956bc92cSdrh Trigger *pTrigger; 6682120608eSdrh Hash *pHash; 6692120608eSdrh 6702120608eSdrh assert( sqlite3SchemaMutexHeld(db, iDb, 0) ); 6712120608eSdrh pHash = &(db->aDb[iDb].pSchema->trigHash); 672acbcb7e0Sdrh pTrigger = sqlite3HashInsert(pHash, zName, 0); 6739ab4c2e8Sdrh if( ALWAYS(pTrigger) ){ 6742f886d1dSdanielk1977 if( pTrigger->pSchema==pTrigger->pTabSchema ){ 6752f886d1dSdanielk1977 Table *pTab = tableOfTrigger(pTrigger); 6766397a78bSdrh if( pTab ){ 6772f886d1dSdanielk1977 Trigger **pp; 6780232dadeSdan for(pp=&pTab->pTrigger; *pp; pp=&((*pp)->pNext)){ 6790232dadeSdan if( *pp==pTrigger ){ 6802f886d1dSdanielk1977 *pp = (*pp)->pNext; 6810232dadeSdan break; 6820232dadeSdan } 6830232dadeSdan } 684c3f9bad2Sdanielk1977 } 6856397a78bSdrh } 686633e6d57Sdrh sqlite3DeleteTrigger(db, pTrigger); 6878257aa8dSdrh db->mDbFlags |= DBFLAG_SchemaChange; 688c3f9bad2Sdanielk1977 } 689c3f9bad2Sdanielk1977 } 690c3f9bad2Sdanielk1977 691c977f7f5Sdrh /* 692c977f7f5Sdrh ** pEList is the SET clause of an UPDATE statement. Each entry 693c977f7f5Sdrh ** in pEList is of the format <id>=<expr>. If any of the entries 694c977f7f5Sdrh ** in pEList have an <id> which matches an identifier in pIdList, 695c977f7f5Sdrh ** then return TRUE. If pIdList==NULL, then it is considered a 696c977f7f5Sdrh ** wildcard that matches anything. Likewise if pEList==NULL then 697c977f7f5Sdrh ** it matches anything so always return true. Return false only 698c977f7f5Sdrh ** if there is no match. 699c977f7f5Sdrh */ 7009ab4c2e8Sdrh static int checkColumnOverlap(IdList *pIdList, ExprList *pEList){ 701ad2d8307Sdrh int e; 7029ab4c2e8Sdrh if( pIdList==0 || NEVER(pEList==0) ) return 1; 703f29ce559Sdanielk1977 for(e=0; e<pEList->nExpr; e++){ 70441cee668Sdrh if( sqlite3IdListIndex(pIdList, pEList->a[e].zEName)>=0 ) return 1; 705f29ce559Sdanielk1977 } 706c3f9bad2Sdanielk1977 return 0; 707c3f9bad2Sdanielk1977 } 708c3f9bad2Sdanielk1977 709c3f9bad2Sdanielk1977 /* 7102f886d1dSdanielk1977 ** Return a list of all triggers on table pTab if there exists at least 7112f886d1dSdanielk1977 ** one trigger that must be fired when an operation of type 'op' is 7122f886d1dSdanielk1977 ** performed on the table, and, if that operation is an UPDATE, if at 7132f886d1dSdanielk1977 ** least one of the columns in pChanges is being modified. 714c3f9bad2Sdanielk1977 */ 7152f886d1dSdanielk1977 Trigger *sqlite3TriggersExist( 7162f886d1dSdanielk1977 Parse *pParse, /* Parse context */ 717dca76841Sdrh Table *pTab, /* The table the contains the triggers */ 718c3f9bad2Sdanielk1977 int op, /* one of TK_DELETE, TK_INSERT, TK_UPDATE */ 7192f886d1dSdanielk1977 ExprList *pChanges, /* Columns that change in an UPDATE statement */ 7202f886d1dSdanielk1977 int *pMask /* OUT: Mask of TRIGGER_BEFORE|TRIGGER_AFTER */ 721c977f7f5Sdrh ){ 722dca76841Sdrh int mask = 0; 723e83cafd2Sdrh Trigger *pList = 0; 7242f886d1dSdanielk1977 Trigger *p; 725e83cafd2Sdrh 726e83cafd2Sdrh if( (pParse->db->flags & SQLITE_EnableTrigger)!=0 ){ 727e83cafd2Sdrh pList = sqlite3TriggerList(pParse, pTab); 728e83cafd2Sdrh } 7292f886d1dSdanielk1977 assert( pList==0 || IsVirtual(pTab)==0 ); 7302f886d1dSdanielk1977 for(p=pList; p; p=p->pNext){ 7319ab4c2e8Sdrh if( p->op==op && checkColumnOverlap(p->pColumns, pChanges) ){ 7322f886d1dSdanielk1977 mask |= p->tr_tm; 733c3f9bad2Sdanielk1977 } 734dca76841Sdrh } 7352f886d1dSdanielk1977 if( pMask ){ 7362f886d1dSdanielk1977 *pMask = mask; 7372f886d1dSdanielk1977 } 7382f886d1dSdanielk1977 return (mask ? pList : 0); 739c3f9bad2Sdanielk1977 } 740c3f9bad2Sdanielk1977 741c977f7f5Sdrh /* 74246408354Sdan ** Convert the pStep->zTarget string into a SrcList and return a pointer 743f26e09c8Sdrh ** to that SrcList. 744f26e09c8Sdrh ** 745f26e09c8Sdrh ** This routine adds a specific database name, if needed, to the target when 746f26e09c8Sdrh ** forming the SrcList. This prevents a trigger in one database from 747f26e09c8Sdrh ** referring to a target in another database. An exception is when the 748f26e09c8Sdrh ** trigger is in TEMP in which case it can refer to any other database it 749f26e09c8Sdrh ** wants. 750f26e09c8Sdrh */ 751e7877b2dSdan SrcList *sqlite3TriggerStepSrc( 752f26e09c8Sdrh Parse *pParse, /* The parsing context */ 753f26e09c8Sdrh TriggerStep *pStep /* The trigger containing the target token */ 754f26e09c8Sdrh ){ 75546408354Sdan sqlite3 *db = pParse->db; 756f26e09c8Sdrh SrcList *pSrc; /* SrcList to be returned */ 757e7877b2dSdan char *zName = sqlite3DbStrDup(db, pStep->zTarget); 75829c992cbSdrh pSrc = sqlite3SrcListAppend(pParse, 0, 0, 0); 759e7877b2dSdan assert( pSrc==0 || pSrc->nSrc==1 ); 760e7877b2dSdan assert( zName || pSrc==0 ); 761b7916a78Sdrh if( pSrc ){ 762e7877b2dSdan Schema *pSchema = pStep->pTrig->pSchema; 763e7877b2dSdan pSrc->a[0].zName = zName; 764e7877b2dSdan if( pSchema!=db->aDb[1].pSchema ){ 765e7877b2dSdan pSrc->a[0].pSchema = pSchema; 766b7916a78Sdrh } 767e7877b2dSdan if( pStep->pFrom ){ 768e7877b2dSdan SrcList *pDup = sqlite3SrcListDup(db, pStep->pFrom, 0); 769e7877b2dSdan pSrc = sqlite3SrcListAppendList(pParse, pSrc, pDup); 770e7877b2dSdan } 771e7877b2dSdan }else{ 772e7877b2dSdan sqlite3DbFree(db, zName); 773f26e09c8Sdrh } 774f26e09c8Sdrh return pSrc; 775f26e09c8Sdrh } 776f26e09c8Sdrh 777f26e09c8Sdrh /* 77865a7cd16Sdan ** Generate VDBE code for the statements inside the body of a single 779c977f7f5Sdrh ** trigger. 780c977f7f5Sdrh */ 781c3f9bad2Sdanielk1977 static int codeTriggerProgram( 782c977f7f5Sdrh Parse *pParse, /* The parser context */ 783c977f7f5Sdrh TriggerStep *pStepList, /* List of statements inside the trigger body */ 78465a7cd16Sdan int orconf /* Conflict algorithm. (OE_Abort, etc) */ 785633ed08dSdanielk1977 ){ 78665a7cd16Sdan TriggerStep *pStep; 787344737f6Sdrh Vdbe *v = pParse->pVdbe; 78817435752Sdrh sqlite3 *db = pParse->db; 789c3f9bad2Sdanielk1977 79065a7cd16Sdan assert( pParse->pTriggerTab && pParse->pToplevel ); 79165a7cd16Sdan assert( pStepList ); 792344737f6Sdrh assert( v!=0 ); 79365a7cd16Sdan for(pStep=pStepList; pStep; pStep=pStep->pNext){ 794165921a7Sdan /* Figure out the ON CONFLICT policy that will be used for this step 795165921a7Sdan ** of the trigger program. If the statement that caused this trigger 796165921a7Sdan ** to fire had an explicit ON CONFLICT, then use it. Otherwise, use 797165921a7Sdan ** the ON CONFLICT policy that was specified as part of the trigger 798165921a7Sdan ** step statement. Example: 799165921a7Sdan ** 800165921a7Sdan ** CREATE TRIGGER AFTER INSERT ON t1 BEGIN; 801165921a7Sdan ** INSERT OR REPLACE INTO t2 VALUES(new.a, new.b); 802165921a7Sdan ** END; 803165921a7Sdan ** 804165921a7Sdan ** INSERT INTO t1 ... ; -- insert into t2 uses REPLACE policy 805165921a7Sdan ** INSERT OR IGNORE INTO t1 ... ; -- insert into t2 uses IGNORE policy 806165921a7Sdan */ 807cea72b2dSshane pParse->eOrconf = (orconf==OE_Default)?pStep->orconf:(u8)orconf; 808aceb31b1Sdrh assert( pParse->okConstFactor==0 ); 809f78baafeSdan 810f259df5fSdrh #ifndef SQLITE_OMIT_TRACE 811e307e11dSdrh if( pStep->zSpan ){ 812f259df5fSdrh sqlite3VdbeAddOp4(v, OP_Trace, 0x7fffffff, 1, 0, 813f259df5fSdrh sqlite3MPrintf(db, "-- %s", pStep->zSpan), 814f259df5fSdrh P4_DYNAMIC); 815e307e11dSdrh } 816f259df5fSdrh #endif 817f259df5fSdrh 818165921a7Sdan switch( pStep->op ){ 819c3f9bad2Sdanielk1977 case TK_UPDATE: { 820165921a7Sdan sqlite3Update(pParse, 821e7877b2dSdan sqlite3TriggerStepSrc(pParse, pStep), 822165921a7Sdan sqlite3ExprListDup(db, pStep->pExprList, 0), 823165921a7Sdan sqlite3ExprDup(db, pStep->pWhere, 0), 824eac9fabbSdrh pParse->eOrconf, 0, 0, 0 825165921a7Sdan ); 826c3f9bad2Sdanielk1977 break; 827c3f9bad2Sdanielk1977 } 828c3f9bad2Sdanielk1977 case TK_INSERT: { 829165921a7Sdan sqlite3Insert(pParse, 830e7877b2dSdan sqlite3TriggerStepSrc(pParse, pStep), 831165921a7Sdan sqlite3SelectDup(db, pStep->pSelect, 0), 832165921a7Sdan sqlite3IdListDup(db, pStep->pIdList), 83346d2e5c3Sdrh pParse->eOrconf, 83446d2e5c3Sdrh sqlite3UpsertDup(db, pStep->pUpsert) 835165921a7Sdan ); 836c3f9bad2Sdanielk1977 break; 837c3f9bad2Sdanielk1977 } 838c3f9bad2Sdanielk1977 case TK_DELETE: { 839165921a7Sdan sqlite3DeleteFrom(pParse, 840e7877b2dSdan sqlite3TriggerStepSrc(pParse, pStep), 8418c0833fbSdrh sqlite3ExprDup(db, pStep->pWhere, 0), 0, 0 842165921a7Sdan ); 843c3f9bad2Sdanielk1977 break; 844c3f9bad2Sdanielk1977 } 845165921a7Sdan default: assert( pStep->op==TK_SELECT ); { 846165921a7Sdan SelectDest sDest; 847165921a7Sdan Select *pSelect = sqlite3SelectDup(db, pStep->pSelect, 0); 848165921a7Sdan sqlite3SelectDestInit(&sDest, SRT_Discard, 0); 849165921a7Sdan sqlite3Select(pParse, pSelect, &sDest); 850165921a7Sdan sqlite3SelectDelete(db, pSelect); 8519ab4c2e8Sdrh break; 8529ab4c2e8Sdrh } 853c3f9bad2Sdanielk1977 } 85476d462eeSdan if( pStep->op!=TK_SELECT ){ 855b7f1d9a7Sdrh sqlite3VdbeAddOp0(v, OP_ResetCount); 85676d462eeSdan } 857c3f9bad2Sdanielk1977 } 858c3f9bad2Sdanielk1977 859c3f9bad2Sdanielk1977 return 0; 860c3f9bad2Sdanielk1977 } 861c3f9bad2Sdanielk1977 862c7379ce4Sdrh #ifdef SQLITE_ENABLE_EXPLAIN_COMMENTS 863165921a7Sdan /* 864165921a7Sdan ** This function is used to add VdbeComment() annotations to a VDBE 865165921a7Sdan ** program. It is not used in production code, only for debugging. 866165921a7Sdan */ 867165921a7Sdan static const char *onErrorText(int onError){ 868165921a7Sdan switch( onError ){ 869165921a7Sdan case OE_Abort: return "abort"; 870165921a7Sdan case OE_Rollback: return "rollback"; 871165921a7Sdan case OE_Fail: return "fail"; 872165921a7Sdan case OE_Replace: return "replace"; 873165921a7Sdan case OE_Ignore: return "ignore"; 874165921a7Sdan case OE_Default: return "default"; 875165921a7Sdan } 876165921a7Sdan return "n/a"; 877165921a7Sdan } 878165921a7Sdan #endif 879165921a7Sdan 880165921a7Sdan /* 881165921a7Sdan ** Parse context structure pFrom has just been used to create a sub-vdbe 882165921a7Sdan ** (trigger program). If an error has occurred, transfer error information 883165921a7Sdan ** from pFrom to pTo. 884165921a7Sdan */ 885165921a7Sdan static void transferParseError(Parse *pTo, Parse *pFrom){ 886165921a7Sdan assert( pFrom->zErrMsg==0 || pFrom->nErr ); 887165921a7Sdan assert( pTo->zErrMsg==0 || pTo->nErr ); 888165921a7Sdan if( pTo->nErr==0 ){ 889165921a7Sdan pTo->zErrMsg = pFrom->zErrMsg; 890165921a7Sdan pTo->nErr = pFrom->nErr; 891e06874eaSdrh pTo->rc = pFrom->rc; 892165921a7Sdan }else{ 893165921a7Sdan sqlite3DbFree(pFrom->db, pFrom->zErrMsg); 894165921a7Sdan } 895165921a7Sdan } 896165921a7Sdan 89765a7cd16Sdan /* 89865a7cd16Sdan ** Create and populate a new TriggerPrg object with a sub-program 89965a7cd16Sdan ** implementing trigger pTrigger with ON CONFLICT policy orconf. 90065a7cd16Sdan */ 9012832ad42Sdan static TriggerPrg *codeRowTrigger( 902165921a7Sdan Parse *pParse, /* Current parse context */ 903165921a7Sdan Trigger *pTrigger, /* Trigger to code */ 90465a7cd16Sdan Table *pTab, /* The table pTrigger is attached to */ 90565a7cd16Sdan int orconf /* ON CONFLICT policy to code trigger program with */ 906165921a7Sdan ){ 90765a7cd16Sdan Parse *pTop = sqlite3ParseToplevel(pParse); 90865a7cd16Sdan sqlite3 *db = pParse->db; /* Database handle */ 90965a7cd16Sdan TriggerPrg *pPrg; /* Value to return */ 910165921a7Sdan Expr *pWhen = 0; /* Duplicate of trigger WHEN expression */ 911165921a7Sdan Vdbe *v; /* Temporary VM */ 912165921a7Sdan NameContext sNC; /* Name context for sub-vdbe */ 913165921a7Sdan SubProgram *pProgram = 0; /* Sub-vdbe for trigger program */ 914165921a7Sdan Parse *pSubParse; /* Parse context for sub-vdbe */ 915165921a7Sdan int iEndTrigger = 0; /* Label to jump to if WHEN is false */ 916165921a7Sdan 9171da40a38Sdan assert( pTrigger->zName==0 || pTab==tableOfTrigger(pTrigger) ); 918d19c933eSdan assert( pTop->pVdbe ); 91965a7cd16Sdan 92065a7cd16Sdan /* Allocate the TriggerPrg and SubProgram objects. To ensure that they 92165a7cd16Sdan ** are freed if an error occurs, link them into the Parse.pTriggerPrg 92265a7cd16Sdan ** list of the top-level Parse object sooner rather than later. */ 9232832ad42Sdan pPrg = sqlite3DbMallocZero(db, sizeof(TriggerPrg)); 9242832ad42Sdan if( !pPrg ) return 0; 92565a7cd16Sdan pPrg->pNext = pTop->pTriggerPrg; 92665a7cd16Sdan pTop->pTriggerPrg = pPrg; 9272832ad42Sdan pPrg->pProgram = pProgram = sqlite3DbMallocZero(db, sizeof(SubProgram)); 928165921a7Sdan if( !pProgram ) return 0; 929d19c933eSdan sqlite3VdbeLinkSubProgram(pTop->pVdbe, pProgram); 9302832ad42Sdan pPrg->pTrigger = pTrigger; 9312832ad42Sdan pPrg->orconf = orconf; 932bb5f168fSdan pPrg->aColmask[0] = 0xffffffff; 933bb5f168fSdan pPrg->aColmask[1] = 0xffffffff; 934165921a7Sdan 93565a7cd16Sdan /* Allocate and populate a new Parse context to use for coding the 93665a7cd16Sdan ** trigger sub-program. */ 93765a7cd16Sdan pSubParse = sqlite3StackAllocZero(db, sizeof(Parse)); 93865a7cd16Sdan if( !pSubParse ) return 0; 939165921a7Sdan memset(&sNC, 0, sizeof(sNC)); 940165921a7Sdan sNC.pParse = pSubParse; 941165921a7Sdan pSubParse->db = db; 942165921a7Sdan pSubParse->pTriggerTab = pTab; 94365a7cd16Sdan pSubParse->pToplevel = pTop; 9442bd93516Sdan pSubParse->zAuthContext = pTrigger->zName; 94565a7cd16Sdan pSubParse->eTriggerOp = pTrigger->op; 9468b307fbfSdrh pSubParse->nQueryLoop = pParse->nQueryLoop; 9471ea0443cSdan pSubParse->disableVtab = pParse->disableVtab; 948165921a7Sdan 949165921a7Sdan v = sqlite3GetVdbe(pSubParse); 950165921a7Sdan if( v ){ 95176d462eeSdan VdbeComment((v, "Start: %s.%s (%s %s%s%s ON %s)", 95276d462eeSdan pTrigger->zName, onErrorText(orconf), 953165921a7Sdan (pTrigger->tr_tm==TRIGGER_BEFORE ? "BEFORE" : "AFTER"), 95465a7cd16Sdan (pTrigger->op==TK_UPDATE ? "UPDATE" : ""), 95565a7cd16Sdan (pTrigger->op==TK_INSERT ? "INSERT" : ""), 95665a7cd16Sdan (pTrigger->op==TK_DELETE ? "DELETE" : ""), 95776d462eeSdan pTab->zName 958165921a7Sdan )); 95976d462eeSdan #ifndef SQLITE_OMIT_TRACE 960e307e11dSdrh if( pTrigger->zName ){ 96176d462eeSdan sqlite3VdbeChangeP4(v, -1, 96276d462eeSdan sqlite3MPrintf(db, "-- TRIGGER %s", pTrigger->zName), P4_DYNAMIC 96376d462eeSdan ); 964e307e11dSdrh } 96576d462eeSdan #endif 966165921a7Sdan 96765a7cd16Sdan /* If one was specified, code the WHEN clause. If it evaluates to false 96865a7cd16Sdan ** (or NULL) the sub-vdbe is immediately halted by jumping to the 96965a7cd16Sdan ** OP_Halt inserted at the end of the program. */ 970165921a7Sdan if( pTrigger->pWhen ){ 971165921a7Sdan pWhen = sqlite3ExprDup(db, pTrigger->pWhen, 0); 972523a087bSdan if( SQLITE_OK==sqlite3ResolveExprNames(&sNC, pWhen) 973523a087bSdan && db->mallocFailed==0 974523a087bSdan ){ 975ec4ccdbcSdrh iEndTrigger = sqlite3VdbeMakeLabel(pSubParse); 976165921a7Sdan sqlite3ExprIfFalse(pSubParse, pWhen, iEndTrigger, SQLITE_JUMPIFNULL); 977165921a7Sdan } 978165921a7Sdan sqlite3ExprDelete(db, pWhen); 979165921a7Sdan } 980165921a7Sdan 981165921a7Sdan /* Code the trigger program into the sub-vdbe. */ 98276d462eeSdan codeTriggerProgram(pSubParse, pTrigger->step_list, orconf); 98365a7cd16Sdan 98465a7cd16Sdan /* Insert an OP_Halt at the end of the sub-program. */ 985165921a7Sdan if( iEndTrigger ){ 986165921a7Sdan sqlite3VdbeResolveLabel(v, iEndTrigger); 987165921a7Sdan } 988165921a7Sdan sqlite3VdbeAddOp0(v, OP_Halt); 98976d462eeSdan VdbeComment((v, "End: %s.%s", pTrigger->zName, onErrorText(orconf))); 99076d462eeSdan 991165921a7Sdan transferParseError(pParse, pSubParse); 99208951175Sdan if( db->mallocFailed==0 && pParse->nErr==0 ){ 99365a7cd16Sdan pProgram->aOp = sqlite3VdbeTakeOpArray(v, &pProgram->nOp, &pTop->nMaxArg); 994523a087bSdan } 995165921a7Sdan pProgram->nMem = pSubParse->nMem; 996165921a7Sdan pProgram->nCsr = pSubParse->nTab; 997165921a7Sdan pProgram->token = (void *)pTrigger; 998bb5f168fSdan pPrg->aColmask[0] = pSubParse->oldmask; 999bb5f168fSdan pPrg->aColmask[1] = pSubParse->newmask; 1000165921a7Sdan sqlite3VdbeDelete(v); 100165a7cd16Sdan } 1002165921a7Sdan 100365a7cd16Sdan assert( !pSubParse->pAinc && !pSubParse->pZombieTab ); 100465a7cd16Sdan assert( !pSubParse->pTriggerPrg && !pSubParse->nMaxArg ); 1005f30a969bSdrh sqlite3ParserReset(pSubParse); 1006165921a7Sdan sqlite3StackFree(db, pSubParse); 1007165921a7Sdan 10082832ad42Sdan return pPrg; 1009165921a7Sdan } 1010165921a7Sdan 101165a7cd16Sdan /* 101265a7cd16Sdan ** Return a pointer to a TriggerPrg object containing the sub-program for 101365a7cd16Sdan ** trigger pTrigger with default ON CONFLICT algorithm orconf. If no such 101465a7cd16Sdan ** TriggerPrg object exists, a new object is allocated and populated before 101565a7cd16Sdan ** being returned. 101665a7cd16Sdan */ 10172832ad42Sdan static TriggerPrg *getRowTrigger( 101865a7cd16Sdan Parse *pParse, /* Current parse context */ 1019165921a7Sdan Trigger *pTrigger, /* Trigger to code */ 102065a7cd16Sdan Table *pTab, /* The table trigger pTrigger is attached to */ 102165a7cd16Sdan int orconf /* ON CONFLICT algorithm. */ 1022165921a7Sdan ){ 102365a7cd16Sdan Parse *pRoot = sqlite3ParseToplevel(pParse); 10242832ad42Sdan TriggerPrg *pPrg; 102565a7cd16Sdan 10261da40a38Sdan assert( pTrigger->zName==0 || pTab==tableOfTrigger(pTrigger) ); 1027165921a7Sdan 1028165921a7Sdan /* It may be that this trigger has already been coded (or is in the 1029165921a7Sdan ** process of being coded). If this is the case, then an entry with 10302832ad42Sdan ** a matching TriggerPrg.pTrigger field will be present somewhere 10312832ad42Sdan ** in the Parse.pTriggerPrg list. Search for such an entry. */ 10322832ad42Sdan for(pPrg=pRoot->pTriggerPrg; 10332832ad42Sdan pPrg && (pPrg->pTrigger!=pTrigger || pPrg->orconf!=orconf); 10342832ad42Sdan pPrg=pPrg->pNext 1035165921a7Sdan ); 1036165921a7Sdan 103765a7cd16Sdan /* If an existing TriggerPrg could not be located, create a new one. */ 10382832ad42Sdan if( !pPrg ){ 103965a7cd16Sdan pPrg = codeRowTrigger(pParse, pTrigger, pTab, orconf); 1040165921a7Sdan } 1041165921a7Sdan 10422832ad42Sdan return pPrg; 1043165921a7Sdan } 1044165921a7Sdan 104594d7f50aSdan /* 104694d7f50aSdan ** Generate code for the trigger program associated with trigger p on 104794d7f50aSdan ** table pTab. The reg, orconf and ignoreJump parameters passed to this 104894d7f50aSdan ** function are the same as those described in the header function for 104994d7f50aSdan ** sqlite3CodeRowTrigger() 105094d7f50aSdan */ 10511da40a38Sdan void sqlite3CodeRowTriggerDirect( 10521da40a38Sdan Parse *pParse, /* Parse context */ 10531da40a38Sdan Trigger *p, /* Trigger to code */ 10541da40a38Sdan Table *pTab, /* The table to code triggers from */ 105594d7f50aSdan int reg, /* Reg array containing OLD.* and NEW.* values */ 10561da40a38Sdan int orconf, /* ON CONFLICT policy */ 10571da40a38Sdan int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ 10581da40a38Sdan ){ 10591da40a38Sdan Vdbe *v = sqlite3GetVdbe(pParse); /* Main VM */ 10601da40a38Sdan TriggerPrg *pPrg; 10611da40a38Sdan pPrg = getRowTrigger(pParse, p, pTab, orconf); 10621da40a38Sdan assert( pPrg || pParse->nErr || pParse->db->mallocFailed ); 10631da40a38Sdan 10641da40a38Sdan /* Code the OP_Program opcode in the parent VDBE. P4 of the OP_Program 10651da40a38Sdan ** is a pointer to the sub-vdbe containing the trigger program. */ 10661da40a38Sdan if( pPrg ){ 1067d19c933eSdan int bRecursive = (p->zName && 0==(pParse->db->flags&SQLITE_RecTriggers)); 1068d19c933eSdan 10699b34abeeSdrh sqlite3VdbeAddOp4(v, OP_Program, reg, ignoreJump, ++pParse->nMem, 10709b34abeeSdrh (const char *)pPrg->pProgram, P4_SUBPROGRAM); 10711da40a38Sdan VdbeComment( 10721da40a38Sdan (v, "Call: %s.%s", (p->zName?p->zName:"fkey"), onErrorText(orconf))); 10731da40a38Sdan 10741da40a38Sdan /* Set the P5 operand of the OP_Program instruction to non-zero if 10751da40a38Sdan ** recursive invocation of this trigger program is disallowed. Recursive 10761da40a38Sdan ** invocation is disallowed if (a) the sub-program is really a trigger, 10771da40a38Sdan ** not a foreign key action, and (b) the flag to enable recursive triggers 10781da40a38Sdan ** is clear. */ 1079d19c933eSdan sqlite3VdbeChangeP5(v, (u8)bRecursive); 10801da40a38Sdan } 10811da40a38Sdan } 10821da40a38Sdan 1083633ed08dSdanielk1977 /* 108494d7f50aSdan ** This is called to code the required FOR EACH ROW triggers for an operation 108594d7f50aSdan ** on table pTab. The operation to code triggers for (INSERT, UPDATE or DELETE) 1086f7b5496eSdrh ** is given by the op parameter. The tr_tm parameter determines whether the 108794d7f50aSdan ** BEFORE or AFTER triggers are coded. If the operation is an UPDATE, then 108894d7f50aSdan ** parameter pChanges is passed the list of columns being modified. 1089633ed08dSdanielk1977 ** 109094d7f50aSdan ** If there are no triggers that fire at the specified time for the specified 109194d7f50aSdan ** operation on pTab, this function is a no-op. 1092c977f7f5Sdrh ** 109394d7f50aSdan ** The reg argument is the address of the first in an array of registers 109494d7f50aSdan ** that contain the values substituted for the new.* and old.* references 109594d7f50aSdan ** in the trigger program. If N is the number of columns in table pTab 109694d7f50aSdan ** (a copy of pTab->nCol), then registers are populated as follows: 1097c977f7f5Sdrh ** 109894d7f50aSdan ** Register Contains 109994d7f50aSdan ** ------------------------------------------------------ 110094d7f50aSdan ** reg+0 OLD.rowid 110194d7f50aSdan ** reg+1 OLD.* value of left-most column of pTab 110294d7f50aSdan ** ... ... 110394d7f50aSdan ** reg+N OLD.* value of right-most column of pTab 110494d7f50aSdan ** reg+N+1 NEW.rowid 110594d7f50aSdan ** reg+N+2 OLD.* value of left-most column of pTab 110694d7f50aSdan ** ... ... 110794d7f50aSdan ** reg+N+N+1 NEW.* value of right-most column of pTab 1108c977f7f5Sdrh ** 110994d7f50aSdan ** For ON DELETE triggers, the registers containing the NEW.* values will 111094d7f50aSdan ** never be accessed by the trigger program, so they are not allocated or 111194d7f50aSdan ** populated by the caller (there is no data to populate them with anyway). 111294d7f50aSdan ** Similarly, for ON INSERT triggers the values stored in the OLD.* registers 111394d7f50aSdan ** are never accessed, and so are not allocated by the caller. So, for an 111494d7f50aSdan ** ON INSERT trigger, the value passed to this function as parameter reg 111594d7f50aSdan ** is not a readable register, although registers (reg+N) through 111694d7f50aSdan ** (reg+N+N+1) are. 1117633ed08dSdanielk1977 ** 111894d7f50aSdan ** Parameter orconf is the default conflict resolution algorithm for the 111994d7f50aSdan ** trigger program to use (REPLACE, IGNORE etc.). Parameter ignoreJump 112094d7f50aSdan ** is the instruction that control should jump to if a trigger program 112194d7f50aSdan ** raises an IGNORE exception. 1122633ed08dSdanielk1977 */ 1123165921a7Sdan void sqlite3CodeRowTrigger( 1124c3f9bad2Sdanielk1977 Parse *pParse, /* Parse context */ 11252f886d1dSdanielk1977 Trigger *pTrigger, /* List of triggers on table pTab */ 1126c3f9bad2Sdanielk1977 int op, /* One of TK_UPDATE, TK_INSERT, TK_DELETE */ 1127633ed08dSdanielk1977 ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ 1128dca76841Sdrh int tr_tm, /* One of TRIGGER_BEFORE, TRIGGER_AFTER */ 1129633ed08dSdanielk1977 Table *pTab, /* The table to code triggers from */ 113094d7f50aSdan int reg, /* The first in an array of registers (see above) */ 11316f34903eSdanielk1977 int orconf, /* ON CONFLICT policy */ 1132165921a7Sdan int ignoreJump /* Instruction to jump to for RAISE(IGNORE) */ 1133c977f7f5Sdrh ){ 113494d7f50aSdan Trigger *p; /* Used to iterate through pTrigger list */ 1135cea72b2dSshane 1136c3f9bad2Sdanielk1977 assert( op==TK_UPDATE || op==TK_INSERT || op==TK_DELETE ); 1137dca76841Sdrh assert( tr_tm==TRIGGER_BEFORE || tr_tm==TRIGGER_AFTER ); 113894d7f50aSdan assert( (op==TK_UPDATE)==(pChanges!=0) ); 1139c3f9bad2Sdanielk1977 11402f886d1dSdanielk1977 for(p=pTrigger; p; p=p->pNext){ 1141c3f9bad2Sdanielk1977 11429ab4c2e8Sdrh /* Sanity checking: The schema for the trigger and for the table are 11439ab4c2e8Sdrh ** always defined. The trigger must be in the same schema as the table 11449ab4c2e8Sdrh ** or else it must be a TEMP trigger. */ 11459ab4c2e8Sdrh assert( p->pSchema!=0 ); 11469ab4c2e8Sdrh assert( p->pTabSchema!=0 ); 1147165921a7Sdan assert( p->pSchema==p->pTabSchema 1148165921a7Sdan || p->pSchema==pParse->db->aDb[1].pSchema ); 11499ab4c2e8Sdrh 1150eecfb3eeSdanielk1977 /* Determine whether we should code this trigger */ 1151165921a7Sdan if( p->op==op 1152165921a7Sdan && p->tr_tm==tr_tm 1153165921a7Sdan && checkColumnOverlap(p->pColumns, pChanges) 1154eecfb3eeSdanielk1977 ){ 115594d7f50aSdan sqlite3CodeRowTriggerDirect(pParse, p, pTab, reg, orconf, ignoreJump); 1156c3f9bad2Sdanielk1977 } 1157c3f9bad2Sdanielk1977 } 1158165921a7Sdan } 1159165921a7Sdan 11602832ad42Sdan /* 1161bb5f168fSdan ** Triggers may access values stored in the old.* or new.* pseudo-table. 1162bb5f168fSdan ** This function returns a 32-bit bitmask indicating which columns of the 1163bb5f168fSdan ** old.* or new.* tables actually are used by triggers. This information 1164bb5f168fSdan ** may be used by the caller, for example, to avoid having to load the entire 1165bb5f168fSdan ** old.* record into memory when executing an UPDATE or DELETE command. 11662832ad42Sdan ** 11672832ad42Sdan ** Bit 0 of the returned mask is set if the left-most column of the 1168bb5f168fSdan ** table may be accessed using an [old|new].<col> reference. Bit 1 is set if 11692832ad42Sdan ** the second leftmost column value is required, and so on. If there 11702832ad42Sdan ** are more than 32 columns in the table, and at least one of the columns 11712832ad42Sdan ** with an index greater than 32 may be accessed, 0xffffffff is returned. 11722832ad42Sdan ** 1173bb5f168fSdan ** It is not possible to determine if the old.rowid or new.rowid column is 1174bb5f168fSdan ** accessed by triggers. The caller must always assume that it is. 11752832ad42Sdan ** 1176bb5f168fSdan ** Parameter isNew must be either 1 or 0. If it is 0, then the mask returned 1177bb5f168fSdan ** applies to the old.* table. If 1, the new.* table. 1178bb5f168fSdan ** 1179bb5f168fSdan ** Parameter tr_tm must be a mask with one or both of the TRIGGER_BEFORE 1180bb5f168fSdan ** and TRIGGER_AFTER bits set. Values accessed by BEFORE triggers are only 1181bb5f168fSdan ** included in the returned mask if the TRIGGER_BEFORE bit is set in the 1182bb5f168fSdan ** tr_tm parameter. Similarly, values accessed by AFTER triggers are only 1183bb5f168fSdan ** included in the returned mask if the TRIGGER_AFTER bit is set in tr_tm. 11842832ad42Sdan */ 1185bb5f168fSdan u32 sqlite3TriggerColmask( 1186165921a7Sdan Parse *pParse, /* Parse context */ 1187165921a7Sdan Trigger *pTrigger, /* List of triggers on table pTab */ 1188165921a7Sdan ExprList *pChanges, /* Changes list for any UPDATE OF triggers */ 1189bb5f168fSdan int isNew, /* 1 for new.* ref mask, 0 for old.* ref mask */ 1190bb5f168fSdan int tr_tm, /* Mask of TRIGGER_BEFORE|TRIGGER_AFTER */ 1191165921a7Sdan Table *pTab, /* The table to code triggers from */ 11922832ad42Sdan int orconf /* Default ON CONFLICT policy for trigger steps */ 1193165921a7Sdan ){ 11941da40a38Sdan const int op = pChanges ? TK_UPDATE : TK_DELETE; 11952832ad42Sdan u32 mask = 0; 1196165921a7Sdan Trigger *p; 1197165921a7Sdan 1198bb5f168fSdan assert( isNew==1 || isNew==0 ); 1199165921a7Sdan for(p=pTrigger; p; p=p->pNext){ 1200bb5f168fSdan if( p->op==op && (tr_tm&p->tr_tm) 1201bb5f168fSdan && checkColumnOverlap(p->pColumns,pChanges) 1202bb5f168fSdan ){ 12032832ad42Sdan TriggerPrg *pPrg; 120465a7cd16Sdan pPrg = getRowTrigger(pParse, p, pTab, orconf); 12052832ad42Sdan if( pPrg ){ 1206bb5f168fSdan mask |= pPrg->aColmask[isNew]; 1207165921a7Sdan } 1208165921a7Sdan } 1209165921a7Sdan } 12102832ad42Sdan 12112832ad42Sdan return mask; 1212165921a7Sdan } 1213165921a7Sdan 1214b7f9164eSdrh #endif /* !defined(SQLITE_OMIT_TRIGGER) */ 1215