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