*** DRAFT ***

SQLite Requirement Matrix Details
memory_highwater.html

Index Summary Markup Original


R-13307-42286-48132-20191-27230-43917-16761-31093 tcl slt th3 src

The sqlite3_memory_used() routine returns the number of bytes of memory currently outstanding (malloced but not freed).

/* IMP: R-13307-42286 */
# EVIDENCE-OF: R-13307-42286 The sqlite3_memory_used() routine returns
# the number of bytes of memory currently outstanding (malloced but not
# freed).

R-19454-21689-24466-55871-29604-18048-60005-14723 tcl slt th3 src

The sqlite3_memory_highwater() routine returns the maximum value of sqlite3_memory_used() since the high-water mark was last reset.

/* IMP: R-19454-21689 */
# EVIDENCE-OF: R-19454-21689 The sqlite3_memory_highwater() routine
# returns the maximum value of sqlite3_memory_used() since the
# high-water mark was last reset.

R-01099-23153-64353-38789-60475-21260-04733-65290 tcl slt th3 src

The values returned by sqlite3_memory_used() and sqlite3_memory_highwater() include any overhead added by SQLite in its implementation of sqlite3_malloc(), but not overhead added by the any underlying system library routines that sqlite3_malloc() may call.

/* IMP: R-01099-23153 */
# EVIDENCE-OF: R-01099-23153 The values returned by
# sqlite3_memory_used() and sqlite3_memory_highwater() include any
# overhead added by SQLite in its implementation of sqlite3_malloc(),
# but not overhead added by the any underlying system library routines
# that sqlite3_malloc() may call.

R-55673-47845-33764-15957-40467-43694-47305-60720 tcl slt th3 src

The memory high-water mark is reset to the current value of sqlite3_memory_used() if and only if the parameter to sqlite3_memory_highwater() is true.

/* IMP: R-55673-47845 */
# EVIDENCE-OF: R-55673-47845 The memory high-water mark is reset to the
# current value of sqlite3_memory_used() if and only if the parameter to
# sqlite3_memory_highwater() is true.

R-35268-31914-29013-65007-60500-40286-59986-01540 tcl slt th3 src

The value returned by sqlite3_memory_highwater(1) is the high-water mark prior to the reset.

/* IMP: R-35268-31914 */
# EVIDENCE-OF: R-35268-31914 The value returned by
# sqlite3_memory_highwater(1) is the high-water mark prior to the reset.