blob: 00b89f2fd6f3abbea1d1006ccfd4e709f1f47eb0 [file] [log] [blame]
drh75897232000-05-29 14:26:00 +00001/*
drhb19a2bc2001-09-16 00:13:26 +00002** 2001 September 15
drh75897232000-05-29 14:26:00 +00003**
drhb19a2bc2001-09-16 00:13:26 +00004** The author disclaims copyright to this source code. In place of
5** a legal notice, here is a blessing:
drh75897232000-05-29 14:26:00 +00006**
drhb19a2bc2001-09-16 00:13:26 +00007** 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.
drh75897232000-05-29 14:26:00 +000010**
11*************************************************************************
drhb19a2bc2001-09-16 00:13:26 +000012** This file contains C code routines that are called by the SQLite parser
13** when syntax rules are reduced. The routines in this file handle the
14** following kinds of SQL syntax:
drh75897232000-05-29 14:26:00 +000015**
drhbed86902000-06-02 13:27:59 +000016** CREATE TABLE
17** DROP TABLE
18** CREATE INDEX
19** DROP INDEX
drh832508b2002-03-02 17:04:07 +000020** creating ID lists
drhb19a2bc2001-09-16 00:13:26 +000021** BEGIN TRANSACTION
22** COMMIT
23** ROLLBACK
drhbed86902000-06-02 13:27:59 +000024**
drh61dfc312006-12-16 16:25:15 +000025** $Id: build.c,v 1.412 2006/12/16 16:25:15 drh Exp $
drh75897232000-05-29 14:26:00 +000026*/
27#include "sqliteInt.h"
drhf57b14a2001-09-14 18:54:08 +000028#include <ctype.h>
drh75897232000-05-29 14:26:00 +000029
30/*
drhe0bc4042002-06-25 01:09:11 +000031** This routine is called when a new SQL statement is beginning to
drh23bf66d2004-12-14 03:34:34 +000032** be parsed. Initialize the pParse structure as needed.
drhe0bc4042002-06-25 01:09:11 +000033*/
danielk19774adee202004-05-08 08:23:19 +000034void sqlite3BeginParse(Parse *pParse, int explainFlag){
drhe0bc4042002-06-25 01:09:11 +000035 pParse->explain = explainFlag;
drh7c972de2003-09-06 22:18:07 +000036 pParse->nVar = 0;
drhe0bc4042002-06-25 01:09:11 +000037}
38
danielk1977c00da102006-01-07 13:21:04 +000039#ifndef SQLITE_OMIT_SHARED_CACHE
40/*
41** The TableLock structure is only used by the sqlite3TableLock() and
42** codeTableLocks() functions.
43*/
44struct TableLock {
drhd698bc12006-03-23 23:33:26 +000045 int iDb; /* The database containing the table to be locked */
46 int iTab; /* The root page of the table to be locked */
47 u8 isWriteLock; /* True for write lock. False for a read lock */
48 const char *zName; /* Name of the table */
danielk1977c00da102006-01-07 13:21:04 +000049};
50
51/*
drhd698bc12006-03-23 23:33:26 +000052** Record the fact that we want to lock a table at run-time.
danielk1977c00da102006-01-07 13:21:04 +000053**
drhd698bc12006-03-23 23:33:26 +000054** The table to be locked has root page iTab and is found in database iDb.
55** A read or a write lock can be taken depending on isWritelock.
56**
57** This routine just records the fact that the lock is desired. The
58** code to make the lock occur is generated by a later call to
59** codeTableLocks() which occurs during sqlite3FinishCoding().
danielk1977c00da102006-01-07 13:21:04 +000060*/
61void sqlite3TableLock(
drhd698bc12006-03-23 23:33:26 +000062 Parse *pParse, /* Parsing context */
63 int iDb, /* Index of the database containing the table to lock */
64 int iTab, /* Root page number of the table to be locked */
65 u8 isWriteLock, /* True for a write lock */
66 const char *zName /* Name of the table to be locked */
danielk1977c00da102006-01-07 13:21:04 +000067){
68 int i;
69 int nBytes;
70 TableLock *p;
danielk1977c00da102006-01-07 13:21:04 +000071
drh6f7adc82006-01-11 21:41:20 +000072 if( 0==sqlite3ThreadDataReadOnly()->useSharedData || iDb<0 ){
danielk1977c00da102006-01-07 13:21:04 +000073 return;
74 }
75
76 for(i=0; i<pParse->nTableLock; i++){
77 p = &pParse->aTableLock[i];
78 if( p->iDb==iDb && p->iTab==iTab ){
79 p->isWriteLock = (p->isWriteLock || isWriteLock);
80 return;
81 }
82 }
83
84 nBytes = sizeof(TableLock) * (pParse->nTableLock+1);
85 sqliteReallocOrFree((void **)&pParse->aTableLock, nBytes);
86 if( pParse->aTableLock ){
87 p = &pParse->aTableLock[pParse->nTableLock++];
88 p->iDb = iDb;
89 p->iTab = iTab;
90 p->isWriteLock = isWriteLock;
91 p->zName = zName;
92 }
93}
94
95/*
96** Code an OP_TableLock instruction for each table locked by the
97** statement (configured by calls to sqlite3TableLock()).
98*/
99static void codeTableLocks(Parse *pParse){
100 int i;
101 Vdbe *pVdbe;
drh6f7adc82006-01-11 21:41:20 +0000102 assert( sqlite3ThreadDataReadOnly()->useSharedData || pParse->nTableLock==0 );
danielk1977c00da102006-01-07 13:21:04 +0000103
104 if( 0==(pVdbe = sqlite3GetVdbe(pParse)) ){
105 return;
106 }
107
108 for(i=0; i<pParse->nTableLock; i++){
109 TableLock *p = &pParse->aTableLock[i];
110 int p1 = p->iDb;
111 if( p->isWriteLock ){
112 p1 = -1*(p1+1);
113 }
114 sqlite3VdbeOp3(pVdbe, OP_TableLock, p1, p->iTab, p->zName, P3_STATIC);
115 }
116}
117#else
118 #define codeTableLocks(x)
119#endif
120
drhe0bc4042002-06-25 01:09:11 +0000121/*
drh75897232000-05-29 14:26:00 +0000122** This routine is called after a single SQL statement has been
drh80242052004-06-09 00:48:12 +0000123** parsed and a VDBE program to execute that statement has been
124** prepared. This routine puts the finishing touches on the
125** VDBE program and resets the pParse structure for the next
126** parse.
drh75897232000-05-29 14:26:00 +0000127**
128** Note that if an error occurred, it might be the case that
129** no VDBE code was generated.
130*/
drh80242052004-06-09 00:48:12 +0000131void sqlite3FinishCoding(Parse *pParse){
drh9bb575f2004-09-06 17:24:11 +0000132 sqlite3 *db;
drh80242052004-06-09 00:48:12 +0000133 Vdbe *v;
drhb86ccfb2003-01-28 23:13:10 +0000134
danielk19779e128002006-01-18 16:51:35 +0000135 if( sqlite3MallocFailed() ) return;
drh205f48e2004-11-05 00:43:11 +0000136 if( pParse->nested ) return;
danielk1977441daf62005-02-01 03:46:43 +0000137 if( !pParse->pVdbe ){
danielk1977c30f9e72005-02-09 07:05:46 +0000138 if( pParse->rc==SQLITE_OK && pParse->nErr ){
139 pParse->rc = SQLITE_ERROR;
drhe134ff12006-02-18 16:36:45 +0000140 return;
danielk1977c30f9e72005-02-09 07:05:46 +0000141 }
danielk1977441daf62005-02-01 03:46:43 +0000142 }
danielk197748d0d862005-02-01 03:09:52 +0000143
drh80242052004-06-09 00:48:12 +0000144 /* Begin by generating some termination code at the end of the
145 ** vdbe program
146 */
147 db = pParse->db;
148 v = sqlite3GetVdbe(pParse);
149 if( v ){
150 sqlite3VdbeAddOp(v, OP_Halt, 0, 0);
drh0e3d7472004-06-19 17:33:07 +0000151
152 /* The cookie mask contains one bit for each database file open.
153 ** (Bit 0 is for main, bit 1 is for temp, and so forth.) Bits are
154 ** set for each database that is used. Generate code to start a
155 ** transaction on each used database and to verify the schema cookie
156 ** on each used database.
157 */
drhc275b4e2004-07-19 17:25:24 +0000158 if( pParse->cookieGoto>0 ){
drh80242052004-06-09 00:48:12 +0000159 u32 mask;
160 int iDb;
drhd654be82005-09-20 17:42:23 +0000161 sqlite3VdbeJumpHere(v, pParse->cookieGoto-1);
drh80242052004-06-09 00:48:12 +0000162 for(iDb=0, mask=1; iDb<db->nDb; mask<<=1, iDb++){
163 if( (mask & pParse->cookieMask)==0 ) continue;
164 sqlite3VdbeAddOp(v, OP_Transaction, iDb, (mask & pParse->writeMask)!=0);
drhc275b4e2004-07-19 17:25:24 +0000165 sqlite3VdbeAddOp(v, OP_VerifyCookie, iDb, pParse->cookieValue[iDb]);
drh80242052004-06-09 00:48:12 +0000166 }
danielk1977f9e7dda2006-06-16 16:08:53 +0000167#ifndef SQLITE_OMIT_VIRTUALTABLE
168 if( pParse->pVirtualLock ){
169 char *vtab = (char *)pParse->pVirtualLock->pVtab;
170 sqlite3VdbeOp3(v, OP_VBegin, 0, 0, vtab, P3_VTAB);
171 }
172#endif
danielk1977c00da102006-01-07 13:21:04 +0000173
174 /* Once all the cookies have been verified and transactions opened,
175 ** obtain the required table-locks. This is a no-op unless the
176 ** shared-cache feature is enabled.
177 */
178 codeTableLocks(pParse);
drhc275b4e2004-07-19 17:25:24 +0000179 sqlite3VdbeAddOp(v, OP_Goto, 0, pParse->cookieGoto);
drh80242052004-06-09 00:48:12 +0000180 }
drh80242052004-06-09 00:48:12 +0000181
drh19e2d372005-08-29 23:00:03 +0000182#ifndef SQLITE_OMIT_TRACE
drh71c697e2004-08-08 23:39:19 +0000183 /* Add a No-op that contains the complete text of the compiled SQL
184 ** statement as its P3 argument. This does not change the functionality
drhc16a03b2004-09-15 13:38:10 +0000185 ** of the program.
186 **
drh23bf66d2004-12-14 03:34:34 +0000187 ** This is used to implement sqlite3_trace().
drh71c697e2004-08-08 23:39:19 +0000188 */
189 sqlite3VdbeOp3(v, OP_Noop, 0, 0, pParse->zSql, pParse->zTail-pParse->zSql);
drh19e2d372005-08-29 23:00:03 +0000190#endif /* SQLITE_OMIT_TRACE */
drh71c697e2004-08-08 23:39:19 +0000191 }
192
drh3f7d4e42004-07-24 14:35:58 +0000193
drh80242052004-06-09 00:48:12 +0000194 /* Get the VDBE program ready for execution
195 */
drhe134ff12006-02-18 16:36:45 +0000196 if( v && pParse->nErr==0 && !sqlite3MallocFailed() ){
drhb86ccfb2003-01-28 23:13:10 +0000197 FILE *trace = (db->flags & SQLITE_VdbeTrace)!=0 ? stdout : 0;
danielk19774adee202004-05-08 08:23:19 +0000198 sqlite3VdbeTrace(v, trace);
drh290c1942004-08-21 17:54:45 +0000199 sqlite3VdbeMakeReady(v, pParse->nVar, pParse->nMem+3,
drh13449892005-09-07 21:22:45 +0000200 pParse->nTab+3, pParse->explain);
danielk1977441daf62005-02-01 03:46:43 +0000201 pParse->rc = SQLITE_DONE;
drhd8bc7082000-06-07 23:51:50 +0000202 pParse->colNamesSet = 0;
drh826fb5a2004-02-14 23:59:57 +0000203 }else if( pParse->rc==SQLITE_OK ){
drh483750b2003-01-29 18:46:51 +0000204 pParse->rc = SQLITE_ERROR;
drh75897232000-05-29 14:26:00 +0000205 }
drha226d052002-09-25 19:04:07 +0000206 pParse->nTab = 0;
207 pParse->nMem = 0;
208 pParse->nSet = 0;
drh7c972de2003-09-06 22:18:07 +0000209 pParse->nVar = 0;
drh80242052004-06-09 00:48:12 +0000210 pParse->cookieMask = 0;
drhc275b4e2004-07-19 17:25:24 +0000211 pParse->cookieGoto = 0;
drh75897232000-05-29 14:26:00 +0000212}
213
214/*
drh205f48e2004-11-05 00:43:11 +0000215** Run the parser and code generator recursively in order to generate
216** code for the SQL statement given onto the end of the pParse context
217** currently under construction. When the parser is run recursively
218** this way, the final OP_Halt is not appended and other initialization
219** and finalization steps are omitted because those are handling by the
220** outermost parser.
221**
222** Not everything is nestable. This facility is designed to permit
223** INSERT, UPDATE, and DELETE operations against SQLITE_MASTER. Use
drhf1974842004-11-05 03:56:00 +0000224** care if you decide to try to use this routine for some other purposes.
drh205f48e2004-11-05 00:43:11 +0000225*/
226void sqlite3NestedParse(Parse *pParse, const char *zFormat, ...){
227 va_list ap;
228 char *zSql;
drhf1974842004-11-05 03:56:00 +0000229# define SAVE_SZ (sizeof(Parse) - offsetof(Parse,nVar))
230 char saveBuf[SAVE_SZ];
231
drh205f48e2004-11-05 00:43:11 +0000232 if( pParse->nErr ) return;
233 assert( pParse->nested<10 ); /* Nesting should only be of limited depth */
234 va_start(ap, zFormat);
235 zSql = sqlite3VMPrintf(zFormat, ap);
236 va_end(ap);
drh73c42a12004-11-20 18:13:10 +0000237 if( zSql==0 ){
238 return; /* A malloc must have failed */
239 }
drh205f48e2004-11-05 00:43:11 +0000240 pParse->nested++;
drhf1974842004-11-05 03:56:00 +0000241 memcpy(saveBuf, &pParse->nVar, SAVE_SZ);
242 memset(&pParse->nVar, 0, SAVE_SZ);
drh4f26bb62005-09-08 14:17:20 +0000243 sqlite3RunParser(pParse, zSql, 0);
drh205f48e2004-11-05 00:43:11 +0000244 sqliteFree(zSql);
drhf1974842004-11-05 03:56:00 +0000245 memcpy(&pParse->nVar, saveBuf, SAVE_SZ);
drh205f48e2004-11-05 00:43:11 +0000246 pParse->nested--;
247}
248
249/*
danielk19778a414492004-06-29 08:59:35 +0000250** Locate the in-memory structure that describes a particular database
251** table given the name of that table and (optionally) the name of the
252** database containing the table. Return NULL if not found.
drha69d9162003-04-17 22:57:53 +0000253**
danielk19778a414492004-06-29 08:59:35 +0000254** If zDatabase is 0, all databases are searched for the table and the
255** first matching table is returned. (No checking for duplicate table
256** names is done.) The search order is TEMP first, then MAIN, then any
257** auxiliary databases added using the ATTACH command.
drhf26e09c2003-05-31 16:21:12 +0000258**
danielk19774adee202004-05-08 08:23:19 +0000259** See also sqlite3LocateTable().
drh75897232000-05-29 14:26:00 +0000260*/
drh9bb575f2004-09-06 17:24:11 +0000261Table *sqlite3FindTable(sqlite3 *db, const char *zName, const char *zDatabase){
drhd24cc422003-03-27 12:51:24 +0000262 Table *p = 0;
263 int i;
drh645f63e2004-06-22 13:22:40 +0000264 assert( zName!=0 );
danielk197753c0f742005-03-29 03:10:59 +0000265 for(i=OMIT_TEMPDB; i<db->nDb; i++){
drh812d7a22003-03-27 13:50:00 +0000266 int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */
danielk19774adee202004-05-08 08:23:19 +0000267 if( zDatabase!=0 && sqlite3StrICmp(zDatabase, db->aDb[j].zName) ) continue;
danielk1977da184232006-01-05 11:34:32 +0000268 p = sqlite3HashFind(&db->aDb[j].pSchema->tblHash, zName, strlen(zName)+1);
drhd24cc422003-03-27 12:51:24 +0000269 if( p ) break;
270 }
drh74e24cd2002-01-09 03:19:59 +0000271 return p;
drh75897232000-05-29 14:26:00 +0000272}
273
274/*
danielk19778a414492004-06-29 08:59:35 +0000275** Locate the in-memory structure that describes a particular database
276** table given the name of that table and (optionally) the name of the
277** database containing the table. Return NULL if not found. Also leave an
278** error message in pParse->zErrMsg.
drha69d9162003-04-17 22:57:53 +0000279**
danielk19778a414492004-06-29 08:59:35 +0000280** The difference between this routine and sqlite3FindTable() is that this
281** routine leaves an error message in pParse->zErrMsg where
282** sqlite3FindTable() does not.
drha69d9162003-04-17 22:57:53 +0000283*/
danielk19774adee202004-05-08 08:23:19 +0000284Table *sqlite3LocateTable(Parse *pParse, const char *zName, const char *zDbase){
drha69d9162003-04-17 22:57:53 +0000285 Table *p;
drhf26e09c2003-05-31 16:21:12 +0000286
danielk19778a414492004-06-29 08:59:35 +0000287 /* Read the database schema. If an error occurs, leave an error message
288 ** and code in pParse and return NULL. */
289 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
290 return 0;
291 }
292
danielk19774adee202004-05-08 08:23:19 +0000293 p = sqlite3FindTable(pParse->db, zName, zDbase);
drha69d9162003-04-17 22:57:53 +0000294 if( p==0 ){
danielk19778a414492004-06-29 08:59:35 +0000295 if( zDbase ){
danielk19774adee202004-05-08 08:23:19 +0000296 sqlite3ErrorMsg(pParse, "no such table: %s.%s", zDbase, zName);
drha69d9162003-04-17 22:57:53 +0000297 }else{
danielk19774adee202004-05-08 08:23:19 +0000298 sqlite3ErrorMsg(pParse, "no such table: %s", zName);
drha69d9162003-04-17 22:57:53 +0000299 }
drha6ecd332004-06-10 00:29:09 +0000300 pParse->checkSchema = 1;
drha69d9162003-04-17 22:57:53 +0000301 }
302 return p;
303}
304
305/*
306** Locate the in-memory structure that describes
307** a particular index given the name of that index
308** and the name of the database that contains the index.
drhf57b3392001-10-08 13:22:32 +0000309** Return NULL if not found.
drhf26e09c2003-05-31 16:21:12 +0000310**
311** If zDatabase is 0, all databases are searched for the
312** table and the first matching index is returned. (No checking
313** for duplicate index names is done.) The search order is
314** TEMP first, then MAIN, then any auxiliary databases added
315** using the ATTACH command.
drh75897232000-05-29 14:26:00 +0000316*/
drh9bb575f2004-09-06 17:24:11 +0000317Index *sqlite3FindIndex(sqlite3 *db, const char *zName, const char *zDb){
drhd24cc422003-03-27 12:51:24 +0000318 Index *p = 0;
319 int i;
danielk197753c0f742005-03-29 03:10:59 +0000320 for(i=OMIT_TEMPDB; i<db->nDb; i++){
drh812d7a22003-03-27 13:50:00 +0000321 int j = (i<2) ? i^1 : i; /* Search TEMP before MAIN */
danielk1977e501b892006-01-09 06:29:47 +0000322 Schema *pSchema = db->aDb[j].pSchema;
danielk19774adee202004-05-08 08:23:19 +0000323 if( zDb && sqlite3StrICmp(zDb, db->aDb[j].zName) ) continue;
danielk1977da184232006-01-05 11:34:32 +0000324 assert( pSchema || (j==1 && !db->aDb[1].pBt) );
325 if( pSchema ){
326 p = sqlite3HashFind(&pSchema->idxHash, zName, strlen(zName)+1);
327 }
drhd24cc422003-03-27 12:51:24 +0000328 if( p ) break;
329 }
drh74e24cd2002-01-09 03:19:59 +0000330 return p;
drh75897232000-05-29 14:26:00 +0000331}
332
333/*
drh956bc922004-07-24 17:38:29 +0000334** Reclaim the memory used by an index
335*/
336static void freeIndex(Index *p){
337 sqliteFree(p->zColAff);
338 sqliteFree(p);
339}
340
341/*
drh75897232000-05-29 14:26:00 +0000342** Remove the given index from the index hash table, and free
343** its memory structures.
344**
drhd229ca92002-01-09 13:30:41 +0000345** The index is removed from the database hash tables but
346** it is not unlinked from the Table that it indexes.
drhdaffd0e2001-04-11 14:28:42 +0000347** Unlinking from the Table must be done by the calling function.
drh75897232000-05-29 14:26:00 +0000348*/
drh74161702006-02-24 02:53:49 +0000349static void sqliteDeleteIndex(Index *p){
drhd229ca92002-01-09 13:30:41 +0000350 Index *pOld;
danielk1977da184232006-01-05 11:34:32 +0000351 const char *zName = p->zName;
drhd24cc422003-03-27 12:51:24 +0000352
danielk1977da184232006-01-05 11:34:32 +0000353 pOld = sqlite3HashInsert(&p->pSchema->idxHash, zName, strlen( zName)+1, 0);
drh85c23c62005-08-20 03:03:04 +0000354 assert( pOld==0 || pOld==p );
drh956bc922004-07-24 17:38:29 +0000355 freeIndex(p);
drh75897232000-05-29 14:26:00 +0000356}
357
358/*
drhc96d8532005-05-03 12:30:33 +0000359** For the index called zIdxName which is found in the database iDb,
360** unlike that index from its Table then remove the index from
361** the index hash table and free all memory structures associated
362** with the index.
drh5e00f6c2001-09-13 13:46:56 +0000363*/
drh9bb575f2004-09-06 17:24:11 +0000364void sqlite3UnlinkAndDeleteIndex(sqlite3 *db, int iDb, const char *zIdxName){
drh956bc922004-07-24 17:38:29 +0000365 Index *pIndex;
366 int len;
danielk1977da184232006-01-05 11:34:32 +0000367 Hash *pHash = &db->aDb[iDb].pSchema->idxHash;
drh956bc922004-07-24 17:38:29 +0000368
369 len = strlen(zIdxName);
danielk1977da184232006-01-05 11:34:32 +0000370 pIndex = sqlite3HashInsert(pHash, zIdxName, len+1, 0);
drh956bc922004-07-24 17:38:29 +0000371 if( pIndex ){
372 if( pIndex->pTable->pIndex==pIndex ){
373 pIndex->pTable->pIndex = pIndex->pNext;
374 }else{
375 Index *p;
376 for(p=pIndex->pTable->pIndex; p && p->pNext!=pIndex; p=p->pNext){}
377 if( p && p->pNext==pIndex ){
378 p->pNext = pIndex->pNext;
379 }
drh5e00f6c2001-09-13 13:46:56 +0000380 }
drh956bc922004-07-24 17:38:29 +0000381 freeIndex(pIndex);
drh5e00f6c2001-09-13 13:46:56 +0000382 }
drh956bc922004-07-24 17:38:29 +0000383 db->flags |= SQLITE_InternChanges;
drh5e00f6c2001-09-13 13:46:56 +0000384}
385
386/*
drhe0bc4042002-06-25 01:09:11 +0000387** Erase all schema information from the in-memory hash tables of
drh234c39d2004-07-24 03:30:47 +0000388** a single database. This routine is called to reclaim memory
389** before the database closes. It is also called during a rollback
danielk1977e0d4b062004-06-28 01:11:46 +0000390** if there were schema changes during the transaction or if a
391** schema-cookie mismatch occurs.
drh1c2d8412003-03-31 00:30:47 +0000392**
393** If iDb<=0 then reset the internal schema tables for all database
394** files. If iDb>=2 then reset the internal schema for only the
jplyoncfa56842004-01-19 04:55:56 +0000395** single file indicated.
drh74e24cd2002-01-09 03:19:59 +0000396*/
drh9bb575f2004-09-06 17:24:11 +0000397void sqlite3ResetInternalSchema(sqlite3 *db, int iDb){
drh1c2d8412003-03-31 00:30:47 +0000398 int i, j;
drhe0bc4042002-06-25 01:09:11 +0000399
drh1c2d8412003-03-31 00:30:47 +0000400 assert( iDb>=0 && iDb<db->nDb );
drh1c2d8412003-03-31 00:30:47 +0000401 for(i=iDb; i<db->nDb; i++){
drhd24cc422003-03-27 12:51:24 +0000402 Db *pDb = &db->aDb[i];
danielk1977da184232006-01-05 11:34:32 +0000403 if( pDb->pSchema ){
danielk1977de0fe3e2006-01-06 06:33:12 +0000404 sqlite3SchemaFree(pDb->pSchema);
drhd24cc422003-03-27 12:51:24 +0000405 }
drh1c2d8412003-03-31 00:30:47 +0000406 if( iDb>0 ) return;
drh74e24cd2002-01-09 03:19:59 +0000407 }
drh1c2d8412003-03-31 00:30:47 +0000408 assert( iDb==0 );
409 db->flags &= ~SQLITE_InternChanges;
410
411 /* If one or more of the auxiliary database files has been closed,
danielk1977311019b2006-01-10 07:14:23 +0000412 ** then remove them from the auxiliary database list. We take the
drh1c2d8412003-03-31 00:30:47 +0000413 ** opportunity to do this here since we have just deleted all of the
414 ** schema hash tables and therefore do not have to make any changes
415 ** to any of those tables.
416 */
drh4d189ca2004-02-12 18:46:38 +0000417 for(i=0; i<db->nDb; i++){
418 struct Db *pDb = &db->aDb[i];
419 if( pDb->pBt==0 ){
420 if( pDb->pAux && pDb->xFreeAux ) pDb->xFreeAux(pDb->pAux);
421 pDb->pAux = 0;
422 }
423 }
drh1c2d8412003-03-31 00:30:47 +0000424 for(i=j=2; i<db->nDb; i++){
drh4d189ca2004-02-12 18:46:38 +0000425 struct Db *pDb = &db->aDb[i];
426 if( pDb->pBt==0 ){
427 sqliteFree(pDb->zName);
428 pDb->zName = 0;
drh1c2d8412003-03-31 00:30:47 +0000429 continue;
430 }
431 if( j<i ){
drh8bf8dc92003-05-17 17:35:10 +0000432 db->aDb[j] = db->aDb[i];
drh1c2d8412003-03-31 00:30:47 +0000433 }
drh8bf8dc92003-05-17 17:35:10 +0000434 j++;
drh1c2d8412003-03-31 00:30:47 +0000435 }
436 memset(&db->aDb[j], 0, (db->nDb-j)*sizeof(db->aDb[j]));
437 db->nDb = j;
438 if( db->nDb<=2 && db->aDb!=db->aDbStatic ){
439 memcpy(db->aDbStatic, db->aDb, 2*sizeof(db->aDb[0]));
440 sqliteFree(db->aDb);
441 db->aDb = db->aDbStatic;
442 }
drhe0bc4042002-06-25 01:09:11 +0000443}
444
445/*
446** This routine is called whenever a rollback occurs. If there were
447** schema changes during the transaction, then we have to reset the
448** internal hash tables and reload them from disk.
449*/
drh9bb575f2004-09-06 17:24:11 +0000450void sqlite3RollbackInternalChanges(sqlite3 *db){
drhe0bc4042002-06-25 01:09:11 +0000451 if( db->flags & SQLITE_InternChanges ){
danielk19774adee202004-05-08 08:23:19 +0000452 sqlite3ResetInternalSchema(db, 0);
drhe0bc4042002-06-25 01:09:11 +0000453 }
454}
455
456/*
457** This routine is called when a commit occurs.
458*/
drh9bb575f2004-09-06 17:24:11 +0000459void sqlite3CommitInternalChanges(sqlite3 *db){
drhe0bc4042002-06-25 01:09:11 +0000460 db->flags &= ~SQLITE_InternChanges;
drh74e24cd2002-01-09 03:19:59 +0000461}
462
463/*
drh956bc922004-07-24 17:38:29 +0000464** Clear the column names from a table or view.
465*/
466static void sqliteResetColumnNames(Table *pTable){
467 int i;
468 Column *pCol;
469 assert( pTable!=0 );
drhdd5b2fa2005-03-28 03:39:55 +0000470 if( (pCol = pTable->aCol)!=0 ){
471 for(i=0; i<pTable->nCol; i++, pCol++){
472 sqliteFree(pCol->zName);
473 sqlite3ExprDelete(pCol->pDflt);
474 sqliteFree(pCol->zType);
danielk1977b3bf5562006-01-10 17:58:23 +0000475 sqliteFree(pCol->zColl);
drhdd5b2fa2005-03-28 03:39:55 +0000476 }
477 sqliteFree(pTable->aCol);
drh956bc922004-07-24 17:38:29 +0000478 }
drh956bc922004-07-24 17:38:29 +0000479 pTable->aCol = 0;
480 pTable->nCol = 0;
481}
482
483/*
drh75897232000-05-29 14:26:00 +0000484** Remove the memory data structures associated with the given
drh967e8b72000-06-21 13:59:10 +0000485** Table. No changes are made to disk by this routine.
drh75897232000-05-29 14:26:00 +0000486**
487** This routine just deletes the data structure. It does not unlink
drhc2eef3b2002-08-31 18:53:06 +0000488** the table data structure from the hash table. Nor does it remove
489** foreign keys from the sqlite.aFKey hash table. But it does destroy
490** memory structures of the indices and foreign keys associated with
491** the table.
drhdaffd0e2001-04-11 14:28:42 +0000492**
493** Indices associated with the table are unlinked from the "db"
494** data structure if db!=NULL. If db==NULL, indices attached to
495** the table are deleted, but it is assumed they have already been
496** unlinked.
drh75897232000-05-29 14:26:00 +0000497*/
drh9bb575f2004-09-06 17:24:11 +0000498void sqlite3DeleteTable(sqlite3 *db, Table *pTable){
drh75897232000-05-29 14:26:00 +0000499 Index *pIndex, *pNext;
drhc2eef3b2002-08-31 18:53:06 +0000500 FKey *pFKey, *pNextFKey;
501
danielk1977de0fe3e2006-01-06 06:33:12 +0000502 db = 0;
503
drh75897232000-05-29 14:26:00 +0000504 if( pTable==0 ) return;
drhc2eef3b2002-08-31 18:53:06 +0000505
drhed8a3bb2005-06-06 21:19:56 +0000506 /* Do not delete the table until the reference count reaches zero. */
507 pTable->nRef--;
508 if( pTable->nRef>0 ){
509 return;
510 }
511 assert( pTable->nRef==0 );
512
drhc2eef3b2002-08-31 18:53:06 +0000513 /* Delete all indices associated with this table
514 */
515 for(pIndex = pTable->pIndex; pIndex; pIndex=pNext){
516 pNext = pIndex->pNext;
danielk1977da184232006-01-05 11:34:32 +0000517 assert( pIndex->pSchema==pTable->pSchema );
drh74161702006-02-24 02:53:49 +0000518 sqliteDeleteIndex(pIndex);
drhc2eef3b2002-08-31 18:53:06 +0000519 }
520
danielk1977576ec6b2005-01-21 11:55:25 +0000521#ifndef SQLITE_OMIT_FOREIGN_KEY
drhc2eef3b2002-08-31 18:53:06 +0000522 /* Delete all foreign keys associated with this table. The keys
523 ** should have already been unlinked from the db->aFKey hash table
524 */
525 for(pFKey=pTable->pFKey; pFKey; pFKey=pNextFKey){
526 pNextFKey = pFKey->pNextFrom;
danielk1977da184232006-01-05 11:34:32 +0000527 assert( sqlite3HashFind(&pTable->pSchema->aFKey,
drhd24cc422003-03-27 12:51:24 +0000528 pFKey->zTo, strlen(pFKey->zTo)+1)!=pFKey );
drhc2eef3b2002-08-31 18:53:06 +0000529 sqliteFree(pFKey);
530 }
danielk1977576ec6b2005-01-21 11:55:25 +0000531#endif
drhc2eef3b2002-08-31 18:53:06 +0000532
533 /* Delete the Table structure itself.
534 */
drh956bc922004-07-24 17:38:29 +0000535 sqliteResetColumnNames(pTable);
drh6e142f52000-06-08 13:36:40 +0000536 sqliteFree(pTable->zName);
drh956bc922004-07-24 17:38:29 +0000537 sqliteFree(pTable->zColAff);
danielk19774adee202004-05-08 08:23:19 +0000538 sqlite3SelectDelete(pTable->pSelect);
drhffe07b22005-11-03 00:41:17 +0000539#ifndef SQLITE_OMIT_CHECK
540 sqlite3ExprDelete(pTable->pCheck);
541#endif
drhb9bb7c12006-06-11 23:41:55 +0000542 sqlite3VtabClear(pTable);
drh75897232000-05-29 14:26:00 +0000543 sqliteFree(pTable);
544}
545
546/*
drh5edc3122001-09-13 21:53:09 +0000547** Unlink the given table from the hash tables and the delete the
drhc2eef3b2002-08-31 18:53:06 +0000548** table structure with all its indices and foreign keys.
drh5edc3122001-09-13 21:53:09 +0000549*/
drh9bb575f2004-09-06 17:24:11 +0000550void sqlite3UnlinkAndDeleteTable(sqlite3 *db, int iDb, const char *zTabName){
drh956bc922004-07-24 17:38:29 +0000551 Table *p;
drhc2eef3b2002-08-31 18:53:06 +0000552 FKey *pF1, *pF2;
drh956bc922004-07-24 17:38:29 +0000553 Db *pDb;
554
drhd229ca92002-01-09 13:30:41 +0000555 assert( db!=0 );
drh956bc922004-07-24 17:38:29 +0000556 assert( iDb>=0 && iDb<db->nDb );
557 assert( zTabName && zTabName[0] );
558 pDb = &db->aDb[iDb];
danielk1977da184232006-01-05 11:34:32 +0000559 p = sqlite3HashInsert(&pDb->pSchema->tblHash, zTabName, strlen(zTabName)+1,0);
drh956bc922004-07-24 17:38:29 +0000560 if( p ){
danielk1977576ec6b2005-01-21 11:55:25 +0000561#ifndef SQLITE_OMIT_FOREIGN_KEY
drh956bc922004-07-24 17:38:29 +0000562 for(pF1=p->pFKey; pF1; pF1=pF1->pNextFrom){
563 int nTo = strlen(pF1->zTo) + 1;
danielk1977da184232006-01-05 11:34:32 +0000564 pF2 = sqlite3HashFind(&pDb->pSchema->aFKey, pF1->zTo, nTo);
drh956bc922004-07-24 17:38:29 +0000565 if( pF2==pF1 ){
danielk1977da184232006-01-05 11:34:32 +0000566 sqlite3HashInsert(&pDb->pSchema->aFKey, pF1->zTo, nTo, pF1->pNextTo);
drh956bc922004-07-24 17:38:29 +0000567 }else{
568 while( pF2 && pF2->pNextTo!=pF1 ){ pF2=pF2->pNextTo; }
569 if( pF2 ){
570 pF2->pNextTo = pF1->pNextTo;
571 }
drhc2eef3b2002-08-31 18:53:06 +0000572 }
573 }
danielk1977576ec6b2005-01-21 11:55:25 +0000574#endif
drh956bc922004-07-24 17:38:29 +0000575 sqlite3DeleteTable(db, p);
drhc2eef3b2002-08-31 18:53:06 +0000576 }
drh956bc922004-07-24 17:38:29 +0000577 db->flags |= SQLITE_InternChanges;
drh74e24cd2002-01-09 03:19:59 +0000578}
579
580/*
drha99db3b2004-06-19 14:49:12 +0000581** Given a token, return a string that consists of the text of that
582** token with any quotations removed. Space to hold the returned string
583** is obtained from sqliteMalloc() and must be freed by the calling
584** function.
drh75897232000-05-29 14:26:00 +0000585**
drhc96d8532005-05-03 12:30:33 +0000586** Tokens are often just pointers into the original SQL text and so
drha99db3b2004-06-19 14:49:12 +0000587** are not \000 terminated and are not persistent. The returned string
588** is \000 terminated and is persistent.
drh75897232000-05-29 14:26:00 +0000589*/
drha99db3b2004-06-19 14:49:12 +0000590char *sqlite3NameFromToken(Token *pName){
591 char *zName;
592 if( pName ){
drh2646da72005-12-09 20:02:05 +0000593 zName = sqliteStrNDup((char*)pName->z, pName->n);
drha99db3b2004-06-19 14:49:12 +0000594 sqlite3Dequote(zName);
595 }else{
596 zName = 0;
597 }
drh75897232000-05-29 14:26:00 +0000598 return zName;
599}
600
601/*
danielk1977cbb18d22004-05-28 11:37:27 +0000602** Open the sqlite_master table stored in database number iDb for
603** writing. The table is opened using cursor 0.
drhe0bc4042002-06-25 01:09:11 +0000604*/
danielk1977c00da102006-01-07 13:21:04 +0000605void sqlite3OpenMasterTable(Parse *p, int iDb){
606 Vdbe *v = sqlite3GetVdbe(p);
607 sqlite3TableLock(p, iDb, MASTER_ROOT, 1, SCHEMA_TABLE(iDb));
danielk1977cbb18d22004-05-28 11:37:27 +0000608 sqlite3VdbeAddOp(v, OP_Integer, iDb, 0);
danielk19778e150812004-05-10 01:17:37 +0000609 sqlite3VdbeAddOp(v, OP_OpenWrite, 0, MASTER_ROOT);
danielk1977b4964b72004-05-18 01:23:38 +0000610 sqlite3VdbeAddOp(v, OP_SetNumColumns, 0, 5); /* sqlite_master has 5 columns */
drhe0bc4042002-06-25 01:09:11 +0000611}
612
613/*
danielk1977cbb18d22004-05-28 11:37:27 +0000614** The token *pName contains the name of a database (either "main" or
615** "temp" or the name of an attached db). This routine returns the
616** index of the named database in db->aDb[], or -1 if the named db
617** does not exist.
618*/
drhff2d5ea2005-07-23 00:41:48 +0000619int sqlite3FindDb(sqlite3 *db, Token *pName){
danielk1977576ec6b2005-01-21 11:55:25 +0000620 int i = -1; /* Database number */
drh73c42a12004-11-20 18:13:10 +0000621 int n; /* Number of characters in the name */
622 Db *pDb; /* A database whose name space is being searched */
623 char *zName; /* Name we are searching for */
624
625 zName = sqlite3NameFromToken(pName);
626 if( zName ){
627 n = strlen(zName);
danielk1977576ec6b2005-01-21 11:55:25 +0000628 for(i=(db->nDb-1), pDb=&db->aDb[i]; i>=0; i--, pDb--){
danielk197753c0f742005-03-29 03:10:59 +0000629 if( (!OMIT_TEMPDB || i!=1 ) && n==strlen(pDb->zName) &&
630 0==sqlite3StrICmp(pDb->zName, zName) ){
danielk1977576ec6b2005-01-21 11:55:25 +0000631 break;
drh73c42a12004-11-20 18:13:10 +0000632 }
danielk1977cbb18d22004-05-28 11:37:27 +0000633 }
drh73c42a12004-11-20 18:13:10 +0000634 sqliteFree(zName);
danielk1977cbb18d22004-05-28 11:37:27 +0000635 }
danielk1977576ec6b2005-01-21 11:55:25 +0000636 return i;
danielk1977cbb18d22004-05-28 11:37:27 +0000637}
638
drh0e3d7472004-06-19 17:33:07 +0000639/* The table or view or trigger name is passed to this routine via tokens
640** pName1 and pName2. If the table name was fully qualified, for example:
641**
642** CREATE TABLE xxx.yyy (...);
643**
644** Then pName1 is set to "xxx" and pName2 "yyy". On the other hand if
645** the table name is not fully qualified, i.e.:
646**
647** CREATE TABLE yyy(...);
648**
649** Then pName1 is set to "yyy" and pName2 is "".
650**
651** This routine sets the *ppUnqual pointer to point at the token (pName1 or
652** pName2) that stores the unqualified table name. The index of the
653** database "xxx" is returned.
654*/
danielk1977ef2cb632004-05-29 02:37:19 +0000655int sqlite3TwoPartName(
drh0e3d7472004-06-19 17:33:07 +0000656 Parse *pParse, /* Parsing and code generating context */
drh90f5ecb2004-07-22 01:19:35 +0000657 Token *pName1, /* The "xxx" in the name "xxx.yyy" or "xxx" */
drh0e3d7472004-06-19 17:33:07 +0000658 Token *pName2, /* The "yyy" in the name "xxx.yyy" */
659 Token **pUnqual /* Write the unqualified object name here */
danielk1977cbb18d22004-05-28 11:37:27 +0000660){
drh0e3d7472004-06-19 17:33:07 +0000661 int iDb; /* Database holding the object */
danielk1977cbb18d22004-05-28 11:37:27 +0000662 sqlite3 *db = pParse->db;
663
664 if( pName2 && pName2->n>0 ){
665 assert( !db->init.busy );
666 *pUnqual = pName2;
drhff2d5ea2005-07-23 00:41:48 +0000667 iDb = sqlite3FindDb(db, pName1);
danielk1977cbb18d22004-05-28 11:37:27 +0000668 if( iDb<0 ){
669 sqlite3ErrorMsg(pParse, "unknown database %T", pName1);
670 pParse->nErr++;
671 return -1;
672 }
673 }else{
674 assert( db->init.iDb==0 || db->init.busy );
675 iDb = db->init.iDb;
676 *pUnqual = pName1;
677 }
678 return iDb;
679}
680
681/*
danielk1977d8123362004-06-12 09:25:12 +0000682** This routine is used to check if the UTF-8 string zName is a legal
683** unqualified name for a new schema object (table, index, view or
684** trigger). All names are legal except those that begin with the string
685** "sqlite_" (in upper, lower or mixed case). This portion of the namespace
686** is reserved for internal use.
687*/
688int sqlite3CheckObjectName(Parse *pParse, const char *zName){
drhf1974842004-11-05 03:56:00 +0000689 if( !pParse->db->init.busy && pParse->nested==0
danielk19773a3f38e2005-05-22 06:49:56 +0000690 && (pParse->db->flags & SQLITE_WriteSchema)==0
drhf1974842004-11-05 03:56:00 +0000691 && 0==sqlite3StrNICmp(zName, "sqlite_", 7) ){
danielk1977d8123362004-06-12 09:25:12 +0000692 sqlite3ErrorMsg(pParse, "object name reserved for internal use: %s", zName);
693 return SQLITE_ERROR;
694 }
695 return SQLITE_OK;
696}
697
698/*
drh75897232000-05-29 14:26:00 +0000699** Begin constructing a new table representation in memory. This is
700** the first of several action routines that get called in response
drhd9b02572001-04-15 00:37:09 +0000701** to a CREATE TABLE statement. In particular, this routine is called
drh74161702006-02-24 02:53:49 +0000702** after seeing tokens "CREATE" and "TABLE" and the table name. The isTemp
drhe0bc4042002-06-25 01:09:11 +0000703** flag is true if the table should be stored in the auxiliary database
704** file instead of in the main database file. This is normally the case
705** when the "TEMP" or "TEMPORARY" keyword occurs in between
drhf57b3392001-10-08 13:22:32 +0000706** CREATE and TABLE.
drhd9b02572001-04-15 00:37:09 +0000707**
drhf57b3392001-10-08 13:22:32 +0000708** The new table record is initialized and put in pParse->pNewTable.
709** As more of the CREATE TABLE statement is parsed, additional action
710** routines will be called to add more information to this record.
danielk19774adee202004-05-08 08:23:19 +0000711** At the end of the CREATE TABLE statement, the sqlite3EndTable() routine
drhf57b3392001-10-08 13:22:32 +0000712** is called to complete the construction of the new table record.
drh75897232000-05-29 14:26:00 +0000713*/
danielk19774adee202004-05-08 08:23:19 +0000714void sqlite3StartTable(
drhe5f9c642003-01-13 23:27:31 +0000715 Parse *pParse, /* Parser context */
danielk1977cbb18d22004-05-28 11:37:27 +0000716 Token *pName1, /* First part of the name of the table or view */
717 Token *pName2, /* Second part of the name of the table or view */
drhe5f9c642003-01-13 23:27:31 +0000718 int isTemp, /* True if this is a TEMP table */
drhfaa59552005-12-29 23:33:54 +0000719 int isView, /* True if this is a VIEW */
danielk1977f1a381e2006-06-16 08:01:02 +0000720 int isVirtual, /* True if this is a VIRTUAL table */
drhfaa59552005-12-29 23:33:54 +0000721 int noErr /* Do nothing if table already exists */
drhe5f9c642003-01-13 23:27:31 +0000722){
drh75897232000-05-29 14:26:00 +0000723 Table *pTable;
drh23bf66d2004-12-14 03:34:34 +0000724 char *zName = 0; /* The name of the new table */
drh9bb575f2004-09-06 17:24:11 +0000725 sqlite3 *db = pParse->db;
drhadbca9c2001-09-27 15:11:53 +0000726 Vdbe *v;
danielk1977cbb18d22004-05-28 11:37:27 +0000727 int iDb; /* Database number to create the table in */
728 Token *pName; /* Unqualified name of the table to create */
drh75897232000-05-29 14:26:00 +0000729
danielk1977cbb18d22004-05-28 11:37:27 +0000730 /* The table or view name to create is passed to this routine via tokens
731 ** pName1 and pName2. If the table name was fully qualified, for example:
732 **
733 ** CREATE TABLE xxx.yyy (...);
734 **
735 ** Then pName1 is set to "xxx" and pName2 "yyy". On the other hand if
736 ** the table name is not fully qualified, i.e.:
737 **
738 ** CREATE TABLE yyy(...);
739 **
740 ** Then pName1 is set to "yyy" and pName2 is "".
741 **
742 ** The call below sets the pName pointer to point at the token (pName1 or
743 ** pName2) that stores the unqualified table name. The variable iDb is
744 ** set to the index of the database that the table or view is to be
745 ** created in.
746 */
danielk1977ef2cb632004-05-29 02:37:19 +0000747 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName);
danielk1977cbb18d22004-05-28 11:37:27 +0000748 if( iDb<0 ) return;
danielk197753c0f742005-03-29 03:10:59 +0000749 if( !OMIT_TEMPDB && isTemp && iDb>1 ){
danielk1977cbb18d22004-05-28 11:37:27 +0000750 /* If creating a temp table, the name may not be qualified */
751 sqlite3ErrorMsg(pParse, "temporary table name must be unqualified");
danielk1977cbb18d22004-05-28 11:37:27 +0000752 return;
753 }
danielk197753c0f742005-03-29 03:10:59 +0000754 if( !OMIT_TEMPDB && isTemp ) iDb = 1;
danielk1977cbb18d22004-05-28 11:37:27 +0000755
756 pParse->sNameToken = *pName;
drha99db3b2004-06-19 14:49:12 +0000757 zName = sqlite3NameFromToken(pName);
danielk1977e0048402004-06-15 16:51:01 +0000758 if( zName==0 ) return;
danielk1977d8123362004-06-12 09:25:12 +0000759 if( SQLITE_OK!=sqlite3CheckObjectName(pParse, zName) ){
drh23bf66d2004-12-14 03:34:34 +0000760 goto begin_table_error;
danielk1977d8123362004-06-12 09:25:12 +0000761 }
drh1d85d932004-02-14 23:05:52 +0000762 if( db->init.iDb==1 ) isTemp = 1;
drhe5f9c642003-01-13 23:27:31 +0000763#ifndef SQLITE_OMIT_AUTHORIZATION
drhd24cc422003-03-27 12:51:24 +0000764 assert( (isTemp & 1)==isTemp );
drhe5f9c642003-01-13 23:27:31 +0000765 {
766 int code;
danielk1977cbb18d22004-05-28 11:37:27 +0000767 char *zDb = db->aDb[iDb].zName;
danielk19774adee202004-05-08 08:23:19 +0000768 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(isTemp), 0, zDb) ){
drh23bf66d2004-12-14 03:34:34 +0000769 goto begin_table_error;
drhe22a3342003-04-22 20:30:37 +0000770 }
drhe5f9c642003-01-13 23:27:31 +0000771 if( isView ){
danielk197753c0f742005-03-29 03:10:59 +0000772 if( !OMIT_TEMPDB && isTemp ){
drhe5f9c642003-01-13 23:27:31 +0000773 code = SQLITE_CREATE_TEMP_VIEW;
774 }else{
775 code = SQLITE_CREATE_VIEW;
776 }
777 }else{
danielk197753c0f742005-03-29 03:10:59 +0000778 if( !OMIT_TEMPDB && isTemp ){
drhe5f9c642003-01-13 23:27:31 +0000779 code = SQLITE_CREATE_TEMP_TABLE;
780 }else{
781 code = SQLITE_CREATE_TABLE;
782 }
783 }
danielk1977f1a381e2006-06-16 08:01:02 +0000784 if( !isVirtual && sqlite3AuthCheck(pParse, code, zName, 0, zDb) ){
drh23bf66d2004-12-14 03:34:34 +0000785 goto begin_table_error;
drhe5f9c642003-01-13 23:27:31 +0000786 }
787 }
788#endif
drhf57b3392001-10-08 13:22:32 +0000789
drhf57b3392001-10-08 13:22:32 +0000790 /* Make sure the new table name does not collide with an existing
danielk19773df6b252004-05-29 10:23:19 +0000791 ** index or table name in the same database. Issue an error message if
danielk19777e6ebfb2006-06-12 11:24:37 +0000792 ** it does. The exception is if the statement being parsed was passed
793 ** to an sqlite3_declare_vtab() call. In that case only the column names
794 ** and types will be used, so there is no need to test for namespace
795 ** collisions.
drhf57b3392001-10-08 13:22:32 +0000796 */
danielk19777e6ebfb2006-06-12 11:24:37 +0000797 if( !IN_DECLARE_VTAB ){
798 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
799 goto begin_table_error;
drhfaa59552005-12-29 23:33:54 +0000800 }
danielk19777e6ebfb2006-06-12 11:24:37 +0000801 pTable = sqlite3FindTable(db, zName, db->aDb[iDb].zName);
802 if( pTable ){
803 if( !noErr ){
804 sqlite3ErrorMsg(pParse, "table %T already exists", pName);
805 }
806 goto begin_table_error;
807 }
808 if( sqlite3FindIndex(db, zName, 0)!=0 && (iDb==0 || !db->init.busy) ){
809 sqlite3ErrorMsg(pParse, "there is already an index named %s", zName);
810 goto begin_table_error;
811 }
drh75897232000-05-29 14:26:00 +0000812 }
danielk19777e6ebfb2006-06-12 11:24:37 +0000813
drh75897232000-05-29 14:26:00 +0000814 pTable = sqliteMalloc( sizeof(Table) );
drh6d4abfb2001-10-22 02:58:08 +0000815 if( pTable==0 ){
danielk1977e0048402004-06-15 16:51:01 +0000816 pParse->rc = SQLITE_NOMEM;
817 pParse->nErr++;
drh23bf66d2004-12-14 03:34:34 +0000818 goto begin_table_error;
drh6d4abfb2001-10-22 02:58:08 +0000819 }
drh75897232000-05-29 14:26:00 +0000820 pTable->zName = zName;
drh4a324312001-12-21 14:30:42 +0000821 pTable->iPKey = -1;
danielk1977da184232006-01-05 11:34:32 +0000822 pTable->pSchema = db->aDb[iDb].pSchema;
drhed8a3bb2005-06-06 21:19:56 +0000823 pTable->nRef = 1;
danielk19774adee202004-05-08 08:23:19 +0000824 if( pParse->pNewTable ) sqlite3DeleteTable(db, pParse->pNewTable);
drh75897232000-05-29 14:26:00 +0000825 pParse->pNewTable = pTable;
drh17f71932002-02-21 12:01:27 +0000826
drh4794f732004-11-05 17:17:50 +0000827 /* If this is the magic sqlite_sequence table used by autoincrement,
828 ** then record a pointer to this table in the main database structure
829 ** so that INSERT can find the table easily.
830 */
831#ifndef SQLITE_OMIT_AUTOINCREMENT
drh78776ec2005-06-14 02:12:46 +0000832 if( !pParse->nested && strcmp(zName, "sqlite_sequence")==0 ){
danielk1977da184232006-01-05 11:34:32 +0000833 pTable->pSchema->pSeqTab = pTable;
drh4794f732004-11-05 17:17:50 +0000834 }
835#endif
836
drh17f71932002-02-21 12:01:27 +0000837 /* Begin generating the code that will insert the table record into
838 ** the SQLITE_MASTER table. Note in particular that we must go ahead
839 ** and allocate the record number for the table entry now. Before any
840 ** PRIMARY KEY or UNIQUE keywords are parsed. Those keywords will cause
841 ** indices to be created and the table record must come before the
842 ** indices. Hence, the record number for the table must be allocated
843 ** now.
844 */
danielk19774adee202004-05-08 08:23:19 +0000845 if( !db->init.busy && (v = sqlite3GetVdbe(pParse))!=0 ){
danielk197736963fd2005-02-19 08:18:05 +0000846 int lbl;
drhe321c292006-01-12 01:56:43 +0000847 int fileFormat;
danielk1977cbb18d22004-05-28 11:37:27 +0000848 sqlite3BeginWriteOperation(pParse, 0, iDb);
drhb17131a2004-11-05 22:18:49 +0000849
danielk197720b1eaf2006-07-26 16:22:14 +0000850#ifndef SQLITE_OMIT_VIRTUALTABLE
851 if( isVirtual ){
852 sqlite3VdbeAddOp(v, OP_VBegin, 0, 0);
853 }
854#endif
855
danielk197736963fd2005-02-19 08:18:05 +0000856 /* If the file format and encoding in the database have not been set,
857 ** set them now.
danielk1977d008cfe2004-06-19 02:22:10 +0000858 */
danielk197736963fd2005-02-19 08:18:05 +0000859 sqlite3VdbeAddOp(v, OP_ReadCookie, iDb, 1); /* file_format */
860 lbl = sqlite3VdbeMakeLabel(v);
861 sqlite3VdbeAddOp(v, OP_If, 0, lbl);
drhe321c292006-01-12 01:56:43 +0000862 fileFormat = (db->flags & SQLITE_LegacyFileFmt)!=0 ?
drh76fe8032006-07-11 14:17:51 +0000863 1 : SQLITE_MAX_FILE_FORMAT;
drhe321c292006-01-12 01:56:43 +0000864 sqlite3VdbeAddOp(v, OP_Integer, fileFormat, 0);
danielk1977d008cfe2004-06-19 02:22:10 +0000865 sqlite3VdbeAddOp(v, OP_SetCookie, iDb, 1);
danielk197714db2662006-01-09 16:12:04 +0000866 sqlite3VdbeAddOp(v, OP_Integer, ENC(db), 0);
danielk1977d008cfe2004-06-19 02:22:10 +0000867 sqlite3VdbeAddOp(v, OP_SetCookie, iDb, 4);
danielk197736963fd2005-02-19 08:18:05 +0000868 sqlite3VdbeResolveLabel(v, lbl);
danielk1977d008cfe2004-06-19 02:22:10 +0000869
drh4794f732004-11-05 17:17:50 +0000870 /* This just creates a place-holder record in the sqlite_master table.
871 ** The record created does not contain anything yet. It will be replaced
872 ** by the real entry in code generated at sqlite3EndTable().
drhb17131a2004-11-05 22:18:49 +0000873 **
874 ** The rowid for the new entry is left on the top of the stack.
875 ** The rowid value is needed by the code that sqlite3EndTable will
876 ** generate.
drh4794f732004-11-05 17:17:50 +0000877 */
danielk1977f1a381e2006-06-16 08:01:02 +0000878#if !defined(SQLITE_OMIT_VIEW) || !defined(SQLITE_OMIT_VIRTUALTABLE)
879 if( isView || isVirtual ){
danielk1977a21c6b62005-01-24 10:25:59 +0000880 sqlite3VdbeAddOp(v, OP_Integer, 0, 0);
881 }else
882#endif
883 {
884 sqlite3VdbeAddOp(v, OP_CreateTable, iDb, 0);
885 }
danielk1977c00da102006-01-07 13:21:04 +0000886 sqlite3OpenMasterTable(pParse, iDb);
drhf0863fe2005-06-12 21:35:51 +0000887 sqlite3VdbeAddOp(v, OP_NewRowid, 0, 0);
danielk19774adee202004-05-08 08:23:19 +0000888 sqlite3VdbeAddOp(v, OP_Dup, 0, 0);
drhf0863fe2005-06-12 21:35:51 +0000889 sqlite3VdbeAddOp(v, OP_Null, 0, 0);
890 sqlite3VdbeAddOp(v, OP_Insert, 0, 0);
danielk1977e6efa742004-11-10 11:55:10 +0000891 sqlite3VdbeAddOp(v, OP_Close, 0, 0);
danielk1977a21c6b62005-01-24 10:25:59 +0000892 sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
drh5e00f6c2001-09-13 13:46:56 +0000893 }
drh23bf66d2004-12-14 03:34:34 +0000894
895 /* Normal (non-error) return. */
896 return;
897
898 /* If an error occurs, we jump here */
899begin_table_error:
900 sqliteFree(zName);
901 return;
drh75897232000-05-29 14:26:00 +0000902}
903
904/*
danielk1977c60e9b82005-01-31 12:42:29 +0000905** This macro is used to compare two strings in a case-insensitive manner.
906** It is slightly faster than calling sqlite3StrICmp() directly, but
907** produces larger code.
908**
909** WARNING: This macro is not compatible with the strcmp() family. It
910** returns true if the two strings are equal, otherwise false.
911*/
912#define STRICMP(x, y) (\
913sqlite3UpperToLower[*(unsigned char *)(x)]== \
914sqlite3UpperToLower[*(unsigned char *)(y)] \
915&& sqlite3StrICmp((x)+1,(y)+1)==0 )
916
917/*
drh75897232000-05-29 14:26:00 +0000918** Add a new column to the table currently being constructed.
drhd9b02572001-04-15 00:37:09 +0000919**
920** The parser calls this routine once for each column declaration
danielk19774adee202004-05-08 08:23:19 +0000921** in a CREATE TABLE statement. sqlite3StartTable() gets called
drhd9b02572001-04-15 00:37:09 +0000922** first to get things going. Then this routine is called for each
923** column.
drh75897232000-05-29 14:26:00 +0000924*/
danielk19774adee202004-05-08 08:23:19 +0000925void sqlite3AddColumn(Parse *pParse, Token *pName){
drh75897232000-05-29 14:26:00 +0000926 Table *p;
drh97fc3d02002-05-22 21:27:03 +0000927 int i;
drha99db3b2004-06-19 14:49:12 +0000928 char *z;
drhc9b84a12002-06-20 11:36:48 +0000929 Column *pCol;
drh75897232000-05-29 14:26:00 +0000930 if( (p = pParse->pNewTable)==0 ) return;
drha99db3b2004-06-19 14:49:12 +0000931 z = sqlite3NameFromToken(pName);
drh97fc3d02002-05-22 21:27:03 +0000932 if( z==0 ) return;
drh97fc3d02002-05-22 21:27:03 +0000933 for(i=0; i<p->nCol; i++){
danielk1977c60e9b82005-01-31 12:42:29 +0000934 if( STRICMP(z, p->aCol[i].zName) ){
danielk19774adee202004-05-08 08:23:19 +0000935 sqlite3ErrorMsg(pParse, "duplicate column name: %s", z);
drh97fc3d02002-05-22 21:27:03 +0000936 sqliteFree(z);
937 return;
938 }
939 }
drh75897232000-05-29 14:26:00 +0000940 if( (p->nCol & 0x7)==0 ){
drh6d4abfb2001-10-22 02:58:08 +0000941 Column *aNew;
942 aNew = sqliteRealloc( p->aCol, (p->nCol+8)*sizeof(p->aCol[0]));
danielk1977d5d56522005-03-16 12:15:20 +0000943 if( aNew==0 ){
944 sqliteFree(z);
945 return;
946 }
drh6d4abfb2001-10-22 02:58:08 +0000947 p->aCol = aNew;
drh75897232000-05-29 14:26:00 +0000948 }
drhc9b84a12002-06-20 11:36:48 +0000949 pCol = &p->aCol[p->nCol];
950 memset(pCol, 0, sizeof(p->aCol[0]));
951 pCol->zName = z;
danielk1977a37cdde2004-05-16 11:15:36 +0000952
953 /* If there is no type specified, columns have the default affinity
danielk19774f057f92004-06-08 00:02:33 +0000954 ** 'NONE'. If there is a type specified, then sqlite3AddColumnType() will
955 ** be called next to set pCol->affinity correctly.
danielk1977a37cdde2004-05-16 11:15:36 +0000956 */
danielk19774f057f92004-06-08 00:02:33 +0000957 pCol->affinity = SQLITE_AFF_NONE;
drhc9b84a12002-06-20 11:36:48 +0000958 p->nCol++;
drh75897232000-05-29 14:26:00 +0000959}
960
961/*
drh382c0242001-10-06 16:33:02 +0000962** This routine is called by the parser while in the middle of
963** parsing a CREATE TABLE statement. A "NOT NULL" constraint has
964** been seen on a column. This routine sets the notNull flag on
965** the column currently under construction.
966*/
danielk19774adee202004-05-08 08:23:19 +0000967void sqlite3AddNotNull(Parse *pParse, int onError){
drh382c0242001-10-06 16:33:02 +0000968 Table *p;
969 int i;
970 if( (p = pParse->pNewTable)==0 ) return;
971 i = p->nCol-1;
drh9cfcf5d2002-01-29 18:41:24 +0000972 if( i>=0 ) p->aCol[i].notNull = onError;
drh382c0242001-10-06 16:33:02 +0000973}
974
975/*
danielk197752a83fb2005-01-31 12:56:44 +0000976** Scan the column type name zType (length nType) and return the
977** associated affinity type.
danielk1977b3dff962005-02-01 01:21:55 +0000978**
979** This routine does a case-independent search of zType for the
980** substrings in the following table. If one of the substrings is
981** found, the corresponding affinity is returned. If zType contains
982** more than one of the substrings, entries toward the top of
983** the table take priority. For example, if zType is 'BLOBINT',
drh8a512562005-11-14 22:29:05 +0000984** SQLITE_AFF_INTEGER is returned.
danielk1977b3dff962005-02-01 01:21:55 +0000985**
986** Substring | Affinity
987** --------------------------------
988** 'INT' | SQLITE_AFF_INTEGER
989** 'CHAR' | SQLITE_AFF_TEXT
990** 'CLOB' | SQLITE_AFF_TEXT
991** 'TEXT' | SQLITE_AFF_TEXT
992** 'BLOB' | SQLITE_AFF_NONE
drh8a512562005-11-14 22:29:05 +0000993** 'REAL' | SQLITE_AFF_REAL
994** 'FLOA' | SQLITE_AFF_REAL
995** 'DOUB' | SQLITE_AFF_REAL
danielk1977b3dff962005-02-01 01:21:55 +0000996**
997** If none of the substrings in the above table are found,
998** SQLITE_AFF_NUMERIC is returned.
danielk197752a83fb2005-01-31 12:56:44 +0000999*/
drh8a512562005-11-14 22:29:05 +00001000char sqlite3AffinityType(const Token *pType){
danielk1977b3dff962005-02-01 01:21:55 +00001001 u32 h = 0;
1002 char aff = SQLITE_AFF_NUMERIC;
drh487e2622005-06-25 18:42:14 +00001003 const unsigned char *zIn = pType->z;
1004 const unsigned char *zEnd = &pType->z[pType->n];
danielk197752a83fb2005-01-31 12:56:44 +00001005
danielk1977b3dff962005-02-01 01:21:55 +00001006 while( zIn!=zEnd ){
1007 h = (h<<8) + sqlite3UpperToLower[*zIn];
1008 zIn++;
danielk1977201f7162005-02-01 02:13:29 +00001009 if( h==(('c'<<24)+('h'<<16)+('a'<<8)+'r') ){ /* CHAR */
1010 aff = SQLITE_AFF_TEXT;
1011 }else if( h==(('c'<<24)+('l'<<16)+('o'<<8)+'b') ){ /* CLOB */
1012 aff = SQLITE_AFF_TEXT;
1013 }else if( h==(('t'<<24)+('e'<<16)+('x'<<8)+'t') ){ /* TEXT */
1014 aff = SQLITE_AFF_TEXT;
1015 }else if( h==(('b'<<24)+('l'<<16)+('o'<<8)+'b') /* BLOB */
drh8a512562005-11-14 22:29:05 +00001016 && (aff==SQLITE_AFF_NUMERIC || aff==SQLITE_AFF_REAL) ){
danielk1977b3dff962005-02-01 01:21:55 +00001017 aff = SQLITE_AFF_NONE;
drh8a512562005-11-14 22:29:05 +00001018#ifndef SQLITE_OMIT_FLOATING_POINT
1019 }else if( h==(('r'<<24)+('e'<<16)+('a'<<8)+'l') /* REAL */
1020 && aff==SQLITE_AFF_NUMERIC ){
1021 aff = SQLITE_AFF_REAL;
1022 }else if( h==(('f'<<24)+('l'<<16)+('o'<<8)+'a') /* FLOA */
1023 && aff==SQLITE_AFF_NUMERIC ){
1024 aff = SQLITE_AFF_REAL;
1025 }else if( h==(('d'<<24)+('o'<<16)+('u'<<8)+'b') /* DOUB */
1026 && aff==SQLITE_AFF_NUMERIC ){
1027 aff = SQLITE_AFF_REAL;
1028#endif
danielk1977201f7162005-02-01 02:13:29 +00001029 }else if( (h&0x00FFFFFF)==(('i'<<16)+('n'<<8)+'t') ){ /* INT */
drh8a512562005-11-14 22:29:05 +00001030 aff = SQLITE_AFF_INTEGER;
danielk1977b3dff962005-02-01 01:21:55 +00001031 break;
danielk197752a83fb2005-01-31 12:56:44 +00001032 }
1033 }
danielk1977b3dff962005-02-01 01:21:55 +00001034
1035 return aff;
danielk197752a83fb2005-01-31 12:56:44 +00001036}
1037
1038/*
drh382c0242001-10-06 16:33:02 +00001039** This routine is called by the parser while in the middle of
1040** parsing a CREATE TABLE statement. The pFirst token is the first
1041** token in the sequence of tokens that describe the type of the
1042** column currently under construction. pLast is the last token
1043** in the sequence. Use this information to construct a string
1044** that contains the typename of the column and store that string
1045** in zType.
1046*/
drh487e2622005-06-25 18:42:14 +00001047void sqlite3AddColumnType(Parse *pParse, Token *pType){
drh382c0242001-10-06 16:33:02 +00001048 Table *p;
drh487e2622005-06-25 18:42:14 +00001049 int i;
drhc9b84a12002-06-20 11:36:48 +00001050 Column *pCol;
drh487e2622005-06-25 18:42:14 +00001051
drh382c0242001-10-06 16:33:02 +00001052 if( (p = pParse->pNewTable)==0 ) return;
1053 i = p->nCol-1;
drhf57b3392001-10-08 13:22:32 +00001054 if( i<0 ) return;
drhc9b84a12002-06-20 11:36:48 +00001055 pCol = &p->aCol[i];
drhd8919672005-09-10 15:35:06 +00001056 sqliteFree(pCol->zType);
drh487e2622005-06-25 18:42:14 +00001057 pCol->zType = sqlite3NameFromToken(pType);
drh8a512562005-11-14 22:29:05 +00001058 pCol->affinity = sqlite3AffinityType(pType);
drh382c0242001-10-06 16:33:02 +00001059}
1060
1061/*
danielk19777977a172004-11-09 12:44:37 +00001062** The expression is the default value for the most recently added column
1063** of the table currently under construction.
1064**
1065** Default value expressions must be constant. Raise an exception if this
1066** is not the case.
drhd9b02572001-04-15 00:37:09 +00001067**
1068** This routine is called by the parser while in the middle of
1069** parsing a CREATE TABLE statement.
drh7020f652000-06-03 18:06:52 +00001070*/
danielk19777977a172004-11-09 12:44:37 +00001071void sqlite3AddDefaultValue(Parse *pParse, Expr *pExpr){
drh7020f652000-06-03 18:06:52 +00001072 Table *p;
danielk19777977a172004-11-09 12:44:37 +00001073 Column *pCol;
drh42b9d7c2005-08-13 00:56:27 +00001074 if( (p = pParse->pNewTable)!=0 ){
1075 pCol = &(p->aCol[p->nCol-1]);
1076 if( !sqlite3ExprIsConstantOrFunction(pExpr) ){
1077 sqlite3ErrorMsg(pParse, "default value of column [%s] is not constant",
1078 pCol->zName);
1079 }else{
drh417ec632006-08-14 14:23:41 +00001080 Expr *pCopy;
drh42b9d7c2005-08-13 00:56:27 +00001081 sqlite3ExprDelete(pCol->pDflt);
drh417ec632006-08-14 14:23:41 +00001082 pCol->pDflt = pCopy = sqlite3ExprDup(pExpr);
1083 if( pCopy ){
1084 sqlite3TokenCopy(&pCopy->span, &pExpr->span);
1085 }
drh42b9d7c2005-08-13 00:56:27 +00001086 }
danielk19777977a172004-11-09 12:44:37 +00001087 }
1088 sqlite3ExprDelete(pExpr);
drh7020f652000-06-03 18:06:52 +00001089}
1090
1091/*
drh4a324312001-12-21 14:30:42 +00001092** Designate the PRIMARY KEY for the table. pList is a list of names
1093** of columns that form the primary key. If pList is NULL, then the
1094** most recently added column of the table is the primary key.
1095**
1096** A table can have at most one primary key. If the table already has
1097** a primary key (and this is the second primary key) then create an
1098** error.
1099**
1100** If the PRIMARY KEY is on a single column whose datatype is INTEGER,
drh23bf66d2004-12-14 03:34:34 +00001101** then we will try to use that column as the rowid. Set the Table.iPKey
drh4a324312001-12-21 14:30:42 +00001102** field of the table under construction to be the index of the
1103** INTEGER PRIMARY KEY column. Table.iPKey is set to -1 if there is
1104** no INTEGER PRIMARY KEY.
1105**
1106** If the key is not an INTEGER PRIMARY KEY, then create a unique
1107** index for the key. No index is created for INTEGER PRIMARY KEYs.
1108*/
drh205f48e2004-11-05 00:43:11 +00001109void sqlite3AddPrimaryKey(
1110 Parse *pParse, /* Parsing context */
1111 ExprList *pList, /* List of field names to be indexed */
1112 int onError, /* What to do with a uniqueness conflict */
drhfdd6e852005-12-16 01:06:16 +00001113 int autoInc, /* True if the AUTOINCREMENT keyword is present */
1114 int sortOrder /* SQLITE_SO_ASC or SQLITE_SO_DESC */
drh205f48e2004-11-05 00:43:11 +00001115){
drh4a324312001-12-21 14:30:42 +00001116 Table *pTab = pParse->pNewTable;
1117 char *zType = 0;
drh78100cc2003-08-23 22:40:53 +00001118 int iCol = -1, i;
danielk1977c7d54102006-06-15 07:29:00 +00001119 if( pTab==0 || IN_DECLARE_VTAB ) goto primary_key_exit;
drh4a324312001-12-21 14:30:42 +00001120 if( pTab->hasPrimKey ){
danielk19774adee202004-05-08 08:23:19 +00001121 sqlite3ErrorMsg(pParse,
drhf7a9e1a2004-02-22 18:40:56 +00001122 "table \"%s\" has more than one primary key", pTab->zName);
drhe0194f22003-02-26 13:52:51 +00001123 goto primary_key_exit;
drh4a324312001-12-21 14:30:42 +00001124 }
1125 pTab->hasPrimKey = 1;
1126 if( pList==0 ){
1127 iCol = pTab->nCol - 1;
drh78100cc2003-08-23 22:40:53 +00001128 pTab->aCol[iCol].isPrimKey = 1;
1129 }else{
danielk19770202b292004-06-09 09:55:16 +00001130 for(i=0; i<pList->nExpr; i++){
drh78100cc2003-08-23 22:40:53 +00001131 for(iCol=0; iCol<pTab->nCol; iCol++){
drhd3d39e92004-05-20 22:16:29 +00001132 if( sqlite3StrICmp(pList->a[i].zName, pTab->aCol[iCol].zName)==0 ){
1133 break;
1134 }
drh78100cc2003-08-23 22:40:53 +00001135 }
drh6e4fc2c2005-09-15 21:24:51 +00001136 if( iCol<pTab->nCol ){
drh688c9f02005-09-16 02:48:01 +00001137 pTab->aCol[iCol].isPrimKey = 1;
drh6e4fc2c2005-09-15 21:24:51 +00001138 }
drh4a324312001-12-21 14:30:42 +00001139 }
danielk19770202b292004-06-09 09:55:16 +00001140 if( pList->nExpr>1 ) iCol = -1;
drh4a324312001-12-21 14:30:42 +00001141 }
1142 if( iCol>=0 && iCol<pTab->nCol ){
1143 zType = pTab->aCol[iCol].zType;
1144 }
drhfdd6e852005-12-16 01:06:16 +00001145 if( zType && sqlite3StrICmp(zType, "INTEGER")==0
1146 && sortOrder==SQLITE_SO_ASC ){
drh4a324312001-12-21 14:30:42 +00001147 pTab->iPKey = iCol;
drh9cfcf5d2002-01-29 18:41:24 +00001148 pTab->keyConf = onError;
drh205f48e2004-11-05 00:43:11 +00001149 pTab->autoInc = autoInc;
1150 }else if( autoInc ){
drh4794f732004-11-05 17:17:50 +00001151#ifndef SQLITE_OMIT_AUTOINCREMENT
drh205f48e2004-11-05 00:43:11 +00001152 sqlite3ErrorMsg(pParse, "AUTOINCREMENT is only allowed on an "
1153 "INTEGER PRIMARY KEY");
drh4794f732004-11-05 17:17:50 +00001154#endif
drh4a324312001-12-21 14:30:42 +00001155 }else{
drh4d91a702006-01-04 15:54:36 +00001156 sqlite3CreateIndex(pParse, 0, 0, 0, pList, onError, 0, 0, sortOrder, 0);
drhe0194f22003-02-26 13:52:51 +00001157 pList = 0;
drh4a324312001-12-21 14:30:42 +00001158 }
drhe0194f22003-02-26 13:52:51 +00001159
1160primary_key_exit:
danielk19770202b292004-06-09 09:55:16 +00001161 sqlite3ExprListDelete(pList);
drhe0194f22003-02-26 13:52:51 +00001162 return;
drh4a324312001-12-21 14:30:42 +00001163}
1164
1165/*
drhffe07b22005-11-03 00:41:17 +00001166** Add a new CHECK constraint to the table currently under construction.
1167*/
1168void sqlite3AddCheckConstraint(
1169 Parse *pParse, /* Parsing context */
1170 Expr *pCheckExpr /* The check expression */
1171){
1172#ifndef SQLITE_OMIT_CHECK
1173 Table *pTab = pParse->pNewTable;
danielk1977c7d54102006-06-15 07:29:00 +00001174 if( pTab && !IN_DECLARE_VTAB ){
drhffe07b22005-11-03 00:41:17 +00001175 /* The CHECK expression must be duplicated so that tokens refer
1176 ** to malloced space and not the (ephemeral) text of the CREATE TABLE
1177 ** statement */
1178 pTab->pCheck = sqlite3ExprAnd(pTab->pCheck, sqlite3ExprDup(pCheckExpr));
1179 }
1180#endif
1181 sqlite3ExprDelete(pCheckExpr);
1182}
1183
1184/*
drhd3d39e92004-05-20 22:16:29 +00001185** Set the collation function of the most recently parsed table column
1186** to the CollSeq given.
drh8e2ca022002-06-17 17:07:19 +00001187*/
drhd3d39e92004-05-20 22:16:29 +00001188void sqlite3AddCollateType(Parse *pParse, const char *zType, int nType){
drh8e2ca022002-06-17 17:07:19 +00001189 Table *p;
danielk19770202b292004-06-09 09:55:16 +00001190 int i;
danielk1977a37cdde2004-05-16 11:15:36 +00001191
danielk1977b8cbb872006-06-19 05:33:45 +00001192 if( (p = pParse->pNewTable)==0 ) return;
danielk19770202b292004-06-09 09:55:16 +00001193 i = p->nCol-1;
1194
danielk1977b3bf5562006-01-10 17:58:23 +00001195 if( sqlite3LocateCollSeq(pParse, zType, nType) ){
1196 Index *pIdx;
danielk1977e7259292006-01-13 06:33:23 +00001197 p->aCol[i].zColl = sqliteStrNDup(zType, nType);
danielk1977b3bf5562006-01-10 17:58:23 +00001198
1199 /* If the column is declared as "<name> PRIMARY KEY COLLATE <type>",
1200 ** then an index may have been created on this column before the
1201 ** collation type was added. Correct this if it is the case.
1202 */
1203 for(pIdx=p->pIndex; pIdx; pIdx=pIdx->pNext){
1204 assert( pIdx->nColumn==1 );
1205 if( pIdx->aiColumn[0]==i ){
1206 pIdx->azColl[0] = p->aCol[i].zColl;
danielk19777cedc8d2004-06-10 10:50:08 +00001207 }
1208 }
1209 }
danielk19777cedc8d2004-06-10 10:50:08 +00001210}
1211
danielk1977466be562004-06-10 02:16:01 +00001212/*
1213** This function returns the collation sequence for database native text
1214** encoding identified by the string zName, length nName.
1215**
1216** If the requested collation sequence is not available, or not available
1217** in the database native encoding, the collation factory is invoked to
1218** request it. If the collation factory does not supply such a sequence,
1219** and the sequence is available in another text encoding, then that is
1220** returned instead.
1221**
1222** If no versions of the requested collations sequence are available, or
1223** another error occurs, NULL is returned and an error message written into
1224** pParse.
1225*/
danielk19770202b292004-06-09 09:55:16 +00001226CollSeq *sqlite3LocateCollSeq(Parse *pParse, const char *zName, int nName){
danielk19774dade032005-05-25 10:45:10 +00001227 sqlite3 *db = pParse->db;
danielk197714db2662006-01-09 16:12:04 +00001228 u8 enc = ENC(db);
danielk19774dade032005-05-25 10:45:10 +00001229 u8 initbusy = db->init.busy;
danielk1977b3bf5562006-01-10 17:58:23 +00001230 CollSeq *pColl;
danielk19774dade032005-05-25 10:45:10 +00001231
danielk1977b3bf5562006-01-10 17:58:23 +00001232 pColl = sqlite3FindCollSeq(db, enc, zName, nName, initbusy);
danielk19777cedc8d2004-06-10 10:50:08 +00001233 if( !initbusy && (!pColl || !pColl->xCmp) ){
danielk19774dade032005-05-25 10:45:10 +00001234 pColl = sqlite3GetCollSeq(db, pColl, zName, nName);
1235 if( !pColl ){
1236 if( nName<0 ){
1237 nName = strlen(zName);
danielk1977466be562004-06-10 02:16:01 +00001238 }
danielk19774dade032005-05-25 10:45:10 +00001239 sqlite3ErrorMsg(pParse, "no such collation sequence: %.*s", nName, zName);
1240 pColl = 0;
danielk1977466be562004-06-10 02:16:01 +00001241 }
1242 }
1243
danielk19770202b292004-06-09 09:55:16 +00001244 return pColl;
1245}
1246
1247
drh8e2ca022002-06-17 17:07:19 +00001248/*
drh3f7d4e42004-07-24 14:35:58 +00001249** Generate code that will increment the schema cookie.
drh50e5dad2001-09-15 00:57:28 +00001250**
1251** The schema cookie is used to determine when the schema for the
1252** database changes. After each schema change, the cookie value
1253** changes. When a process first reads the schema it records the
1254** cookie. Thereafter, whenever it goes to access the database,
1255** it checks the cookie to make sure the schema has not changed
1256** since it was last read.
1257**
1258** This plan is not completely bullet-proof. It is possible for
1259** the schema to change multiple times and for the cookie to be
1260** set back to prior value. But schema changes are infrequent
1261** and the probability of hitting the same cookie value is only
1262** 1 chance in 2^32. So we're safe enough.
1263*/
drh9bb575f2004-09-06 17:24:11 +00001264void sqlite3ChangeCookie(sqlite3 *db, Vdbe *v, int iDb){
danielk1977da184232006-01-05 11:34:32 +00001265 sqlite3VdbeAddOp(v, OP_Integer, db->aDb[iDb].pSchema->schema_cookie+1, 0);
danielk19771d850a72004-05-31 08:26:49 +00001266 sqlite3VdbeAddOp(v, OP_SetCookie, iDb, 0);
drh50e5dad2001-09-15 00:57:28 +00001267}
1268
1269/*
drh969fa7c2002-02-18 18:30:32 +00001270** Measure the number of characters needed to output the given
1271** identifier. The number returned includes any quotes used
1272** but does not include the null terminator.
drh234c39d2004-07-24 03:30:47 +00001273**
1274** The estimate is conservative. It might be larger that what is
1275** really needed.
drh969fa7c2002-02-18 18:30:32 +00001276*/
1277static int identLength(const char *z){
1278 int n;
drh17f71932002-02-21 12:01:27 +00001279 for(n=0; *z; n++, z++){
drh234c39d2004-07-24 03:30:47 +00001280 if( *z=='"' ){ n++; }
drh969fa7c2002-02-18 18:30:32 +00001281 }
drh234c39d2004-07-24 03:30:47 +00001282 return n + 2;
drh969fa7c2002-02-18 18:30:32 +00001283}
1284
1285/*
1286** Write an identifier onto the end of the given string. Add
1287** quote characters as needed.
1288*/
drh4c755c02004-08-08 20:22:17 +00001289static void identPut(char *z, int *pIdx, char *zSignedIdent){
1290 unsigned char *zIdent = (unsigned char*)zSignedIdent;
drh17f71932002-02-21 12:01:27 +00001291 int i, j, needQuote;
drh969fa7c2002-02-18 18:30:32 +00001292 i = *pIdx;
drh17f71932002-02-21 12:01:27 +00001293 for(j=0; zIdent[j]; j++){
1294 if( !isalnum(zIdent[j]) && zIdent[j]!='_' ) break;
1295 }
1296 needQuote = zIdent[j]!=0 || isdigit(zIdent[0])
danielk19774adee202004-05-08 08:23:19 +00001297 || sqlite3KeywordCode(zIdent, j)!=TK_ID;
drh234c39d2004-07-24 03:30:47 +00001298 if( needQuote ) z[i++] = '"';
drh969fa7c2002-02-18 18:30:32 +00001299 for(j=0; zIdent[j]; j++){
1300 z[i++] = zIdent[j];
drh234c39d2004-07-24 03:30:47 +00001301 if( zIdent[j]=='"' ) z[i++] = '"';
drh969fa7c2002-02-18 18:30:32 +00001302 }
drh234c39d2004-07-24 03:30:47 +00001303 if( needQuote ) z[i++] = '"';
drh969fa7c2002-02-18 18:30:32 +00001304 z[i] = 0;
1305 *pIdx = i;
1306}
1307
1308/*
1309** Generate a CREATE TABLE statement appropriate for the given
1310** table. Memory to hold the text of the statement is obtained
1311** from sqliteMalloc() and must be freed by the calling function.
1312*/
danielk1977da184232006-01-05 11:34:32 +00001313static char *createTableStmt(Table *p, int isTemp){
drh969fa7c2002-02-18 18:30:32 +00001314 int i, k, n;
1315 char *zStmt;
drh234c39d2004-07-24 03:30:47 +00001316 char *zSep, *zSep2, *zEnd, *z;
1317 Column *pCol;
drh969fa7c2002-02-18 18:30:32 +00001318 n = 0;
drh234c39d2004-07-24 03:30:47 +00001319 for(pCol = p->aCol, i=0; i<p->nCol; i++, pCol++){
1320 n += identLength(pCol->zName);
1321 z = pCol->zType;
1322 if( z ){
1323 n += (strlen(z) + 1);
danielk1977517eb642004-06-07 10:00:31 +00001324 }
drh969fa7c2002-02-18 18:30:32 +00001325 }
1326 n += identLength(p->zName);
drh234c39d2004-07-24 03:30:47 +00001327 if( n<50 ){
drh969fa7c2002-02-18 18:30:32 +00001328 zSep = "";
1329 zSep2 = ",";
1330 zEnd = ")";
1331 }else{
1332 zSep = "\n ";
1333 zSep2 = ",\n ";
1334 zEnd = "\n)";
1335 }
drhe0bc4042002-06-25 01:09:11 +00001336 n += 35 + 6*p->nCol;
drh8c1238a2003-01-02 14:43:55 +00001337 zStmt = sqliteMallocRaw( n );
drh969fa7c2002-02-18 18:30:32 +00001338 if( zStmt==0 ) return 0;
danielk1977da184232006-01-05 11:34:32 +00001339 strcpy(zStmt, !OMIT_TEMPDB&&isTemp ? "CREATE TEMP TABLE ":"CREATE TABLE ");
drh969fa7c2002-02-18 18:30:32 +00001340 k = strlen(zStmt);
1341 identPut(zStmt, &k, p->zName);
1342 zStmt[k++] = '(';
drh234c39d2004-07-24 03:30:47 +00001343 for(pCol=p->aCol, i=0; i<p->nCol; i++, pCol++){
drh969fa7c2002-02-18 18:30:32 +00001344 strcpy(&zStmt[k], zSep);
1345 k += strlen(&zStmt[k]);
1346 zSep = zSep2;
drh234c39d2004-07-24 03:30:47 +00001347 identPut(zStmt, &k, pCol->zName);
1348 if( (z = pCol->zType)!=0 ){
danielk1977517eb642004-06-07 10:00:31 +00001349 zStmt[k++] = ' ';
drh234c39d2004-07-24 03:30:47 +00001350 strcpy(&zStmt[k], z);
1351 k += strlen(z);
danielk1977517eb642004-06-07 10:00:31 +00001352 }
drh969fa7c2002-02-18 18:30:32 +00001353 }
1354 strcpy(&zStmt[k], zEnd);
1355 return zStmt;
1356}
1357
1358/*
drh75897232000-05-29 14:26:00 +00001359** This routine is called to report the final ")" that terminates
1360** a CREATE TABLE statement.
1361**
drhf57b3392001-10-08 13:22:32 +00001362** The table structure that other action routines have been building
1363** is added to the internal hash tables, assuming no errors have
1364** occurred.
drh75897232000-05-29 14:26:00 +00001365**
drh1d85d932004-02-14 23:05:52 +00001366** An entry for the table is made in the master table on disk, unless
1367** this is a temporary table or db->init.busy==1. When db->init.busy==1
drhf57b3392001-10-08 13:22:32 +00001368** it means we are reading the sqlite_master table because we just
1369** connected to the database or because the sqlite_master table has
drhddba9e52005-03-19 01:41:21 +00001370** recently changed, so the entry for this table already exists in
drhf57b3392001-10-08 13:22:32 +00001371** the sqlite_master table. We do not want to create it again.
drh969fa7c2002-02-18 18:30:32 +00001372**
1373** If the pSelect argument is not NULL, it means that this routine
1374** was called to create a table generated from a
1375** "CREATE TABLE ... AS SELECT ..." statement. The column names of
1376** the new table will match the result set of the SELECT.
drh75897232000-05-29 14:26:00 +00001377*/
danielk197719a8e7e2005-03-17 05:03:38 +00001378void sqlite3EndTable(
1379 Parse *pParse, /* Parse context */
1380 Token *pCons, /* The ',' token after the last column defn. */
1381 Token *pEnd, /* The final ')' token in the CREATE TABLE */
1382 Select *pSelect /* Select from a "CREATE ... AS SELECT" */
1383){
drh75897232000-05-29 14:26:00 +00001384 Table *p;
drh9bb575f2004-09-06 17:24:11 +00001385 sqlite3 *db = pParse->db;
danielk1977da184232006-01-05 11:34:32 +00001386 int iDb;
drh75897232000-05-29 14:26:00 +00001387
danielk19779e128002006-01-18 16:51:35 +00001388 if( (pEnd==0 && pSelect==0) || pParse->nErr || sqlite3MallocFailed() ) {
danielk1977261919c2005-12-06 12:52:59 +00001389 return;
1390 }
drh28037572000-08-02 13:47:41 +00001391 p = pParse->pNewTable;
drhdaffd0e2001-04-11 14:28:42 +00001392 if( p==0 ) return;
drh75897232000-05-29 14:26:00 +00001393
danielk1977517eb642004-06-07 10:00:31 +00001394 assert( !db->init.busy || !pSelect );
1395
drhb9bb7c12006-06-11 23:41:55 +00001396 iDb = sqlite3SchemaToIndex(db, p->pSchema);
danielk1977da184232006-01-05 11:34:32 +00001397
drhffe07b22005-11-03 00:41:17 +00001398#ifndef SQLITE_OMIT_CHECK
1399 /* Resolve names in all CHECK constraint expressions.
1400 */
1401 if( p->pCheck ){
1402 SrcList sSrc; /* Fake SrcList for pParse->pNewTable */
1403 NameContext sNC; /* Name context for pParse->pNewTable */
1404
1405 memset(&sNC, 0, sizeof(sNC));
1406 memset(&sSrc, 0, sizeof(sSrc));
1407 sSrc.nSrc = 1;
1408 sSrc.a[0].zName = p->zName;
1409 sSrc.a[0].pTab = p;
1410 sSrc.a[0].iCursor = -1;
1411 sNC.pParse = pParse;
1412 sNC.pSrcList = &sSrc;
drh06f65412005-11-03 02:03:13 +00001413 sNC.isCheck = 1;
drhffe07b22005-11-03 00:41:17 +00001414 if( sqlite3ExprResolveNames(&sNC, p->pCheck) ){
1415 return;
1416 }
1417 }
1418#endif /* !defined(SQLITE_OMIT_CHECK) */
1419
drh1d85d932004-02-14 23:05:52 +00001420 /* If the db->init.busy is 1 it means we are reading the SQL off the
drhe0bc4042002-06-25 01:09:11 +00001421 ** "sqlite_master" or "sqlite_temp_master" table on the disk.
1422 ** So do not write to the disk again. Extract the root page number
drh1d85d932004-02-14 23:05:52 +00001423 ** for the table from the db->init.newTnum field. (The page number
drhe0bc4042002-06-25 01:09:11 +00001424 ** should have been put there by the sqliteOpenCb routine.)
drhd78eeee2001-09-13 16:18:53 +00001425 */
drh1d85d932004-02-14 23:05:52 +00001426 if( db->init.busy ){
1427 p->tnum = db->init.newTnum;
drhd78eeee2001-09-13 16:18:53 +00001428 }
1429
drhe3c41372001-09-17 20:25:58 +00001430 /* If not initializing, then create a record for the new table
drh17f71932002-02-21 12:01:27 +00001431 ** in the SQLITE_MASTER table of the database. The record number
1432 ** for the new table entry should already be on the stack.
drhf57b3392001-10-08 13:22:32 +00001433 **
drhe0bc4042002-06-25 01:09:11 +00001434 ** If this is a TEMPORARY table, write the entry into the auxiliary
1435 ** file instead of into the main database file.
drh75897232000-05-29 14:26:00 +00001436 */
drh1d85d932004-02-14 23:05:52 +00001437 if( !db->init.busy ){
drh4ff6dfa2002-03-03 23:06:00 +00001438 int n;
drhd8bc7082000-06-07 23:51:50 +00001439 Vdbe *v;
drh4794f732004-11-05 17:17:50 +00001440 char *zType; /* "view" or "table" */
1441 char *zType2; /* "VIEW" or "TABLE" */
1442 char *zStmt; /* Text of the CREATE TABLE or CREATE VIEW statement */
drh75897232000-05-29 14:26:00 +00001443
danielk19774adee202004-05-08 08:23:19 +00001444 v = sqlite3GetVdbe(pParse);
drh75897232000-05-29 14:26:00 +00001445 if( v==0 ) return;
danielk1977517eb642004-06-07 10:00:31 +00001446
danielk1977e6efa742004-11-10 11:55:10 +00001447 sqlite3VdbeAddOp(v, OP_Close, 0, 0);
1448
drh4794f732004-11-05 17:17:50 +00001449 /* Create the rootpage for the new table and push it onto the stack.
1450 ** A view has no rootpage, so just push a zero onto the stack for
1451 ** views. Initialize zType at the same time.
1452 */
drh4ff6dfa2002-03-03 23:06:00 +00001453 if( p->pSelect==0 ){
1454 /* A regular table */
drh4794f732004-11-05 17:17:50 +00001455 zType = "table";
1456 zType2 = "TABLE";
danielk1977576ec6b2005-01-21 11:55:25 +00001457#ifndef SQLITE_OMIT_VIEW
drh4ff6dfa2002-03-03 23:06:00 +00001458 }else{
1459 /* A view */
drh4794f732004-11-05 17:17:50 +00001460 zType = "view";
1461 zType2 = "VIEW";
danielk1977576ec6b2005-01-21 11:55:25 +00001462#endif
drh4ff6dfa2002-03-03 23:06:00 +00001463 }
danielk1977517eb642004-06-07 10:00:31 +00001464
danielk1977517eb642004-06-07 10:00:31 +00001465 /* If this is a CREATE TABLE xx AS SELECT ..., execute the SELECT
1466 ** statement to populate the new table. The root-page number for the
1467 ** new table is on the top of the vdbe stack.
1468 **
1469 ** Once the SELECT has been coded by sqlite3Select(), it is in a
1470 ** suitable state to query for the column names and types to be used
1471 ** by the new table.
danielk1977c00da102006-01-07 13:21:04 +00001472 **
1473 ** A shared-cache write-lock is not required to write to the new table,
1474 ** as a schema-lock must have already been obtained to create it. Since
1475 ** a schema-lock excludes all other database users, the write-lock would
1476 ** be redundant.
danielk1977517eb642004-06-07 10:00:31 +00001477 */
1478 if( pSelect ){
1479 Table *pSelTab;
1480 sqlite3VdbeAddOp(v, OP_Dup, 0, 0);
danielk1977da184232006-01-05 11:34:32 +00001481 sqlite3VdbeAddOp(v, OP_Integer, iDb, 0);
danielk1977517eb642004-06-07 10:00:31 +00001482 sqlite3VdbeAddOp(v, OP_OpenWrite, 1, 0);
1483 pParse->nTab = 2;
danielk1977b3bce662005-01-29 08:32:43 +00001484 sqlite3Select(pParse, pSelect, SRT_Table, 1, 0, 0, 0, 0);
danielk1977517eb642004-06-07 10:00:31 +00001485 sqlite3VdbeAddOp(v, OP_Close, 1, 0);
1486 if( pParse->nErr==0 ){
1487 pSelTab = sqlite3ResultSetOfSelect(pParse, 0, pSelect);
1488 if( pSelTab==0 ) return;
1489 assert( p->aCol==0 );
1490 p->nCol = pSelTab->nCol;
1491 p->aCol = pSelTab->aCol;
1492 pSelTab->nCol = 0;
1493 pSelTab->aCol = 0;
1494 sqlite3DeleteTable(0, pSelTab);
1495 }
1496 }
drh4794f732004-11-05 17:17:50 +00001497
drh4794f732004-11-05 17:17:50 +00001498 /* Compute the complete text of the CREATE statement */
1499 if( pSelect ){
danielk1977da184232006-01-05 11:34:32 +00001500 zStmt = createTableStmt(p, p->pSchema==pParse->db->aDb[1].pSchema);
drh4794f732004-11-05 17:17:50 +00001501 }else{
drh97903fe2005-05-24 20:19:57 +00001502 n = pEnd->z - pParse->sNameToken.z + 1;
drh4794f732004-11-05 17:17:50 +00001503 zStmt = sqlite3MPrintf("CREATE %s %.*s", zType2, n, pParse->sNameToken.z);
1504 }
1505
1506 /* A slot for the record has already been allocated in the
1507 ** SQLITE_MASTER table. We just need to update that slot with all
1508 ** the information we've collected. The rowid for the preallocated
1509 ** slot is the 2nd item on the stack. The top of the stack is the
1510 ** root page for the new table (or a 0 if this is a view).
1511 */
1512 sqlite3NestedParse(pParse,
1513 "UPDATE %Q.%s "
1514 "SET type='%s', name=%Q, tbl_name=%Q, rootpage=#0, sql=%Q "
1515 "WHERE rowid=#1",
danielk1977da184232006-01-05 11:34:32 +00001516 db->aDb[iDb].zName, SCHEMA_TABLE(iDb),
drh4794f732004-11-05 17:17:50 +00001517 zType,
1518 p->zName,
1519 p->zName,
1520 zStmt
1521 );
1522 sqliteFree(zStmt);
danielk1977da184232006-01-05 11:34:32 +00001523 sqlite3ChangeCookie(db, v, iDb);
drh2958a4e2004-11-12 03:56:15 +00001524
1525#ifndef SQLITE_OMIT_AUTOINCREMENT
1526 /* Check to see if we need to create an sqlite_sequence table for
1527 ** keeping track of autoincrement keys.
1528 */
1529 if( p->autoInc ){
danielk1977da184232006-01-05 11:34:32 +00001530 Db *pDb = &db->aDb[iDb];
1531 if( pDb->pSchema->pSeqTab==0 ){
drh2958a4e2004-11-12 03:56:15 +00001532 sqlite3NestedParse(pParse,
drhf3388142004-11-13 03:48:06 +00001533 "CREATE TABLE %Q.sqlite_sequence(name,seq)",
1534 pDb->zName
drh2958a4e2004-11-12 03:56:15 +00001535 );
1536 }
1537 }
1538#endif
drh4794f732004-11-05 17:17:50 +00001539
1540 /* Reparse everything to update our internal data structures */
danielk1977da184232006-01-05 11:34:32 +00001541 sqlite3VdbeOp3(v, OP_ParseSchema, iDb, 0,
drh234c39d2004-07-24 03:30:47 +00001542 sqlite3MPrintf("tbl_name='%q'",p->zName), P3_DYNAMIC);
drh75897232000-05-29 14:26:00 +00001543 }
drh17e9e292003-02-01 13:53:28 +00001544
drh2958a4e2004-11-12 03:56:15 +00001545
drh17e9e292003-02-01 13:53:28 +00001546 /* Add the table to the in-memory representation of the database.
1547 */
drh234c39d2004-07-24 03:30:47 +00001548 if( db->init.busy && pParse->nErr==0 ){
drh17e9e292003-02-01 13:53:28 +00001549 Table *pOld;
drhbe5c89a2004-07-26 00:31:09 +00001550 FKey *pFKey;
danielk1977e501b892006-01-09 06:29:47 +00001551 Schema *pSchema = p->pSchema;
danielk1977da184232006-01-05 11:34:32 +00001552 pOld = sqlite3HashInsert(&pSchema->tblHash, p->zName, strlen(p->zName)+1,p);
drh17e9e292003-02-01 13:53:28 +00001553 if( pOld ){
1554 assert( p==pOld ); /* Malloc must have failed inside HashInsert() */
1555 return;
1556 }
danielk1977576ec6b2005-01-21 11:55:25 +00001557#ifndef SQLITE_OMIT_FOREIGN_KEY
drh17e9e292003-02-01 13:53:28 +00001558 for(pFKey=p->pFKey; pFKey; pFKey=pFKey->pNextFrom){
1559 int nTo = strlen(pFKey->zTo) + 1;
danielk1977da184232006-01-05 11:34:32 +00001560 pFKey->pNextTo = sqlite3HashFind(&pSchema->aFKey, pFKey->zTo, nTo);
1561 sqlite3HashInsert(&pSchema->aFKey, pFKey->zTo, nTo, pFKey);
drh17e9e292003-02-01 13:53:28 +00001562 }
danielk1977576ec6b2005-01-21 11:55:25 +00001563#endif
drh17e9e292003-02-01 13:53:28 +00001564 pParse->pNewTable = 0;
1565 db->nTable++;
1566 db->flags |= SQLITE_InternChanges;
danielk197719a8e7e2005-03-17 05:03:38 +00001567
1568#ifndef SQLITE_OMIT_ALTERTABLE
1569 if( !p->pSelect ){
danielk1977bab45c62006-01-16 15:14:27 +00001570 const char *zName = (const char *)pParse->sNameToken.z;
1571 int nName;
danielk197719a8e7e2005-03-17 05:03:38 +00001572 assert( !pSelect && pCons && pEnd );
danielk1977bab45c62006-01-16 15:14:27 +00001573 if( pCons->z==0 ){
1574 pCons = pEnd;
1575 }
1576 nName = (const char *)pCons->z - zName;
1577 p->addColOffset = 13 + sqlite3utf8CharLen(zName, nName);
danielk197719a8e7e2005-03-17 05:03:38 +00001578 }
1579#endif
drh17e9e292003-02-01 13:53:28 +00001580 }
drh75897232000-05-29 14:26:00 +00001581}
1582
drhb7f91642004-10-31 02:22:47 +00001583#ifndef SQLITE_OMIT_VIEW
drh75897232000-05-29 14:26:00 +00001584/*
drha76b5df2002-02-23 02:32:10 +00001585** The parser calls this routine in order to create a new VIEW
1586*/
danielk19774adee202004-05-08 08:23:19 +00001587void sqlite3CreateView(
drha76b5df2002-02-23 02:32:10 +00001588 Parse *pParse, /* The parsing context */
1589 Token *pBegin, /* The CREATE token that begins the statement */
danielk197748dec7e2004-05-28 12:33:30 +00001590 Token *pName1, /* The token that holds the name of the view */
1591 Token *pName2, /* The token that holds the name of the view */
drh6276c1c2002-07-08 22:03:32 +00001592 Select *pSelect, /* A SELECT statement that will become the new view */
drhfdd48a72006-09-11 23:45:48 +00001593 int isTemp, /* TRUE for a TEMPORARY view */
1594 int noErr /* Suppress error messages if VIEW already exists */
drha76b5df2002-02-23 02:32:10 +00001595){
drha76b5df2002-02-23 02:32:10 +00001596 Table *p;
drh4b59ab52002-08-24 18:24:51 +00001597 int n;
drh4c755c02004-08-08 20:22:17 +00001598 const unsigned char *z;
drh4b59ab52002-08-24 18:24:51 +00001599 Token sEnd;
drhf26e09c2003-05-31 16:21:12 +00001600 DbFixer sFix;
danielk197748dec7e2004-05-28 12:33:30 +00001601 Token *pName;
danielk1977da184232006-01-05 11:34:32 +00001602 int iDb;
drha76b5df2002-02-23 02:32:10 +00001603
drh7c3d64f2005-06-06 15:32:08 +00001604 if( pParse->nVar>0 ){
1605 sqlite3ErrorMsg(pParse, "parameters are not allowed in views");
1606 sqlite3SelectDelete(pSelect);
1607 return;
1608 }
drhfdd48a72006-09-11 23:45:48 +00001609 sqlite3StartTable(pParse, pName1, pName2, isTemp, 1, 0, noErr);
drha76b5df2002-02-23 02:32:10 +00001610 p = pParse->pNewTable;
drhed6c8672003-01-12 18:02:16 +00001611 if( p==0 || pParse->nErr ){
danielk19774adee202004-05-08 08:23:19 +00001612 sqlite3SelectDelete(pSelect);
drh417be792002-03-03 18:59:40 +00001613 return;
1614 }
danielk1977ef2cb632004-05-29 02:37:19 +00001615 sqlite3TwoPartName(pParse, pName1, pName2, &pName);
danielk1977da184232006-01-05 11:34:32 +00001616 iDb = sqlite3SchemaToIndex(pParse->db, p->pSchema);
1617 if( sqlite3FixInit(&sFix, pParse, iDb, "view", pName)
danielk19774adee202004-05-08 08:23:19 +00001618 && sqlite3FixSelect(&sFix, pSelect)
drhf26e09c2003-05-31 16:21:12 +00001619 ){
danielk19774adee202004-05-08 08:23:19 +00001620 sqlite3SelectDelete(pSelect);
drhf26e09c2003-05-31 16:21:12 +00001621 return;
1622 }
drh174b6192002-12-03 02:22:52 +00001623
drh4b59ab52002-08-24 18:24:51 +00001624 /* Make a copy of the entire SELECT statement that defines the view.
1625 ** This will force all the Expr.token.z values to be dynamically
1626 ** allocated rather than point to the input string - which means that
danielk197724b03fd2004-05-10 10:34:34 +00001627 ** they will persist after the current sqlite3_exec() call returns.
drh4b59ab52002-08-24 18:24:51 +00001628 */
danielk19774adee202004-05-08 08:23:19 +00001629 p->pSelect = sqlite3SelectDup(pSelect);
1630 sqlite3SelectDelete(pSelect);
danielk19779e128002006-01-18 16:51:35 +00001631 if( sqlite3MallocFailed() ){
danielk1977261919c2005-12-06 12:52:59 +00001632 return;
1633 }
drh1d85d932004-02-14 23:05:52 +00001634 if( !pParse->db->init.busy ){
danielk19774adee202004-05-08 08:23:19 +00001635 sqlite3ViewGetColumnNames(pParse, p);
drh417be792002-03-03 18:59:40 +00001636 }
drh4b59ab52002-08-24 18:24:51 +00001637
1638 /* Locate the end of the CREATE VIEW statement. Make sEnd point to
1639 ** the end.
1640 */
drha76b5df2002-02-23 02:32:10 +00001641 sEnd = pParse->sLastToken;
1642 if( sEnd.z[0]!=0 && sEnd.z[0]!=';' ){
1643 sEnd.z += sEnd.n;
1644 }
1645 sEnd.n = 0;
drhb089c0b2004-06-26 14:46:39 +00001646 n = sEnd.z - pBegin->z;
drh4c755c02004-08-08 20:22:17 +00001647 z = (const unsigned char*)pBegin->z;
drh4ff6dfa2002-03-03 23:06:00 +00001648 while( n>0 && (z[n-1]==';' || isspace(z[n-1])) ){ n--; }
1649 sEnd.z = &z[n-1];
1650 sEnd.n = 1;
drh4b59ab52002-08-24 18:24:51 +00001651
danielk19774adee202004-05-08 08:23:19 +00001652 /* Use sqlite3EndTable() to add the view to the SQLITE_MASTER table */
danielk197719a8e7e2005-03-17 05:03:38 +00001653 sqlite3EndTable(pParse, 0, &sEnd, 0);
drha76b5df2002-02-23 02:32:10 +00001654 return;
drh417be792002-03-03 18:59:40 +00001655}
drhb7f91642004-10-31 02:22:47 +00001656#endif /* SQLITE_OMIT_VIEW */
drha76b5df2002-02-23 02:32:10 +00001657
danielk1977fe3fcbe22006-06-12 12:08:45 +00001658#if !defined(SQLITE_OMIT_VIEW) || !defined(SQLITE_OMIT_VIRTUALTABLE)
drh417be792002-03-03 18:59:40 +00001659/*
1660** The Table structure pTable is really a VIEW. Fill in the names of
1661** the columns of the view in the pTable structure. Return the number
jplyoncfa56842004-01-19 04:55:56 +00001662** of errors. If an error is seen leave an error message in pParse->zErrMsg.
drh417be792002-03-03 18:59:40 +00001663*/
danielk19774adee202004-05-08 08:23:19 +00001664int sqlite3ViewGetColumnNames(Parse *pParse, Table *pTable){
drh9b3187e2005-01-18 14:45:47 +00001665 Table *pSelTab; /* A fake table from which we get the result set */
1666 Select *pSel; /* Copy of the SELECT that implements the view */
1667 int nErr = 0; /* Number of errors encountered */
1668 int n; /* Temporarily holds the number of cursors assigned */
drh417be792002-03-03 18:59:40 +00001669
1670 assert( pTable );
1671
danielk1977fe3fcbe22006-06-12 12:08:45 +00001672#ifndef SQLITE_OMIT_VIRTUALTABLE
1673 if( sqlite3VtabCallConnect(pParse, pTable) ){
1674 return SQLITE_ERROR;
1675 }
drh4cbdda92006-06-14 19:00:20 +00001676 if( IsVirtual(pTable) ) return 0;
danielk1977fe3fcbe22006-06-12 12:08:45 +00001677#endif
1678
1679#ifndef SQLITE_OMIT_VIEW
drh417be792002-03-03 18:59:40 +00001680 /* A positive nCol means the columns names for this view are
1681 ** already known.
1682 */
1683 if( pTable->nCol>0 ) return 0;
1684
1685 /* A negative nCol is a special marker meaning that we are currently
1686 ** trying to compute the column names. If we enter this routine with
1687 ** a negative nCol, it means two or more views form a loop, like this:
1688 **
1689 ** CREATE VIEW one AS SELECT * FROM two;
1690 ** CREATE VIEW two AS SELECT * FROM one;
drh3b167c72002-06-28 12:18:47 +00001691 **
1692 ** Actually, this error is caught previously and so the following test
1693 ** should always fail. But we will leave it in place just to be safe.
drh417be792002-03-03 18:59:40 +00001694 */
1695 if( pTable->nCol<0 ){
danielk19774adee202004-05-08 08:23:19 +00001696 sqlite3ErrorMsg(pParse, "view %s is circularly defined", pTable->zName);
drh417be792002-03-03 18:59:40 +00001697 return 1;
1698 }
drh85c23c62005-08-20 03:03:04 +00001699 assert( pTable->nCol>=0 );
drh417be792002-03-03 18:59:40 +00001700
1701 /* If we get this far, it means we need to compute the table names.
drh9b3187e2005-01-18 14:45:47 +00001702 ** Note that the call to sqlite3ResultSetOfSelect() will expand any
1703 ** "*" elements in the results set of the view and will assign cursors
1704 ** to the elements of the FROM clause. But we do not want these changes
1705 ** to be permanent. So the computation is done on a copy of the SELECT
1706 ** statement that defines the view.
drh417be792002-03-03 18:59:40 +00001707 */
drh9b3187e2005-01-18 14:45:47 +00001708 assert( pTable->pSelect );
1709 pSel = sqlite3SelectDup(pTable->pSelect);
danielk1977261919c2005-12-06 12:52:59 +00001710 if( pSel ){
1711 n = pParse->nTab;
1712 sqlite3SrcListAssignCursors(pParse, pSel->pSrc);
1713 pTable->nCol = -1;
1714 pSelTab = sqlite3ResultSetOfSelect(pParse, 0, pSel);
1715 pParse->nTab = n;
1716 if( pSelTab ){
1717 assert( pTable->aCol==0 );
1718 pTable->nCol = pSelTab->nCol;
1719 pTable->aCol = pSelTab->aCol;
1720 pSelTab->nCol = 0;
1721 pSelTab->aCol = 0;
1722 sqlite3DeleteTable(0, pSelTab);
danielk1977da184232006-01-05 11:34:32 +00001723 pTable->pSchema->flags |= DB_UnresetViews;
danielk1977261919c2005-12-06 12:52:59 +00001724 }else{
1725 pTable->nCol = 0;
1726 nErr++;
1727 }
1728 sqlite3SelectDelete(pSel);
1729 } else {
drh417be792002-03-03 18:59:40 +00001730 nErr++;
1731 }
drhb7f91642004-10-31 02:22:47 +00001732#endif /* SQLITE_OMIT_VIEW */
danielk19774b2688a2006-06-20 11:01:07 +00001733 return nErr;
danielk1977fe3fcbe22006-06-12 12:08:45 +00001734}
1735#endif /* !defined(SQLITE_OMIT_VIEW) || !defined(SQLITE_OMIT_VIRTUALTABLE) */
drh417be792002-03-03 18:59:40 +00001736
drhb7f91642004-10-31 02:22:47 +00001737#ifndef SQLITE_OMIT_VIEW
drh417be792002-03-03 18:59:40 +00001738/*
drh8bf8dc92003-05-17 17:35:10 +00001739** Clear the column names from every VIEW in database idx.
drh417be792002-03-03 18:59:40 +00001740*/
drh9bb575f2004-09-06 17:24:11 +00001741static void sqliteViewResetAll(sqlite3 *db, int idx){
drh417be792002-03-03 18:59:40 +00001742 HashElem *i;
drh8bf8dc92003-05-17 17:35:10 +00001743 if( !DbHasProperty(db, idx, DB_UnresetViews) ) return;
danielk1977da184232006-01-05 11:34:32 +00001744 for(i=sqliteHashFirst(&db->aDb[idx].pSchema->tblHash); i;i=sqliteHashNext(i)){
drh417be792002-03-03 18:59:40 +00001745 Table *pTab = sqliteHashData(i);
1746 if( pTab->pSelect ){
drh956bc922004-07-24 17:38:29 +00001747 sqliteResetColumnNames(pTab);
drh417be792002-03-03 18:59:40 +00001748 }
1749 }
drh8bf8dc92003-05-17 17:35:10 +00001750 DbClearProperty(db, idx, DB_UnresetViews);
drha76b5df2002-02-23 02:32:10 +00001751}
drhb7f91642004-10-31 02:22:47 +00001752#else
1753# define sqliteViewResetAll(A,B)
1754#endif /* SQLITE_OMIT_VIEW */
drha76b5df2002-02-23 02:32:10 +00001755
drh75897232000-05-29 14:26:00 +00001756/*
danielk1977a0bf2652004-11-04 14:30:04 +00001757** This function is called by the VDBE to adjust the internal schema
1758** used by SQLite when the btree layer moves a table root page. The
1759** root-page of a table or index in database iDb has changed from iFrom
1760** to iTo.
drh6205d4a2006-03-24 03:36:26 +00001761**
1762** Ticket #1728: The symbol table might still contain information
1763** on tables and/or indices that are the process of being deleted.
1764** If you are unlucky, one of those deleted indices or tables might
1765** have the same rootpage number as the real table or index that is
1766** being moved. So we cannot stop searching after the first match
1767** because the first match might be for one of the deleted indices
1768** or tables and not the table/index that is actually being moved.
1769** We must continue looping until all tables and indices with
1770** rootpage==iFrom have been converted to have a rootpage of iTo
1771** in order to be certain that we got the right one.
danielk1977a0bf2652004-11-04 14:30:04 +00001772*/
1773#ifndef SQLITE_OMIT_AUTOVACUUM
1774void sqlite3RootPageMoved(Db *pDb, int iFrom, int iTo){
1775 HashElem *pElem;
danielk1977da184232006-01-05 11:34:32 +00001776 Hash *pHash;
1777
1778 pHash = &pDb->pSchema->tblHash;
1779 for(pElem=sqliteHashFirst(pHash); pElem; pElem=sqliteHashNext(pElem)){
danielk1977a0bf2652004-11-04 14:30:04 +00001780 Table *pTab = sqliteHashData(pElem);
1781 if( pTab->tnum==iFrom ){
1782 pTab->tnum = iTo;
danielk1977a0bf2652004-11-04 14:30:04 +00001783 }
1784 }
danielk1977da184232006-01-05 11:34:32 +00001785 pHash = &pDb->pSchema->idxHash;
1786 for(pElem=sqliteHashFirst(pHash); pElem; pElem=sqliteHashNext(pElem)){
danielk1977a0bf2652004-11-04 14:30:04 +00001787 Index *pIdx = sqliteHashData(pElem);
1788 if( pIdx->tnum==iFrom ){
1789 pIdx->tnum = iTo;
danielk1977a0bf2652004-11-04 14:30:04 +00001790 }
1791 }
danielk1977a0bf2652004-11-04 14:30:04 +00001792}
1793#endif
1794
1795/*
1796** Write code to erase the table with root-page iTable from database iDb.
1797** Also write code to modify the sqlite_master table and internal schema
1798** if a root-page of another table is moved by the btree-layer whilst
1799** erasing iTable (this can happen with an auto-vacuum database).
1800*/
drh4e0cff62004-11-05 05:10:28 +00001801static void destroyRootPage(Parse *pParse, int iTable, int iDb){
1802 Vdbe *v = sqlite3GetVdbe(pParse);
drh40e016e2004-11-04 14:47:11 +00001803 sqlite3VdbeAddOp(v, OP_Destroy, iTable, iDb);
1804#ifndef SQLITE_OMIT_AUTOVACUUM
drh4e0cff62004-11-05 05:10:28 +00001805 /* OP_Destroy pushes an integer onto the stack. If this integer
1806 ** is non-zero, then it is the root page number of a table moved to
drh81db88e2004-12-07 12:29:17 +00001807 ** location iTable. The following code modifies the sqlite_master table to
drh4e0cff62004-11-05 05:10:28 +00001808 ** reflect this.
1809 **
1810 ** The "#0" in the SQL is a special constant that means whatever value
1811 ** is on the top of the stack. See sqlite3RegisterExpr().
1812 */
danielk197763e3e9f2004-11-05 09:19:27 +00001813 sqlite3NestedParse(pParse,
drh4794f732004-11-05 17:17:50 +00001814 "UPDATE %Q.%s SET rootpage=%d WHERE #0 AND rootpage=#0",
drh4e0cff62004-11-05 05:10:28 +00001815 pParse->db->aDb[iDb].zName, SCHEMA_TABLE(iDb), iTable);
danielk1977a0bf2652004-11-04 14:30:04 +00001816#endif
1817}
1818
1819/*
1820** Write VDBE code to erase table pTab and all associated indices on disk.
1821** Code to update the sqlite_master tables and internal schema definitions
1822** in case a root-page belonging to another table is moved by the btree layer
1823** is also added (this can happen with an auto-vacuum database).
1824*/
drh4e0cff62004-11-05 05:10:28 +00001825static void destroyTable(Parse *pParse, Table *pTab){
danielk1977a0bf2652004-11-04 14:30:04 +00001826#ifdef SQLITE_OMIT_AUTOVACUUM
drheee46cf2004-11-06 00:02:48 +00001827 Index *pIdx;
drh29c636b2006-01-09 23:40:25 +00001828 int iDb = sqlite3SchemaToIndex(pParse->db, pTab->pSchema);
1829 destroyRootPage(pParse, pTab->tnum, iDb);
danielk1977a0bf2652004-11-04 14:30:04 +00001830 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
drh29c636b2006-01-09 23:40:25 +00001831 destroyRootPage(pParse, pIdx->tnum, iDb);
danielk1977a0bf2652004-11-04 14:30:04 +00001832 }
1833#else
1834 /* If the database may be auto-vacuum capable (if SQLITE_OMIT_AUTOVACUUM
1835 ** is not defined), then it is important to call OP_Destroy on the
1836 ** table and index root-pages in order, starting with the numerically
1837 ** largest root-page number. This guarantees that none of the root-pages
1838 ** to be destroyed is relocated by an earlier OP_Destroy. i.e. if the
1839 ** following were coded:
1840 **
1841 ** OP_Destroy 4 0
1842 ** ...
1843 ** OP_Destroy 5 0
1844 **
1845 ** and root page 5 happened to be the largest root-page number in the
1846 ** database, then root page 5 would be moved to page 4 by the
1847 ** "OP_Destroy 4 0" opcode. The subsequent "OP_Destroy 5 0" would hit
1848 ** a free-list page.
1849 */
1850 int iTab = pTab->tnum;
1851 int iDestroyed = 0;
1852
1853 while( 1 ){
1854 Index *pIdx;
1855 int iLargest = 0;
1856
1857 if( iDestroyed==0 || iTab<iDestroyed ){
1858 iLargest = iTab;
1859 }
1860 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
1861 int iIdx = pIdx->tnum;
danielk1977da184232006-01-05 11:34:32 +00001862 assert( pIdx->pSchema==pTab->pSchema );
danielk1977a0bf2652004-11-04 14:30:04 +00001863 if( (iDestroyed==0 || (iIdx<iDestroyed)) && iIdx>iLargest ){
1864 iLargest = iIdx;
1865 }
1866 }
danielk1977da184232006-01-05 11:34:32 +00001867 if( iLargest==0 ){
1868 return;
1869 }else{
1870 int iDb = sqlite3SchemaToIndex(pParse->db, pTab->pSchema);
1871 destroyRootPage(pParse, iLargest, iDb);
1872 iDestroyed = iLargest;
1873 }
danielk1977a0bf2652004-11-04 14:30:04 +00001874 }
1875#endif
1876}
1877
1878/*
drh75897232000-05-29 14:26:00 +00001879** This routine is called to do the work of a DROP TABLE statement.
drhd9b02572001-04-15 00:37:09 +00001880** pName is the name of the table to be dropped.
drh75897232000-05-29 14:26:00 +00001881*/
drha0733842005-12-29 01:11:36 +00001882void sqlite3DropTable(Parse *pParse, SrcList *pName, int isView, int noErr){
danielk1977a8858102004-05-28 12:11:21 +00001883 Table *pTab;
drh75897232000-05-29 14:26:00 +00001884 Vdbe *v;
drh9bb575f2004-09-06 17:24:11 +00001885 sqlite3 *db = pParse->db;
drhd24cc422003-03-27 12:51:24 +00001886 int iDb;
drh75897232000-05-29 14:26:00 +00001887
danielk19779e128002006-01-18 16:51:35 +00001888 if( pParse->nErr || sqlite3MallocFailed() ){
drh6f7adc82006-01-11 21:41:20 +00001889 goto exit_drop_table;
1890 }
danielk1977a8858102004-05-28 12:11:21 +00001891 assert( pName->nSrc==1 );
1892 pTab = sqlite3LocateTable(pParse, pName->a[0].zName, pName->a[0].zDatabase);
1893
drha0733842005-12-29 01:11:36 +00001894 if( pTab==0 ){
1895 if( noErr ){
1896 sqlite3ErrorClear(pParse);
1897 }
1898 goto exit_drop_table;
1899 }
danielk1977da184232006-01-05 11:34:32 +00001900 iDb = sqlite3SchemaToIndex(db, pTab->pSchema);
drhe22a3342003-04-22 20:30:37 +00001901 assert( iDb>=0 && iDb<db->nDb );
drhe5f9c642003-01-13 23:27:31 +00001902#ifndef SQLITE_OMIT_AUTHORIZATION
drhe5f9c642003-01-13 23:27:31 +00001903 {
1904 int code;
danielk1977da184232006-01-05 11:34:32 +00001905 const char *zTab = SCHEMA_TABLE(iDb);
1906 const char *zDb = db->aDb[iDb].zName;
danielk1977f1a381e2006-06-16 08:01:02 +00001907 const char *zArg2 = 0;
danielk19774adee202004-05-08 08:23:19 +00001908 if( sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb)){
danielk1977a8858102004-05-28 12:11:21 +00001909 goto exit_drop_table;
drhe22a3342003-04-22 20:30:37 +00001910 }
drhe5f9c642003-01-13 23:27:31 +00001911 if( isView ){
danielk197753c0f742005-03-29 03:10:59 +00001912 if( !OMIT_TEMPDB && iDb==1 ){
drhe5f9c642003-01-13 23:27:31 +00001913 code = SQLITE_DROP_TEMP_VIEW;
1914 }else{
1915 code = SQLITE_DROP_VIEW;
1916 }
danielk19774b2688a2006-06-20 11:01:07 +00001917#ifndef SQLITE_OMIT_VIRTUALTABLE
danielk1977f1a381e2006-06-16 08:01:02 +00001918 }else if( IsVirtual(pTab) ){
danielk19779d1b2a22006-06-21 07:34:11 +00001919 if( sqlite3ViewGetColumnNames(pParse, pTab) ){
1920 goto exit_drop_table;
1921 }
danielk1977f1a381e2006-06-16 08:01:02 +00001922 code = SQLITE_DROP_VTABLE;
1923 zArg2 = pTab->pMod->zName;
danielk19774b2688a2006-06-20 11:01:07 +00001924#endif
drhe5f9c642003-01-13 23:27:31 +00001925 }else{
danielk197753c0f742005-03-29 03:10:59 +00001926 if( !OMIT_TEMPDB && iDb==1 ){
drhe5f9c642003-01-13 23:27:31 +00001927 code = SQLITE_DROP_TEMP_TABLE;
1928 }else{
1929 code = SQLITE_DROP_TABLE;
1930 }
1931 }
danielk1977f1a381e2006-06-16 08:01:02 +00001932 if( sqlite3AuthCheck(pParse, code, pTab->zName, zArg2, zDb) ){
danielk1977a8858102004-05-28 12:11:21 +00001933 goto exit_drop_table;
drhe5f9c642003-01-13 23:27:31 +00001934 }
danielk1977a8858102004-05-28 12:11:21 +00001935 if( sqlite3AuthCheck(pParse, SQLITE_DELETE, pTab->zName, 0, zDb) ){
1936 goto exit_drop_table;
drh77ad4e42003-01-14 02:49:27 +00001937 }
drhe5f9c642003-01-13 23:27:31 +00001938 }
1939#endif
danielk1977da184232006-01-05 11:34:32 +00001940 if( pTab->readOnly || pTab==db->aDb[iDb].pSchema->pSeqTab ){
danielk1977a8858102004-05-28 12:11:21 +00001941 sqlite3ErrorMsg(pParse, "table %s may not be dropped", pTab->zName);
danielk1977a8858102004-05-28 12:11:21 +00001942 goto exit_drop_table;
drh75897232000-05-29 14:26:00 +00001943 }
danielk1977576ec6b2005-01-21 11:55:25 +00001944
1945#ifndef SQLITE_OMIT_VIEW
1946 /* Ensure DROP TABLE is not used on a view, and DROP VIEW is not used
1947 ** on a table.
1948 */
danielk1977a8858102004-05-28 12:11:21 +00001949 if( isView && pTab->pSelect==0 ){
1950 sqlite3ErrorMsg(pParse, "use DROP TABLE to delete table %s", pTab->zName);
1951 goto exit_drop_table;
drh4ff6dfa2002-03-03 23:06:00 +00001952 }
danielk1977a8858102004-05-28 12:11:21 +00001953 if( !isView && pTab->pSelect ){
1954 sqlite3ErrorMsg(pParse, "use DROP VIEW to delete view %s", pTab->zName);
1955 goto exit_drop_table;
drh4ff6dfa2002-03-03 23:06:00 +00001956 }
danielk1977576ec6b2005-01-21 11:55:25 +00001957#endif
drh75897232000-05-29 14:26:00 +00001958
drh1ccde152000-06-17 13:12:39 +00001959 /* Generate code to remove the table from the master table
1960 ** on disk.
1961 */
danielk19774adee202004-05-08 08:23:19 +00001962 v = sqlite3GetVdbe(pParse);
drh75897232000-05-29 14:26:00 +00001963 if( v ){
drhe0bc4042002-06-25 01:09:11 +00001964 Trigger *pTrigger;
drh2958a4e2004-11-12 03:56:15 +00001965 Db *pDb = &db->aDb[iDb];
1966 sqlite3BeginWriteOperation(pParse, 0, iDb);
drh8bf8dc92003-05-17 17:35:10 +00001967
danielk197720b1eaf2006-07-26 16:22:14 +00001968#ifndef SQLITE_OMIT_VIRTUALTABLE
1969 if( IsVirtual(pTab) ){
1970 Vdbe *v = sqlite3GetVdbe(pParse);
1971 if( v ){
1972 sqlite3VdbeAddOp(v, OP_VBegin, 0, 0);
1973 }
1974 }
1975#endif
1976
danielk19778e227872004-06-07 07:52:17 +00001977 /* Drop all triggers associated with the table being dropped. Code
1978 ** is generated to remove entries from sqlite_master and/or
1979 ** sqlite_temp_master if required.
1980 */
danielk1977a8858102004-05-28 12:11:21 +00001981 pTrigger = pTab->pTrigger;
drhe0bc4042002-06-25 01:09:11 +00001982 while( pTrigger ){
danielk1977da184232006-01-05 11:34:32 +00001983 assert( pTrigger->pSchema==pTab->pSchema ||
1984 pTrigger->pSchema==db->aDb[1].pSchema );
drh74161702006-02-24 02:53:49 +00001985 sqlite3DropTriggerPtr(pParse, pTrigger);
drh956bc922004-07-24 17:38:29 +00001986 pTrigger = pTrigger->pNext;
danielk1977c3f9bad2002-05-15 08:30:12 +00001987 }
drh8bf8dc92003-05-17 17:35:10 +00001988
danielk19774d36b812004-11-19 07:07:30 +00001989#ifndef SQLITE_OMIT_AUTOINCREMENT
1990 /* Remove any entries of the sqlite_sequence table associated with
1991 ** the table being dropped. This is done before the table is dropped
1992 ** at the btree level, in case the sqlite_sequence table needs to
1993 ** move as a result of the drop (can happen in auto-vacuum mode).
1994 */
1995 if( pTab->autoInc ){
1996 sqlite3NestedParse(pParse,
1997 "DELETE FROM %s.sqlite_sequence WHERE name=%Q",
1998 pDb->zName, pTab->zName
1999 );
2000 }
2001#endif
2002
danielk19778e227872004-06-07 07:52:17 +00002003 /* Drop all SQLITE_MASTER table and index entries that refer to the
2004 ** table. The program name loops through the master table and deletes
2005 ** every row that refers to a table of the same name as the one being
2006 ** dropped. Triggers are handled seperately because a trigger can be
2007 ** created in the temp database that refers to a table in another
2008 ** database.
2009 */
drhf1974842004-11-05 03:56:00 +00002010 sqlite3NestedParse(pParse,
drh4794f732004-11-05 17:17:50 +00002011 "DELETE FROM %Q.%s WHERE tbl_name=%Q and type!='trigger'",
drh2958a4e2004-11-12 03:56:15 +00002012 pDb->zName, SCHEMA_TABLE(iDb), pTab->zName);
danielk19774b2688a2006-06-20 11:01:07 +00002013 if( !isView && !IsVirtual(pTab) ){
drh4e0cff62004-11-05 05:10:28 +00002014 destroyTable(pParse, pTab);
drh5e00f6c2001-09-13 13:46:56 +00002015 }
drh2958a4e2004-11-12 03:56:15 +00002016
danielk1977a21c6b62005-01-24 10:25:59 +00002017 /* Remove the table entry from SQLite's internal schema and modify
2018 ** the schema cookie.
drh2958a4e2004-11-12 03:56:15 +00002019 */
drh4cbdda92006-06-14 19:00:20 +00002020 if( IsVirtual(pTab) ){
drhb9bb7c12006-06-11 23:41:55 +00002021 sqlite3VdbeOp3(v, OP_VDestroy, iDb, 0, pTab->zName, 0);
drhb9bb7c12006-06-11 23:41:55 +00002022 }
danielk19779e39ce82006-06-12 16:01:21 +00002023 sqlite3VdbeOp3(v, OP_DropTable, iDb, 0, pTab->zName, 0);
danielk1977a21c6b62005-01-24 10:25:59 +00002024 sqlite3ChangeCookie(db, v, iDb);
drh75897232000-05-29 14:26:00 +00002025 }
drhd24cc422003-03-27 12:51:24 +00002026 sqliteViewResetAll(db, iDb);
danielk1977a8858102004-05-28 12:11:21 +00002027
2028exit_drop_table:
2029 sqlite3SrcListDelete(pName);
drh75897232000-05-29 14:26:00 +00002030}
2031
2032/*
drhc2eef3b2002-08-31 18:53:06 +00002033** This routine is called to create a new foreign key on the table
2034** currently under construction. pFromCol determines which columns
2035** in the current table point to the foreign key. If pFromCol==0 then
2036** connect the key to the last column inserted. pTo is the name of
2037** the table referred to. pToCol is a list of tables in the other
2038** pTo table that the foreign key points to. flags contains all
2039** information about the conflict resolution algorithms specified
2040** in the ON DELETE, ON UPDATE and ON INSERT clauses.
2041**
2042** An FKey structure is created and added to the table currently
2043** under construction in the pParse->pNewTable field. The new FKey
2044** is not linked into db->aFKey at this point - that does not happen
danielk19774adee202004-05-08 08:23:19 +00002045** until sqlite3EndTable().
drhc2eef3b2002-08-31 18:53:06 +00002046**
2047** The foreign key is set for IMMEDIATE processing. A subsequent call
danielk19774adee202004-05-08 08:23:19 +00002048** to sqlite3DeferForeignKey() might change this to DEFERRED.
drhc2eef3b2002-08-31 18:53:06 +00002049*/
danielk19774adee202004-05-08 08:23:19 +00002050void sqlite3CreateForeignKey(
drhc2eef3b2002-08-31 18:53:06 +00002051 Parse *pParse, /* Parsing context */
danielk19770202b292004-06-09 09:55:16 +00002052 ExprList *pFromCol, /* Columns in this table that point to other table */
drhc2eef3b2002-08-31 18:53:06 +00002053 Token *pTo, /* Name of the other table */
danielk19770202b292004-06-09 09:55:16 +00002054 ExprList *pToCol, /* Columns in the other table */
drhc2eef3b2002-08-31 18:53:06 +00002055 int flags /* Conflict resolution algorithms. */
2056){
drhb7f91642004-10-31 02:22:47 +00002057#ifndef SQLITE_OMIT_FOREIGN_KEY
drh40e016e2004-11-04 14:47:11 +00002058 FKey *pFKey = 0;
drhc2eef3b2002-08-31 18:53:06 +00002059 Table *p = pParse->pNewTable;
2060 int nByte;
2061 int i;
2062 int nCol;
2063 char *z;
drhc2eef3b2002-08-31 18:53:06 +00002064
2065 assert( pTo!=0 );
danielk1977c7d54102006-06-15 07:29:00 +00002066 if( p==0 || pParse->nErr || IN_DECLARE_VTAB ) goto fk_end;
drhc2eef3b2002-08-31 18:53:06 +00002067 if( pFromCol==0 ){
2068 int iCol = p->nCol-1;
2069 if( iCol<0 ) goto fk_end;
danielk19770202b292004-06-09 09:55:16 +00002070 if( pToCol && pToCol->nExpr!=1 ){
danielk19774adee202004-05-08 08:23:19 +00002071 sqlite3ErrorMsg(pParse, "foreign key on %s"
drhf7a9e1a2004-02-22 18:40:56 +00002072 " should reference only one column of table %T",
2073 p->aCol[iCol].zName, pTo);
drhc2eef3b2002-08-31 18:53:06 +00002074 goto fk_end;
2075 }
2076 nCol = 1;
danielk19770202b292004-06-09 09:55:16 +00002077 }else if( pToCol && pToCol->nExpr!=pFromCol->nExpr ){
danielk19774adee202004-05-08 08:23:19 +00002078 sqlite3ErrorMsg(pParse,
drhc2eef3b2002-08-31 18:53:06 +00002079 "number of columns in foreign key does not match the number of "
drhf7a9e1a2004-02-22 18:40:56 +00002080 "columns in the referenced table");
drhc2eef3b2002-08-31 18:53:06 +00002081 goto fk_end;
2082 }else{
danielk19770202b292004-06-09 09:55:16 +00002083 nCol = pFromCol->nExpr;
drhc2eef3b2002-08-31 18:53:06 +00002084 }
2085 nByte = sizeof(*pFKey) + nCol*sizeof(pFKey->aCol[0]) + pTo->n + 1;
2086 if( pToCol ){
danielk19770202b292004-06-09 09:55:16 +00002087 for(i=0; i<pToCol->nExpr; i++){
drhc2eef3b2002-08-31 18:53:06 +00002088 nByte += strlen(pToCol->a[i].zName) + 1;
2089 }
2090 }
2091 pFKey = sqliteMalloc( nByte );
2092 if( pFKey==0 ) goto fk_end;
2093 pFKey->pFrom = p;
2094 pFKey->pNextFrom = p->pFKey;
drhdf68f6b2002-09-21 15:57:57 +00002095 z = (char*)&pFKey[1];
2096 pFKey->aCol = (struct sColMap*)z;
2097 z += sizeof(struct sColMap)*nCol;
2098 pFKey->zTo = z;
drhc2eef3b2002-08-31 18:53:06 +00002099 memcpy(z, pTo->z, pTo->n);
2100 z[pTo->n] = 0;
2101 z += pTo->n+1;
2102 pFKey->pNextTo = 0;
2103 pFKey->nCol = nCol;
drhc2eef3b2002-08-31 18:53:06 +00002104 if( pFromCol==0 ){
2105 pFKey->aCol[0].iFrom = p->nCol-1;
2106 }else{
2107 for(i=0; i<nCol; i++){
2108 int j;
2109 for(j=0; j<p->nCol; j++){
danielk19774adee202004-05-08 08:23:19 +00002110 if( sqlite3StrICmp(p->aCol[j].zName, pFromCol->a[i].zName)==0 ){
drhc2eef3b2002-08-31 18:53:06 +00002111 pFKey->aCol[i].iFrom = j;
2112 break;
2113 }
2114 }
2115 if( j>=p->nCol ){
danielk19774adee202004-05-08 08:23:19 +00002116 sqlite3ErrorMsg(pParse,
drhf7a9e1a2004-02-22 18:40:56 +00002117 "unknown column \"%s\" in foreign key definition",
2118 pFromCol->a[i].zName);
drhc2eef3b2002-08-31 18:53:06 +00002119 goto fk_end;
2120 }
2121 }
2122 }
2123 if( pToCol ){
2124 for(i=0; i<nCol; i++){
2125 int n = strlen(pToCol->a[i].zName);
2126 pFKey->aCol[i].zCol = z;
2127 memcpy(z, pToCol->a[i].zName, n);
2128 z[n] = 0;
2129 z += n+1;
2130 }
2131 }
2132 pFKey->isDeferred = 0;
2133 pFKey->deleteConf = flags & 0xff;
2134 pFKey->updateConf = (flags >> 8 ) & 0xff;
2135 pFKey->insertConf = (flags >> 16 ) & 0xff;
2136
2137 /* Link the foreign key to the table as the last step.
2138 */
2139 p->pFKey = pFKey;
2140 pFKey = 0;
2141
2142fk_end:
2143 sqliteFree(pFKey);
drhb7f91642004-10-31 02:22:47 +00002144#endif /* !defined(SQLITE_OMIT_FOREIGN_KEY) */
danielk19770202b292004-06-09 09:55:16 +00002145 sqlite3ExprListDelete(pFromCol);
2146 sqlite3ExprListDelete(pToCol);
drhc2eef3b2002-08-31 18:53:06 +00002147}
2148
2149/*
2150** This routine is called when an INITIALLY IMMEDIATE or INITIALLY DEFERRED
2151** clause is seen as part of a foreign key definition. The isDeferred
2152** parameter is 1 for INITIALLY DEFERRED and 0 for INITIALLY IMMEDIATE.
2153** The behavior of the most recently created foreign key is adjusted
2154** accordingly.
2155*/
danielk19774adee202004-05-08 08:23:19 +00002156void sqlite3DeferForeignKey(Parse *pParse, int isDeferred){
drhb7f91642004-10-31 02:22:47 +00002157#ifndef SQLITE_OMIT_FOREIGN_KEY
drhc2eef3b2002-08-31 18:53:06 +00002158 Table *pTab;
2159 FKey *pFKey;
2160 if( (pTab = pParse->pNewTable)==0 || (pFKey = pTab->pFKey)==0 ) return;
2161 pFKey->isDeferred = isDeferred;
drhb7f91642004-10-31 02:22:47 +00002162#endif
drhc2eef3b2002-08-31 18:53:06 +00002163}
2164
2165/*
drh063336a2004-11-05 20:58:39 +00002166** Generate code that will erase and refill index *pIdx. This is
2167** used to initialize a newly created index or to recompute the
2168** content of an index in response to a REINDEX command.
2169**
2170** if memRootPage is not negative, it means that the index is newly
2171** created. The memory cell specified by memRootPage contains the
2172** root page number of the index. If memRootPage is negative, then
2173** the index already exists and must be cleared before being refilled and
2174** the root page number of the index is taken from pIndex->tnum.
2175*/
2176static void sqlite3RefillIndex(Parse *pParse, Index *pIndex, int memRootPage){
2177 Table *pTab = pIndex->pTable; /* The table that is indexed */
2178 int iTab = pParse->nTab; /* Btree cursor used for pTab */
2179 int iIdx = pParse->nTab+1; /* Btree cursor used for pIndex */
2180 int addr1; /* Address of top of loop */
2181 int tnum; /* Root page of index */
2182 Vdbe *v; /* Generate code into this virtual machine */
danielk1977b3bf5562006-01-10 17:58:23 +00002183 KeyInfo *pKey; /* KeyInfo for index */
danielk1977da184232006-01-05 11:34:32 +00002184 int iDb = sqlite3SchemaToIndex(pParse->db, pIndex->pSchema);
drh063336a2004-11-05 20:58:39 +00002185
danielk19771d54df82004-11-23 15:41:16 +00002186#ifndef SQLITE_OMIT_AUTHORIZATION
2187 if( sqlite3AuthCheck(pParse, SQLITE_REINDEX, pIndex->zName, 0,
danielk1977da184232006-01-05 11:34:32 +00002188 pParse->db->aDb[iDb].zName ) ){
danielk19771d54df82004-11-23 15:41:16 +00002189 return;
2190 }
2191#endif
2192
danielk1977c00da102006-01-07 13:21:04 +00002193 /* Require a write-lock on the table to perform this operation */
2194 sqlite3TableLock(pParse, iDb, pTab->tnum, 1, pTab->zName);
2195
drh063336a2004-11-05 20:58:39 +00002196 v = sqlite3GetVdbe(pParse);
2197 if( v==0 ) return;
2198 if( memRootPage>=0 ){
2199 sqlite3VdbeAddOp(v, OP_MemLoad, memRootPage, 0);
2200 tnum = 0;
2201 }else{
2202 tnum = pIndex->tnum;
danielk1977da184232006-01-05 11:34:32 +00002203 sqlite3VdbeAddOp(v, OP_Clear, tnum, iDb);
drh063336a2004-11-05 20:58:39 +00002204 }
danielk1977da184232006-01-05 11:34:32 +00002205 sqlite3VdbeAddOp(v, OP_Integer, iDb, 0);
danielk1977b3bf5562006-01-10 17:58:23 +00002206 pKey = sqlite3IndexKeyinfo(pParse, pIndex);
2207 sqlite3VdbeOp3(v, OP_OpenWrite, iIdx, tnum, (char *)pKey, P3_KEYINFO_HANDOFF);
danielk1977c00da102006-01-07 13:21:04 +00002208 sqlite3OpenTable(pParse, iTab, iDb, pTab, OP_OpenRead);
drh063336a2004-11-05 20:58:39 +00002209 addr1 = sqlite3VdbeAddOp(v, OP_Rewind, iTab, 0);
2210 sqlite3GenerateIndexKey(v, pIndex, iTab);
drh7f057c92005-06-24 03:53:06 +00002211 if( pIndex->onError!=OE_None ){
2212 int curaddr = sqlite3VdbeCurrentAddr(v);
2213 int addr2 = curaddr+4;
2214 sqlite3VdbeChangeP2(v, curaddr-1, addr2);
2215 sqlite3VdbeAddOp(v, OP_Rowid, iTab, 0);
2216 sqlite3VdbeAddOp(v, OP_AddImm, 1, 0);
2217 sqlite3VdbeAddOp(v, OP_IsUnique, iIdx, addr2);
2218 sqlite3VdbeOp3(v, OP_Halt, SQLITE_CONSTRAINT, OE_Abort,
2219 "indexed columns are not unique", P3_STATIC);
2220 assert( addr2==sqlite3VdbeCurrentAddr(v) );
drh4343fea2004-11-05 23:46:15 +00002221 }
drh7f057c92005-06-24 03:53:06 +00002222 sqlite3VdbeAddOp(v, OP_IdxInsert, iIdx, 0);
drh063336a2004-11-05 20:58:39 +00002223 sqlite3VdbeAddOp(v, OP_Next, iTab, addr1+1);
drhd654be82005-09-20 17:42:23 +00002224 sqlite3VdbeJumpHere(v, addr1);
drh063336a2004-11-05 20:58:39 +00002225 sqlite3VdbeAddOp(v, OP_Close, iTab, 0);
2226 sqlite3VdbeAddOp(v, OP_Close, iIdx, 0);
2227}
2228
2229/*
drh23bf66d2004-12-14 03:34:34 +00002230** Create a new index for an SQL table. pName1.pName2 is the name of the index
2231** and pTblList is the name of the table that is to be indexed. Both will
drhadbca9c2001-09-27 15:11:53 +00002232** be NULL for a primary key or an index that is created to satisfy a
2233** UNIQUE constraint. If pTable and pIndex are NULL, use pParse->pNewTable
drh382c0242001-10-06 16:33:02 +00002234** as the table to be indexed. pParse->pNewTable is a table that is
2235** currently being constructed by a CREATE TABLE statement.
drh75897232000-05-29 14:26:00 +00002236**
drh382c0242001-10-06 16:33:02 +00002237** pList is a list of columns to be indexed. pList will be NULL if this
2238** is a primary key or unique-constraint on the most recent column added
2239** to the table currently under construction.
drh75897232000-05-29 14:26:00 +00002240*/
danielk19774adee202004-05-08 08:23:19 +00002241void sqlite3CreateIndex(
drh23bf66d2004-12-14 03:34:34 +00002242 Parse *pParse, /* All information about this parse */
2243 Token *pName1, /* First part of index name. May be NULL */
2244 Token *pName2, /* Second part of index name. May be NULL */
2245 SrcList *pTblName, /* Table to index. Use pParse->pNewTable if 0 */
danielk19770202b292004-06-09 09:55:16 +00002246 ExprList *pList, /* A list of columns to be indexed */
drh23bf66d2004-12-14 03:34:34 +00002247 int onError, /* OE_Abort, OE_Ignore, OE_Replace, or OE_None */
2248 Token *pStart, /* The CREATE token that begins a CREATE TABLE statement */
drhfdd6e852005-12-16 01:06:16 +00002249 Token *pEnd, /* The ")" that closes the CREATE INDEX statement */
drh4d91a702006-01-04 15:54:36 +00002250 int sortOrder, /* Sort order of primary key when pList==NULL */
2251 int ifNotExist /* Omit error if index already exists */
drh75897232000-05-29 14:26:00 +00002252){
drhfdd6e852005-12-16 01:06:16 +00002253 Table *pTab = 0; /* Table to be indexed */
2254 Index *pIndex = 0; /* The index to be created */
2255 char *zName = 0; /* Name of the index */
2256 int nName; /* Number of characters in zName */
drhbeae3192001-09-22 18:12:08 +00002257 int i, j;
drhfdd6e852005-12-16 01:06:16 +00002258 Token nullId; /* Fake token for an empty ID list */
2259 DbFixer sFix; /* For assigning database names to pTable */
2260 int sortOrderMask; /* 1 to honor DESC in index. 0 to ignore. */
drh9bb575f2004-09-06 17:24:11 +00002261 sqlite3 *db = pParse->db;
drhfdd6e852005-12-16 01:06:16 +00002262 Db *pDb; /* The specific table containing the indexed database */
2263 int iDb; /* Index of the database that is being written */
2264 Token *pName = 0; /* Unqualified name of the index to create */
2265 struct ExprList_item *pListItem; /* For looping over pList */
danielk1977b3bf5562006-01-10 17:58:23 +00002266 int nCol;
2267 int nExtra = 0;
2268 char *zExtra;
danielk1977cbb18d22004-05-28 11:37:27 +00002269
danielk1977f1a381e2006-06-16 08:01:02 +00002270 if( pParse->nErr || sqlite3MallocFailed() || IN_DECLARE_VTAB ){
danielk1977e501b892006-01-09 06:29:47 +00002271 goto exit_create_index;
2272 }
drhdaffd0e2001-04-11 14:28:42 +00002273
drh75897232000-05-29 14:26:00 +00002274 /*
2275 ** Find the table that is to be indexed. Return early if not found.
2276 */
danielk1977cbb18d22004-05-28 11:37:27 +00002277 if( pTblName!=0 ){
danielk1977cbb18d22004-05-28 11:37:27 +00002278
2279 /* Use the two-part index name to determine the database
danielk1977ef2cb632004-05-29 02:37:19 +00002280 ** to search for the table. 'Fix' the table name to this db
2281 ** before looking up the table.
danielk1977cbb18d22004-05-28 11:37:27 +00002282 */
2283 assert( pName1 && pName2 );
danielk1977ef2cb632004-05-29 02:37:19 +00002284 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName);
danielk1977cbb18d22004-05-28 11:37:27 +00002285 if( iDb<0 ) goto exit_create_index;
2286
danielk197753c0f742005-03-29 03:10:59 +00002287#ifndef SQLITE_OMIT_TEMPDB
danielk1977ef2cb632004-05-29 02:37:19 +00002288 /* If the index name was unqualified, check if the the table
2289 ** is a temp table. If so, set the database to 1.
danielk1977cbb18d22004-05-28 11:37:27 +00002290 */
danielk1977ef2cb632004-05-29 02:37:19 +00002291 pTab = sqlite3SrcListLookup(pParse, pTblName);
danielk1977da184232006-01-05 11:34:32 +00002292 if( pName2 && pName2->n==0 && pTab && pTab->pSchema==db->aDb[1].pSchema ){
danielk1977ef2cb632004-05-29 02:37:19 +00002293 iDb = 1;
2294 }
danielk197753c0f742005-03-29 03:10:59 +00002295#endif
danielk1977ef2cb632004-05-29 02:37:19 +00002296
2297 if( sqlite3FixInit(&sFix, pParse, iDb, "index", pName) &&
2298 sqlite3FixSrcList(&sFix, pTblName)
2299 ){
drh85c23c62005-08-20 03:03:04 +00002300 /* Because the parser constructs pTblName from a single identifier,
2301 ** sqlite3FixSrcList can never fail. */
2302 assert(0);
danielk1977cbb18d22004-05-28 11:37:27 +00002303 }
danielk1977ef2cb632004-05-29 02:37:19 +00002304 pTab = sqlite3LocateTable(pParse, pTblName->a[0].zName,
2305 pTblName->a[0].zDatabase);
danielk1977cbb18d22004-05-28 11:37:27 +00002306 if( !pTab ) goto exit_create_index;
danielk1977da184232006-01-05 11:34:32 +00002307 assert( db->aDb[iDb].pSchema==pTab->pSchema );
drh75897232000-05-29 14:26:00 +00002308 }else{
drhe3c41372001-09-17 20:25:58 +00002309 assert( pName==0 );
danielk1977da184232006-01-05 11:34:32 +00002310 pTab = pParse->pNewTable;
drha6370df2006-01-04 21:40:06 +00002311 if( !pTab ) goto exit_create_index;
danielk1977da184232006-01-05 11:34:32 +00002312 iDb = sqlite3SchemaToIndex(db, pTab->pSchema);
drh75897232000-05-29 14:26:00 +00002313 }
drhfdd6e852005-12-16 01:06:16 +00002314 pDb = &db->aDb[iDb];
danielk1977cbb18d22004-05-28 11:37:27 +00002315
drh75897232000-05-29 14:26:00 +00002316 if( pTab==0 || pParse->nErr ) goto exit_create_index;
drh0be9df02003-03-30 00:19:49 +00002317 if( pTab->readOnly ){
danielk19774adee202004-05-08 08:23:19 +00002318 sqlite3ErrorMsg(pParse, "table %s may not be indexed", pTab->zName);
drh0be9df02003-03-30 00:19:49 +00002319 goto exit_create_index;
2320 }
danielk1977576ec6b2005-01-21 11:55:25 +00002321#ifndef SQLITE_OMIT_VIEW
drha76b5df2002-02-23 02:32:10 +00002322 if( pTab->pSelect ){
danielk19774adee202004-05-08 08:23:19 +00002323 sqlite3ErrorMsg(pParse, "views may not be indexed");
drha76b5df2002-02-23 02:32:10 +00002324 goto exit_create_index;
2325 }
danielk1977576ec6b2005-01-21 11:55:25 +00002326#endif
danielk19775ee9d692006-06-21 12:36:25 +00002327#ifndef SQLITE_OMIT_VIRTUALTABLE
2328 if( IsVirtual(pTab) ){
2329 sqlite3ErrorMsg(pParse, "virtual tables may not be indexed");
2330 goto exit_create_index;
2331 }
2332#endif
drh75897232000-05-29 14:26:00 +00002333
2334 /*
2335 ** Find the name of the index. Make sure there is not already another
drhf57b3392001-10-08 13:22:32 +00002336 ** index or table with the same name.
2337 **
2338 ** Exception: If we are reading the names of permanent indices from the
2339 ** sqlite_master table (because some other process changed the schema) and
2340 ** one of the index names collides with the name of a temporary table or
drhd24cc422003-03-27 12:51:24 +00002341 ** index, then we will continue to process this index.
drhf57b3392001-10-08 13:22:32 +00002342 **
2343 ** If pName==0 it means that we are
drhadbca9c2001-09-27 15:11:53 +00002344 ** dealing with a primary key or UNIQUE constraint. We have to invent our
2345 ** own name.
drh75897232000-05-29 14:26:00 +00002346 */
danielk1977d8123362004-06-12 09:25:12 +00002347 if( pName ){
drha99db3b2004-06-19 14:49:12 +00002348 zName = sqlite3NameFromToken(pName);
danielk19778a414492004-06-29 08:59:35 +00002349 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ) goto exit_create_index;
drhe3c41372001-09-17 20:25:58 +00002350 if( zName==0 ) goto exit_create_index;
danielk1977d8123362004-06-12 09:25:12 +00002351 if( SQLITE_OK!=sqlite3CheckObjectName(pParse, zName) ){
drhd24cc422003-03-27 12:51:24 +00002352 goto exit_create_index;
drhe3c41372001-09-17 20:25:58 +00002353 }
danielk1977d8123362004-06-12 09:25:12 +00002354 if( !db->init.busy ){
danielk19778a414492004-06-29 08:59:35 +00002355 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ) goto exit_create_index;
drhfdd6e852005-12-16 01:06:16 +00002356 if( sqlite3FindIndex(db, zName, pDb->zName)!=0 ){
drh4d91a702006-01-04 15:54:36 +00002357 if( !ifNotExist ){
2358 sqlite3ErrorMsg(pParse, "index %s already exists", zName);
2359 }
danielk1977d8123362004-06-12 09:25:12 +00002360 goto exit_create_index;
2361 }
drh4f26bb62005-09-08 14:17:20 +00002362 if( sqlite3FindTable(db, zName, 0)!=0 ){
danielk1977d8123362004-06-12 09:25:12 +00002363 sqlite3ErrorMsg(pParse, "there is already a table named %s", zName);
2364 goto exit_create_index;
2365 }
drhe3c41372001-09-17 20:25:58 +00002366 }
danielk1977a21c6b62005-01-24 10:25:59 +00002367 }else{
drhadbca9c2001-09-27 15:11:53 +00002368 char zBuf[30];
2369 int n;
2370 Index *pLoop;
2371 for(pLoop=pTab->pIndex, n=1; pLoop; pLoop=pLoop->pNext, n++){}
danielk1977d8123362004-06-12 09:25:12 +00002372 sprintf(zBuf,"_%d",n);
drh75897232000-05-29 14:26:00 +00002373 zName = 0;
danielk1977d8123362004-06-12 09:25:12 +00002374 sqlite3SetString(&zName, "sqlite_autoindex_", pTab->zName, zBuf, (char*)0);
drhe3c41372001-09-17 20:25:58 +00002375 if( zName==0 ) goto exit_create_index;
drh75897232000-05-29 14:26:00 +00002376 }
2377
drhe5f9c642003-01-13 23:27:31 +00002378 /* Check for authorization to create an index.
2379 */
2380#ifndef SQLITE_OMIT_AUTHORIZATION
drhe22a3342003-04-22 20:30:37 +00002381 {
drhfdd6e852005-12-16 01:06:16 +00002382 const char *zDb = pDb->zName;
danielk197753c0f742005-03-29 03:10:59 +00002383 if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(iDb), 0, zDb) ){
drhe22a3342003-04-22 20:30:37 +00002384 goto exit_create_index;
2385 }
2386 i = SQLITE_CREATE_INDEX;
danielk197753c0f742005-03-29 03:10:59 +00002387 if( !OMIT_TEMPDB && iDb==1 ) i = SQLITE_CREATE_TEMP_INDEX;
danielk19774adee202004-05-08 08:23:19 +00002388 if( sqlite3AuthCheck(pParse, i, zName, pTab->zName, zDb) ){
drhe22a3342003-04-22 20:30:37 +00002389 goto exit_create_index;
2390 }
drhe5f9c642003-01-13 23:27:31 +00002391 }
2392#endif
2393
drh75897232000-05-29 14:26:00 +00002394 /* If pList==0, it means this routine was called to make a primary
drh1ccde152000-06-17 13:12:39 +00002395 ** key out of the last column added to the table under construction.
drh75897232000-05-29 14:26:00 +00002396 ** So create a fake list to simulate this.
2397 */
2398 if( pList==0 ){
drh2646da72005-12-09 20:02:05 +00002399 nullId.z = (u8*)pTab->aCol[pTab->nCol-1].zName;
2400 nullId.n = strlen((char*)nullId.z);
danielk19770202b292004-06-09 09:55:16 +00002401 pList = sqlite3ExprListAppend(0, 0, &nullId);
drh75897232000-05-29 14:26:00 +00002402 if( pList==0 ) goto exit_create_index;
drhfdd6e852005-12-16 01:06:16 +00002403 pList->a[0].sortOrder = sortOrder;
drh75897232000-05-29 14:26:00 +00002404 }
2405
danielk1977b3bf5562006-01-10 17:58:23 +00002406 /* Figure out how many bytes of space are required to store explicitly
2407 ** specified collation sequence names.
2408 */
2409 for(i=0; i<pList->nExpr; i++){
2410 Expr *pExpr = pList->a[i].pExpr;
2411 if( pExpr ){
2412 nExtra += (1 + strlen(pExpr->pColl->zName));
2413 }
2414 }
2415
drh75897232000-05-29 14:26:00 +00002416 /*
2417 ** Allocate the index structure.
2418 */
drhfdd6e852005-12-16 01:06:16 +00002419 nName = strlen(zName);
danielk1977b3bf5562006-01-10 17:58:23 +00002420 nCol = pList->nExpr;
2421 pIndex = sqliteMalloc(
2422 sizeof(Index) + /* Index structure */
2423 sizeof(int)*nCol + /* Index.aiColumn */
2424 sizeof(int)*(nCol+1) + /* Index.aiRowEst */
2425 sizeof(char *)*nCol + /* Index.azColl */
2426 sizeof(u8)*nCol + /* Index.aSortOrder */
2427 nName + 1 + /* Index.zName */
2428 nExtra /* Collation sequence names */
2429 );
danielk19779e128002006-01-18 16:51:35 +00002430 if( sqlite3MallocFailed() ) goto exit_create_index;
drh78aecb72006-02-10 18:08:09 +00002431 pIndex->azColl = (char**)(&pIndex[1]);
2432 pIndex->aiColumn = (int *)(&pIndex->azColl[nCol]);
danielk1977bab45c62006-01-16 15:14:27 +00002433 pIndex->aiRowEst = (unsigned *)(&pIndex->aiColumn[nCol]);
drh78aecb72006-02-10 18:08:09 +00002434 pIndex->aSortOrder = (u8 *)(&pIndex->aiRowEst[nCol+1]);
danielk1977b3bf5562006-01-10 17:58:23 +00002435 pIndex->zName = (char *)(&pIndex->aSortOrder[nCol]);
2436 zExtra = (char *)(&pIndex->zName[nName+1]);
drh75897232000-05-29 14:26:00 +00002437 strcpy(pIndex->zName, zName);
2438 pIndex->pTable = pTab;
danielk19770202b292004-06-09 09:55:16 +00002439 pIndex->nColumn = pList->nExpr;
drhea1ba172003-04-20 00:00:23 +00002440 pIndex->onError = onError;
drh485b39b2002-07-13 03:11:52 +00002441 pIndex->autoIndex = pName==0;
danielk1977da184232006-01-05 11:34:32 +00002442 pIndex->pSchema = db->aDb[iDb].pSchema;
drh75897232000-05-29 14:26:00 +00002443
drhfdd6e852005-12-16 01:06:16 +00002444 /* Check to see if we should honor DESC requests on index columns
2445 */
danielk1977da184232006-01-05 11:34:32 +00002446 if( pDb->pSchema->file_format>=4 ){
drhfdd6e852005-12-16 01:06:16 +00002447 sortOrderMask = -1; /* Honor DESC */
drhfdd6e852005-12-16 01:06:16 +00002448 }else{
2449 sortOrderMask = 0; /* Ignore DESC */
2450 }
2451
drh1ccde152000-06-17 13:12:39 +00002452 /* Scan the names of the columns of the table to be indexed and
2453 ** load the column indices into the Index structure. Report an error
2454 ** if any column is not found.
drh75897232000-05-29 14:26:00 +00002455 */
drhfdd6e852005-12-16 01:06:16 +00002456 for(i=0, pListItem=pList->a; i<pList->nExpr; i++, pListItem++){
2457 const char *zColName = pListItem->zName;
2458 Column *pTabCol;
drh85eeb692005-12-21 03:16:42 +00002459 int requestedSortOrder;
danielk1977b3bf5562006-01-10 17:58:23 +00002460 char *zColl; /* Collation sequence */
2461
drhfdd6e852005-12-16 01:06:16 +00002462 for(j=0, pTabCol=pTab->aCol; j<pTab->nCol; j++, pTabCol++){
2463 if( sqlite3StrICmp(zColName, pTabCol->zName)==0 ) break;
drh75897232000-05-29 14:26:00 +00002464 }
2465 if( j>=pTab->nCol ){
danielk19774adee202004-05-08 08:23:19 +00002466 sqlite3ErrorMsg(pParse, "table %s has no column named %s",
drhfdd6e852005-12-16 01:06:16 +00002467 pTab->zName, zColName);
drh75897232000-05-29 14:26:00 +00002468 goto exit_create_index;
2469 }
drh967e8b72000-06-21 13:59:10 +00002470 pIndex->aiColumn[i] = j;
drhfdd6e852005-12-16 01:06:16 +00002471 if( pListItem->pExpr ){
2472 assert( pListItem->pExpr->pColl );
danielk1977b3bf5562006-01-10 17:58:23 +00002473 zColl = zExtra;
2474 strcpy(zExtra, pListItem->pExpr->pColl->zName);
2475 zExtra += (strlen(zColl) + 1);
danielk19770202b292004-06-09 09:55:16 +00002476 }else{
danielk1977b3bf5562006-01-10 17:58:23 +00002477 zColl = pTab->aCol[j].zColl;
2478 if( !zColl ){
2479 zColl = db->pDfltColl->zName;
2480 }
danielk19770202b292004-06-09 09:55:16 +00002481 }
danielk1977b3bf5562006-01-10 17:58:23 +00002482 if( !db->init.busy && !sqlite3LocateCollSeq(pParse, zColl, -1) ){
danielk19777cedc8d2004-06-10 10:50:08 +00002483 goto exit_create_index;
2484 }
danielk1977b3bf5562006-01-10 17:58:23 +00002485 pIndex->azColl[i] = zColl;
drhd946db02005-12-29 19:23:06 +00002486 requestedSortOrder = pListItem->sortOrder & sortOrderMask;
danielk1977b3bf5562006-01-10 17:58:23 +00002487 pIndex->aSortOrder[i] = requestedSortOrder;
drh75897232000-05-29 14:26:00 +00002488 }
drh51147ba2005-07-23 22:59:55 +00002489 sqlite3DefaultRowEst(pIndex);
drh75897232000-05-29 14:26:00 +00002490
danielk1977d8123362004-06-12 09:25:12 +00002491 if( pTab==pParse->pNewTable ){
2492 /* This routine has been called to create an automatic index as a
2493 ** result of a PRIMARY KEY or UNIQUE clause on a column definition, or
2494 ** a PRIMARY KEY or UNIQUE clause following the column definitions.
2495 ** i.e. one of:
2496 **
2497 ** CREATE TABLE t(x PRIMARY KEY, y);
2498 ** CREATE TABLE t(x, y, UNIQUE(x, y));
2499 **
2500 ** Either way, check to see if the table already has such an index. If
2501 ** so, don't bother creating this one. This only applies to
2502 ** automatically created indices. Users can do as they wish with
2503 ** explicit indices.
2504 */
2505 Index *pIdx;
2506 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
2507 int k;
2508 assert( pIdx->onError!=OE_None );
2509 assert( pIdx->autoIndex );
2510 assert( pIndex->onError!=OE_None );
2511
2512 if( pIdx->nColumn!=pIndex->nColumn ) continue;
2513 for(k=0; k<pIdx->nColumn; k++){
danielk1977b3bf5562006-01-10 17:58:23 +00002514 const char *z1 = pIdx->azColl[k];
2515 const char *z2 = pIndex->azColl[k];
danielk1977d8123362004-06-12 09:25:12 +00002516 if( pIdx->aiColumn[k]!=pIndex->aiColumn[k] ) break;
danielk1977b3bf5562006-01-10 17:58:23 +00002517 if( pIdx->aSortOrder[k]!=pIndex->aSortOrder[k] ) break;
2518 if( z1!=z2 && sqlite3StrICmp(z1, z2) ) break;
danielk1977d8123362004-06-12 09:25:12 +00002519 }
2520 if( k==pIdx->nColumn ){
danielk1977f736b772004-06-17 06:13:34 +00002521 if( pIdx->onError!=pIndex->onError ){
2522 /* This constraint creates the same index as a previous
2523 ** constraint specified somewhere in the CREATE TABLE statement.
2524 ** However the ON CONFLICT clauses are different. If both this
2525 ** constraint and the previous equivalent constraint have explicit
2526 ** ON CONFLICT clauses this is an error. Otherwise, use the
2527 ** explicitly specified behaviour for the index.
2528 */
2529 if( !(pIdx->onError==OE_Default || pIndex->onError==OE_Default) ){
2530 sqlite3ErrorMsg(pParse,
2531 "conflicting ON CONFLICT clauses specified", 0);
2532 }
2533 if( pIdx->onError==OE_Default ){
2534 pIdx->onError = pIndex->onError;
2535 }
2536 }
danielk1977d8123362004-06-12 09:25:12 +00002537 goto exit_create_index;
2538 }
2539 }
2540 }
2541
drh75897232000-05-29 14:26:00 +00002542 /* Link the new Index structure to its table and to the other
drhadbca9c2001-09-27 15:11:53 +00002543 ** in-memory database structures.
drh75897232000-05-29 14:26:00 +00002544 */
drh234c39d2004-07-24 03:30:47 +00002545 if( db->init.busy ){
drh6d4abfb2001-10-22 02:58:08 +00002546 Index *p;
danielk1977da184232006-01-05 11:34:32 +00002547 p = sqlite3HashInsert(&pIndex->pSchema->idxHash,
drh3c8bf552003-07-01 18:13:14 +00002548 pIndex->zName, strlen(pIndex->zName)+1, pIndex);
drh6d4abfb2001-10-22 02:58:08 +00002549 if( p ){
2550 assert( p==pIndex ); /* Malloc must have failed */
drh6d4abfb2001-10-22 02:58:08 +00002551 goto exit_create_index;
2552 }
drh5e00f6c2001-09-13 13:46:56 +00002553 db->flags |= SQLITE_InternChanges;
drh234c39d2004-07-24 03:30:47 +00002554 if( pTblName!=0 ){
2555 pIndex->tnum = db->init.newTnum;
2556 }
drhd78eeee2001-09-13 16:18:53 +00002557 }
2558
drh1d85d932004-02-14 23:05:52 +00002559 /* If the db->init.busy is 0 then create the index on disk. This
drh75897232000-05-29 14:26:00 +00002560 ** involves writing the index into the master table and filling in the
2561 ** index with the current table contents.
2562 **
drh1d85d932004-02-14 23:05:52 +00002563 ** The db->init.busy is 0 when the user first enters a CREATE INDEX
2564 ** command. db->init.busy is 1 when a database is opened and
drh75897232000-05-29 14:26:00 +00002565 ** CREATE INDEX statements are read out of the master table. In
2566 ** the latter case the index already exists on disk, which is why
2567 ** we don't want to recreate it.
drh5edc3122001-09-13 21:53:09 +00002568 **
danielk1977cbb18d22004-05-28 11:37:27 +00002569 ** If pTblName==0 it means this index is generated as a primary key
drh382c0242001-10-06 16:33:02 +00002570 ** or UNIQUE constraint of a CREATE TABLE statement. Since the table
2571 ** has just been created, it contains no data and the index initialization
2572 ** step can be skipped.
drh75897232000-05-29 14:26:00 +00002573 */
drh1d85d932004-02-14 23:05:52 +00002574 else if( db->init.busy==0 ){
drhadbca9c2001-09-27 15:11:53 +00002575 Vdbe *v;
drh063336a2004-11-05 20:58:39 +00002576 char *zStmt;
2577 int iMem = pParse->nMem++;
drh75897232000-05-29 14:26:00 +00002578
danielk19774adee202004-05-08 08:23:19 +00002579 v = sqlite3GetVdbe(pParse);
drh75897232000-05-29 14:26:00 +00002580 if( v==0 ) goto exit_create_index;
drh063336a2004-11-05 20:58:39 +00002581
drhfdd6e852005-12-16 01:06:16 +00002582
drh063336a2004-11-05 20:58:39 +00002583 /* Create the rootpage for the index
2584 */
drhaee128d2005-02-14 20:48:18 +00002585 sqlite3BeginWriteOperation(pParse, 1, iDb);
drh234c39d2004-07-24 03:30:47 +00002586 sqlite3VdbeAddOp(v, OP_CreateIndex, iDb, 0);
drh063336a2004-11-05 20:58:39 +00002587 sqlite3VdbeAddOp(v, OP_MemStore, iMem, 0);
2588
2589 /* Gather the complete text of the CREATE INDEX statement into
2590 ** the zStmt variable
2591 */
drhe0bc4042002-06-25 01:09:11 +00002592 if( pStart && pEnd ){
drh063336a2004-11-05 20:58:39 +00002593 /* A named index with an explicit CREATE INDEX statement */
danielk19779fd2a9a2004-11-12 13:42:30 +00002594 zStmt = sqlite3MPrintf("CREATE%s INDEX %.*s",
drh063336a2004-11-05 20:58:39 +00002595 onError==OE_None ? "" : " UNIQUE",
drh97903fe2005-05-24 20:19:57 +00002596 pEnd->z - pName->z + 1,
drh063336a2004-11-05 20:58:39 +00002597 pName->z);
2598 }else{
2599 /* An automatic index created by a PRIMARY KEY or UNIQUE constraint */
drhe497f002004-11-07 13:01:49 +00002600 /* zStmt = sqlite3MPrintf(""); */
2601 zStmt = 0;
drh75897232000-05-29 14:26:00 +00002602 }
drh063336a2004-11-05 20:58:39 +00002603
2604 /* Add an entry in sqlite_master for this index
2605 */
2606 sqlite3NestedParse(pParse,
drhe497f002004-11-07 13:01:49 +00002607 "INSERT INTO %Q.%s VALUES('index',%Q,%Q,#0,%Q);",
drh063336a2004-11-05 20:58:39 +00002608 db->aDb[iDb].zName, SCHEMA_TABLE(iDb),
2609 pIndex->zName,
2610 pTab->zName,
2611 zStmt
2612 );
2613 sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
2614 sqliteFree(zStmt);
2615
danielk1977a21c6b62005-01-24 10:25:59 +00002616 /* Fill the index with data and reparse the schema. Code an OP_Expire
2617 ** to invalidate all pre-compiled statements.
drh063336a2004-11-05 20:58:39 +00002618 */
danielk1977cbb18d22004-05-28 11:37:27 +00002619 if( pTblName ){
drh063336a2004-11-05 20:58:39 +00002620 sqlite3RefillIndex(pParse, pIndex, iMem);
drhc275b4e2004-07-19 17:25:24 +00002621 sqlite3ChangeCookie(db, v, iDb);
drh234c39d2004-07-24 03:30:47 +00002622 sqlite3VdbeOp3(v, OP_ParseSchema, iDb, 0,
2623 sqlite3MPrintf("name='%q'", pIndex->zName), P3_DYNAMIC);
danielk1977a21c6b62005-01-24 10:25:59 +00002624 sqlite3VdbeAddOp(v, OP_Expire, 0, 0);
drh5e00f6c2001-09-13 13:46:56 +00002625 }
drh75897232000-05-29 14:26:00 +00002626 }
2627
danielk1977d8123362004-06-12 09:25:12 +00002628 /* When adding an index to the list of indices for a table, make
2629 ** sure all indices labeled OE_Replace come after all those labeled
2630 ** OE_Ignore. This is necessary for the correct operation of UPDATE
2631 ** and INSERT.
2632 */
drh234c39d2004-07-24 03:30:47 +00002633 if( db->init.busy || pTblName==0 ){
2634 if( onError!=OE_Replace || pTab->pIndex==0
2635 || pTab->pIndex->onError==OE_Replace){
2636 pIndex->pNext = pTab->pIndex;
2637 pTab->pIndex = pIndex;
2638 }else{
2639 Index *pOther = pTab->pIndex;
2640 while( pOther->pNext && pOther->pNext->onError!=OE_Replace ){
2641 pOther = pOther->pNext;
2642 }
2643 pIndex->pNext = pOther->pNext;
2644 pOther->pNext = pIndex;
danielk1977d8123362004-06-12 09:25:12 +00002645 }
drh234c39d2004-07-24 03:30:47 +00002646 pIndex = 0;
danielk1977d8123362004-06-12 09:25:12 +00002647 }
danielk1977d8123362004-06-12 09:25:12 +00002648
drh75897232000-05-29 14:26:00 +00002649 /* Clean up before exiting */
2650exit_create_index:
drh956bc922004-07-24 17:38:29 +00002651 if( pIndex ){
2652 freeIndex(pIndex);
2653 }
danielk19770202b292004-06-09 09:55:16 +00002654 sqlite3ExprListDelete(pList);
danielk1977e0048402004-06-15 16:51:01 +00002655 sqlite3SrcListDelete(pTblName);
drh75897232000-05-29 14:26:00 +00002656 sqliteFree(zName);
2657 return;
2658}
2659
2660/*
drhd28bcb32005-12-21 14:43:11 +00002661** Generate code to make sure the file format number is at least minFormat.
2662** The generated code will increase the file format number if necessary.
2663*/
2664void sqlite3MinimumFileFormat(Parse *pParse, int iDb, int minFormat){
2665 Vdbe *v;
2666 v = sqlite3GetVdbe(pParse);
2667 if( v ){
2668 sqlite3VdbeAddOp(v, OP_ReadCookie, iDb, 1);
2669 sqlite3VdbeAddOp(v, OP_Integer, minFormat, 0);
2670 sqlite3VdbeAddOp(v, OP_Ge, 0, sqlite3VdbeCurrentAddr(v)+3);
2671 sqlite3VdbeAddOp(v, OP_Integer, minFormat, 0);
2672 sqlite3VdbeAddOp(v, OP_SetCookie, iDb, 1);
2673 }
2674}
2675
2676/*
drh51147ba2005-07-23 22:59:55 +00002677** Fill the Index.aiRowEst[] array with default information - information
drh91124b32005-08-18 18:15:05 +00002678** to be used when we have not run the ANALYZE command.
drh28c4cf42005-07-27 20:41:43 +00002679**
2680** aiRowEst[0] is suppose to contain the number of elements in the index.
2681** Since we do not know, guess 1 million. aiRowEst[1] is an estimate of the
2682** number of rows in the table that match any particular value of the
2683** first column of the index. aiRowEst[2] is an estimate of the number
2684** of rows that match any particular combiniation of the first 2 columns
2685** of the index. And so forth. It must always be the case that
2686*
2687** aiRowEst[N]<=aiRowEst[N-1]
2688** aiRowEst[N]>=1
2689**
2690** Apart from that, we have little to go on besides intuition as to
2691** how aiRowEst[] should be initialized. The numbers generated here
2692** are based on typical values found in actual indices.
drh51147ba2005-07-23 22:59:55 +00002693*/
2694void sqlite3DefaultRowEst(Index *pIdx){
drh37108e12005-08-31 13:13:31 +00002695 unsigned *a = pIdx->aiRowEst;
drh51147ba2005-07-23 22:59:55 +00002696 int i;
drh28c4cf42005-07-27 20:41:43 +00002697 assert( a!=0 );
2698 a[0] = 1000000;
drhdb513882006-05-11 23:14:59 +00002699 for(i=pIdx->nColumn; i>=5; i--){
2700 a[i] = 5;
2701 }
2702 while( i>=1 ){
2703 a[i] = 11 - i;
2704 i--;
drh28c4cf42005-07-27 20:41:43 +00002705 }
2706 if( pIdx->onError!=OE_None ){
2707 a[pIdx->nColumn] = 1;
drh51147ba2005-07-23 22:59:55 +00002708 }
2709}
2710
2711/*
drh74e24cd2002-01-09 03:19:59 +00002712** This routine will drop an existing named index. This routine
2713** implements the DROP INDEX statement.
drh75897232000-05-29 14:26:00 +00002714*/
drh4d91a702006-01-04 15:54:36 +00002715void sqlite3DropIndex(Parse *pParse, SrcList *pName, int ifExists){
drh75897232000-05-29 14:26:00 +00002716 Index *pIndex;
drh75897232000-05-29 14:26:00 +00002717 Vdbe *v;
drh9bb575f2004-09-06 17:24:11 +00002718 sqlite3 *db = pParse->db;
danielk1977da184232006-01-05 11:34:32 +00002719 int iDb;
drh75897232000-05-29 14:26:00 +00002720
danielk19779e128002006-01-18 16:51:35 +00002721 if( pParse->nErr || sqlite3MallocFailed() ){
danielk1977d5d56522005-03-16 12:15:20 +00002722 goto exit_drop_index;
2723 }
drhd24cc422003-03-27 12:51:24 +00002724 assert( pName->nSrc==1 );
danielk1977d5d56522005-03-16 12:15:20 +00002725 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
2726 goto exit_drop_index;
2727 }
danielk19774adee202004-05-08 08:23:19 +00002728 pIndex = sqlite3FindIndex(db, pName->a[0].zName, pName->a[0].zDatabase);
drh75897232000-05-29 14:26:00 +00002729 if( pIndex==0 ){
drh4d91a702006-01-04 15:54:36 +00002730 if( !ifExists ){
2731 sqlite3ErrorMsg(pParse, "no such index: %S", pName, 0);
2732 }
drha6ecd332004-06-10 00:29:09 +00002733 pParse->checkSchema = 1;
drhd24cc422003-03-27 12:51:24 +00002734 goto exit_drop_index;
drh75897232000-05-29 14:26:00 +00002735 }
drh485b39b2002-07-13 03:11:52 +00002736 if( pIndex->autoIndex ){
danielk19774adee202004-05-08 08:23:19 +00002737 sqlite3ErrorMsg(pParse, "index associated with UNIQUE "
drh485b39b2002-07-13 03:11:52 +00002738 "or PRIMARY KEY constraint cannot be dropped", 0);
drhd24cc422003-03-27 12:51:24 +00002739 goto exit_drop_index;
2740 }
danielk1977da184232006-01-05 11:34:32 +00002741 iDb = sqlite3SchemaToIndex(db, pIndex->pSchema);
drhe5f9c642003-01-13 23:27:31 +00002742#ifndef SQLITE_OMIT_AUTHORIZATION
2743 {
2744 int code = SQLITE_DROP_INDEX;
2745 Table *pTab = pIndex->pTable;
danielk1977da184232006-01-05 11:34:32 +00002746 const char *zDb = db->aDb[iDb].zName;
2747 const char *zTab = SCHEMA_TABLE(iDb);
danielk19774adee202004-05-08 08:23:19 +00002748 if( sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){
drhd24cc422003-03-27 12:51:24 +00002749 goto exit_drop_index;
drhe5f9c642003-01-13 23:27:31 +00002750 }
danielk1977da184232006-01-05 11:34:32 +00002751 if( !OMIT_TEMPDB && iDb ) code = SQLITE_DROP_TEMP_INDEX;
danielk19774adee202004-05-08 08:23:19 +00002752 if( sqlite3AuthCheck(pParse, code, pIndex->zName, pTab->zName, zDb) ){
drhd24cc422003-03-27 12:51:24 +00002753 goto exit_drop_index;
drhe5f9c642003-01-13 23:27:31 +00002754 }
drhed6c8672003-01-12 18:02:16 +00002755 }
drhe5f9c642003-01-13 23:27:31 +00002756#endif
drh75897232000-05-29 14:26:00 +00002757
2758 /* Generate code to remove the index and from the master table */
danielk19774adee202004-05-08 08:23:19 +00002759 v = sqlite3GetVdbe(pParse);
drh75897232000-05-29 14:26:00 +00002760 if( v ){
drhb17131a2004-11-05 22:18:49 +00002761 sqlite3NestedParse(pParse,
2762 "DELETE FROM %Q.%s WHERE name=%Q",
2763 db->aDb[iDb].zName, SCHEMA_TABLE(iDb),
2764 pIndex->zName
2765 );
2766 sqlite3ChangeCookie(db, v, iDb);
2767 destroyRootPage(pParse, pIndex->tnum, iDb);
2768 sqlite3VdbeOp3(v, OP_DropIndex, iDb, 0, pIndex->zName, 0);
drh75897232000-05-29 14:26:00 +00002769 }
2770
drhd24cc422003-03-27 12:51:24 +00002771exit_drop_index:
danielk19774adee202004-05-08 08:23:19 +00002772 sqlite3SrcListDelete(pName);
drh75897232000-05-29 14:26:00 +00002773}
2774
2775/*
drh13449892005-09-07 21:22:45 +00002776** ppArray points into a structure where there is an array pointer
2777** followed by two integers. The first integer is the
2778** number of elements in the structure array. The second integer
2779** is the number of allocated slots in the array.
2780**
2781** In other words, the structure looks something like this:
2782**
2783** struct Example1 {
2784** struct subElem *aEntry;
2785** int nEntry;
2786** int nAlloc;
2787** }
2788**
2789** The pnEntry parameter points to the equivalent of Example1.nEntry.
2790**
2791** This routine allocates a new slot in the array, zeros it out,
2792** and returns its index. If malloc fails a negative number is returned.
2793**
2794** szEntry is the sizeof of a single array entry. initSize is the
2795** number of array entries allocated on the initial allocation.
2796*/
2797int sqlite3ArrayAllocate(void **ppArray, int szEntry, int initSize){
2798 char *p;
2799 int *an = (int*)&ppArray[1];
2800 if( an[0]>=an[1] ){
2801 void *pNew;
drh5360ad32005-09-08 00:13:27 +00002802 int newSize;
2803 newSize = an[1]*2 + initSize;
2804 pNew = sqliteRealloc(*ppArray, newSize*szEntry);
drh13449892005-09-07 21:22:45 +00002805 if( pNew==0 ){
2806 return -1;
2807 }
drh5360ad32005-09-08 00:13:27 +00002808 an[1] = newSize;
drh13449892005-09-07 21:22:45 +00002809 *ppArray = pNew;
2810 }
2811 p = *ppArray;
2812 memset(&p[an[0]*szEntry], 0, szEntry);
2813 return an[0]++;
2814}
2815
2816/*
drh75897232000-05-29 14:26:00 +00002817** Append a new element to the given IdList. Create a new IdList if
2818** need be.
drhdaffd0e2001-04-11 14:28:42 +00002819**
2820** A new IdList is returned, or NULL if malloc() fails.
drh75897232000-05-29 14:26:00 +00002821*/
danielk19774adee202004-05-08 08:23:19 +00002822IdList *sqlite3IdListAppend(IdList *pList, Token *pToken){
drh13449892005-09-07 21:22:45 +00002823 int i;
drh75897232000-05-29 14:26:00 +00002824 if( pList==0 ){
2825 pList = sqliteMalloc( sizeof(IdList) );
2826 if( pList==0 ) return 0;
drh4305d102003-07-30 12:34:12 +00002827 pList->nAlloc = 0;
drh75897232000-05-29 14:26:00 +00002828 }
drh13449892005-09-07 21:22:45 +00002829 i = sqlite3ArrayAllocate((void**)&pList->a, sizeof(pList->a[0]), 5);
2830 if( i<0 ){
2831 sqlite3IdListDelete(pList);
2832 return 0;
drh75897232000-05-29 14:26:00 +00002833 }
drh13449892005-09-07 21:22:45 +00002834 pList->a[i].zName = sqlite3NameFromToken(pToken);
drh75897232000-05-29 14:26:00 +00002835 return pList;
2836}
2837
2838/*
drhfe05af82005-07-21 03:14:59 +00002839** Delete an IdList.
2840*/
2841void sqlite3IdListDelete(IdList *pList){
2842 int i;
2843 if( pList==0 ) return;
2844 for(i=0; i<pList->nId; i++){
2845 sqliteFree(pList->a[i].zName);
2846 }
2847 sqliteFree(pList->a);
2848 sqliteFree(pList);
2849}
2850
2851/*
2852** Return the index in pList of the identifier named zId. Return -1
2853** if not found.
2854*/
2855int sqlite3IdListIndex(IdList *pList, const char *zName){
2856 int i;
2857 if( pList==0 ) return -1;
2858 for(i=0; i<pList->nId; i++){
2859 if( sqlite3StrICmp(pList->a[i].zName, zName)==0 ) return i;
2860 }
2861 return -1;
2862}
2863
2864/*
drhad3cab52002-05-24 02:04:32 +00002865** Append a new table name to the given SrcList. Create a new SrcList if
2866** need be. A new entry is created in the SrcList even if pToken is NULL.
2867**
2868** A new SrcList is returned, or NULL if malloc() fails.
drh113088e2003-03-20 01:16:58 +00002869**
2870** If pDatabase is not null, it means that the table has an optional
2871** database name prefix. Like this: "database.table". The pDatabase
2872** points to the table name and the pTable points to the database name.
2873** The SrcList.a[].zName field is filled with the table name which might
2874** come from pTable (if pDatabase is NULL) or from pDatabase.
2875** SrcList.a[].zDatabase is filled with the database name from pTable,
2876** or with NULL if no database is specified.
2877**
2878** In other words, if call like this:
2879**
danielk19774adee202004-05-08 08:23:19 +00002880** sqlite3SrcListAppend(A,B,0);
drh113088e2003-03-20 01:16:58 +00002881**
2882** Then B is a table name and the database name is unspecified. If called
2883** like this:
2884**
danielk19774adee202004-05-08 08:23:19 +00002885** sqlite3SrcListAppend(A,B,C);
drh113088e2003-03-20 01:16:58 +00002886**
2887** Then C is the table name and B is the database name.
drhad3cab52002-05-24 02:04:32 +00002888*/
danielk19774adee202004-05-08 08:23:19 +00002889SrcList *sqlite3SrcListAppend(SrcList *pList, Token *pTable, Token *pDatabase){
drha99db3b2004-06-19 14:49:12 +00002890 struct SrcList_item *pItem;
drhad3cab52002-05-24 02:04:32 +00002891 if( pList==0 ){
drh113088e2003-03-20 01:16:58 +00002892 pList = sqliteMalloc( sizeof(SrcList) );
drhad3cab52002-05-24 02:04:32 +00002893 if( pList==0 ) return 0;
drh4305d102003-07-30 12:34:12 +00002894 pList->nAlloc = 1;
drhad3cab52002-05-24 02:04:32 +00002895 }
drh4305d102003-07-30 12:34:12 +00002896 if( pList->nSrc>=pList->nAlloc ){
drh113088e2003-03-20 01:16:58 +00002897 SrcList *pNew;
drh4305d102003-07-30 12:34:12 +00002898 pList->nAlloc *= 2;
drh113088e2003-03-20 01:16:58 +00002899 pNew = sqliteRealloc(pList,
drh4305d102003-07-30 12:34:12 +00002900 sizeof(*pList) + (pList->nAlloc-1)*sizeof(pList->a[0]) );
drh113088e2003-03-20 01:16:58 +00002901 if( pNew==0 ){
danielk19774adee202004-05-08 08:23:19 +00002902 sqlite3SrcListDelete(pList);
drhad3cab52002-05-24 02:04:32 +00002903 return 0;
2904 }
drh113088e2003-03-20 01:16:58 +00002905 pList = pNew;
drhad3cab52002-05-24 02:04:32 +00002906 }
drha99db3b2004-06-19 14:49:12 +00002907 pItem = &pList->a[pList->nSrc];
2908 memset(pItem, 0, sizeof(pList->a[0]));
drh113088e2003-03-20 01:16:58 +00002909 if( pDatabase && pDatabase->z==0 ){
2910 pDatabase = 0;
2911 }
2912 if( pDatabase && pTable ){
2913 Token *pTemp = pDatabase;
2914 pDatabase = pTable;
2915 pTable = pTemp;
2916 }
drha99db3b2004-06-19 14:49:12 +00002917 pItem->zName = sqlite3NameFromToken(pTable);
2918 pItem->zDatabase = sqlite3NameFromToken(pDatabase);
2919 pItem->iCursor = -1;
danielk19771787cca2006-02-10 07:07:14 +00002920 pItem->isPopulated = 0;
drhad3cab52002-05-24 02:04:32 +00002921 pList->nSrc++;
2922 return pList;
2923}
2924
2925/*
drh63eb5f22003-04-29 16:20:44 +00002926** Assign cursors to all tables in a SrcList
2927*/
danielk19774adee202004-05-08 08:23:19 +00002928void sqlite3SrcListAssignCursors(Parse *pParse, SrcList *pList){
drh63eb5f22003-04-29 16:20:44 +00002929 int i;
drh9b3187e2005-01-18 14:45:47 +00002930 struct SrcList_item *pItem;
danielk19779e128002006-01-18 16:51:35 +00002931 assert(pList || sqlite3MallocFailed() );
danielk1977261919c2005-12-06 12:52:59 +00002932 if( pList ){
2933 for(i=0, pItem=pList->a; i<pList->nSrc; i++, pItem++){
2934 if( pItem->iCursor>=0 ) break;
2935 pItem->iCursor = pParse->nTab++;
2936 if( pItem->pSelect ){
2937 sqlite3SrcListAssignCursors(pParse, pItem->pSelect->pSrc);
2938 }
drh63eb5f22003-04-29 16:20:44 +00002939 }
2940 }
2941}
2942
2943/*
drhad3cab52002-05-24 02:04:32 +00002944** Delete an entire SrcList including all its substructure.
2945*/
danielk19774adee202004-05-08 08:23:19 +00002946void sqlite3SrcListDelete(SrcList *pList){
drhad3cab52002-05-24 02:04:32 +00002947 int i;
drhbe5c89a2004-07-26 00:31:09 +00002948 struct SrcList_item *pItem;
drhad3cab52002-05-24 02:04:32 +00002949 if( pList==0 ) return;
drhbe5c89a2004-07-26 00:31:09 +00002950 for(pItem=pList->a, i=0; i<pList->nSrc; i++, pItem++){
2951 sqliteFree(pItem->zDatabase);
2952 sqliteFree(pItem->zName);
2953 sqliteFree(pItem->zAlias);
drhed8a3bb2005-06-06 21:19:56 +00002954 sqlite3DeleteTable(0, pItem->pTab);
drhbe5c89a2004-07-26 00:31:09 +00002955 sqlite3SelectDelete(pItem->pSelect);
2956 sqlite3ExprDelete(pItem->pOn);
2957 sqlite3IdListDelete(pItem->pUsing);
drh75897232000-05-29 14:26:00 +00002958 }
drh75897232000-05-29 14:26:00 +00002959 sqliteFree(pList);
2960}
2961
drh982cef72000-05-30 16:27:03 +00002962/*
drh61dfc312006-12-16 16:25:15 +00002963** This routine is called by the parser to add a new term to the
2964** end of a growing FROM clause. The "p" parameter is the part of
2965** the FROM clause that has already been constructed. "p" is NULL
2966** if this is the first term of the FROM clause. pTable and pDatabase
2967** are the name of the table and database named in the FROM clause term.
2968** pDatabase is NULL if the database name qualifier is missing - the
2969** usual case. If the term has a alias, then pAlias points to the
2970** alias token. If the term is a subquery, then pSubquery is the
2971** SELECT statement that the subquery encodes. The pTable and
2972** pDatabase parameters are NULL for subqueries. The pOn and pUsing
2973** parameters are the content of the ON and USING clauses.
2974**
2975** Return a new SrcList which encodes is the FROM with the new
2976** term added.
2977*/
2978SrcList *sqlite3SrcListAppendFromTerm(
2979 SrcList *p, /* The left part of the FROM clause already seen */
2980 Token *pTable, /* Name of the table to add to the FROM clause */
2981 Token *pDatabase, /* Name of the database containing pTable */
2982 Token *pAlias, /* The right-hand side of the AS subexpression */
2983 Select *pSubquery, /* A subquery used in place of a table name */
2984 Expr *pOn, /* The ON clause of a join */
2985 IdList *pUsing /* The USING clause of a join */
2986){
2987 struct SrcList_item *pItem;
2988 p = sqlite3SrcListAppend(p, pTable, pDatabase);
2989 if( p==0 || p->nSrc==0 ){
2990 sqlite3ExprDelete(pOn);
2991 sqlite3IdListDelete(pUsing);
2992 sqlite3SelectDelete(pSubquery);
2993 return p;
2994 }
2995 pItem = &p->a[p->nSrc-1];
2996 if( pAlias && pAlias->n ){
2997 pItem->zAlias = sqlite3NameFromToken(pAlias);
2998 }
2999 pItem->pSelect = pSubquery;
3000 pItem->pOn = pOn;
3001 pItem->pUsing = pUsing;
3002 return p;
3003}
3004
3005/*
3006** When building up a FROM clause in the parser, the join operator
3007** is initially attached to the left operand. But the code generator
3008** expects the join operator to be on the right operand. This routine
3009** Shifts all join operators from left to right for an entire FROM
3010** clause.
3011**
3012** Example: Suppose the join is like this:
3013**
3014** A natural cross join B
3015**
3016** The operator is "natural cross join". The A and B operands are stored
3017** in p->a[0] and p->a[1], respectively. The parser initially stores the
3018** operator with A. This routine shifts that operator over to B.
3019*/
3020void sqlite3SrcListShiftJoinType(SrcList *p){
3021 if( p && p->a ){
3022 int i;
3023 for(i=p->nSrc-1; i>0; i--){
3024 p->a[i].jointype = p->a[i-1].jointype;
3025 }
3026 p->a[0].jointype = 0;
3027 }
3028}
3029
3030/*
drhc4a3c772001-04-04 11:48:57 +00003031** Begin a transaction
3032*/
drh684917c2004-10-05 02:41:42 +00003033void sqlite3BeginTransaction(Parse *pParse, int type){
drh9bb575f2004-09-06 17:24:11 +00003034 sqlite3 *db;
danielk19771d850a72004-05-31 08:26:49 +00003035 Vdbe *v;
drh684917c2004-10-05 02:41:42 +00003036 int i;
drh5e00f6c2001-09-13 13:46:56 +00003037
drh001bbcb2003-03-19 03:14:00 +00003038 if( pParse==0 || (db=pParse->db)==0 || db->aDb[0].pBt==0 ) return;
danielk19779e128002006-01-18 16:51:35 +00003039 if( pParse->nErr || sqlite3MallocFailed() ) return;
danielk19774adee202004-05-08 08:23:19 +00003040 if( sqlite3AuthCheck(pParse, SQLITE_TRANSACTION, "BEGIN", 0, 0) ) return;
danielk19771d850a72004-05-31 08:26:49 +00003041
3042 v = sqlite3GetVdbe(pParse);
3043 if( !v ) return;
drh684917c2004-10-05 02:41:42 +00003044 if( type!=TK_DEFERRED ){
3045 for(i=0; i<db->nDb; i++){
3046 sqlite3VdbeAddOp(v, OP_Transaction, i, (type==TK_EXCLUSIVE)+1);
3047 }
3048 }
danielk19771d850a72004-05-31 08:26:49 +00003049 sqlite3VdbeAddOp(v, OP_AutoCommit, 0, 0);
drhc4a3c772001-04-04 11:48:57 +00003050}
3051
3052/*
3053** Commit a transaction
3054*/
danielk19774adee202004-05-08 08:23:19 +00003055void sqlite3CommitTransaction(Parse *pParse){
drh9bb575f2004-09-06 17:24:11 +00003056 sqlite3 *db;
danielk19771d850a72004-05-31 08:26:49 +00003057 Vdbe *v;
drh5e00f6c2001-09-13 13:46:56 +00003058
drh001bbcb2003-03-19 03:14:00 +00003059 if( pParse==0 || (db=pParse->db)==0 || db->aDb[0].pBt==0 ) return;
danielk19779e128002006-01-18 16:51:35 +00003060 if( pParse->nErr || sqlite3MallocFailed() ) return;
danielk19774adee202004-05-08 08:23:19 +00003061 if( sqlite3AuthCheck(pParse, SQLITE_TRANSACTION, "COMMIT", 0, 0) ) return;
danielk19771d850a72004-05-31 08:26:49 +00003062
3063 v = sqlite3GetVdbe(pParse);
3064 if( v ){
3065 sqlite3VdbeAddOp(v, OP_AutoCommit, 1, 0);
drh02f75f12004-02-24 01:04:11 +00003066 }
drhc4a3c772001-04-04 11:48:57 +00003067}
3068
3069/*
3070** Rollback a transaction
3071*/
danielk19774adee202004-05-08 08:23:19 +00003072void sqlite3RollbackTransaction(Parse *pParse){
drh9bb575f2004-09-06 17:24:11 +00003073 sqlite3 *db;
drh5e00f6c2001-09-13 13:46:56 +00003074 Vdbe *v;
3075
drh001bbcb2003-03-19 03:14:00 +00003076 if( pParse==0 || (db=pParse->db)==0 || db->aDb[0].pBt==0 ) return;
danielk19779e128002006-01-18 16:51:35 +00003077 if( pParse->nErr || sqlite3MallocFailed() ) return;
danielk19774adee202004-05-08 08:23:19 +00003078 if( sqlite3AuthCheck(pParse, SQLITE_TRANSACTION, "ROLLBACK", 0, 0) ) return;
danielk19771d850a72004-05-31 08:26:49 +00003079
danielk19774adee202004-05-08 08:23:19 +00003080 v = sqlite3GetVdbe(pParse);
drh5e00f6c2001-09-13 13:46:56 +00003081 if( v ){
danielk19771d850a72004-05-31 08:26:49 +00003082 sqlite3VdbeAddOp(v, OP_AutoCommit, 1, 1);
drh02f75f12004-02-24 01:04:11 +00003083 }
drhc4a3c772001-04-04 11:48:57 +00003084}
drhf57b14a2001-09-14 18:54:08 +00003085
3086/*
drhdc3ff9c2004-08-18 02:10:15 +00003087** Make sure the TEMP database is open and available for use. Return
3088** the number of errors. Leave any error messages in the pParse structure.
3089*/
danielk1977ddfb2f02006-02-17 12:25:14 +00003090int sqlite3OpenTempDatabase(Parse *pParse){
drhdc3ff9c2004-08-18 02:10:15 +00003091 sqlite3 *db = pParse->db;
3092 if( db->aDb[1].pBt==0 && !pParse->explain ){
3093 int rc = sqlite3BtreeFactory(db, 0, 0, MAX_PAGES, &db->aDb[1].pBt);
3094 if( rc!=SQLITE_OK ){
3095 sqlite3ErrorMsg(pParse, "unable to open a temporary database "
3096 "file for storing temporary tables");
3097 pParse->rc = rc;
3098 return 1;
3099 }
3100 if( db->flags & !db->autoCommit ){
3101 rc = sqlite3BtreeBeginTrans(db->aDb[1].pBt, 1);
3102 if( rc!=SQLITE_OK ){
3103 sqlite3ErrorMsg(pParse, "unable to get a write lock on "
3104 "the temporary database file");
3105 pParse->rc = rc;
3106 return 1;
3107 }
3108 }
danielk197714db2662006-01-09 16:12:04 +00003109 assert( db->aDb[1].pSchema );
drhdc3ff9c2004-08-18 02:10:15 +00003110 }
3111 return 0;
3112}
3113
3114/*
drh80242052004-06-09 00:48:12 +00003115** Generate VDBE code that will verify the schema cookie and start
3116** a read-transaction for all named database files.
3117**
3118** It is important that all schema cookies be verified and all
3119** read transactions be started before anything else happens in
3120** the VDBE program. But this routine can be called after much other
3121** code has been generated. So here is what we do:
3122**
drhc275b4e2004-07-19 17:25:24 +00003123** The first time this routine is called, we code an OP_Goto that
drh80242052004-06-09 00:48:12 +00003124** will jump to a subroutine at the end of the program. Then we
3125** record every database that needs its schema verified in the
3126** pParse->cookieMask field. Later, after all other code has been
3127** generated, the subroutine that does the cookie verifications and
drhc275b4e2004-07-19 17:25:24 +00003128** starts the transactions will be coded and the OP_Goto P2 value
drh80242052004-06-09 00:48:12 +00003129** will be made to point to that subroutine. The generation of the
3130** cookie verification subroutine code happens in sqlite3FinishCoding().
drhc275b4e2004-07-19 17:25:24 +00003131**
3132** If iDb<0 then code the OP_Goto only - don't set flag to verify the
3133** schema on any databases. This can be used to position the OP_Goto
3134** early in the code, before we know if any database tables will be used.
drh001bbcb2003-03-19 03:14:00 +00003135*/
danielk19774adee202004-05-08 08:23:19 +00003136void sqlite3CodeVerifySchema(Parse *pParse, int iDb){
drh9bb575f2004-09-06 17:24:11 +00003137 sqlite3 *db;
drh80242052004-06-09 00:48:12 +00003138 Vdbe *v;
3139 int mask;
3140
3141 v = sqlite3GetVdbe(pParse);
3142 if( v==0 ) return; /* This only happens if there was a prior error */
3143 db = pParse->db;
drhc275b4e2004-07-19 17:25:24 +00003144 if( pParse->cookieGoto==0 ){
3145 pParse->cookieGoto = sqlite3VdbeAddOp(v, OP_Goto, 0, 0)+1;
drh80242052004-06-09 00:48:12 +00003146 }
drhc275b4e2004-07-19 17:25:24 +00003147 if( iDb>=0 ){
3148 assert( iDb<db->nDb );
3149 assert( db->aDb[iDb].pBt!=0 || iDb==1 );
drh8aa34ae2006-03-13 12:54:09 +00003150 assert( iDb<MAX_ATTACHED+2 );
drhc275b4e2004-07-19 17:25:24 +00003151 mask = 1<<iDb;
3152 if( (pParse->cookieMask & mask)==0 ){
3153 pParse->cookieMask |= mask;
danielk1977da184232006-01-05 11:34:32 +00003154 pParse->cookieValue[iDb] = db->aDb[iDb].pSchema->schema_cookie;
danielk197753c0f742005-03-29 03:10:59 +00003155 if( !OMIT_TEMPDB && iDb==1 ){
drhdc3ff9c2004-08-18 02:10:15 +00003156 sqlite3OpenTempDatabase(pParse);
3157 }
drhc275b4e2004-07-19 17:25:24 +00003158 }
drh001bbcb2003-03-19 03:14:00 +00003159 }
drh001bbcb2003-03-19 03:14:00 +00003160}
3161
3162/*
drh1c928532002-01-31 15:54:21 +00003163** Generate VDBE code that prepares for doing an operation that
drhc977f7f2002-05-21 11:38:11 +00003164** might change the database.
3165**
3166** This routine starts a new transaction if we are not already within
3167** a transaction. If we are already within a transaction, then a checkpoint
drh7f0f12e2004-05-21 13:39:50 +00003168** is set if the setStatement parameter is true. A checkpoint should
drhc977f7f2002-05-21 11:38:11 +00003169** be set for operations that might fail (due to a constraint) part of
3170** the way through and which will need to undo some writes without having to
3171** rollback the whole transaction. For operations where all constraints
3172** can be checked before any changes are made to the database, it is never
3173** necessary to undo a write and the checkpoint should not be set.
drhcabb0812002-09-14 13:47:32 +00003174**
drh8bf8dc92003-05-17 17:35:10 +00003175** Only database iDb and the temp database are made writable by this call.
3176** If iDb==0, then the main and temp databases are made writable. If
3177** iDb==1 then only the temp database is made writable. If iDb>1 then the
3178** specified auxiliary database and the temp database are made writable.
drh1c928532002-01-31 15:54:21 +00003179*/
drh7f0f12e2004-05-21 13:39:50 +00003180void sqlite3BeginWriteOperation(Parse *pParse, int setStatement, int iDb){
danielk19771d850a72004-05-31 08:26:49 +00003181 Vdbe *v = sqlite3GetVdbe(pParse);
drh663fc632002-02-02 18:49:19 +00003182 if( v==0 ) return;
drh80242052004-06-09 00:48:12 +00003183 sqlite3CodeVerifySchema(pParse, iDb);
3184 pParse->writeMask |= 1<<iDb;
danielk197763e3e9f2004-11-05 09:19:27 +00003185 if( setStatement && pParse->nested==0 ){
drh7f0f12e2004-05-21 13:39:50 +00003186 sqlite3VdbeAddOp(v, OP_Statement, iDb, 0);
danielk19771d850a72004-05-31 08:26:49 +00003187 }
danielk197753c0f742005-03-29 03:10:59 +00003188 if( (OMIT_TEMPDB || iDb!=1) && pParse->db->aDb[1].pBt!=0 ){
danielk19771d850a72004-05-31 08:26:49 +00003189 sqlite3BeginWriteOperation(pParse, setStatement, 1);
drh663fc632002-02-02 18:49:19 +00003190 }
3191}
3192
drh4343fea2004-11-05 23:46:15 +00003193/*
3194** Check to see if pIndex uses the collating sequence pColl. Return
3195** true if it does and false if it does not.
3196*/
3197#ifndef SQLITE_OMIT_REINDEX
danielk1977b3bf5562006-01-10 17:58:23 +00003198static int collationMatch(const char *zColl, Index *pIndex){
3199 int i;
3200 for(i=0; i<pIndex->nColumn; i++){
3201 const char *z = pIndex->azColl[i];
3202 if( z==zColl || (z && zColl && 0==sqlite3StrICmp(z, zColl)) ){
3203 return 1;
3204 }
drh4343fea2004-11-05 23:46:15 +00003205 }
3206 return 0;
3207}
3208#endif
3209
3210/*
3211** Recompute all indices of pTab that use the collating sequence pColl.
3212** If pColl==0 then recompute all indices of pTab.
3213*/
3214#ifndef SQLITE_OMIT_REINDEX
danielk1977b3bf5562006-01-10 17:58:23 +00003215static void reindexTable(Parse *pParse, Table *pTab, char const *zColl){
drh4343fea2004-11-05 23:46:15 +00003216 Index *pIndex; /* An index associated with pTab */
3217
3218 for(pIndex=pTab->pIndex; pIndex; pIndex=pIndex->pNext){
danielk1977b3bf5562006-01-10 17:58:23 +00003219 if( zColl==0 || collationMatch(zColl, pIndex) ){
danielk1977da184232006-01-05 11:34:32 +00003220 int iDb = sqlite3SchemaToIndex(pParse->db, pTab->pSchema);
3221 sqlite3BeginWriteOperation(pParse, 0, iDb);
drh4343fea2004-11-05 23:46:15 +00003222 sqlite3RefillIndex(pParse, pIndex, -1);
3223 }
3224 }
3225}
3226#endif
3227
3228/*
3229** Recompute all indices of all tables in all databases where the
3230** indices use the collating sequence pColl. If pColl==0 then recompute
3231** all indices everywhere.
3232*/
3233#ifndef SQLITE_OMIT_REINDEX
danielk1977b3bf5562006-01-10 17:58:23 +00003234static void reindexDatabases(Parse *pParse, char const *zColl){
drh4343fea2004-11-05 23:46:15 +00003235 Db *pDb; /* A single database */
3236 int iDb; /* The database index number */
3237 sqlite3 *db = pParse->db; /* The database connection */
3238 HashElem *k; /* For looping over tables in pDb */
3239 Table *pTab; /* A table in the database */
3240
3241 for(iDb=0, pDb=db->aDb; iDb<db->nDb; iDb++, pDb++){
drh43617e92006-03-06 20:55:46 +00003242 assert( pDb!=0 );
danielk1977da184232006-01-05 11:34:32 +00003243 for(k=sqliteHashFirst(&pDb->pSchema->tblHash); k; k=sqliteHashNext(k)){
drh4343fea2004-11-05 23:46:15 +00003244 pTab = (Table*)sqliteHashData(k);
danielk1977b3bf5562006-01-10 17:58:23 +00003245 reindexTable(pParse, pTab, zColl);
drh4343fea2004-11-05 23:46:15 +00003246 }
3247 }
3248}
3249#endif
3250
3251/*
drheee46cf2004-11-06 00:02:48 +00003252** Generate code for the REINDEX command.
3253**
3254** REINDEX -- 1
3255** REINDEX <collation> -- 2
3256** REINDEX ?<database>.?<tablename> -- 3
3257** REINDEX ?<database>.?<indexname> -- 4
3258**
3259** Form 1 causes all indices in all attached databases to be rebuilt.
3260** Form 2 rebuilds all indices in all databases that use the named
3261** collating function. Forms 3 and 4 rebuild the named index or all
3262** indices associated with the named table.
drh4343fea2004-11-05 23:46:15 +00003263*/
3264#ifndef SQLITE_OMIT_REINDEX
3265void sqlite3Reindex(Parse *pParse, Token *pName1, Token *pName2){
3266 CollSeq *pColl; /* Collating sequence to be reindexed, or NULL */
3267 char *z; /* Name of a table or index */
3268 const char *zDb; /* Name of the database */
3269 Table *pTab; /* A table in the database */
3270 Index *pIndex; /* An index associated with pTab */
3271 int iDb; /* The database index number */
3272 sqlite3 *db = pParse->db; /* The database connection */
3273 Token *pObjName; /* Name of the table or index to be reindexed */
3274
danielk197733a5edc2005-01-27 00:22:02 +00003275 /* Read the database schema. If an error occurs, leave an error message
3276 ** and code in pParse and return NULL. */
3277 if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
danielk1977e63739a2005-01-27 00:33:37 +00003278 return;
danielk197733a5edc2005-01-27 00:22:02 +00003279 }
3280
drhe497f002004-11-07 13:01:49 +00003281 if( pName1==0 || pName1->z==0 ){
drh4343fea2004-11-05 23:46:15 +00003282 reindexDatabases(pParse, 0);
3283 return;
drhe497f002004-11-07 13:01:49 +00003284 }else if( pName2==0 || pName2->z==0 ){
danielk1977b3bf5562006-01-10 17:58:23 +00003285 assert( pName1->z );
danielk197714db2662006-01-09 16:12:04 +00003286 pColl = sqlite3FindCollSeq(db, ENC(db), (char*)pName1->z, pName1->n, 0);
drh4343fea2004-11-05 23:46:15 +00003287 if( pColl ){
danielk1977f0113002006-01-24 12:09:17 +00003288 char *zColl = sqliteStrNDup((const char *)pName1->z, pName1->n);
3289 if( zColl ){
3290 reindexDatabases(pParse, zColl);
3291 sqliteFree(zColl);
danielk1977b3bf5562006-01-10 17:58:23 +00003292 }
drh4343fea2004-11-05 23:46:15 +00003293 return;
3294 }
3295 }
3296 iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pObjName);
3297 if( iDb<0 ) return;
3298 z = sqlite3NameFromToken(pObjName);
3299 zDb = db->aDb[iDb].zName;
3300 pTab = sqlite3FindTable(db, z, zDb);
3301 if( pTab ){
3302 reindexTable(pParse, pTab, 0);
3303 sqliteFree(z);
3304 return;
3305 }
3306 pIndex = sqlite3FindIndex(db, z, zDb);
3307 sqliteFree(z);
3308 if( pIndex ){
3309 sqlite3BeginWriteOperation(pParse, 0, iDb);
3310 sqlite3RefillIndex(pParse, pIndex, -1);
3311 return;
3312 }
3313 sqlite3ErrorMsg(pParse, "unable to identify the object to be reindexed");
3314}
3315#endif
danielk1977b3bf5562006-01-10 17:58:23 +00003316
3317/*
3318** Return a dynamicly allocated KeyInfo structure that can be used
3319** with OP_OpenRead or OP_OpenWrite to access database index pIdx.
3320**
3321** If successful, a pointer to the new structure is returned. In this case
3322** the caller is responsible for calling sqliteFree() on the returned
3323** pointer. If an error occurs (out of memory or missing collation
3324** sequence), NULL is returned and the state of pParse updated to reflect
3325** the error.
3326*/
3327KeyInfo *sqlite3IndexKeyinfo(Parse *pParse, Index *pIdx){
3328 int i;
3329 int nCol = pIdx->nColumn;
3330 int nBytes = sizeof(KeyInfo) + (nCol-1)*sizeof(CollSeq*) + nCol;
3331 KeyInfo *pKey = (KeyInfo *)sqliteMalloc(nBytes);
3332
3333 if( pKey ){
3334 pKey->aSortOrder = (u8 *)&(pKey->aColl[nCol]);
3335 assert( &pKey->aSortOrder[nCol]==&(((u8 *)pKey)[nBytes]) );
3336 for(i=0; i<nCol; i++){
3337 char *zColl = pIdx->azColl[i];
3338 assert( zColl );
3339 pKey->aColl[i] = sqlite3LocateCollSeq(pParse, zColl, -1);
3340 pKey->aSortOrder[i] = pIdx->aSortOrder[i];
3341 }
3342 pKey->nField = nCol;
3343 }
3344
3345 if( pParse->nErr ){
3346 sqliteFree(pKey);
3347 pKey = 0;
3348 }
3349 return pKey;
3350}