*** DRAFT ***

SQLite Requirement Matrix Details
rescode.html

Index Summary Markup Original


R-38229-40159-56776-58417-62683-03427-34499-02992 tcl slt th3 src

If the callback function to sqlite3_exec() returns non-zero, then sqlite3_exec() will return SQLITE_ABORT.

src/legacy.c:100   th3/cov1/legacy01.test:129

/* IMP: R-38229-40159 */
# EVIDENCE-OF: R-38229-40159 If the callback function to sqlite3_exec()
# returns non-zero, then sqlite3_exec() will return SQLITE_ABORT.

R-04813-32302-43211-64289-53860-58512-13652-55013 tcl slt th3 src

If a ROLLBACK operation occurs on the same database connection as a pending read or write, then the pending read or write may fail with an SQLITE_ABORT or SQLITE_ABORT_ROLLBACK error.

th3/cov1/vdbe14.test:26

/* IMP: R-04813-32302 */
# EVIDENCE-OF: R-04813-32302 If a ROLLBACK operation occurs on the same
# database connection as a pending read or write, then the pending read
# or write may fail with an SQLITE_ABORT or SQLITE_ABORT_ROLLBACK error.

R-31877-46991-26033-20819-54780-54256-64426-46176 tcl slt th3 src

In addition to being a result code, the SQLITE_ABORT value is also used as a conflict resolution mode returned from the sqlite3_vtab_on_conflict() interface.

th3/cov1/vtab04.test:300   th3/cov1/vtab07.test:235

/* IMP: R-31877-46991 */
# EVIDENCE-OF: R-31877-46991 In addition to being a result code, the
# SQLITE_ABORT value is also used as a conflict resolution mode returned
# from the sqlite3_vtab_on_conflict() interface.

R-37390-56181-43004-09239-55854-05379-58019-03084 tcl slt th3 src

Pending write operations always fail with this error when a rollback occurs.

/* IMP: R-37390-56181 */
# EVIDENCE-OF: R-37390-56181 Pending write operations always fail with
# this error when a rollback occurs.

R-59451-39147-41115-01514-52343-04781-09357-36534 tcl slt th3 src

A ROLLBACK will cause a pending read operation to fail only if the schema was changed within the transaction being rolled back.

/* IMP: R-59451-39147 */
# EVIDENCE-OF: R-59451-39147 A ROLLBACK will cause a pending read
# operation to fail only if the schema was changed within the
# transaction being rolled back.