*** DRAFT ***

SQLite Requirement Matrix Details
finalize.html

Index Summary Markup Original


R-64017-26165-55276-08272-52106-53519-03640-42248 tcl slt th3 src

The sqlite3_finalize() function is called to delete a prepared statement.

th3/req1/finalize01.test:9

/* IMP: R-64017-26165 */
# EVIDENCE-OF: R-64017-26165 The sqlite3_finalize() function is called
# to delete a prepared statement.

R-60334-12880-45954-16548-05057-35188-10924-38811 tcl slt th3 src

If the most recent evaluation of the statement encountered no errors or if the statement is never been evaluated, then sqlite3_finalize() returns SQLITE_OK.

th3/req1/finalize01.test:33

/* IMP: R-60334-12880 */
# EVIDENCE-OF: R-60334-12880 If the most recent evaluation of the
# statement encountered no errors or if the statement is never been
# evaluated, then sqlite3_finalize() returns SQLITE_OK.

R-44557-40871-19236-56089-26171-47416-20797-60193 tcl slt th3 src

If the most recent evaluation of statement S failed, then sqlite3_finalize(S) returns the appropriate error code or extended error code.

th3/req1/finalize01.test:62

/* IMP: R-44557-40871 */
# EVIDENCE-OF: R-44557-40871 If the most recent evaluation of statement
# S failed, then sqlite3_finalize(S) returns the appropriate error code
# or extended error code.

R-61854-19914-11596-34735-37969-17089-57602-12373 tcl slt th3 src

The sqlite3_finalize(S) routine can be called at any point during the life cycle of prepared statement S: before statement S is ever evaluated, after one or more calls to sqlite3_reset(), or after any call to sqlite3_step() regardless of whether or not the statement has completed execution.

th3/req1/finalize01.test:99

/* IMP: R-61854-19914 */
# EVIDENCE-OF: R-61854-19914 The sqlite3_finalize(S) routine can be
# called at any point during the life cycle of prepared statement S:
# before statement S is ever evaluated, after one or more calls to
# sqlite3_reset(), or after any call to sqlite3_step() regardless of
# whether or not the statement has completed execution.

R-57228-12904-01956-10826-41205-44004-37932-17124 tcl slt th3 src

Invoking sqlite3_finalize() on a NULL pointer is a harmless no-op.

src/vdbeapi.c:100   th3/req1/finalize01.test:139

/* IMP: R-57228-12904 */
# EVIDENCE-OF: R-57228-12904 Invoking sqlite3_finalize() on a NULL
# pointer is a harmless no-op.