[
  {
    "function_name": "sqlite3PagerDirectReadOk",
    "function_signature": "int sqlite3PagerDirectReadOk(Pager *pPager, Pgno pgno)",
    "test_filename": "tests_pager_sqlite3PagerDirectReadOk.c"
  },
  {
    "function_name": "assert_pager_state",
    "function_signature": "static int assert_pager_state(Pager *p)",
    "test_filename": "tests_pager_assert_pager_state.c"
  },
  {
    "function_name": "setGetterMethod",
    "function_signature": "static void setGetterMethod(Pager *pPager)",
    "test_filename": "tests_pager_setGetterMethod.c"
  },
  {
    "function_name": "subjRequiresPage",
    "function_signature": "static int subjRequiresPage(PgHdr *pPg)",
    "test_filename": "tests_pager_subjRequiresPage.c"
  },
  {
    "function_name": "pagerUnlockDb",
    "function_signature": "static int pagerUnlockDb(Pager *pPager, int eLock)",
    "test_filename": "tests_pager_pagerUnlockDb.c"
  },
  {
    "function_name": "pagerLockDb",
    "function_signature": "static int pagerLockDb(Pager *pPager, int eLock)",
    "test_filename": "tests_pager_pagerLockDb.c"
  },
  {
    "function_name": "jrnlBufferSize",
    "function_signature": "static int jrnlBufferSize(Pager *pPager)",
    "test_filename": "tests_pager_jrnlBufferSize.c"
  },
  {
    "function_name": "readSuperJournal",
    "function_signature": "static int readSuperJournal(sqlite3_file *pJrnl, char *zSuper, u64 nSuper)",
    "test_filename": "tests_pager_readSuperJournal.c"
  },
  {
    "function_name": "journalHdrOffset",
    "function_signature": "static i64 journalHdrOffset(Pager *pPager)",
    "test_filename": "tests_pager_journalHdrOffset.c"
  },
  {
    "function_name": "zeroJournalHdr",
    "function_signature": "static int zeroJournalHdr(Pager *pPager, int doTruncate)",
    "test_filename": "tests_pager_zeroJournalHdr.c"
  },
  {
    "function_name": "writeJournalHdr",
    "function_signature": "static int writeJournalHdr(Pager *pPager)",
    "test_filename": "tests_pager_writeJournalHdr.c"
  },
  {
    "function_name": "readJournalHdr",
    "function_signature": "static int readJournalHdr(\n  Pager *pPager,               /* Pager object */\n  int isHot,\n  i64 journalSize,             /* Size of the open journal file in bytes */\n  u32 *pNRec,                  /* OUT: Value read from the nRec field */\n  u32 *pDbSize                 /* OUT: Value of original database size field */\n)",
    "test_filename": "tests_pager_readJournalHdr.c"
  },
  {
    "function_name": "writeSuperJournal",
    "function_signature": "static int writeSuperJournal(Pager *pPager, const char *zSuper)",
    "test_filename": "tests_pager_writeSuperJournal.c"
  },
  {
    "function_name": "releaseAllSavepoints",
    "function_signature": "static void releaseAllSavepoints(Pager *pPager)",
    "test_filename": "tests_pager_releaseAllSavepoints.c"
  },
  {
    "function_name": "addToSavepointBitvecs",
    "function_signature": "static int addToSavepointBitvecs(Pager *pPager, Pgno pgno)",
    "test_filename": "tests_pager_addToSavepointBitvecs.c"
  },
  {
    "function_name": "pager_unlock",
    "function_signature": "static void pager_unlock(Pager *pPager)",
    "test_filename": "tests_pager_pager_unlock.c"
  },
  {
    "function_name": "pager_error",
    "function_signature": "static int pager_error(Pager *pPager, int rc)",
    "test_filename": "tests_pager_pager_error.c"
  },
  {
    "function_name": "pager_end_transaction",
    "function_signature": "static int pager_end_transaction(Pager *pPager, int hasSuper, int bCommit)",
    "test_filename": null
  },
  {
    "function_name": "pagerUnlockAndRollback",
    "function_signature": "static void pagerUnlockAndRollback(Pager *pPager)",
    "test_filename": "tests_pager_pagerUnlockAndRollback.c"
  },
  {
    "function_name": "pager_playback_one_page",
    "function_signature": "static int pager_playback_one_page(\n  Pager *pPager,                /* The pager being played back */\n  i64 *pOffset,                 /* Offset of record to playback */\n  Bitvec *pDone,                /* Bitvec of pages already played back */\n  int isMainJrnl,               /* 1 -> main journal. 0 -> sub-journal. */\n  int isSavepnt                 /* True for a savepoint rollback */\n)",
    "test_filename": "tests_pager_pager_playback_one_page.c"
  },
  {
    "function_name": "pager_delsuper",
    "function_signature": "static int pager_delsuper(Pager *pPager, const char *zSuper)",
    "test_filename": "tests_pager_pager_delsuper.c"
  },
  {
    "function_name": "pager_truncate",
    "function_signature": "static int pager_truncate(Pager *pPager, Pgno nPage)",
    "test_filename": "tests_pager_pager_truncate.c"
  },
  {
    "function_name": "sqlite3SectorSize",
    "function_signature": "int sqlite3SectorSize(sqlite3_file *pFile)",
    "test_filename": "tests_pager_sqlite3SectorSize.c"
  },
  {
    "function_name": "setSectorSize",
    "function_signature": "static void setSectorSize(Pager *pPager)",
    "test_filename": "tests_pager_setSectorSize.c"
  },
  {
    "function_name": "pager_playback",
    "function_signature": "static int pager_playback(Pager *pPager, int isHot)",
    "test_filename": "tests_pager_pager_playback.c"
  },
  {
    "function_name": "readDbPage",
    "function_signature": "static int readDbPage(PgHdr *pPg)",
    "test_filename": "tests_pager_readDbPage.c"
  },
  {
    "function_name": "pager_write_changecounter",
    "function_signature": "static void pager_write_changecounter(PgHdr *pPg)",
    "test_filename": "tests_pager_pager_write_changecounter.c"
  },
  {
    "function_name": "pagerUndoCallback",
    "function_signature": "static int pagerUndoCallback(void *pCtx, Pgno iPg)",
    "test_filename": "tests_pager_pagerUndoCallback.c"
  },
  {
    "function_name": "pagerRollbackWal",
    "function_signature": "static int pagerRollbackWal(Pager *pPager)",
    "test_filename": "tests_pager_pagerRollbackWal.c"
  },
  {
    "function_name": "pagerWalFrames",
    "function_signature": "static int pagerWalFrames(\n  Pager *pPager,                  /* Pager object */\n  PgHdr *pList,                   /* List of frames to log */\n  Pgno nTruncate,                 /* Database size after this commit */\n  int isCommit                    /* True if this is a commit */\n)",
    "test_filename": "tests_pager_pagerWalFrames.c"
  },
  {
    "function_name": "pagerBeginReadTransaction",
    "function_signature": "static int pagerBeginReadTransaction(Pager *pPager)",
    "test_filename": "tests_pager_pagerBeginReadTransaction.c"
  },
  {
    "function_name": "pagerPagecount",
    "function_signature": "static int pagerPagecount(Pager *pPager, Pgno *pnPage)",
    "test_filename": "tests_pager_pagerPagecount.c"
  },
  {
    "function_name": "pagerOpenWalIfPresent",
    "function_signature": "static int pagerOpenWalIfPresent(Pager *pPager)",
    "test_filename": "tests_pager_pagerOpenWalIfPresent.c"
  },
  {
    "function_name": "pagerPlaybackSavepoint",
    "function_signature": "static int pagerPlaybackSavepoint(Pager *pPager, PagerSavepoint *pSavepoint)",
    "test_filename": "tests_pager_pagerPlaybackSavepoint.c"
  },
  {
    "function_name": "pagerFixMaplimit",
    "function_signature": "static void pagerFixMaplimit(Pager *pPager)",
    "test_filename": "tests_pager_pagerFixMaplimit.c"
  },
  {
    "function_name": "sqlite3PagerSetFlags",
    "function_signature": "void sqlite3PagerSetFlags(\n  Pager *pPager,        /* The pager to set safety level for */\n  unsigned pgFlags      /* Various flags */\n)",
    "test_filename": "tests_pager_sqlite3PagerSetFlags.c"
  },
  {
    "function_name": "pagerOpentemp",
    "function_signature": "static int pagerOpentemp(\n  Pager *pPager,        /* The pager object */\n  sqlite3_file *pFile,  /* Write the file descriptor here */\n  int vfsFlags          /* Flags passed through to the VFS */\n)",
    "test_filename": "tests_pager_pagerOpentemp.c"
  },
  {
    "function_name": "sqlite3PagerSetBusyHandler",
    "function_signature": "void sqlite3PagerSetBusyHandler(\n  Pager *pPager,                       /* Pager object */\n  int (*xBusyHandler)(void *),         /* Pointer to busy-handler function */\n  void *pBusyHandlerArg                /* Argument to pass to xBusyHandler */\n)",
    "test_filename": "tests_pager_sqlite3PagerSetBusyHandler.c"
  },
  {
    "function_name": "sqlite3PagerSetPagesize",
    "function_signature": "int sqlite3PagerSetPagesize(Pager *pPager, u32 *pPageSize, int nReserve)",
    "test_filename": "tests_pager_sqlite3PagerSetPagesize.c"
  },
  {
    "function_name": "sqlite3PagerMaxPageCount",
    "function_signature": "Pgno sqlite3PagerMaxPageCount(Pager *pPager, Pgno mxPage)",
    "test_filename": "tests_pager_sqlite3PagerMaxPageCount.c"
  },
  {
    "function_name": "sqlite3PagerReadFileheader",
    "function_signature": "int sqlite3PagerReadFileheader(Pager *pPager, int N, unsigned char *pDest)",
    "test_filename": "tests_pager_sqlite3PagerReadFileheader.c"
  },
  {
    "function_name": "pager_wait_on_lock",
    "function_signature": "static int pager_wait_on_lock(Pager *pPager, int locktype)",
    "test_filename": "tests_pager_pager_wait_on_lock.c"
  },
  {
    "function_name": "assertTruncateConstraintCb",
    "function_signature": "static void assertTruncateConstraintCb(PgHdr *pPg)",
    "test_filename": "tests_pager_assertTruncateConstraintCb.c"
  },
  {
    "function_name": "sqlite3PagerTruncateImage",
    "function_signature": "void sqlite3PagerTruncateImage(Pager *pPager, Pgno nPage)",
    "test_filename": "tests_pager_sqlite3PagerTruncateImage.c"
  },
  {
    "function_name": "pagerSyncHotJournal",
    "function_signature": "static int pagerSyncHotJournal(Pager *pPager)",
    "test_filename": "tests_pager_pagerSyncHotJournal.c"
  },
  {
    "function_name": "pagerAcquireMapPage",
    "function_signature": "static int pagerAcquireMapPage(\n  Pager *pPager,                  /* Pager object */\n  Pgno pgno,                      /* Page number */\n  void *pData,                    /* xFetch()'d data for this page */\n  PgHdr **ppPage                  /* OUT: Acquired page object */\n)",
    "test_filename": "tests_pager_pagerAcquireMapPage.c"
  },
  {
    "function_name": "databaseIsUnmoved",
    "function_signature": "static int databaseIsUnmoved(Pager *pPager)",
    "test_filename": "tests_pager_databaseIsUnmoved.c"
  },
  {
    "function_name": "sqlite3PagerClose",
    "function_signature": "int sqlite3PagerClose(Pager *pPager, sqlite3 *db)",
    "test_filename": "tests_pager_sqlite3PagerClose.c"
  },
  {
    "function_name": "syncJournal",
    "function_signature": "static int syncJournal(Pager *pPager, int newHdr)",
    "test_filename": "tests_pager_syncJournal.c"
  },
  {
    "function_name": "pager_write_pagelist",
    "function_signature": "static int pager_write_pagelist(Pager *pPager, PgHdr *pList)",
    "test_filename": "tests_pager_pager_write_pagelist.c"
  },
  {
    "function_name": "openSubJournal",
    "function_signature": "static int openSubJournal(Pager *pPager)",
    "test_filename": "tests_pager_openSubJournal.c"
  },
  {
    "function_name": "subjournalPage",
    "function_signature": "static int subjournalPage(PgHdr *pPg)",
    "test_filename": "tests_pager_subjournalPage.c"
  },
  {
    "function_name": "pagerStress",
    "function_signature": "static int pagerStress(void *p, PgHdr *pPg)",
    "test_filename": "tests_pager_pagerStress.c"
  },
  {
    "function_name": "sqlite3PagerFlush",
    "function_signature": "int sqlite3PagerFlush(Pager *pPager)",
    "test_filename": "tests_pager_sqlite3PagerFlush.c"
  },
  {
    "function_name": "sqlite3PagerOpen",
    "function_signature": "int sqlite3PagerOpen(\n  sqlite3_vfs *pVfs,       /* The virtual file system to use */\n  Pager **ppPager,         /* OUT: Return the Pager structure here */\n  const char *zFilename,   /* Name of the database file to open */\n  int nExtra,              /* Extra bytes append to each in-memory page */\n  int flags,               /* flags controlling this file */\n  int vfsFlags,            /* flags passed through to sqlite3_vfs.xOpen() */\n  void (*xReinit)(DbPage*) /* Function to reinitialize pages */\n)",
    "test_filename": "tests_pager_sqlite3PagerOpen.c"
  },
  {
    "function_name": "hasHotJournal",
    "function_signature": "static int hasHotJournal(Pager *pPager, int *pExists)",
    "test_filename": "tests_pager_hasHotJournal.c"
  },
  {
    "function_name": "sqlite3PagerSharedLock",
    "function_signature": "int sqlite3PagerSharedLock(Pager *pPager)",
    "test_filename": "tests_pager_sqlite3PagerSharedLock.c"
  },
  {
    "function_name": "getPageNormal",
    "function_signature": "static int getPageNormal(\n  Pager *pPager,      /* The pager open on the database file */\n  Pgno pgno,          /* Page number to fetch */\n  DbPage **ppPage,    /* Write a pointer to the page here */\n  int flags           /* PAGER_GET_XXX flags */\n)",
    "test_filename": "tests_pager_getPageNormal.c"
  },
  {
    "function_name": "getPageMMap",
    "function_signature": "static int getPageMMap(\n  Pager *pPager,      /* The pager open on the database file */\n  Pgno pgno,          /* Page number to fetch */\n  DbPage **ppPage,    /* Write a pointer to the page here */\n  int flags           /* PAGER_GET_XXX flags */\n)",
    "test_filename": "tests_pager_getPageMMap.c"
  },
  {
    "function_name": "getPageError",
    "function_signature": "static int getPageError(\n  Pager *pPager,      /* The pager open on the database file */\n  Pgno pgno,          /* Page number to fetch */\n  DbPage **ppPage,    /* Write a pointer to the page here */\n  int flags           /* PAGER_GET_XXX flags */\n)",
    "test_filename": "tests_pager_getPageError.c"
  },
  {
    "function_name": "sqlite3PagerGet",
    "function_signature": "int sqlite3PagerGet(\n  Pager *pPager,      /* The pager open on the database file */\n  Pgno pgno,          /* Page number to fetch */\n  DbPage **ppPage,    /* Write a pointer to the page here */\n  int flags           /* PAGER_GET_XXX flags */\n)",
    "test_filename": "tests_pager_sqlite3PagerGet.c"
  },
  {
    "function_name": "sqlite3PagerUnrefNotNull",
    "function_signature": "void sqlite3PagerUnrefNotNull(DbPage *pPg)",
    "test_filename": "tests_pager_sqlite3PagerUnrefNotNull.c"
  },
  {
    "function_name": "pager_open_journal",
    "function_signature": "static int pager_open_journal(Pager *pPager)",
    "test_filename": "tests_pager_pager_open_journal.c"
  },
  {
    "function_name": "sqlite3PagerBegin",
    "function_signature": "int sqlite3PagerBegin(Pager *pPager, int exFlag, int subjInMemory)",
    "test_filename": "tests_pager_sqlite3PagerBegin.c"
  },
  {
    "function_name": "pagerAddPageToRollbackJournal",
    "function_signature": "static SQLITE_NOINLINE int pagerAddPageToRollbackJournal(PgHdr *pPg)",
    "test_filename": "tests_pager_pagerAddPageToRollbackJournal.c"
  },
  {
    "function_name": "pager_write",
    "function_signature": "static int pager_write(PgHdr *pPg)",
    "test_filename": "tests_pager_pager_write.c"
  },
  {
    "function_name": "pagerWriteLargeSector",
    "function_signature": "static SQLITE_NOINLINE int pagerWriteLargeSector(PgHdr *pPg)",
    "test_filename": "tests_pager_pagerWriteLargeSector.c"
  },
  {
    "function_name": "sqlite3PagerWrite",
    "function_signature": "int sqlite3PagerWrite(PgHdr *pPg)",
    "test_filename": "tests_pager_sqlite3PagerWrite.c"
  },
  {
    "function_name": "sqlite3PagerDontWrite",
    "function_signature": "void sqlite3PagerDontWrite(PgHdr *pPg)",
    "test_filename": "tests_pager_sqlite3PagerDontWrite.c"
  },
  {
    "function_name": "pager_incr_changecounter",
    "function_signature": "static int pager_incr_changecounter(Pager *pPager, int isDirectMode)",
    "test_filename": "tests_pager_pager_incr_changecounter.c"
  },
  {
    "function_name": "sqlite3PagerSync",
    "function_signature": "int sqlite3PagerSync(Pager *pPager, const char *zSuper)",
    "test_filename": "tests_pager_sqlite3PagerSync.c"
  },
  {
    "function_name": "sqlite3PagerExclusiveLock",
    "function_signature": "int sqlite3PagerExclusiveLock(Pager *pPager)",
    "test_filename": "tests_pager_sqlite3PagerExclusiveLock.c"
  },
  {
    "function_name": "sqlite3PagerCommitPhaseOne",
    "function_signature": "int sqlite3PagerCommitPhaseOne(\n  Pager *pPager,                  /* Pager object */\n  const char *zSuper,            /* If not NULL, the super-journal name */\n  int noSync                      /* True to omit the xSync on the db file */\n)",
    "test_filename": "tests_pager_sqlite3PagerCommitPhaseOne.c"
  },
  {
    "function_name": "sqlite3PagerCommitPhaseTwo",
    "function_signature": "int sqlite3PagerCommitPhaseTwo(Pager *pPager)",
    "test_filename": "tests_pager_sqlite3PagerCommitPhaseTwo.c"
  },
  {
    "function_name": "sqlite3PagerRollback",
    "function_signature": "int sqlite3PagerRollback(Pager *pPager)",
    "test_filename": "tests_pager_sqlite3PagerRollback.c"
  },
  {
    "function_name": "sqlite3PagerCacheStat",
    "function_signature": "void sqlite3PagerCacheStat(Pager *pPager, int eStat, int reset, u64 *pnVal)",
    "test_filename": "tests_pager_sqlite3PagerCacheStat.c"
  },
  {
    "function_name": "pagerOpenSavepoint",
    "function_signature": "static SQLITE_NOINLINE int pagerOpenSavepoint(Pager *pPager, int nSavepoint)",
    "test_filename": "tests_pager_pagerOpenSavepoint.c"
  },
  {
    "function_name": "sqlite3PagerSavepoint",
    "function_signature": "int sqlite3PagerSavepoint(Pager *pPager, int op, int iSavepoint)",
    "test_filename": "tests_pager_sqlite3PagerSavepoint.c"
  },
  {
    "function_name": "sqlite3PagerMovepage",
    "function_signature": "int sqlite3PagerMovepage(Pager *pPager, DbPage *pPg, Pgno pgno, int isCommit)",
    "test_filename": "tests_pager_sqlite3PagerMovepage.c"
  },
  {
    "function_name": "sqlite3PagerLockingMode",
    "function_signature": "int sqlite3PagerLockingMode(Pager *pPager, int eMode)",
    "test_filename": "tests_pager_sqlite3PagerLockingMode.c"
  },
  {
    "function_name": "sqlite3PagerSetJournalMode",
    "function_signature": "int sqlite3PagerSetJournalMode(Pager *pPager, int eMode)",
    "test_filename": "tests_pager_sqlite3PagerSetJournalMode.c"
  },
  {
    "function_name": "sqlite3PagerCheckpoint",
    "function_signature": "int sqlite3PagerCheckpoint(\n  Pager *pPager,                  /* Checkpoint on this pager */\n  sqlite3 *db,                    /* Db handle used to check for interrupts */\n  int eMode,                      /* Type of checkpoint */\n  int *pnLog,                     /* OUT: Final number of frames in log */\n  int *pnCkpt                     /* OUT: Final number of checkpointed frames */\n)",
    "test_filename": "tests_pager_sqlite3PagerCheckpoint.c"
  },
  {
    "function_name": "pagerExclusiveLock",
    "function_signature": "static int pagerExclusiveLock(Pager *pPager)",
    "test_filename": "tests_pager_pagerExclusiveLock.c"
  },
  {
    "function_name": "pagerOpenWal",
    "function_signature": "static int pagerOpenWal(Pager *pPager)",
    "test_filename": "tests_pager_pagerOpenWal.c"
  },
  {
    "function_name": "sqlite3PagerOpenWal",
    "function_signature": "int sqlite3PagerOpenWal(\n  Pager *pPager,                  /* Pager object */\n  int *pbOpen                     /* OUT: Set to true if call is a no-op */\n)",
    "test_filename": "tests_pager_sqlite3PagerOpenWal.c"
  },
  {
    "function_name": "sqlite3PagerCloseWal",
    "function_signature": "int sqlite3PagerCloseWal(Pager *pPager, sqlite3 *db)",
    "test_filename": "tests_pager_sqlite3PagerCloseWal.c"
  },
  {
    "function_name": "sqlite3PagerSnapshotOpen",
    "function_signature": "int sqlite3PagerSnapshotOpen(\n  Pager *pPager,\n  sqlite3_snapshot *pSnapshot\n)",
    "test_filename": "tests_pager_sqlite3PagerSnapshotOpen.c"
  }
]