sqlite / injectable_functions /pager_injectable_functions.json
AryaWu's picture
Upload folder using huggingface_hub
7510827 verified
[
{
"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"
}
]