#ifndef SQLITE_OMIT_DISKIO

#include "sqliteInt.h"

#include "wal.h"

#if 0

int sqlite3PagerTrace=1; /* True to enable tracing */

#define sqlite3DebugPrintf printf

#define PAGERTRACE(X) if( sqlite3PagerTrace ){ sqlite3DebugPrintf X; }

#define PAGERTRACE(X)

#define PAGERID(p) ((int)(p->fd))

#define FILEHANDLEID(fd) ((int)fd)

#define PAGER_OPEN 0

#define PAGER_READER 1

#define PAGER_WRITER_LOCKED 2

#define PAGER_WRITER_CACHEMOD 3

#define PAGER_WRITER_DBMOD 4

#define PAGER_WRITER_FINISHED 5

#define PAGER_ERROR 6

#define UNKNOWN_LOCK (EXCLUSIVE_LOCK+1)

#ifdef SQLITE_HAS_CODEC

# define CODEC1(P,D,N,X,E) \

if( P->xCodec && P->xCodec(P->pCodec,D,N,X)==0 ){ E; }

# define CODEC2(P,D,N,X,E,O) \

if( P->xCodec==0 ){ O=(char*)D; }else \

if( (O=(char*)(P->xCodec(P->pCodec,D,N,X)))==0 ){ E; }

# define CODEC1(P,D,N,X,E) /* NO-OP */

# define CODEC2(P,D,N,X,E,O) O=(char*)D

#define MAX_SECTOR_SIZE 0x10000

typedef struct PagerSavepoint PagerSavepoint;

struct PagerSavepoint {

};

struct Pager {

};

#define PAGER_STAT_HIT 0

#define PAGER_STAT_MISS 1

#define PAGER_STAT_WRITE 2

#ifdef SQLITE_TEST

int sqlite3_pager_readdb_count = 0; /* Number of full pages read from DB */

int sqlite3_pager_writedb_count = 0; /* Number of full pages written to DB */

int sqlite3_pager_writej_count = 0; /* Number of pages written to journal */

# define PAGER_INCR(v) v++

# define PAGER_INCR(v)

static const unsigned char aJournalMagic[] = {

0xd9, 0xd5, 0x05, 0xf9, 0x20, 0xa1, 0x63, 0xd7,

};

#define JOURNAL_PG_SZ(pPager) ((pPager->pageSize) + 8)

#define JOURNAL_HDR_SZ(pPager) (pPager->sectorSize)

#ifdef SQLITE_OMIT_MEMORYDB

# define MEMDB 0

# define MEMDB pPager->memDb

#define PAGER_MAX_PGNO 2147483647

#define isOpen(pFd) ((pFd)->pMethods)

#ifndef SQLITE_OMIT_WAL

static int pagerUseWal(Pager *pPager){

return (pPager->pWal!=0);

}

# define pagerUseWal(x) 0

# define pagerRollbackWal(x) 0

# define pagerWalFrames(v,w,x,y) 0

# define pagerOpenWalIfPresent(z) SQLITE_OK

# define pagerBeginReadTransaction(z) SQLITE_OK

#ifndef NDEBUG

static int assert_pager_state(Pager *p){

Pager *pPager = p;

/* State must be valid. */

assert( p->eState==PAGER_OPEN

|| p->eState==PAGER_READER

|| p->eState==PAGER_WRITER_LOCKED

|| p->eState==PAGER_WRITER_CACHEMOD

|| p->eState==PAGER_WRITER_DBMOD

|| p->eState==PAGER_WRITER_FINISHED

|| p->eState==PAGER_ERROR

);

/* Regardless of the current state, a temp-file connection always behaves

assert( p->tempFile==0 || p->eLock==EXCLUSIVE_LOCK );

assert( p->tempFile==0 || pPager->changeCountDone );

/* If the useJournal flag is clear, the journal-mode must be "OFF".

assert( p->journalMode==PAGER_JOURNALMODE_OFF || p->useJournal );

assert( p->journalMode!=PAGER_JOURNALMODE_OFF || !isOpen(p->jfd) );

/* Check that MEMDB implies noSync. And an in-memory journal. Since

if( MEMDB ){

assert( p->noSync );

assert( p->journalMode==PAGER_JOURNALMODE_OFF

|| p->journalMode==PAGER_JOURNALMODE_MEMORY

);

assert( p->eState!=PAGER_ERROR && p->eState!=PAGER_OPEN );

assert( pagerUseWal(p)==0 );

}

/* If changeCountDone is set, a RESERVED lock or greater must be held

assert( pPager->changeCountDone==0 || pPager->eLock>=RESERVED_LOCK );

assert( p->eLock!=PENDING_LOCK );

switch( p->eState ){

case PAGER_OPEN:

assert( !MEMDB );

assert( pPager->errCode==SQLITE_OK );

assert( sqlite3PcacheRefCount(pPager->pPCache)==0 || pPager->tempFile );

break;

case PAGER_READER:

assert( pPager->errCode==SQLITE_OK );

assert( p->eLock!=UNKNOWN_LOCK );

assert( p->eLock>=SHARED_LOCK );

break;

case PAGER_WRITER_LOCKED:

assert( p->eLock!=UNKNOWN_LOCK );

assert( pPager->errCode==SQLITE_OK );

if( !pagerUseWal(pPager) ){

assert( p->eLock>=RESERVED_LOCK );

}

assert( pPager->dbSize==pPager->dbOrigSize );

assert( pPager->dbOrigSize==pPager->dbFileSize );

assert( pPager->dbOrigSize==pPager->dbHintSize );

assert( pPager->setMaster==0 );

break;

case PAGER_WRITER_CACHEMOD:

assert( p->eLock!=UNKNOWN_LOCK );

assert( pPager->errCode==SQLITE_OK );

if( !pagerUseWal(pPager) ){

/* It is possible that if journal_mode=wal here that neither the

assert( p->eLock>=RESERVED_LOCK );

assert( isOpen(p->jfd)

|| p->journalMode==PAGER_JOURNALMODE_OFF

|| p->journalMode==PAGER_JOURNALMODE_WAL

);

}

assert( pPager->dbOrigSize==pPager->dbFileSize );

assert( pPager->dbOrigSize==pPager->dbHintSize );

break;

case PAGER_WRITER_DBMOD:

assert( p->eLock==EXCLUSIVE_LOCK );

assert( pPager->errCode==SQLITE_OK );

assert( !pagerUseWal(pPager) );

assert( p->eLock>=EXCLUSIVE_LOCK );

assert( isOpen(p->jfd)

|| p->journalMode==PAGER_JOURNALMODE_OFF

|| p->journalMode==PAGER_JOURNALMODE_WAL

);

assert( pPager->dbOrigSize<=pPager->dbHintSize );

break;

case PAGER_WRITER_FINISHED:

assert( p->eLock==EXCLUSIVE_LOCK );

assert( pPager->errCode==SQLITE_OK );

assert( !pagerUseWal(pPager) );

assert( isOpen(p->jfd)

|| p->journalMode==PAGER_JOURNALMODE_OFF

|| p->journalMode==PAGER_JOURNALMODE_WAL

);

break;

case PAGER_ERROR:

/* There must be at least one outstanding reference to the pager if

assert( pPager->errCode!=SQLITE_OK );

assert( sqlite3PcacheRefCount(pPager->pPCache)>0 );

break;

}

return 1;

}

#endif /* ifndef NDEBUG */

#ifdef SQLITE_DEBUG

static char *print_pager_state(Pager *p){

static char zRet[1024];

sqlite3_snprintf(1024, zRet,

"Filename: %s\n"

"State: %s errCode=%d\n"

"Lock: %s\n"

"Locking mode: locking_mode=%s\n"

"Journal mode: journal_mode=%s\n"

"Backing store: tempFile=%d memDb=%d useJournal=%d\n"

"Journal: journalOff=%lld journalHdr=%lld\n"

"Size: dbsize=%d dbOrigSize=%d dbFileSize=%d\n"

, p->zFilename

, p->eState==PAGER_OPEN ? "OPEN" :

p->eState==PAGER_READER ? "READER" :

p->eState==PAGER_WRITER_LOCKED ? "WRITER_LOCKED" :

p->eState==PAGER_WRITER_CACHEMOD ? "WRITER_CACHEMOD" :

p->eState==PAGER_WRITER_DBMOD ? "WRITER_DBMOD" :

p->eState==PAGER_WRITER_FINISHED ? "WRITER_FINISHED" :

p->eState==PAGER_ERROR ? "ERROR" : "?error?"

, (int)p->errCode

, p->eLock==NO_LOCK ? "NO_LOCK" :

p->eLock==RESERVED_LOCK ? "RESERVED" :

p->eLock==EXCLUSIVE_LOCK ? "EXCLUSIVE" :

p->eLock==SHARED_LOCK ? "SHARED" :

p->eLock==UNKNOWN_LOCK ? "UNKNOWN" : "?error?"

, p->exclusiveMode ? "exclusive" : "normal"

, p->journalMode==PAGER_JOURNALMODE_MEMORY ? "memory" :

p->journalMode==PAGER_JOURNALMODE_OFF ? "off" :

p->journalMode==PAGER_JOURNALMODE_DELETE ? "delete" :

p->journalMode==PAGER_JOURNALMODE_PERSIST ? "persist" :

p->journalMode==PAGER_JOURNALMODE_TRUNCATE ? "truncate" :

p->journalMode==PAGER_JOURNALMODE_WAL ? "wal" : "?error?"

, (int)p->tempFile, (int)p->memDb, (int)p->useJournal

, p->journalOff, p->journalHdr

, (int)p->dbSize, (int)p->dbOrigSize, (int)p->dbFileSize

);

return zRet;

}