R-61177-47713-20456-53383-60828-21202-49535-63505 tcl slt th3 src
The sqlite3_vfs_find() interface returns a pointer to a VFS given its name.
th3/req1/vfs01.test:33
/* IMP: R-61177-47713 */
# EVIDENCE-OF: R-61177-47713 The sqlite3_vfs_find() interface returns a # pointer to a VFS given its name.
R-52918-29603-61249-39870-15213-51167-58462-10808 tcl slt th3 src
Names are case sensitive.
th3/req1/vfs01.test:46
/* IMP: R-52918-29603 */
# EVIDENCE-OF: R-52918-29603 Names are case sensitive.
R-22782-22472-63620-46521-58776-65513-25083-63478 tcl slt th3 src
Names are zero-terminated UTF-8 strings.
th3/req1/vfs01.test:48
/* IMP: R-22782-22472 */
# EVIDENCE-OF: R-22782-22472 Names are zero-terminated UTF-8 strings.
R-19515-61262-57142-56165-47391-12804-63366-22975 tcl slt th3 src
If there is no match, a NULL pointer is returned.
th3/req1/vfs01.test:50
/* IMP: R-19515-61262 */
# EVIDENCE-OF: R-19515-61262 If there is no match, a NULL pointer is # returned.
R-54918-11103-44275-41655-39625-25925-11501-45553 tcl slt th3 src
If zVfsName is NULL then the default VFS is returned.
th3/req1/vfs01.test:60
/* IMP: R-54918-11103 */
# EVIDENCE-OF: R-54918-11103 If zVfsName is NULL then the default VFS is # returned.
R-27702-51733-15398-16850-47606-12840-18480-45806 tcl slt th3 src
New VFSes are registered with sqlite3_vfs_register().
th3/req1/vfs01.test:18
/* IMP: R-27702-51733 */
# EVIDENCE-OF: R-27702-51733 New VFSes are registered with # sqlite3_vfs_register().
R-03529-13145-61172-45991-35853-35097-63918-09520 tcl slt th3 src
Each new VFS becomes the default VFS if the makeDflt flag is set.
th3/req1/vfs01.test:67
/* IMP: R-03529-13145 */
# EVIDENCE-OF: R-03529-13145 Each new VFS becomes the default VFS if the # makeDflt flag is set.
R-55438-03590-29197-39620-12271-07480-54322-54101 tcl slt th3 src
The same VFS can be registered multiple times without injury.
th3/req1/vfs01.test:70
/* IMP: R-55438-03590 */
# EVIDENCE-OF: R-55438-03590 The same VFS can be registered multiple # times without injury.
R-28170-10886-01228-38547-37735-16350-02783-15797 tcl slt th3 src
To make an existing VFS into the default VFS, register it again with the makeDflt flag set.
th3/req1/vfs01.test:73
/* IMP: R-28170-10886 */
# EVIDENCE-OF: R-28170-10886 To make an existing VFS into the default # VFS, register it again with the makeDflt flag set.
R-20210-23164-18665-04349-57984-05045-09964-53374 tcl slt th3 src
Unregister a VFS with the sqlite3_vfs_unregister() interface.
th3/req1/vfs01.test:85
/* IMP: R-20210-23164 */
# EVIDENCE-OF: R-20210-23164 Unregister a VFS with the # sqlite3_vfs_unregister() interface.
R-51358-63229-53880-11808-10105-25877-37226-63676 tcl slt th3 src
If the default VFS is unregistered, another VFS is chosen as the default. The choice for the new VFS is arbitrary.
th3/req1/vfs01.test:88
/* IMP: R-51358-63229 */
# EVIDENCE-OF: R-51358-63229 If the default VFS is unregistered, another # VFS is chosen as the default. The choice for the new VFS is arbitrary.