drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 1 | /* |
drh | b19a2bc | 2001-09-16 00:13:26 +0000 | [diff] [blame] | 2 | ** 2001 September 15 |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 3 | ** |
drh | b19a2bc | 2001-09-16 00:13:26 +0000 | [diff] [blame] | 4 | ** The author disclaims copyright to this source code. In place of |
| 5 | ** a legal notice, here is a blessing: |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 6 | ** |
drh | b19a2bc | 2001-09-16 00:13:26 +0000 | [diff] [blame] | 7 | ** May you do good and not evil. |
| 8 | ** May you find forgiveness for yourself and forgive others. |
| 9 | ** May you share freely, never taking more than you give. |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 10 | ** |
| 11 | ************************************************************************* |
| 12 | ** This file contains C code routines that are called by the parser |
drh | 23bf66d | 2004-12-14 03:34:34 +0000 | [diff] [blame] | 13 | ** in order to generate code for DELETE FROM statements. |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 14 | */ |
| 15 | #include "sqliteInt.h" |
| 16 | |
drh | a76b5df | 2002-02-23 02:32:10 +0000 | [diff] [blame] | 17 | /* |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 18 | ** Look up every table that is named in pSrc. If any table is not found, |
| 19 | ** add an error message to pParse->zErrMsg and return NULL. If all tables |
| 20 | ** are found, return a pointer to the last table. |
drh | a76b5df | 2002-02-23 02:32:10 +0000 | [diff] [blame] | 21 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 22 | Table *sqlite3SrcListLookup(Parse *pParse, SrcList *pSrc){ |
danielk1977 | b1c685b | 2008-10-06 16:18:39 +0000 | [diff] [blame] | 23 | struct SrcList_item *pItem = pSrc->a; |
| 24 | Table *pTab; |
| 25 | assert( pItem && pSrc->nSrc==1 ); |
| 26 | pTab = sqlite3LocateTable(pParse, 0, pItem->zName, pItem->zDatabase); |
dan | 1feeaed | 2010-07-23 15:41:47 +0000 | [diff] [blame] | 27 | sqlite3DeleteTable(pParse->db, pItem->pTab); |
danielk1977 | b1c685b | 2008-10-06 16:18:39 +0000 | [diff] [blame] | 28 | pItem->pTab = pTab; |
| 29 | if( pTab ){ |
| 30 | pTab->nRef++; |
| 31 | } |
| 32 | if( sqlite3IndexedByLookup(pParse, pItem) ){ |
| 33 | pTab = 0; |
drh | a76b5df | 2002-02-23 02:32:10 +0000 | [diff] [blame] | 34 | } |
| 35 | return pTab; |
| 36 | } |
| 37 | |
| 38 | /* |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 39 | ** Check to make sure the given table is writable. If it is not |
| 40 | ** writable, generate an error message and return 1. If it is |
| 41 | ** writable return 0; |
| 42 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 43 | int sqlite3IsReadOnly(Parse *pParse, Table *pTab, int viewOk){ |
danielk1977 | 595a523 | 2009-07-24 17:58:53 +0000 | [diff] [blame] | 44 | /* A table is not writable under the following circumstances: |
| 45 | ** |
| 46 | ** 1) It is a virtual table and no implementation of the xUpdate method |
| 47 | ** has been provided, or |
| 48 | ** 2) It is a system table (i.e. sqlite_master), this call is not |
| 49 | ** part of a nested parse and writable_schema pragma has not |
| 50 | ** been specified. |
| 51 | ** |
| 52 | ** In either case leave an error message in pParse and return non-zero. |
| 53 | */ |
| 54 | if( ( IsVirtual(pTab) |
| 55 | && sqlite3GetVTable(pParse->db, pTab)->pMod->pModule->xUpdate==0 ) |
| 56 | || ( (pTab->tabFlags & TF_Readonly)!=0 |
| 57 | && (pParse->db->flags & SQLITE_WriteSchema)==0 |
| 58 | && pParse->nested==0 ) |
drh | 4cbdda9 | 2006-06-14 19:00:20 +0000 | [diff] [blame] | 59 | ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 60 | sqlite3ErrorMsg(pParse, "table %s may not be modified", pTab->zName); |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 61 | return 1; |
| 62 | } |
danielk1977 | 595a523 | 2009-07-24 17:58:53 +0000 | [diff] [blame] | 63 | |
danielk1977 | b84f96f | 2005-01-20 11:32:23 +0000 | [diff] [blame] | 64 | #ifndef SQLITE_OMIT_VIEW |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 65 | if( !viewOk && pTab->pSelect ){ |
drh | da71ce1 | 2004-06-21 18:14:45 +0000 | [diff] [blame] | 66 | sqlite3ErrorMsg(pParse,"cannot modify %s because it is a view",pTab->zName); |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 67 | return 1; |
| 68 | } |
danielk1977 | b84f96f | 2005-01-20 11:32:23 +0000 | [diff] [blame] | 69 | #endif |
drh | 812d7a2 | 2003-03-27 13:50:00 +0000 | [diff] [blame] | 70 | return 0; |
| 71 | } |
| 72 | |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 73 | |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 74 | #if !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) |
| 75 | /* |
| 76 | ** Evaluate a view and store its result in an ephemeral table. The |
| 77 | ** pWhere argument is an optional WHERE clause that restricts the |
| 78 | ** set of rows in the view that are to be added to the ephemeral table. |
| 79 | */ |
| 80 | void sqlite3MaterializeView( |
| 81 | Parse *pParse, /* Parsing context */ |
drh | 2a5d825 | 2008-08-22 12:30:52 +0000 | [diff] [blame] | 82 | Table *pView, /* View definition */ |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 83 | Expr *pWhere, /* Optional WHERE clause to be added */ |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 84 | int iCur /* Cursor number for ephemerial table */ |
| 85 | ){ |
| 86 | SelectDest dest; |
| 87 | Select *pDup; |
| 88 | sqlite3 *db = pParse->db; |
| 89 | |
danielk1977 | 6ab3a2e | 2009-02-19 14:39:25 +0000 | [diff] [blame] | 90 | pDup = sqlite3SelectDup(db, pView->pSelect, 0); |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 91 | if( pWhere ){ |
| 92 | SrcList *pFrom; |
| 93 | |
danielk1977 | 6ab3a2e | 2009-02-19 14:39:25 +0000 | [diff] [blame] | 94 | pWhere = sqlite3ExprDup(db, pWhere, 0); |
drh | b7916a7 | 2009-05-27 10:31:29 +0000 | [diff] [blame] | 95 | pFrom = sqlite3SrcListAppend(db, 0, 0, 0); |
| 96 | if( pFrom ){ |
| 97 | assert( pFrom->nSrc==1 ); |
| 98 | pFrom->a[0].zAlias = sqlite3DbStrDup(db, pView->zName); |
| 99 | pFrom->a[0].pSelect = pDup; |
| 100 | assert( pFrom->a[0].pOn==0 ); |
| 101 | assert( pFrom->a[0].pUsing==0 ); |
| 102 | }else{ |
| 103 | sqlite3SelectDelete(db, pDup); |
| 104 | } |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 105 | pDup = sqlite3SelectNew(pParse, 0, pFrom, pWhere, 0, 0, 0, 0, 0, 0); |
| 106 | } |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 107 | sqlite3SelectDestInit(&dest, SRT_EphemTab, iCur); |
drh | 7d10d5a | 2008-08-20 16:35:10 +0000 | [diff] [blame] | 108 | sqlite3Select(pParse, pDup, &dest); |
drh | 633e6d5 | 2008-07-28 19:34:53 +0000 | [diff] [blame] | 109 | sqlite3SelectDelete(db, pDup); |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 110 | } |
| 111 | #endif /* !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) */ |
| 112 | |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 113 | #if defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY) |
shane | 4281bd4 | 2008-10-07 05:27:11 +0000 | [diff] [blame] | 114 | /* |
| 115 | ** Generate an expression tree to implement the WHERE, ORDER BY, |
| 116 | ** and LIMIT/OFFSET portion of DELETE and UPDATE statements. |
| 117 | ** |
| 118 | ** DELETE FROM table_wxyz WHERE a<5 ORDER BY a LIMIT 1; |
| 119 | ** \__________________________/ |
| 120 | ** pLimitWhere (pInClause) |
| 121 | */ |
| 122 | Expr *sqlite3LimitWhere( |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 123 | Parse *pParse, /* The parser context */ |
| 124 | SrcList *pSrc, /* the FROM clause -- which tables to scan */ |
| 125 | Expr *pWhere, /* The WHERE clause. May be null */ |
| 126 | ExprList *pOrderBy, /* The ORDER BY clause. May be null */ |
| 127 | Expr *pLimit, /* The LIMIT clause. May be null */ |
| 128 | Expr *pOffset, /* The OFFSET clause. May be null */ |
| 129 | char *zStmtType /* Either DELETE or UPDATE. For error messages. */ |
shane | 4281bd4 | 2008-10-07 05:27:11 +0000 | [diff] [blame] | 130 | ){ |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 131 | Expr *pWhereRowid = NULL; /* WHERE rowid .. */ |
| 132 | Expr *pInClause = NULL; /* WHERE rowid IN ( select ) */ |
| 133 | Expr *pSelectRowid = NULL; /* SELECT rowid ... */ |
| 134 | ExprList *pEList = NULL; /* Expression list contaning only pSelectRowid */ |
| 135 | SrcList *pSelectSrc = NULL; /* SELECT rowid FROM x ... (dup of pSrc) */ |
| 136 | Select *pSelect = NULL; /* Complete SELECT tree */ |
| 137 | |
| 138 | /* Check that there isn't an ORDER BY without a LIMIT clause. |
| 139 | */ |
| 140 | if( pOrderBy && (pLimit == 0) ) { |
| 141 | sqlite3ErrorMsg(pParse, "ORDER BY without LIMIT on %s", zStmtType); |
| 142 | pParse->parseError = 1; |
| 143 | goto limit_where_cleanup_2; |
| 144 | } |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 145 | |
| 146 | /* We only need to generate a select expression if there |
| 147 | ** is a limit/offset term to enforce. |
| 148 | */ |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 149 | if( pLimit == 0 ) { |
| 150 | /* if pLimit is null, pOffset will always be null as well. */ |
| 151 | assert( pOffset == 0 ); |
| 152 | return pWhere; |
| 153 | } |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 154 | |
| 155 | /* Generate a select expression tree to enforce the limit/offset |
| 156 | ** term for the DELETE or UPDATE statement. For example: |
| 157 | ** DELETE FROM table_a WHERE col1=1 ORDER BY col2 LIMIT 1 OFFSET 1 |
| 158 | ** becomes: |
| 159 | ** DELETE FROM table_a WHERE rowid IN ( |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 160 | ** SELECT rowid FROM table_a WHERE col1=1 ORDER BY col2 LIMIT 1 OFFSET 1 |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 161 | ** ); |
| 162 | */ |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 163 | |
drh | b7916a7 | 2009-05-27 10:31:29 +0000 | [diff] [blame] | 164 | pSelectRowid = sqlite3PExpr(pParse, TK_ROW, 0, 0, 0); |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 165 | if( pSelectRowid == 0 ) goto limit_where_cleanup_2; |
drh | b7916a7 | 2009-05-27 10:31:29 +0000 | [diff] [blame] | 166 | pEList = sqlite3ExprListAppend(pParse, 0, pSelectRowid); |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 167 | if( pEList == 0 ) goto limit_where_cleanup_2; |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 168 | |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 169 | /* duplicate the FROM clause as it is needed by both the DELETE/UPDATE tree |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 170 | ** and the SELECT subtree. */ |
danielk1977 | 6ab3a2e | 2009-02-19 14:39:25 +0000 | [diff] [blame] | 171 | pSelectSrc = sqlite3SrcListDup(pParse->db, pSrc, 0); |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 172 | if( pSelectSrc == 0 ) { |
| 173 | sqlite3ExprListDelete(pParse->db, pEList); |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 174 | goto limit_where_cleanup_2; |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 175 | } |
| 176 | |
| 177 | /* generate the SELECT expression tree. */ |
drh | 18209cd | 2009-03-02 14:24:21 +0000 | [diff] [blame] | 178 | pSelect = sqlite3SelectNew(pParse,pEList,pSelectSrc,pWhere,0,0, |
| 179 | pOrderBy,0,pLimit,pOffset); |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 180 | if( pSelect == 0 ) return 0; |
| 181 | |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 182 | /* now generate the new WHERE rowid IN clause for the DELETE/UDPATE */ |
drh | b7916a7 | 2009-05-27 10:31:29 +0000 | [diff] [blame] | 183 | pWhereRowid = sqlite3PExpr(pParse, TK_ROW, 0, 0, 0); |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 184 | if( pWhereRowid == 0 ) goto limit_where_cleanup_1; |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 185 | pInClause = sqlite3PExpr(pParse, TK_IN, pWhereRowid, 0, 0); |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 186 | if( pInClause == 0 ) goto limit_where_cleanup_1; |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 187 | |
drh | 18209cd | 2009-03-02 14:24:21 +0000 | [diff] [blame] | 188 | pInClause->x.pSelect = pSelect; |
| 189 | pInClause->flags |= EP_xIsSelect; |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 190 | sqlite3ExprSetHeight(pParse, pInClause); |
| 191 | return pInClause; |
| 192 | |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 193 | /* something went wrong. clean up anything allocated. */ |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 194 | limit_where_cleanup_1: |
shane | b235db9 | 2008-10-10 13:35:57 +0000 | [diff] [blame] | 195 | sqlite3SelectDelete(pParse->db, pSelect); |
shane | 4281bd4 | 2008-10-07 05:27:11 +0000 | [diff] [blame] | 196 | return 0; |
shane | 49ffdbf | 2008-10-10 18:25:45 +0000 | [diff] [blame] | 197 | |
| 198 | limit_where_cleanup_2: |
| 199 | sqlite3ExprDelete(pParse->db, pWhere); |
| 200 | sqlite3ExprListDelete(pParse->db, pOrderBy); |
| 201 | sqlite3ExprDelete(pParse->db, pLimit); |
| 202 | sqlite3ExprDelete(pParse->db, pOffset); |
| 203 | return 0; |
shane | 4281bd4 | 2008-10-07 05:27:11 +0000 | [diff] [blame] | 204 | } |
shane | 273f619 | 2008-10-10 04:34:16 +0000 | [diff] [blame] | 205 | #endif /* defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY) */ |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 206 | |
drh | ad6d946 | 2004-09-19 02:15:24 +0000 | [diff] [blame] | 207 | /* |
drh | 23bf66d | 2004-12-14 03:34:34 +0000 | [diff] [blame] | 208 | ** Generate code for a DELETE FROM statement. |
| 209 | ** |
| 210 | ** DELETE FROM table_wxyz WHERE a<5 AND b NOT NULL; |
| 211 | ** \________/ \________________/ |
| 212 | ** pTabList pWhere |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 213 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 214 | void sqlite3DeleteFrom( |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 215 | Parse *pParse, /* The parser context */ |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 216 | SrcList *pTabList, /* The table from which we should delete things */ |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 217 | Expr *pWhere /* The WHERE clause. May be null */ |
| 218 | ){ |
| 219 | Vdbe *v; /* The virtual database engine */ |
| 220 | Table *pTab; /* The table from which records will be deleted */ |
drh | e22a334 | 2003-04-22 20:30:37 +0000 | [diff] [blame] | 221 | const char *zDb; /* Name of database holding pTab */ |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 222 | int end, addr = 0; /* A couple addresses of generated code */ |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 223 | int i; /* Loop counter */ |
| 224 | WhereInfo *pWInfo; /* Information about the WHERE clause */ |
| 225 | Index *pIdx; /* For looping over indices of the table */ |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 226 | int iCur; /* VDBE Cursor number for pTab */ |
drh | 9bb575f | 2004-09-06 17:24:11 +0000 | [diff] [blame] | 227 | sqlite3 *db; /* Main database structure */ |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 228 | AuthContext sContext; /* Authorization context */ |
danielk1977 | b3bce66 | 2005-01-29 08:32:43 +0000 | [diff] [blame] | 229 | NameContext sNC; /* Name context to resolve expressions in */ |
drh | 53a6777 | 2007-02-07 01:06:52 +0000 | [diff] [blame] | 230 | int iDb; /* Database number */ |
danielk1977 | c7af484 | 2008-10-27 13:59:33 +0000 | [diff] [blame] | 231 | int memCnt = -1; /* Memory cell used for change counting */ |
danielk1977 | 52bd791 | 2008-10-27 15:34:32 +0000 | [diff] [blame] | 232 | int rcauth; /* Value returned by authorization callback */ |
drh | 1bee3d7 | 2001-10-15 00:44:35 +0000 | [diff] [blame] | 233 | |
drh | 798da52 | 2004-11-04 04:42:28 +0000 | [diff] [blame] | 234 | #ifndef SQLITE_OMIT_TRIGGER |
| 235 | int isView; /* True if attempting to delete from a view */ |
danielk1977 | 2f886d1 | 2009-02-28 10:47:41 +0000 | [diff] [blame] | 236 | Trigger *pTrigger; /* List of table triggers, if required */ |
drh | 798da52 | 2004-11-04 04:42:28 +0000 | [diff] [blame] | 237 | #endif |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 238 | |
drh | eeb844a | 2009-08-08 18:01:07 +0000 | [diff] [blame] | 239 | memset(&sContext, 0, sizeof(sContext)); |
drh | 1743575 | 2007-08-16 04:30:38 +0000 | [diff] [blame] | 240 | db = pParse->db; |
| 241 | if( pParse->nErr || db->mallocFailed ){ |
drh | daffd0e | 2001-04-11 14:28:42 +0000 | [diff] [blame] | 242 | goto delete_from_cleanup; |
| 243 | } |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 244 | assert( pTabList->nSrc==1 ); |
drh | daffd0e | 2001-04-11 14:28:42 +0000 | [diff] [blame] | 245 | |
drh | 1ccde15 | 2000-06-17 13:12:39 +0000 | [diff] [blame] | 246 | /* Locate the table which we want to delete. This table has to be |
drh | ad3cab5 | 2002-05-24 02:04:32 +0000 | [diff] [blame] | 247 | ** put in an SrcList structure because some of the subroutines we |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 248 | ** will be calling are designed to work with multiple tables and expect |
drh | ad3cab5 | 2002-05-24 02:04:32 +0000 | [diff] [blame] | 249 | ** an SrcList* parameter instead of just a Table* parameter. |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 250 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 251 | pTab = sqlite3SrcListLookup(pParse, pTabList); |
drh | a69d916 | 2003-04-17 22:57:53 +0000 | [diff] [blame] | 252 | if( pTab==0 ) goto delete_from_cleanup; |
drh | b7f9164 | 2004-10-31 02:22:47 +0000 | [diff] [blame] | 253 | |
| 254 | /* Figure out if we have any triggers and if the table being |
| 255 | ** deleted from is a view |
| 256 | */ |
| 257 | #ifndef SQLITE_OMIT_TRIGGER |
danielk1977 | 2f886d1 | 2009-02-28 10:47:41 +0000 | [diff] [blame] | 258 | pTrigger = sqlite3TriggersExist(pParse, pTab, TK_DELETE, 0, 0); |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 259 | isView = pTab->pSelect!=0; |
drh | b7f9164 | 2004-10-31 02:22:47 +0000 | [diff] [blame] | 260 | #else |
danielk1977 | 2f886d1 | 2009-02-28 10:47:41 +0000 | [diff] [blame] | 261 | # define pTrigger 0 |
drh | b7f9164 | 2004-10-31 02:22:47 +0000 | [diff] [blame] | 262 | # define isView 0 |
| 263 | #endif |
| 264 | #ifdef SQLITE_OMIT_VIEW |
| 265 | # undef isView |
| 266 | # define isView 0 |
| 267 | #endif |
| 268 | |
danielk1977 | 595a523 | 2009-07-24 17:58:53 +0000 | [diff] [blame] | 269 | /* If pTab is really a view, make sure it has been initialized. |
| 270 | */ |
| 271 | if( sqlite3ViewGetColumnNames(pParse, pTab) ){ |
| 272 | goto delete_from_cleanup; |
| 273 | } |
| 274 | |
danielk1977 | 2f886d1 | 2009-02-28 10:47:41 +0000 | [diff] [blame] | 275 | if( sqlite3IsReadOnly(pParse, pTab, (pTrigger?1:0)) ){ |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 276 | goto delete_from_cleanup; |
drh | 113088e | 2003-03-20 01:16:58 +0000 | [diff] [blame] | 277 | } |
danielk1977 | da18423 | 2006-01-05 11:34:32 +0000 | [diff] [blame] | 278 | iDb = sqlite3SchemaToIndex(db, pTab->pSchema); |
| 279 | assert( iDb<db->nDb ); |
| 280 | zDb = db->aDb[iDb].zName; |
danielk1977 | 52bd791 | 2008-10-27 15:34:32 +0000 | [diff] [blame] | 281 | rcauth = sqlite3AuthCheck(pParse, SQLITE_DELETE, pTab->zName, 0, zDb); |
| 282 | assert( rcauth==SQLITE_OK || rcauth==SQLITE_DENY || rcauth==SQLITE_IGNORE ); |
| 283 | if( rcauth==SQLITE_DENY ){ |
drh | e5f9c64 | 2003-01-13 23:27:31 +0000 | [diff] [blame] | 284 | goto delete_from_cleanup; |
| 285 | } |
danielk1977 | 2f886d1 | 2009-02-28 10:47:41 +0000 | [diff] [blame] | 286 | assert(!isView || pTrigger); |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 287 | |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 288 | /* Assign cursor number to the table and all its indices. |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 289 | */ |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 290 | assert( pTabList->nSrc==1 ); |
| 291 | iCur = pTabList->a[0].iCursor = pParse->nTab++; |
danielk1977 | e448dc4 | 2008-01-02 11:50:51 +0000 | [diff] [blame] | 292 | for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){ |
| 293 | pParse->nTab++; |
| 294 | } |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 295 | |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 296 | /* Start the view context |
| 297 | */ |
| 298 | if( isView ){ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 299 | sqlite3AuthContextPush(pParse, &sContext, pTab->zName); |
drh | 85e2096 | 2003-04-25 17:52:11 +0000 | [diff] [blame] | 300 | } |
| 301 | |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 302 | /* Begin generating code. |
| 303 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 304 | v = sqlite3GetVdbe(pParse); |
danielk1977 | f29ce55 | 2002-05-19 23:43:12 +0000 | [diff] [blame] | 305 | if( v==0 ){ |
| 306 | goto delete_from_cleanup; |
| 307 | } |
drh | 4794f73 | 2004-11-05 17:17:50 +0000 | [diff] [blame] | 308 | if( pParse->nested==0 ) sqlite3VdbeCountChanges(v); |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 309 | sqlite3BeginWriteOperation(pParse, 1, iDb); |
drh | 5e00f6c | 2001-09-13 13:46:56 +0000 | [diff] [blame] | 310 | |
drh | 9d2985c | 2005-09-08 01:58:42 +0000 | [diff] [blame] | 311 | /* If we are trying to delete from a view, realize that view into |
| 312 | ** a ephemeral table. |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 313 | */ |
shane | fa4e62f | 2008-09-01 21:59:42 +0000 | [diff] [blame] | 314 | #if !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 315 | if( isView ){ |
drh | 2a5d825 | 2008-08-22 12:30:52 +0000 | [diff] [blame] | 316 | sqlite3MaterializeView(pParse, pTab, pWhere, iCur); |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 317 | } |
shane | fa4e62f | 2008-09-01 21:59:42 +0000 | [diff] [blame] | 318 | #endif |
drh | 1013c93 | 2008-01-06 00:25:21 +0000 | [diff] [blame] | 319 | |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 320 | /* Resolve the column names in the WHERE clause. |
| 321 | */ |
| 322 | memset(&sNC, 0, sizeof(sNC)); |
| 323 | sNC.pParse = pParse; |
| 324 | sNC.pSrcList = pTabList; |
drh | 7d10d5a | 2008-08-20 16:35:10 +0000 | [diff] [blame] | 325 | if( sqlite3ResolveExprNames(&sNC, pWhere) ){ |
drh | 0f35a6b | 2008-02-12 16:52:14 +0000 | [diff] [blame] | 326 | goto delete_from_cleanup; |
drh | 5cf590c | 2003-04-24 01:45:04 +0000 | [diff] [blame] | 327 | } |
| 328 | |
drh | 1bee3d7 | 2001-10-15 00:44:35 +0000 | [diff] [blame] | 329 | /* Initialize the counter of the number of rows deleted, if |
| 330 | ** we are counting rows. |
| 331 | */ |
| 332 | if( db->flags & SQLITE_CountRows ){ |
drh | 0a07c10 | 2008-01-03 18:03:08 +0000 | [diff] [blame] | 333 | memCnt = ++pParse->nMem; |
drh | 4c58312 | 2008-01-04 22:01:03 +0000 | [diff] [blame] | 334 | sqlite3VdbeAddOp2(v, OP_Integer, 0, memCnt); |
drh | 1bee3d7 | 2001-10-15 00:44:35 +0000 | [diff] [blame] | 335 | } |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 336 | |
drh | f8cecda | 2008-10-10 23:48:25 +0000 | [diff] [blame] | 337 | #ifndef SQLITE_OMIT_TRUNCATE_OPTIMIZATION |
drh | 0353ced | 2001-03-20 22:05:00 +0000 | [diff] [blame] | 338 | /* Special case: A DELETE without a WHERE clause deletes everything. |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 339 | ** It is easier just to erase the whole table. Prior to version 3.6.5, |
| 340 | ** this optimization caused the row change count (the value returned by |
drh | 67c495a | 2011-03-30 17:25:35 +0000 | [diff] [blame^] | 341 | ** API function sqlite3_count_changes) to be set incorrectly. |
| 342 | */ |
| 343 | if( rcauth==SQLITE_OK |
| 344 | && pWhere==0 |
| 345 | && !pTrigger |
| 346 | && !IsVirtual(pTab) |
| 347 | && db->xPreUpdateCallback==0 |
dan | e7a94d8 | 2009-10-01 16:09:04 +0000 | [diff] [blame] | 348 | && 0==sqlite3FkRequired(pParse, pTab, 0, 0) |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 349 | ){ |
danielk1977 | 9a02fb4 | 2008-10-27 08:24:38 +0000 | [diff] [blame] | 350 | assert( !isView ); |
drh | bbb5e4e | 2009-04-30 00:11:09 +0000 | [diff] [blame] | 351 | sqlite3VdbeAddOp4(v, OP_Clear, pTab->tnum, iDb, memCnt, |
| 352 | pTab->zName, P4_STATIC); |
danielk1977 | 9a02fb4 | 2008-10-27 08:24:38 +0000 | [diff] [blame] | 353 | for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){ |
| 354 | assert( pIdx->pSchema==pTab->pSchema ); |
| 355 | sqlite3VdbeAddOp2(v, OP_Clear, pIdx->tnum, iDb); |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 356 | } |
drh | f8cecda | 2008-10-10 23:48:25 +0000 | [diff] [blame] | 357 | }else |
| 358 | #endif /* SQLITE_OMIT_TRUNCATE_OPTIMIZATION */ |
drh | 0353ced | 2001-03-20 22:05:00 +0000 | [diff] [blame] | 359 | /* The usual case: There is a WHERE clause so we have to scan through |
jplyon | 8bc03a7 | 2004-01-19 04:54:28 +0000 | [diff] [blame] | 360 | ** the table and pick which records to delete. |
drh | 0353ced | 2001-03-20 22:05:00 +0000 | [diff] [blame] | 361 | */ |
drh | f8cecda | 2008-10-10 23:48:25 +0000 | [diff] [blame] | 362 | { |
drh | 3d4501e | 2008-12-04 20:40:10 +0000 | [diff] [blame] | 363 | int iRowSet = ++pParse->nMem; /* Register for rowset of rows to delete */ |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 364 | int iRowid = ++pParse->nMem; /* Used for storing rowid values. */ |
drh | 336a530 | 2009-04-24 15:46:21 +0000 | [diff] [blame] | 365 | int regRowid; /* Actual register containing rowids */ |
danielk1977 | 96cb76f | 2008-01-04 13:24:28 +0000 | [diff] [blame] | 366 | |
drh | 23d04d5 | 2008-12-23 23:56:22 +0000 | [diff] [blame] | 367 | /* Collect rowids of every row to be deleted. |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 368 | */ |
drh | 23d04d5 | 2008-12-23 23:56:22 +0000 | [diff] [blame] | 369 | sqlite3VdbeAddOp2(v, OP_Null, 0, iRowSet); |
drh | 336a530 | 2009-04-24 15:46:21 +0000 | [diff] [blame] | 370 | pWInfo = sqlite3WhereBegin(pParse, pTabList, pWhere,0,WHERE_DUPLICATES_OK); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 371 | if( pWInfo==0 ) goto delete_from_cleanup; |
drh | b6da74e | 2009-12-24 16:00:28 +0000 | [diff] [blame] | 372 | regRowid = sqlite3ExprCodeGetColumn(pParse, pTab, -1, iCur, iRowid); |
drh | 336a530 | 2009-04-24 15:46:21 +0000 | [diff] [blame] | 373 | sqlite3VdbeAddOp2(v, OP_RowSetAdd, iRowSet, regRowid); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 374 | if( db->flags & SQLITE_CountRows ){ |
drh | 8558cde | 2008-01-05 05:20:10 +0000 | [diff] [blame] | 375 | sqlite3VdbeAddOp2(v, OP_AddImm, memCnt, 1); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 376 | } |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 377 | sqlite3WhereEnd(pWInfo); |
| 378 | |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 379 | /* Delete every item whose key was written to the list during the |
| 380 | ** database scan. We have to delete items after the scan is complete |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 381 | ** because deleting an item can change the scan order. */ |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 382 | end = sqlite3VdbeMakeLabel(v); |
danielk1977 | ed326d7 | 2004-11-16 15:50:19 +0000 | [diff] [blame] | 383 | |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 384 | /* Unless this is a view, open cursors for the table we are |
| 385 | ** deleting from and all its indices. If this is a view, then the |
| 386 | ** only effect this statement has is to fire the INSTEAD OF |
| 387 | ** triggers. */ |
danielk1977 | e448dc4 | 2008-01-02 11:50:51 +0000 | [diff] [blame] | 388 | if( !isView ){ |
danielk1977 | e448dc4 | 2008-01-02 11:50:51 +0000 | [diff] [blame] | 389 | sqlite3OpenTableAndIndices(pParse, pTab, iCur, OP_OpenWrite); |
| 390 | } |
| 391 | |
drh | 3d4501e | 2008-12-04 20:40:10 +0000 | [diff] [blame] | 392 | addr = sqlite3VdbeAddOp3(v, OP_RowSetRead, iRowSet, end, iRowid); |
danielk1977 | e448dc4 | 2008-01-02 11:50:51 +0000 | [diff] [blame] | 393 | |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 394 | /* Delete the row */ |
drh | 4cbdda9 | 2006-06-14 19:00:20 +0000 | [diff] [blame] | 395 | #ifndef SQLITE_OMIT_VIRTUALTABLE |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 396 | if( IsVirtual(pTab) ){ |
| 397 | const char *pVTab = (const char *)sqlite3GetVTable(db, pTab); |
| 398 | sqlite3VtabMakeWritable(pParse, pTab); |
drh | 9a48bf5 | 2011-03-23 22:48:46 +0000 | [diff] [blame] | 399 | sqlite3VdbeAddOp4(v, OP_VUpdate, 0, 1, iRowid, (char*)pVTab, P4_VTAB); |
dan | e0af83a | 2009-09-08 19:15:01 +0000 | [diff] [blame] | 400 | sqlite3MayAbort(pParse); |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 401 | }else |
drh | 4cbdda9 | 2006-06-14 19:00:20 +0000 | [diff] [blame] | 402 | #endif |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 403 | { |
| 404 | int count = (pParse->nested==0); /* True to count changes */ |
| 405 | sqlite3GenerateRowDelete(pParse, pTab, iCur, iRowid, count, pTrigger, OE_Default); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 406 | } |
| 407 | |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 408 | /* End of the delete loop */ |
drh | 66a5167 | 2008-01-03 00:01:23 +0000 | [diff] [blame] | 409 | sqlite3VdbeAddOp2(v, OP_Goto, 0, addr); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 410 | sqlite3VdbeResolveLabel(v, end); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 411 | |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 412 | /* Close the cursors open on the table and its indexes. */ |
| 413 | if( !isView && !IsVirtual(pTab) ){ |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 414 | for(i=1, pIdx=pTab->pIndex; pIdx; i++, pIdx=pIdx->pNext){ |
drh | 66a5167 | 2008-01-03 00:01:23 +0000 | [diff] [blame] | 415 | sqlite3VdbeAddOp2(v, OP_Close, iCur + i, pIdx->tnum); |
danielk1977 | 299b187 | 2004-11-22 10:02:10 +0000 | [diff] [blame] | 416 | } |
drh | 66a5167 | 2008-01-03 00:01:23 +0000 | [diff] [blame] | 417 | sqlite3VdbeAddOp1(v, OP_Close, iCur); |
danielk1977 | c3f9bad | 2002-05-15 08:30:12 +0000 | [diff] [blame] | 418 | } |
drh | 0353ced | 2001-03-20 22:05:00 +0000 | [diff] [blame] | 419 | } |
drh | 5e00f6c | 2001-09-13 13:46:56 +0000 | [diff] [blame] | 420 | |
drh | 0b9f50d | 2009-06-23 20:28:53 +0000 | [diff] [blame] | 421 | /* Update the sqlite_sequence table by storing the content of the |
| 422 | ** maximum rowid counter values recorded while inserting into |
| 423 | ** autoincrement tables. |
| 424 | */ |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 425 | if( pParse->nested==0 && pParse->pTriggerTab==0 ){ |
drh | 0b9f50d | 2009-06-23 20:28:53 +0000 | [diff] [blame] | 426 | sqlite3AutoincrementEnd(pParse); |
| 427 | } |
| 428 | |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 429 | /* Return the number of rows that were deleted. If this routine is |
danielk1977 | e7de6f2 | 2004-11-05 06:02:06 +0000 | [diff] [blame] | 430 | ** generating code because of a call to sqlite3NestedParse(), do not |
| 431 | ** invoke the callback function. |
drh | 1bee3d7 | 2001-10-15 00:44:35 +0000 | [diff] [blame] | 432 | */ |
dan | 165921a | 2009-08-28 18:53:45 +0000 | [diff] [blame] | 433 | if( (db->flags&SQLITE_CountRows) && !pParse->nested && !pParse->pTriggerTab ){ |
drh | 66a5167 | 2008-01-03 00:01:23 +0000 | [diff] [blame] | 434 | sqlite3VdbeAddOp2(v, OP_ResultRow, memCnt, 1); |
danielk1977 | 22322fd | 2004-05-25 23:35:17 +0000 | [diff] [blame] | 435 | sqlite3VdbeSetNumCols(v, 1); |
danielk1977 | 10fb749 | 2008-10-31 10:53:22 +0000 | [diff] [blame] | 436 | sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "rows deleted", SQLITE_STATIC); |
drh | 1bee3d7 | 2001-10-15 00:44:35 +0000 | [diff] [blame] | 437 | } |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 438 | |
| 439 | delete_from_cleanup: |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 440 | sqlite3AuthContextPop(&sContext); |
drh | 633e6d5 | 2008-07-28 19:34:53 +0000 | [diff] [blame] | 441 | sqlite3SrcListDelete(db, pTabList); |
| 442 | sqlite3ExprDelete(db, pWhere); |
drh | cce7d17 | 2000-05-31 15:34:51 +0000 | [diff] [blame] | 443 | return; |
| 444 | } |
dan | 75cbd98 | 2009-09-21 16:06:03 +0000 | [diff] [blame] | 445 | /* Make sure "isView" and other macros defined above are undefined. Otherwise |
| 446 | ** thely may interfere with compilation of other functions in this file |
| 447 | ** (or in another file, if this file becomes part of the amalgamation). */ |
| 448 | #ifdef isView |
| 449 | #undef isView |
| 450 | #endif |
| 451 | #ifdef pTrigger |
| 452 | #undef pTrigger |
| 453 | #endif |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 454 | |
| 455 | /* |
| 456 | ** This routine generates VDBE code that causes a single row of a |
| 457 | ** single table to be deleted. |
| 458 | ** |
| 459 | ** The VDBE must be in a particular state when this routine is called. |
| 460 | ** These are the requirements: |
| 461 | ** |
| 462 | ** 1. A read/write cursor pointing to pTab, the table containing the row |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 463 | ** to be deleted, must be opened as cursor number $iCur. |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 464 | ** |
| 465 | ** 2. Read/write cursors for all indices of pTab must be open as |
| 466 | ** cursor number base+i for the i-th index. |
| 467 | ** |
danielk1977 | 96cb76f | 2008-01-04 13:24:28 +0000 | [diff] [blame] | 468 | ** 3. The record number of the row to be deleted must be stored in |
| 469 | ** memory cell iRowid. |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 470 | ** |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 471 | ** This routine generates code to remove both the table record and all |
| 472 | ** index entries that point to that record. |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 473 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 474 | void sqlite3GenerateRowDelete( |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 475 | Parse *pParse, /* Parsing context */ |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 476 | Table *pTab, /* Table containing the row to be deleted */ |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 477 | int iCur, /* Cursor number for the table */ |
danielk1977 | 96cb76f | 2008-01-04 13:24:28 +0000 | [diff] [blame] | 478 | int iRowid, /* Memory cell that contains the rowid to delete */ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 479 | int count, /* If non-zero, increment the row change counter */ |
| 480 | Trigger *pTrigger, /* List of triggers to (potentially) fire */ |
| 481 | int onconf /* Default ON CONFLICT policy for triggers */ |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 482 | ){ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 483 | Vdbe *v = pParse->pVdbe; /* Vdbe */ |
drh | 3f02218 | 2009-09-09 16:10:50 +0000 | [diff] [blame] | 484 | int iOld = 0; /* First register in OLD.* array */ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 485 | int iLabel; /* Label resolved to end of generated code */ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 486 | |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 487 | /* Vdbe is guaranteed to have been allocated by this stage. */ |
| 488 | assert( v ); |
| 489 | |
| 490 | /* Seek cursor iCur to the row to delete. If this row no longer exists |
| 491 | ** (this can happen if a trigger program has already deleted it), do |
| 492 | ** not attempt to delete it or fire any DELETE triggers. */ |
| 493 | iLabel = sqlite3VdbeMakeLabel(v); |
| 494 | sqlite3VdbeAddOp3(v, OP_NotExists, iCur, iLabel, iRowid); |
| 495 | |
| 496 | /* If there are any triggers to fire, allocate a range of registers to |
| 497 | ** use for the old.* references in the triggers. */ |
dan | e7a94d8 | 2009-10-01 16:09:04 +0000 | [diff] [blame] | 498 | if( sqlite3FkRequired(pParse, pTab, 0, 0) || pTrigger ){ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 499 | u32 mask; /* Mask of OLD.* columns in use */ |
| 500 | int iCol; /* Iterator used while populating OLD.* */ |
| 501 | |
| 502 | /* TODO: Could use temporary registers here. Also could attempt to |
| 503 | ** avoid copying the contents of the rowid register. */ |
dan | bb5f168 | 2009-11-27 12:12:34 +0000 | [diff] [blame] | 504 | mask = sqlite3TriggerColmask( |
| 505 | pParse, pTrigger, 0, 0, TRIGGER_BEFORE|TRIGGER_AFTER, pTab, onconf |
| 506 | ); |
dan | e7a94d8 | 2009-10-01 16:09:04 +0000 | [diff] [blame] | 507 | mask |= sqlite3FkOldmask(pParse, pTab); |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 508 | iOld = pParse->nMem+1; |
| 509 | pParse->nMem += (1 + pTab->nCol); |
| 510 | |
| 511 | /* Populate the OLD.* pseudo-table register array. These values will be |
| 512 | ** used by any BEFORE and AFTER triggers that exist. */ |
| 513 | sqlite3VdbeAddOp2(v, OP_Copy, iRowid, iOld); |
| 514 | for(iCol=0; iCol<pTab->nCol; iCol++){ |
dan | 4bb3b67 | 2009-09-24 10:42:09 +0000 | [diff] [blame] | 515 | if( mask==0xffffffff || mask&(1<<iCol) ){ |
drh | 5c092e8 | 2010-05-14 19:24:02 +0000 | [diff] [blame] | 516 | sqlite3ExprCodeGetColumnOfTable(v, pTab, iCur, iCol, iOld+iCol+1); |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 517 | } |
| 518 | } |
| 519 | |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 520 | /* Invoke BEFORE DELETE trigger programs. */ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 521 | sqlite3CodeRowTrigger(pParse, pTrigger, |
dan | 94d7f50 | 2009-09-24 09:05:49 +0000 | [diff] [blame] | 522 | TK_DELETE, 0, TRIGGER_BEFORE, pTab, iOld, onconf, iLabel |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 523 | ); |
| 524 | |
| 525 | /* Seek the cursor to the row to be deleted again. It may be that |
| 526 | ** the BEFORE triggers coded above have already removed the row |
| 527 | ** being deleted. Do not attempt to delete the row a second time, and |
| 528 | ** do not fire AFTER triggers. */ |
| 529 | sqlite3VdbeAddOp3(v, OP_NotExists, iCur, iLabel, iRowid); |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 530 | |
| 531 | /* Do FK processing. This call checks that any FK constraints that |
| 532 | ** refer to this table (i.e. constraints attached to other tables) |
| 533 | ** are not violated by deleting this row. */ |
dan | e7a94d8 | 2009-10-01 16:09:04 +0000 | [diff] [blame] | 534 | sqlite3FkCheck(pParse, pTab, iOld, 0); |
danielk1977 | 94eb6a1 | 2005-12-15 15:22:08 +0000 | [diff] [blame] | 535 | } |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 536 | |
| 537 | /* Delete the index and table entries. Skip this step if pTab is really |
| 538 | ** a view (in which case the only effect of the DELETE statement is to |
dan | 46c47d4 | 2011-03-01 18:42:07 +0000 | [diff] [blame] | 539 | ** fire the INSTEAD OF triggers). |
| 540 | ** |
| 541 | ** If variable 'count' is non-zero, then this OP_Delete instruction should |
| 542 | ** invoke the update-hook. The pre-update-hook, on the other hand should |
| 543 | ** be invoked unless table pTab is a system table. The difference is that |
| 544 | ** the update-hook is not invoked for rows removed by REPLACE, but the |
| 545 | ** pre-update-hook is. |
| 546 | */ |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 547 | if( pTab->pSelect==0 ){ |
| 548 | sqlite3GenerateRowIndexDelete(pParse, pTab, iCur, 0); |
| 549 | sqlite3VdbeAddOp2(v, OP_Delete, iCur, (count?OPFLAG_NCHANGE:0)); |
drh | 9a48bf5 | 2011-03-23 22:48:46 +0000 | [diff] [blame] | 550 | sqlite3VdbeChangeP4(v, -1, (char*)pTab, P4_TABLE); |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 551 | } |
| 552 | |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 553 | /* Do any ON CASCADE, SET NULL or SET DEFAULT operations required to |
| 554 | ** handle rows (possibly in other tables) that refer via a foreign key |
| 555 | ** to the row just deleted. */ |
| 556 | sqlite3FkActions(pParse, pTab, 0, iOld); |
| 557 | |
| 558 | /* Invoke AFTER DELETE trigger programs. */ |
| 559 | sqlite3CodeRowTrigger(pParse, pTrigger, |
dan | 94d7f50 | 2009-09-24 09:05:49 +0000 | [diff] [blame] | 560 | TK_DELETE, 0, TRIGGER_AFTER, pTab, iOld, onconf, iLabel |
dan | 1da40a3 | 2009-09-19 17:00:31 +0000 | [diff] [blame] | 561 | ); |
dan | 2283d46 | 2009-09-08 15:55:15 +0000 | [diff] [blame] | 562 | |
| 563 | /* Jump here if the row had already been deleted before any BEFORE |
| 564 | ** trigger programs were invoked. Or if a trigger program throws a |
| 565 | ** RAISE(IGNORE) exception. */ |
| 566 | sqlite3VdbeResolveLabel(v, iLabel); |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 567 | } |
| 568 | |
| 569 | /* |
| 570 | ** This routine generates VDBE code that causes the deletion of all |
| 571 | ** index entries associated with a single row of a single table. |
| 572 | ** |
| 573 | ** The VDBE must be in a particular state when this routine is called. |
| 574 | ** These are the requirements: |
| 575 | ** |
| 576 | ** 1. A read/write cursor pointing to pTab, the table containing the row |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 577 | ** to be deleted, must be opened as cursor number "iCur". |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 578 | ** |
| 579 | ** 2. Read/write cursors for all indices of pTab must be open as |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 580 | ** cursor number iCur+i for the i-th index. |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 581 | ** |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 582 | ** 3. The "iCur" cursor must be pointing to the row that is to be |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 583 | ** deleted. |
| 584 | */ |
danielk1977 | 4adee20 | 2004-05-08 08:23:19 +0000 | [diff] [blame] | 585 | void sqlite3GenerateRowIndexDelete( |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 586 | Parse *pParse, /* Parsing and code generating context */ |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 587 | Table *pTab, /* Table containing the row to be deleted */ |
drh | 6a3ea0e | 2003-05-02 14:32:12 +0000 | [diff] [blame] | 588 | int iCur, /* Cursor number for the table */ |
drh | aa9b896 | 2008-01-08 02:57:55 +0000 | [diff] [blame] | 589 | int *aRegIdx /* Only delete if aRegIdx!=0 && aRegIdx[i]>0 */ |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 590 | ){ |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 591 | int i; |
| 592 | Index *pIdx; |
drh | 9cbf342 | 2008-01-17 16:22:13 +0000 | [diff] [blame] | 593 | int r1; |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 594 | |
drh | 0ca3e24 | 2002-01-29 23:07:02 +0000 | [diff] [blame] | 595 | for(i=1, pIdx=pTab->pIndex; pIdx; i++, pIdx=pIdx->pNext){ |
drh | aa9b896 | 2008-01-08 02:57:55 +0000 | [diff] [blame] | 596 | if( aRegIdx!=0 && aRegIdx[i-1]==0 ) continue; |
drh | 3a200e0 | 2008-04-11 19:18:24 +0000 | [diff] [blame] | 597 | r1 = sqlite3GenerateIndexKey(pParse, pIdx, iCur, 0, 0); |
drh | e14006d | 2008-03-25 17:23:32 +0000 | [diff] [blame] | 598 | sqlite3VdbeAddOp3(pParse->pVdbe, OP_IdxDelete, iCur+i, r1,pIdx->nColumn+1); |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 599 | } |
drh | 9cfcf5d | 2002-01-29 18:41:24 +0000 | [diff] [blame] | 600 | } |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 601 | |
| 602 | /* |
drh | e14006d | 2008-03-25 17:23:32 +0000 | [diff] [blame] | 603 | ** Generate code that will assemble an index key and put it in register |
| 604 | ** regOut. The key with be for index pIdx which is an index on pTab. |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 605 | ** iCur is the index of a cursor open on the pTab table and pointing to |
| 606 | ** the entry that needs indexing. |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 607 | ** |
| 608 | ** Return a register number which is the first in a block of |
| 609 | ** registers that holds the elements of the index key. The |
| 610 | ** block of registers has already been deallocated by the time |
| 611 | ** this routine returns. |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 612 | */ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 613 | int sqlite3GenerateIndexKey( |
| 614 | Parse *pParse, /* Parsing context */ |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 615 | Index *pIdx, /* The index for which to generate a key */ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 616 | int iCur, /* Cursor number for the pIdx->pTable table */ |
drh | e14006d | 2008-03-25 17:23:32 +0000 | [diff] [blame] | 617 | int regOut, /* Write the new index key to this register */ |
| 618 | int doMakeRec /* Run the OP_MakeRecord instruction if true */ |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 619 | ){ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 620 | Vdbe *v = pParse->pVdbe; |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 621 | int j; |
| 622 | Table *pTab = pIdx->pTable; |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 623 | int regBase; |
| 624 | int nCol; |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 625 | |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 626 | nCol = pIdx->nColumn; |
| 627 | regBase = sqlite3GetTempRange(pParse, nCol+1); |
| 628 | sqlite3VdbeAddOp2(v, OP_Rowid, iCur, regBase+nCol); |
| 629 | for(j=0; j<nCol; j++){ |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 630 | int idx = pIdx->aiColumn[j]; |
| 631 | if( idx==pTab->iPKey ){ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 632 | sqlite3VdbeAddOp2(v, OP_SCopy, regBase+nCol, regBase+j); |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 633 | }else{ |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 634 | sqlite3VdbeAddOp3(v, OP_Column, iCur, idx, regBase+j); |
danielk1977 | c7538b5 | 2009-07-27 10:05:04 +0000 | [diff] [blame] | 635 | sqlite3ColumnDefault(v, pTab, idx, -1); |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 636 | } |
| 637 | } |
drh | e14006d | 2008-03-25 17:23:32 +0000 | [diff] [blame] | 638 | if( doMakeRec ){ |
| 639 | sqlite3VdbeAddOp3(v, OP_MakeRecord, regBase, nCol+1, regOut); |
dan | 69f8bb9 | 2009-08-13 19:21:16 +0000 | [diff] [blame] | 640 | sqlite3VdbeChangeP4(v, -1, sqlite3IndexAffinityStr(v, pIdx), 0); |
drh | e14006d | 2008-03-25 17:23:32 +0000 | [diff] [blame] | 641 | } |
drh | 2d401ab | 2008-01-10 23:50:11 +0000 | [diff] [blame] | 642 | sqlite3ReleaseTempRange(pParse, regBase, nCol+1); |
| 643 | return regBase; |
drh | 51846b5 | 2004-05-28 16:00:21 +0000 | [diff] [blame] | 644 | } |