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