*** DRAFT ***

SQLite Requirement Matrix Details
libversion.html

Index Summary Markup Original

R-47112-45289-11795-12854-05038-48584-59127-00440 tcl slt th3 src

Cautious programmers might include assert() statements in their application to verify that values returned by these interfaces match the macros in the header, and thus ensure that the application is compiled with matching library and header files.

assert( sqlite3_libversion_number()==SQLITE_VERSION_NUMBER );
assert( strncmp(sqlite3_sourceid(),SQLITE_SOURCE_ID,80)==0 );
assert( strcmp(sqlite3_libversion(),SQLITE_VERSION)==0 );

th3/th3main.c:836

/* IMP: R-47112-45289 */

# EVIDENCE-OF: R-47112-45289 Cautious programmers might include assert()
# statements in their application to verify that values returned by
# these interfaces match the macros in the header, and thus ensure that
# the application is compiled with matching library and header files.
# assert( sqlite3_libversion_number()==SQLITE_VERSION_NUMBER ); assert(
# strncmp(sqlite3_sourceid(),SQLITE_SOURCE_ID,80)==0 ); assert(
# strcmp(sqlite3_libversion(),SQLITE_VERSION)==0 );

R-46656-45156-45910-65271-53395-31310-28369-14407 tcl slt th3 src

The sqlite3_version[] string constant contains the text of SQLITE_VERSION macro.

src/main.c:99

/* IMP: R-46656-45156 */

# EVIDENCE-OF: R-46656-45156 The sqlite3_version[] string constant
# contains the text of SQLITE_VERSION macro.

R-53536-42575-40544-57743-11521-12112-01903-53371 tcl slt th3 src

The sqlite3_libversion() function returns a pointer to the to the sqlite3_version[] string constant.

src/main.c:105

/* IMP: R-53536-42575 */

# EVIDENCE-OF: R-53536-42575 The sqlite3_libversion() function returns a
# pointer to the to the sqlite3_version[] string constant.

R-35210-63508-42678-48683-05229-58965-46588-04293 tcl slt th3 src

The sqlite3_libversion_number() function returns an integer equal to SQLITE_VERSION_NUMBER.

src/main.c:118 th3/th3main.c:844

/* IMP: R-35210-63508 */

# EVIDENCE-OF: R-35210-63508 The sqlite3_libversion_number() function
# returns an integer equal to SQLITE_VERSION_NUMBER.

R-25063-23286-45841-01783-39001-22838-28482-44286 tcl slt th3 src

The sqlite3_sourceid() function returns a pointer to a string constant whose value is the same as the SQLITE_SOURCE_ID C preprocessor macro. Except if SQLite is built using an edited copy of the amalgamation, then the last four characters of the hash might be different from SQLITE_SOURCE_ID.

src/main.c:110 th3/th3main.c:847

/* IMP: R-25063-23286 */

# EVIDENCE-OF: R-25063-23286 The sqlite3_sourceid() function returns a
# pointer to a string constant whose value is the same as the
# SQLITE_SOURCE_ID C preprocessor macro. Except if SQLite is built using
# an edited copy of the amalgamation, then the last four characters of
# the hash might be different from SQLITE_SOURCE_ID.

SQLite Requirement Matrix Details libversion.html

Index Summary Markup Original

SQLite Requirement Matrix Details
libversion.html