R-41554-07046-26036-24381-44399-09525-65119-51842 tcl slt th3 src
The sqlite3_db_filename(D,N) interface returns a pointer to a filename associated with database N of connection D.
th3/cov1/attach04.test:44
/* IMP: R-41554-07046 */
# EVIDENCE-OF: R-41554-07046 The sqlite3_db_filename(D,N) interface # returns a pointer to a filename associated with database N of # connection D.
R-53691-30751-62031-38708-40334-09664-05197-36475 tcl slt th3 src
The main database file has the name "main".
th3/cov1/attach04.test:48
/* IMP: R-53691-30751 */
# EVIDENCE-OF: R-53691-30751 The main database file has the name "main".
R-41640-10889-37891-53855-47925-09375-30702-30304 tcl slt th3 src
The filename returned by this function is the output of the xFullPathname method of the VFS.
th3/cov1/attach04.test:50
/* IMP: R-41640-10889 */
# EVIDENCE-OF: R-41640-10889 The filename returned by this function is # the output of the xFullPathname method of the VFS.
R-42868-39706-29794-00885-30480-27776-00308-11610 tcl slt th3 src
In other words, the filename will be an absolute pathname, even if the filename used to open the database originally was a URI or relative pathname.
th3/cov1/attach04.test:53
/* IMP: R-42868-39706 */
# EVIDENCE-OF: R-42868-39706 In other words, the filename will be an # absolute pathname, even if the filename used to open the database # originally was a URI or relative pathname.