/*

** 2003 April 6

**

** The author disclaims copyright to this source code.  In place of

** a legal notice, here is a blessing:

**

**    May you do good and not evil.

**    May you find forgiveness for yourself and forgive others.

**    May you share freely, never taking more than you give.

**

*************************************************************************

** This file contains code used to implement the PRAGMA command.

**

** $Id: pragma.c,v 1.189 2008/10/10 17:47:21 danielk1977 Exp $

*/

#include "sqliteInt.h"

#include <ctype.h>

/* Ignore this whole file if pragmas are disabled

*/

#if !defined(SQLITE_OMIT_PRAGMA) && !defined(SQLITE_OMIT_PARSER)

/*

** Interpret the given string as a safety level.  Return 0 for OFF,

** 1 for ON or NORMAL and 2 for FULL.  Return 1 for an empty or 

** unrecognized string argument.

**

** Note that the values returned are one less that the values that

** should be passed into sqlite3BtreeSetSafetyLevel().  The is done

** to support legacy SQL code.  The safety level used to be boolean

** and older scripts may have used numbers 0 for OFF and 1 for ON.

*/

static int getSafetyLevel(const char *z){

                             /* 123456789 123456789 */

  static const char zText[] = "onoffalseyestruefull";

  static const u8 iOffset[] = {0, 1, 2, 4, 9, 12, 16};

  static const u8 iLength[] = {2, 2, 3, 5, 3, 4, 4};

  static const u8 iValue[] =  {1, 0, 0, 0, 1, 1, 2};

  int i, n;

  if( isdigit(*z) ){

    return atoi(z);

  }

  n = strlen(z);

  for(i=0; i<sizeof(iLength); i++){

    if( iLength[i]==n && sqlite3StrNICmp(&zText[iOffset[i]],z,n)==0 ){

      return iValue[i];

    }

  }

  return 1;

}

/*

** Interpret the given string as a boolean value.

*/

static int getBoolean(const char *z){

  return getSafetyLevel(z)&1;

}

/*

** Interpret the given string as a locking mode value.

*/

static int getLockingMode(const char *z){

  if( z ){

    if( 0==sqlite3StrICmp(z, "exclusive") ) return PAGER_LOCKINGMODE_EXCLUSIVE;

    if( 0==sqlite3StrICmp(z, "normal") ) return PAGER_LOCKINGMODE_NORMAL;

  }

  return PAGER_LOCKINGMODE_QUERY;

}

#ifndef SQLITE_OMIT_AUTOVACUUM

/*

** Interpret the given string as an auto-vacuum mode value.

**

** The following strings, "none", "full" and "incremental" are 

** acceptable, as are their numeric equivalents: 0, 1 and 2 respectively.

*/

static int getAutoVacuum(const char *z){

  int i;

  if( 0==sqlite3StrICmp(z, "none") ) return BTREE_AUTOVACUUM_NONE;

  if( 0==sqlite3StrICmp(z, "full") ) return BTREE_AUTOVACUUM_FULL;

  if( 0==sqlite3StrICmp(z, "incremental") ) return BTREE_AUTOVACUUM_INCR;

  i = atoi(z);

  return ((i>=0&&i<=2)?i:0);

}

#endif /* ifndef SQLITE_OMIT_AUTOVACUUM */

#ifndef SQLITE_OMIT_PAGER_PRAGMAS

/*

** Interpret the given string as a temp db location. Return 1 for file

** backed temporary databases, 2 for the Red-Black tree in memory database

** and 0 to use the compile-time default.

*/

static int getTempStore(const char *z){

  if( z[0]>='0' && z[0]<='2' ){

    return z[0] - '0';

  }else if( sqlite3StrICmp(z, "file")==0 ){

    return 1;

  }else if( sqlite3StrICmp(z, "memory")==0 ){

    return 2;

  }else{

    return 0;

  }

}

#endif /* SQLITE_PAGER_PRAGMAS */

#ifndef SQLITE_OMIT_PAGER_PRAGMAS

/*

** Invalidate temp storage, either when the temp storage is changed

** from default, or when 'file' and the temp_store_directory has changed

*/

static int invalidateTempStorage(Parse *pParse){

  sqlite3 *db = pParse->db;

  if( db->aDb[1].pBt!=0 ){

    if( !db->autoCommit || sqlite3BtreeIsInReadTrans(db->aDb[1].pBt) ){

      sqlite3ErrorMsg(pParse, "temporary storage cannot be changed "

        "from within a transaction");

      return SQLITE_ERROR;

    }

    sqlite3BtreeClose(db->aDb[1].pBt);

    db->aDb[1].pBt = 0;

    sqlite3ResetInternalSchema(db, 0);

  }

  return SQLITE_OK;

}

#endif /* SQLITE_PAGER_PRAGMAS */

#ifndef SQLITE_OMIT_PAGER_PRAGMAS

/*

** If the TEMP database is open, close it and mark the database schema

** as needing reloading.  This must be done when using the SQLITE_TEMP_STORE

** or DEFAULT_TEMP_STORE pragmas.

*/

static int changeTempStorage(Parse *pParse, const char *zStorageType){

  int ts = getTempStore(zStorageType);

  sqlite3 *db = pParse->db;

  if( db->temp_store==ts ) return SQLITE_OK;

  if( invalidateTempStorage( pParse ) != SQLITE_OK ){

    return SQLITE_ERROR;

  }

  db->temp_store = ts;

  return SQLITE_OK;

}

#endif /* SQLITE_PAGER_PRAGMAS */

/*

** Generate code to return a single integer value.

*/

static void returnSingleInt(Parse *pParse, const char *zLabel, int value){

  Vdbe *v = sqlite3GetVdbe(pParse);

  int mem = ++pParse->nMem;

  sqlite3VdbeAddOp2(v, OP_Integer, value, mem);

  if( pParse->explain==0 ){

    sqlite3VdbeSetNumCols(v, 1);

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, zLabel, P4_STATIC);

  }

  sqlite3VdbeAddOp2(v, OP_ResultRow, mem, 1);

}

#ifndef SQLITE_OMIT_FLAG_PRAGMAS

/*

** Check to see if zRight and zLeft refer to a pragma that queries

** or changes one of the flags in db->flags.  Return 1 if so and 0 if not.

** Also, implement the pragma.

*/

static int flagPragma(Parse *pParse, const char *zLeft, const char *zRight){

  static const struct sPragmaType {

    const char *zName;  /* Name of the pragma */

    int mask;           /* Mask for the db->flags value */

  } aPragma[] = {

    { "full_column_names",        SQLITE_FullColNames  },

    { "short_column_names",       SQLITE_ShortColNames },

    { "count_changes",            SQLITE_CountRows     },

    { "empty_result_callbacks",   SQLITE_NullCallback  },

    { "legacy_file_format",       SQLITE_LegacyFileFmt },

    { "fullfsync",                SQLITE_FullFSync     },

#ifdef SQLITE_DEBUG

    { "sql_trace",                SQLITE_SqlTrace      },

    { "vdbe_listing",             SQLITE_VdbeListing   },

    { "vdbe_trace",               SQLITE_VdbeTrace     },

#endif

#ifndef SQLITE_OMIT_CHECK

    { "ignore_check_constraints", SQLITE_IgnoreChecks  },

#endif

    /* The following is VERY experimental */

    { "writable_schema",          SQLITE_WriteSchema|SQLITE_RecoveryMode },

    { "omit_readlock",            SQLITE_NoReadlock    },

    /* TODO: Maybe it shouldn't be possible to change the ReadUncommitted

    ** flag if there are any active statements. */

    { "read_uncommitted",         SQLITE_ReadUncommitted },

  };

  int i;

  const struct sPragmaType *p;

  for(i=0, p=aPragma; i<sizeof(aPragma)/sizeof(aPragma[0]); i++, p++){

    if( sqlite3StrICmp(zLeft, p->zName)==0 ){

      sqlite3 *db = pParse->db;

      Vdbe *v;

      v = sqlite3GetVdbe(pParse);

      if( v ){

        if( zRight==0 ){

          returnSingleInt(pParse, p->zName, (db->flags & p->mask)!=0 );

        }else{

          if( getBoolean(zRight) ){

            db->flags |= p->mask;

          }else{

            db->flags &= ~p->mask;

          }

          /* Many of the flag-pragmas modify the code generated by the SQL 

          ** compiler (eg. count_changes). So add an opcode to expire all

          ** compiled SQL statements after modifying a pragma value.

          */

          sqlite3VdbeAddOp2(v, OP_Expire, 0, 0);

        }

      }

      return 1;

    }

  }

  return 0;

}

#endif /* SQLITE_OMIT_FLAG_PRAGMAS */

static const char *actionName(u8 action){

  switch( action ){

    case OE_SetNull:  return "SET NULL";

    case OE_SetDflt:  return "SET DEFAULT";

    case OE_Restrict: return "RESTRICT";

    case OE_Cascade:  return "CASCADE";

  }

  return "";

}

/*

** Process a pragma statement.  

**

** Pragmas are of this form:

**

**      PRAGMA [database.]id [= value]

**

** The identifier might also be a string.  The value is a string, and

** identifier, or a number.  If minusFlag is true, then the value is

** a number that was preceded by a minus sign.

**

** If the left side is "database.id" then pId1 is the database name

** and pId2 is the id.  If the left side is just "id" then pId1 is the

** id and pId2 is any empty string.

*/

void sqlite3Pragma(

  Parse *pParse, 

  Token *pId1,        /* First part of [database.]id field */

  Token *pId2,        /* Second part of [database.]id field, or NULL */

  Token *pValue,      /* Token for <value>, or NULL */

  int minusFlag       /* True if a '-' sign preceded <value> */

){

  char *zLeft = 0;       /* Nul-terminated UTF-8 string <id> */

  char *zRight = 0;      /* Nul-terminated UTF-8 string <value>, or NULL */

  const char *zDb = 0;   /* The database name */

  Token *pId;            /* Pointer to <id> token */

  int iDb;               /* Database index for <database> */

  sqlite3 *db = pParse->db;

  Db *pDb;

  Vdbe *v = pParse->pVdbe = sqlite3VdbeCreate(db);

  if( v==0 ) return;

  pParse->nMem = 2;

  /* Interpret the [database.] part of the pragma statement. iDb is the

  ** index of the database this pragma is being applied to in db.aDb[]. */

  iDb = sqlite3TwoPartName(pParse, pId1, pId2, &pId);

  if( iDb<0 ) return;

  pDb = &db->aDb[iDb];

  /* If the temp database has been explicitly named as part of the 

  ** pragma, make sure it is open. 

  */

  if( iDb==1 && sqlite3OpenTempDatabase(pParse) ){

    return;

  }

  zLeft = sqlite3NameFromToken(db, pId);

  if( !zLeft ) return;

  if( minusFlag ){

    zRight = sqlite3MPrintf(db, "-%T", pValue);

  }else{

    zRight = sqlite3NameFromToken(db, pValue);

  }

  zDb = ((pId2 && pId2->n>0)?pDb->zName:0);

  if( sqlite3AuthCheck(pParse, SQLITE_PRAGMA, zLeft, zRight, zDb) ){

    goto pragma_out;

  }

#ifndef SQLITE_OMIT_PAGER_PRAGMAS

  /*

  **  PRAGMA [database.]default_cache_size

  **  PRAGMA [database.]default_cache_size=N

  **

  ** The first form reports the current persistent setting for the

  ** page cache size.  The value returned is the maximum number of

  ** pages in the page cache.  The second form sets both the current

  ** page cache size value and the persistent page cache size value

  ** stored in the database file.

  **

  ** The default cache size is stored in meta-value 2 of page 1 of the

  ** database file.  The cache size is actually the absolute value of

  ** this memory location.  The sign of meta-value 2 determines the

  ** synchronous setting.  A negative value means synchronous is off

  ** and a positive value means synchronous is on.

  */

  if( sqlite3StrICmp(zLeft,"default_cache_size")==0 ){

    static const VdbeOpList getCacheSize[] = {

      { OP_ReadCookie,  0, 1,        2},  /* 0 */

      { OP_IfPos,       1, 6,        0},

      { OP_Integer,     0, 2,        0},

      { OP_Subtract,    1, 2,        1},

      { OP_IfPos,       1, 6,        0},

      { OP_Integer,     0, 1,        0},  /* 5 */

      { OP_ResultRow,   1, 1,        0},

    };

    int addr;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    sqlite3VdbeUsesBtree(v, iDb);

    if( !zRight ){

      sqlite3VdbeSetNumCols(v, 1);

      sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "cache_size", P4_STATIC);

      pParse->nMem += 2;

      addr = sqlite3VdbeAddOpList(v, ArraySize(getCacheSize), getCacheSize);

      sqlite3VdbeChangeP1(v, addr, iDb);

      sqlite3VdbeChangeP1(v, addr+5, SQLITE_DEFAULT_CACHE_SIZE);

    }else{

      int size = atoi(zRight);

      if( size<0 ) size = -size;

      sqlite3BeginWriteOperation(pParse, 0, iDb);

      sqlite3VdbeAddOp2(v, OP_Integer, size, 1);

      sqlite3VdbeAddOp3(v, OP_ReadCookie, iDb, 2, 2);

      addr = sqlite3VdbeAddOp2(v, OP_IfPos, 2, 0);

      sqlite3VdbeAddOp2(v, OP_Integer, -size, 1);

      sqlite3VdbeJumpHere(v, addr);

      sqlite3VdbeAddOp3(v, OP_SetCookie, iDb, 2, 1);

      pDb->pSchema->cache_size = size;

      sqlite3BtreeSetCacheSize(pDb->pBt, pDb->pSchema->cache_size);

    }

  }else

  /*

  **  PRAGMA [database.]page_size

  **  PRAGMA [database.]page_size=N

  **

  ** The first form reports the current setting for the

  ** database page size in bytes.  The second form sets the

  ** database page size value.  The value can only be set if

  ** the database has not yet been created.

  */

  if( sqlite3StrICmp(zLeft,"page_size")==0 ){

    Btree *pBt = pDb->pBt;

    if( !zRight ){

      int size = pBt ? sqlite3BtreeGetPageSize(pBt) : 0;

      returnSingleInt(pParse, "page_size", size);

    }else{

      /* Malloc may fail when setting the page-size, as there is an internal

      ** buffer that the pager module resizes using sqlite3_realloc().

      */

      db->nextPagesize = atoi(zRight);

      if( SQLITE_NOMEM==sqlite3BtreeSetPageSize(pBt, db->nextPagesize, -1) ){

        db->mallocFailed = 1;

      }

    }

  }else

  /*

  **  PRAGMA [database.]max_page_count

  **  PRAGMA [database.]max_page_count=N

  **

  ** The first form reports the current setting for the

  ** maximum number of pages in the database file.  The 

  ** second form attempts to change this setting.  Both

  ** forms return the current setting.

  */

  if( sqlite3StrICmp(zLeft,"max_page_count")==0 ){

    Btree *pBt = pDb->pBt;

    int newMax = 0;

    if( zRight ){

      newMax = atoi(zRight);

    }

    if( pBt ){

      newMax = sqlite3BtreeMaxPageCount(pBt, newMax);

    }

    returnSingleInt(pParse, "max_page_count", newMax);

  }else

  /*

  **  PRAGMA [database.]page_count

  **

  ** Return the number of pages in the specified database.

  */

  if( sqlite3StrICmp(zLeft,"page_count")==0 ){

    Vdbe *v;

    int iReg;

    v = sqlite3GetVdbe(pParse);

    if( !v || sqlite3ReadSchema(pParse) ) goto pragma_out;

    sqlite3CodeVerifySchema(pParse, iDb);

    iReg = ++pParse->nMem;

    sqlite3VdbeAddOp2(v, OP_Pagecount, iDb, iReg);

    sqlite3VdbeAddOp2(v, OP_ResultRow, iReg, 1);

    sqlite3VdbeSetNumCols(v, 1);

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "page_count", P4_STATIC);

  }else

  /*

  **  PRAGMA [database.]locking_mode

  **  PRAGMA [database.]locking_mode = (normal|exclusive)

  */

  if( sqlite3StrICmp(zLeft,"locking_mode")==0 ){

    const char *zRet = "normal";

    int eMode = getLockingMode(zRight);

    if( pId2->n==0 && eMode==PAGER_LOCKINGMODE_QUERY ){

      /* Simple "PRAGMA locking_mode;" statement. This is a query for

      ** the current default locking mode (which may be different to

      ** the locking-mode of the main database).

      */

      eMode = db->dfltLockMode;

    }else{

      Pager *pPager;

      if( pId2->n==0 ){

        /* This indicates that no database name was specified as part

        ** of the PRAGMA command. In this case the locking-mode must be

        ** set on all attached databases, as well as the main db file.

        **

        ** Also, the sqlite3.dfltLockMode variable is set so that

        ** any subsequently attached databases also use the specified

        ** locking mode.

        */

        int ii;

        assert(pDb==&db->aDb[0]);

        for(ii=2; ii<db->nDb; ii++){

          pPager = sqlite3BtreePager(db->aDb[ii].pBt);

          sqlite3PagerLockingMode(pPager, eMode);

        }

        db->dfltLockMode = eMode;

      }

      pPager = sqlite3BtreePager(pDb->pBt);

      eMode = sqlite3PagerLockingMode(pPager, eMode);

    }

    assert(eMode==PAGER_LOCKINGMODE_NORMAL||eMode==PAGER_LOCKINGMODE_EXCLUSIVE);

    if( eMode==PAGER_LOCKINGMODE_EXCLUSIVE ){

      zRet = "exclusive";

    }

    sqlite3VdbeSetNumCols(v, 1);

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "locking_mode", P4_STATIC);

    sqlite3VdbeAddOp4(v, OP_String8, 0, 1, 0, zRet, 0);

    sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 1);

  }else

  /*

  **  PRAGMA [database.]journal_mode

  **  PRAGMA [database.]journal_mode = (delete|persist|off)

  */

  if( sqlite3StrICmp(zLeft,"journal_mode")==0 ){

    int eMode;

    static char * const azModeName[] = {"delete", "persist", "off", "truncate"};

    if( zRight==0 ){

      eMode = PAGER_JOURNALMODE_QUERY;

    }else{

      int n = strlen(zRight);

      eMode = sizeof(azModeName)/sizeof(azModeName[0]) - 1;

      while( eMode>=0 && sqlite3StrNICmp(zRight, azModeName[eMode], n)!=0 ){

        eMode--;

      }

    }

    if( pId2->n==0 && eMode==PAGER_JOURNALMODE_QUERY ){

      /* Simple "PRAGMA journal_mode;" statement. This is a query for

      ** the current default journal mode (which may be different to

      ** the journal-mode of the main database).

      */

      eMode = db->dfltJournalMode;

    }else{

      Pager *pPager;

      if( pId2->n==0 ){

        /* This indicates that no database name was specified as part

        ** of the PRAGMA command. In this case the journal-mode must be

        ** set on all attached databases, as well as the main db file.

        **

        ** Also, the sqlite3.dfltJournalMode variable is set so that

        ** any subsequently attached databases also use the specified

        ** journal mode.

        */

        int ii;

        assert(pDb==&db->aDb[0]);

        for(ii=1; ii<db->nDb; ii++){

          if( db->aDb[ii].pBt ){

            pPager = sqlite3BtreePager(db->aDb[ii].pBt);

            sqlite3PagerJournalMode(pPager, eMode);

          }

        }

        db->dfltJournalMode = eMode;

      }

      pPager = sqlite3BtreePager(pDb->pBt);

      eMode = sqlite3PagerJournalMode(pPager, eMode);

    }

    assert( eMode==PAGER_JOURNALMODE_DELETE

              || eMode==PAGER_JOURNALMODE_TRUNCATE

              || eMode==PAGER_JOURNALMODE_PERSIST

              || eMode==PAGER_JOURNALMODE_OFF );

    sqlite3VdbeSetNumCols(v, 1);

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "journal_mode", P4_STATIC);

    sqlite3VdbeAddOp4(v, OP_String8, 0, 1, 0, 

           azModeName[eMode], P4_STATIC);

    sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 1);

  }else

  /*

  **  PRAGMA [database.]journal_size_limit

  **  PRAGMA [database.]journal_size_limit=N

  **

  ** Get or set the (boolean) value of the database 'auto-vacuum' parameter.

  */

  if( sqlite3StrICmp(zLeft,"journal_size_limit")==0 ){

    Pager *pPager = sqlite3BtreePager(pDb->pBt);

    i64 iLimit = -2;

    if( zRight ){

      int iLimit32 = atoi(zRight);

      if( iLimit32<-1 ){

        iLimit32 = -1;

      }

      iLimit = iLimit32;

    }

    iLimit = sqlite3PagerJournalSizeLimit(pPager, iLimit);

    returnSingleInt(pParse, "journal_size_limit", (int)iLimit);

  }else

#endif /* SQLITE_OMIT_PAGER_PRAGMAS */

  /*

  **  PRAGMA [database.]auto_vacuum

  **  PRAGMA [database.]auto_vacuum=N

  **

  ** Get or set the (boolean) value of the database 'auto-vacuum' parameter.

  */

#ifndef SQLITE_OMIT_AUTOVACUUM

  if( sqlite3StrICmp(zLeft,"auto_vacuum")==0 ){

    Btree *pBt = pDb->pBt;

    if( sqlite3ReadSchema(pParse) ){

      goto pragma_out;

    }

    if( !zRight ){

      int auto_vacuum = 

          pBt ? sqlite3BtreeGetAutoVacuum(pBt) : SQLITE_DEFAULT_AUTOVACUUM;

      returnSingleInt(pParse, "auto_vacuum", auto_vacuum);

    }else{

      int eAuto = getAutoVacuum(zRight);

      db->nextAutovac = eAuto;

      if( eAuto>=0 ){

        /* Call SetAutoVacuum() to set initialize the internal auto and

        ** incr-vacuum flags. This is required in case this connection

        ** creates the database file. It is important that it is created

        ** as an auto-vacuum capable db.

        */

        int rc = sqlite3BtreeSetAutoVacuum(pBt, eAuto);

        if( rc==SQLITE_OK && (eAuto==1 || eAuto==2) ){

          /* When setting the auto_vacuum mode to either "full" or 

          ** "incremental", write the value of meta[6] in the database

          ** file. Before writing to meta[6], check that meta[3] indicates

          ** that this really is an auto-vacuum capable database.

          */

          static const VdbeOpList setMeta6[] = {

            { OP_Transaction,    0,               1,        0},    /* 0 */

            { OP_ReadCookie,     0,               1,        3},    /* 1 */

            { OP_If,             1,               0,        0},    /* 2 */

            { OP_Halt,           SQLITE_OK,       OE_Abort, 0},    /* 3 */

            { OP_Integer,        0,               1,        0},    /* 4 */

            { OP_SetCookie,      0,               6,        1},    /* 5 */

          };

          int iAddr;

          iAddr = sqlite3VdbeAddOpList(v, ArraySize(setMeta6), setMeta6);

          sqlite3VdbeChangeP1(v, iAddr, iDb);

          sqlite3VdbeChangeP1(v, iAddr+1, iDb);

          sqlite3VdbeChangeP2(v, iAddr+2, iAddr+4);

          sqlite3VdbeChangeP1(v, iAddr+4, eAuto-1);

          sqlite3VdbeChangeP1(v, iAddr+5, iDb);

          sqlite3VdbeUsesBtree(v, iDb);

        }

      }

    }

  }else

#endif

  /*

  **  PRAGMA [database.]incremental_vacuum(N)

  **

  ** Do N steps of incremental vacuuming on a database.

  */

#ifndef SQLITE_OMIT_AUTOVACUUM

  if( sqlite3StrICmp(zLeft,"incremental_vacuum")==0 ){

    int iLimit, addr;

    if( sqlite3ReadSchema(pParse) ){

      goto pragma_out;

    }

    if( zRight==0 || !sqlite3GetInt32(zRight, &iLimit) || iLimit<=0 ){

      iLimit = 0x7fffffff;

    }

    sqlite3BeginWriteOperation(pParse, 0, iDb);

    sqlite3VdbeAddOp2(v, OP_Integer, iLimit, 1);

    addr = sqlite3VdbeAddOp1(v, OP_IncrVacuum, iDb);

    sqlite3VdbeAddOp1(v, OP_ResultRow, 1);

    sqlite3VdbeAddOp2(v, OP_AddImm, 1, -1);

    sqlite3VdbeAddOp2(v, OP_IfPos, 1, addr);

    sqlite3VdbeJumpHere(v, addr);

  }else

#endif

#ifndef SQLITE_OMIT_PAGER_PRAGMAS

  /*

  **  PRAGMA [database.]cache_size

  **  PRAGMA [database.]cache_size=N

  **

  ** The first form reports the current local setting for the

  ** page cache size.  The local setting can be different from

  ** the persistent cache size value that is stored in the database

  ** file itself.  The value returned is the maximum number of

  ** pages in the page cache.  The second form sets the local

  ** page cache size value.  It does not change the persistent

  ** cache size stored on the disk so the cache size will revert

  ** to its default value when the database is closed and reopened.

  ** N should be a positive integer.

  */

  if( sqlite3StrICmp(zLeft,"cache_size")==0 ){

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    if( !zRight ){

      returnSingleInt(pParse, "cache_size", pDb->pSchema->cache_size);

    }else{

      int size = atoi(zRight);

      if( size<0 ) size = -size;

      pDb->pSchema->cache_size = size;

      sqlite3BtreeSetCacheSize(pDb->pBt, pDb->pSchema->cache_size);

    }

  }else

  /*

  **   PRAGMA temp_store

  **   PRAGMA temp_store = "default"|"memory"|"file"

  **

  ** Return or set the local value of the temp_store flag.  Changing

  ** the local value does not make changes to the disk file and the default

  ** value will be restored the next time the database is opened.

  **

  ** Note that it is possible for the library compile-time options to

  ** override this setting

  */

  if( sqlite3StrICmp(zLeft, "temp_store")==0 ){

    if( !zRight ){

      returnSingleInt(pParse, "temp_store", db->temp_store);

    }else{

      changeTempStorage(pParse, zRight);

    }

  }else

  /*

  **   PRAGMA temp_store_directory

  **   PRAGMA temp_store_directory = ""|"directory_name"

  **

  ** Return or set the local value of the temp_store_directory flag.  Changing

  ** the value sets a specific directory to be used for temporary files.

  ** Setting to a null string reverts to the default temporary directory search.

  ** If temporary directory is changed, then invalidateTempStorage.

  **

  */

  if( sqlite3StrICmp(zLeft, "temp_store_directory")==0 ){

    if( !zRight ){

      if( sqlite3_temp_directory ){

        sqlite3VdbeSetNumCols(v, 1);

        sqlite3VdbeSetColName(v, 0, COLNAME_NAME, 

            "temp_store_directory", P4_STATIC);

        sqlite3VdbeAddOp4(v, OP_String8, 0, 1, 0, sqlite3_temp_directory, 0);

        sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 1);

      }

    }else{

#ifndef SQLITE_OMIT_WSD

      if( zRight[0] ){

        int rc;

        int res;

        rc = sqlite3OsAccess(db->pVfs, zRight, SQLITE_ACCESS_READWRITE, &res);

        if( rc!=SQLITE_OK || res==0 ){

          sqlite3ErrorMsg(pParse, "not a writable directory");

          goto pragma_out;

        }

      }

      if( SQLITE_TEMP_STORE==0

       || (SQLITE_TEMP_STORE==1 && db->temp_store<=1)

       || (SQLITE_TEMP_STORE==2 && db->temp_store==1)

      ){

        invalidateTempStorage(pParse);

      }

      sqlite3_free(sqlite3_temp_directory);

      if( zRight[0] ){

        sqlite3_temp_directory = sqlite3DbStrDup(0, zRight);

      }else{

        sqlite3_temp_directory = 0;

      }

#endif /* SQLITE_OMIT_WSD */

    }

  }else

  /*

  **   PRAGMA [database.]synchronous

  **   PRAGMA [database.]synchronous=OFF|ON|NORMAL|FULL

  **

  ** Return or set the local value of the synchronous flag.  Changing

  ** the local value does not make changes to the disk file and the

  ** default value will be restored the next time the database is

  ** opened.

  */

  if( sqlite3StrICmp(zLeft,"synchronous")==0 ){

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    if( !zRight ){

      returnSingleInt(pParse, "synchronous", pDb->safety_level-1);

    }else{

      if( !db->autoCommit ){

        sqlite3ErrorMsg(pParse, 

            "Safety level may not be changed inside a transaction");

      }else{

        pDb->safety_level = getSafetyLevel(zRight)+1;

      }

    }

  }else

#endif /* SQLITE_OMIT_PAGER_PRAGMAS */

#ifndef SQLITE_OMIT_FLAG_PRAGMAS

  if( flagPragma(pParse, zLeft, zRight) ){

    /* The flagPragma() subroutine also generates any necessary code

    ** there is nothing more to do here */

  }else

#endif /* SQLITE_OMIT_FLAG_PRAGMAS */

#ifndef SQLITE_OMIT_SCHEMA_PRAGMAS

  /*

  **   PRAGMA table_info(<table>)

  **

  ** Return a single row for each column of the named table. The columns of

  ** the returned data set are:

  **

  ** cid:        Column id (numbered from left to right, starting at 0)

  ** name:       Column name

  ** type:       Column declaration type.

  ** notnull:    True if 'NOT NULL' is part of column declaration

  ** dflt_value: The default value for the column, if any.

  */

  if( sqlite3StrICmp(zLeft, "table_info")==0 && zRight ){

    Table *pTab;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    pTab = sqlite3FindTable(db, zRight, zDb);

    if( pTab ){

      int i;

      int nHidden = 0;

      Column *pCol;

      sqlite3VdbeSetNumCols(v, 6);

      pParse->nMem = 6;

      sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "cid", P4_STATIC);

      sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "name", P4_STATIC);

      sqlite3VdbeSetColName(v, 2, COLNAME_NAME, "type", P4_STATIC);

      sqlite3VdbeSetColName(v, 3, COLNAME_NAME, "notnull", P4_STATIC);

      sqlite3VdbeSetColName(v, 4, COLNAME_NAME, "dflt_value", P4_STATIC);

      sqlite3VdbeSetColName(v, 5, COLNAME_NAME, "pk", P4_STATIC);

      sqlite3ViewGetColumnNames(pParse, pTab);

      for(i=0, pCol=pTab->aCol; i<pTab->nCol; i++, pCol++){

        const Token *pDflt;

        if( IsHiddenColumn(pCol) ){

          nHidden++;

          continue;

        }

        sqlite3VdbeAddOp2(v, OP_Integer, i-nHidden, 1);

        sqlite3VdbeAddOp4(v, OP_String8, 0, 2, 0, pCol->zName, 0);

        sqlite3VdbeAddOp4(v, OP_String8, 0, 3, 0,

           pCol->zType ? pCol->zType : "", 0);

        sqlite3VdbeAddOp2(v, OP_Integer, pCol->notNull, 4);

        if( pCol->pDflt && (pDflt = &pCol->pDflt->span)->z ){

          sqlite3VdbeAddOp4(v, OP_String8, 0, 5, 0, (char*)pDflt->z, pDflt->n);

        }else{

          sqlite3VdbeAddOp2(v, OP_Null, 0, 5);

        }

        sqlite3VdbeAddOp2(v, OP_Integer, pCol->isPrimKey, 6);

        sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 6);

      }

    }

  }else

  if( sqlite3StrICmp(zLeft, "index_info")==0 && zRight ){

    Index *pIdx;

    Table *pTab;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    pIdx = sqlite3FindIndex(db, zRight, zDb);

    if( pIdx ){

      int i;

      pTab = pIdx->pTable;

      sqlite3VdbeSetNumCols(v, 3);

      pParse->nMem = 3;

      sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "seqno", P4_STATIC);

      sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "cid", P4_STATIC);

      sqlite3VdbeSetColName(v, 2, COLNAME_NAME, "name", P4_STATIC);

      for(i=0; i<pIdx->nColumn; i++){

        int cnum = pIdx->aiColumn[i];

        sqlite3VdbeAddOp2(v, OP_Integer, i, 1);

        sqlite3VdbeAddOp2(v, OP_Integer, cnum, 2);

        assert( pTab->nCol>cnum );

        sqlite3VdbeAddOp4(v, OP_String8, 0, 3, 0, pTab->aCol[cnum].zName, 0);

        sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 3);

      }

    }

  }else

  if( sqlite3StrICmp(zLeft, "index_list")==0 && zRight ){

    Index *pIdx;

    Table *pTab;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    pTab = sqlite3FindTable(db, zRight, zDb);

    if( pTab ){

      v = sqlite3GetVdbe(pParse);

      pIdx = pTab->pIndex;

      if( pIdx ){

        int i = 0; 

        sqlite3VdbeSetNumCols(v, 3);

        pParse->nMem = 3;

        sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "seq", P4_STATIC);

        sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "name", P4_STATIC);

        sqlite3VdbeSetColName(v, 2, COLNAME_NAME, "unique", P4_STATIC);

        while(pIdx){

          sqlite3VdbeAddOp2(v, OP_Integer, i, 1);

          sqlite3VdbeAddOp4(v, OP_String8, 0, 2, 0, pIdx->zName, 0);

          sqlite3VdbeAddOp2(v, OP_Integer, pIdx->onError!=OE_None, 3);

          sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 3);

          ++i;

          pIdx = pIdx->pNext;

        }

      }

    }

  }else

  if( sqlite3StrICmp(zLeft, "database_list")==0 ){

    int i;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    sqlite3VdbeSetNumCols(v, 3);

    pParse->nMem = 3;

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "seq", P4_STATIC);

    sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "name", P4_STATIC);

    sqlite3VdbeSetColName(v, 2, COLNAME_NAME, "file", P4_STATIC);

    for(i=0; i<db->nDb; i++){

      if( db->aDb[i].pBt==0 ) continue;

      assert( db->aDb[i].zName!=0 );

      sqlite3VdbeAddOp2(v, OP_Integer, i, 1);

      sqlite3VdbeAddOp4(v, OP_String8, 0, 2, 0, db->aDb[i].zName, 0);

      sqlite3VdbeAddOp4(v, OP_String8, 0, 3, 0,

           sqlite3BtreeGetFilename(db->aDb[i].pBt), 0);

      sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 3);

    }

  }else

  if( sqlite3StrICmp(zLeft, "collation_list")==0 ){

    int i = 0;

    HashElem *p;

    sqlite3VdbeSetNumCols(v, 2);

    pParse->nMem = 2;

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "seq", P4_STATIC);

    sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "name", P4_STATIC);

    for(p=sqliteHashFirst(&db->aCollSeq); p; p=sqliteHashNext(p)){

      CollSeq *pColl = (CollSeq *)sqliteHashData(p);

      sqlite3VdbeAddOp2(v, OP_Integer, i++, 1);

      sqlite3VdbeAddOp4(v, OP_String8, 0, 2, 0, pColl->zName, 0);

      sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 2);

    }

  }else

#endif /* SQLITE_OMIT_SCHEMA_PRAGMAS */

#ifndef SQLITE_OMIT_FOREIGN_KEY

  if( sqlite3StrICmp(zLeft, "foreign_key_list")==0 && zRight ){

    FKey *pFK;

    Table *pTab;

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    pTab = sqlite3FindTable(db, zRight, zDb);

    if( pTab ){

      v = sqlite3GetVdbe(pParse);

      pFK = pTab->pFKey;

      if( pFK ){

        int i = 0; 

        sqlite3VdbeSetNumCols(v, 8);

        pParse->nMem = 8;

        sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "id", P4_STATIC);

        sqlite3VdbeSetColName(v, 1, COLNAME_NAME, "seq", P4_STATIC);

        sqlite3VdbeSetColName(v, 2, COLNAME_NAME, "table", P4_STATIC);

        sqlite3VdbeSetColName(v, 3, COLNAME_NAME, "from", P4_STATIC);

        sqlite3VdbeSetColName(v, 4, COLNAME_NAME, "to", P4_STATIC);

        sqlite3VdbeSetColName(v, 5, COLNAME_NAME, "on_update", P4_STATIC);

        sqlite3VdbeSetColName(v, 6, COLNAME_NAME, "on_delete", P4_STATIC);

        sqlite3VdbeSetColName(v, 7, COLNAME_NAME, "match", P4_STATIC);

        while(pFK){

          int j;

          for(j=0; j<pFK->nCol; j++){

            char *zCol = pFK->aCol[j].zCol;

            char *zOnUpdate = (char *)actionName(pFK->updateConf);

            char *zOnDelete = (char *)actionName(pFK->deleteConf);

            sqlite3VdbeAddOp2(v, OP_Integer, i, 1);

            sqlite3VdbeAddOp2(v, OP_Integer, j, 2);

            sqlite3VdbeAddOp4(v, OP_String8, 0, 3, 0, pFK->zTo, 0);

            sqlite3VdbeAddOp4(v, OP_String8, 0, 4, 0,

                              pTab->aCol[pFK->aCol[j].iFrom].zName, 0);

            sqlite3VdbeAddOp4(v, zCol ? OP_String8 : OP_Null, 0, 5, 0, zCol, 0);

            sqlite3VdbeAddOp4(v, OP_String8, 0, 6, 0, zOnUpdate, 0);

            sqlite3VdbeAddOp4(v, OP_String8, 0, 7, 0, zOnDelete, 0);

            sqlite3VdbeAddOp4(v, OP_String8, 0, 8, 0, "NONE", 0);

            sqlite3VdbeAddOp2(v, OP_ResultRow, 1, 8);

          }

          ++i;

          pFK = pFK->pNextFrom;

        }

      }

    }

  }else

#endif /* !defined(SQLITE_OMIT_FOREIGN_KEY) */

#ifndef NDEBUG

  if( sqlite3StrICmp(zLeft, "parser_trace")==0 ){

    if( zRight ){

      if( getBoolean(zRight) ){

        sqlite3ParserTrace(stderr, "parser: ");

      }else{

        sqlite3ParserTrace(0, 0);

      }

    }

  }else

#endif

  /* Reinstall the LIKE and GLOB functions.  The variant of LIKE

  ** used will be case sensitive or not depending on the RHS.

  */

  if( sqlite3StrICmp(zLeft, "case_sensitive_like")==0 ){

    if( zRight ){

      sqlite3RegisterLikeFunctions(db, getBoolean(zRight));

    }

  }else

#ifndef SQLITE_INTEGRITY_CHECK_ERROR_MAX

# define SQLITE_INTEGRITY_CHECK_ERROR_MAX 100

#endif

#ifndef SQLITE_OMIT_INTEGRITY_CHECK

  /* Pragma "quick_check" is an experimental reduced version of 

  ** integrity_check designed to detect most database corruption

  ** without most of the overhead of a full integrity-check.

  */

  if( sqlite3StrICmp(zLeft, "integrity_check")==0

   || sqlite3StrICmp(zLeft, "quick_check")==0 

  ){

    int i, j, addr, mxErr;

    /* Code that appears at the end of the integrity check.  If no error

    ** messages have been generated, output OK.  Otherwise output the

    ** error message

    */

    static const VdbeOpList endCode[] = {

      { OP_AddImm,      1, 0,        0},    /* 0 */

      { OP_IfNeg,       1, 0,        0},    /* 1 */

      { OP_String8,     0, 3,        0},    /* 2 */

      { OP_ResultRow,   3, 1,        0},

    };

    int isQuick = (zLeft[0]=='q');

    /* Initialize the VDBE program */

    if( sqlite3ReadSchema(pParse) ) goto pragma_out;

    pParse->nMem = 6;

    sqlite3VdbeSetNumCols(v, 1);

    sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "integrity_check", P4_STATIC);

    /* Set the maximum error count */

    mxErr = SQLITE_INTEGRITY_CHECK_ERROR_MAX;

    if( zRight ){

      mxErr = atoi(zRight);

      if( mxErr<=0 ){

        mxErr = SQLITE_INTEGRITY_CHECK_ERROR_MAX;

      }

    }

    sqlite3VdbeAddOp2(v, OP_Integer, mxErr, 1);  /* reg[1] holds errors left */

    /* Do an integrity check on each database file */

    for(i=0; i<db->nDb; i++){

      HashElem *x;

      Hash *pTbls;

      int cnt = 0;

      if( OMIT_TEMPDB && i==1 ) continue;

      sqlite3CodeVerifySchema(pParse, i);

      addr = sqlite3VdbeAddOp1(v, OP_IfPos, 1); /* Halt if out of errors */