Small. Fast. Reliable.
Choose any three.

SQLite Requirement Matrix Details
libversion.html

Index Summary Markup Original


R-09752-28022-16834-06877-08228-58338-51643-57660 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( strcmp(sqlite3_sourceid(),SQLITE_SOURCE_ID)==0 );
assert( strcmp(sqlite3_libversion(),SQLITE_VERSION)==0 );

th3/th3main.c:724

/* IMP: R-09752-28022 */
# EVIDENCE-OF: R-09752-28022 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(
# strcmp(sqlite3_sourceid(),SQLITE_SOURCE_ID)==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:36

/* 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:42

/* 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:53   th3/th3main.c:732

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

R-63124-39300-47744-26489-17674-09834-33571-10965 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.

src/main.c:47   th3/th3main.c:735

/* IMP: R-63124-39300 */
# EVIDENCE-OF: R-63124-39300 The sqlite3_sourceid() function returns a
# pointer to a string constant whose value is the same as the
# SQLITE_SOURCE_ID C preprocessor macro.