win32/sql/sqlite/include/sqlite3.h - diff

Return to sqlite3.h CVS log

Up to [parser3project] / win32 / sql / sqlite / include

Diff for /win32/sql/sqlite/include/sqlite3.h between versions 1.2 and 1.4

-version 1.2, 2007/10/25 17:01:38
+version 1.4, 2008/04/09 14:16:05
  Line 63  extern "C" {
  #endif
  /*
- ** CAPI3REF: Compile-Time Library Version Numbers
+ ** CAPI3REF: Compile-Time Library Version Numbers {F10010}
  **
- ** The version of the SQLite library is contained in the sqlite3.h
+ ** The SQLITE_VERSION and SQLITE_VERSION_NUMBER #defines in
- ** header file in a #define named SQLITE_VERSION.  The SQLITE_VERSION
+ ** the sqlite3.h file specify the version of SQLite with which
- ** macro resolves to a string constant.
+ ** that header file is associated.
  **
- ** The format of the version string is "X.Y.Z", where
+ ** The "version" of SQLite is a string of the form "X.Y.Z".
- ** X is the major version number, Y is the minor version number and Z
+ ** The phrase "alpha" or "beta" might be appended after the Z.
- ** is the release number.  The X.Y.Z might be followed by "alpha" or "beta".
+ ** The X value is major version number always 3 in SQLite3.
- ** For example "3.1.1beta".
+ ** The X value only changes when  backwards compatibility is
- **
+ ** broken and we intend to never break
- ** The X value is always 3 in SQLite.  The X value only changes when
+ ** backwards compatibility.  The Y value is the minor version
- ** backwards compatibility is broken and we intend to never break
+ ** number and only changes when
- ** backwards compatibility.  The Y value only changes when
  ** there are major feature enhancements that are forwards compatible
- ** but not backwards compatible.  The Z value is incremented with
+ ** but not backwards compatible.  The Z value is release number
+ ** and is incremented with
  ** each release but resets back to 0 when Y is incremented.
  **
- ** The SQLITE_VERSION_NUMBER is an integer with the value
- ** (X*1000000 + Y*1000 + Z). For example, for version "3.1.1beta",
- ** SQLITE_VERSION_NUMBER is set to 3001001. To detect if they are using
- ** version 3.1.1 or greater at compile time, programs may use the test
- ** (SQLITE_VERSION_NUMBER>=3001001).
- **
  ** See also: [sqlite3_libversion()] and [sqlite3_libversion_number()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F10011} The SQLITE_VERSION #define in the sqlite3.h header file
+ **          evaluates to a string literal that is the SQLite version
+ **          with which the header file is associated.
+ **
+ ** {F10014} The SQLITE_VERSION_NUMBER #define resolves to an integer
+ **          with the value  (X*1000000 + Y*1000 + Z) where X, Y, and
+ **          Z are the major version, minor version, and release number.
  */
- #define SQLITE_VERSION         "3.5.1"
+ #define SQLITE_VERSION         "3.5.7"
- #define SQLITE_VERSION_NUMBER 3005001
+ #define SQLITE_VERSION_NUMBER  3005007
  /*
- ** CAPI3REF: Run-Time Library Version Numbers
+ ** CAPI3REF: Run-Time Library Version Numbers {F10020}
+ ** KEYWORDS: sqlite3_version
+ **
+ ** These features provide the same information as the [SQLITE_VERSION]
+ ** and [SQLITE_VERSION_NUMBER] #defines in the header, but are associated
+ ** with the library instead of the header file.  Cautious programmers might
+ ** include a check in their application to verify that
+ ** sqlite3_libversion_number() always returns the value
+ ** [SQLITE_VERSION_NUMBER].
  **
- ** These routines return values equivalent to the header constants
+ ** The sqlite3_libversion() function returns the same information as is
- ** [SQLITE_VERSION] and [SQLITE_VERSION_NUMBER].  The values returned
+ ** in the sqlite3_version[] string constant.  The function is provided
- ** by this routines should only be different from the header values
+ ** for use in DLLs since DLL users usually do not have direct access to string
- ** if you compile your program using an sqlite3.h header from a
- ** different version of SQLite that the version of the library you
- ** link against.
- **
- ** The sqlite3_version[] string constant contains the text of the
- ** [SQLITE_VERSION] string.  The sqlite3_libversion() function returns
- ** a poiner to the sqlite3_version[] string constant.  The function
- ** is provided for DLL users who can only access functions and not
  ** constants within the DLL.
+ **
+ ** INVARIANTS:
+ **
+ ** {F10021} The [sqlite3_libversion_number()] interface returns an integer
+ **          equal to [SQLITE_VERSION_NUMBER].
+ **
+ ** {F10022} The [sqlite3_version] string constant contains the text of the
+ **          [SQLITE_VERSION] string.
+ **
+ ** {F10023} The [sqlite3_libversion()] function returns
+ **          a pointer to the [sqlite3_version] string constant.
  */
  SQLITE_EXTERN const char sqlite3_version[];
  const char *sqlite3_libversion(void);
  int sqlite3_libversion_number(void);
  /*
- ** CAPI3REF: Test To See If The Library Is Threadsafe
+ ** CAPI3REF: Test To See If The Library Is Threadsafe {F10100}
  **
- ** This routine returns TRUE (nonzero) if SQLite was compiled with
+ ** SQLite can be compiled with or without mutexes.  When
- ** all of its mutexes enabled and is thus threadsafe.  It returns
+ ** the SQLITE_THREADSAFE C preprocessor macro is true, mutexes
- ** zero if the particular build is for single-threaded operation
+ ** are enabled and SQLite is threadsafe.  When that macro is false,
- ** only.
+ ** the mutexes are omitted.  Without the mutexes, it is not safe
- **
+ ** to use SQLite from more than one thread.
- ** Really all this routine does is return true if SQLite was compiled
+ **
- ** with the -DSQLITE_THREADSAFE=1 option and false if
+ ** There is a measurable performance penalty for enabling mutexes.
- ** compiled with -DSQLITE_THREADSAFE=0.  If SQLite uses an
+ ** So if speed is of utmost importance, it makes sense to disable
- ** application-defined mutex subsystem, malloc subsystem, collating
+ ** the mutexes.  But for maximum safety, mutexes should be enabled.
- ** sequence, VFS, SQL function, progress callback, commit hook,
+ ** The default behavior is for mutexes to be enabled.
- ** extension, or other accessories and these add-ons are not
+ **
- ** threadsafe, then clearly the combination will not be threadsafe
+ ** This interface can be used by a program to make sure that the
- ** either.  Hence, this routine never reports that the library
+ ** version of SQLite that it is linking against was compiled with
- ** is guaranteed to be threadsafe, only when it is guaranteed not
+ ** the desired setting of the SQLITE_THREADSAFE macro.
- ** to be.
+ **
- **
+ ** INVARIANTS:
- ** This is an experimental API and may go away or change in future
+ **
- ** releases.
+ ** {F10101} The [sqlite3_threadsafe()] function returns nonzero if
+ **          SQLite was compiled with its mutexes enabled or zero
+ **          if SQLite was compiled with mutexes disabled.
  */
  int sqlite3_threadsafe(void);
  /*
- ** CAPI3REF: Database Connection Handle
+ ** CAPI3REF: Database Connection Handle {F12000}
+ ** KEYWORDS: {database connection}
  **
  ** Each open SQLite database is represented by pointer to an instance of the
  ** opaque structure named "sqlite3".  It is useful to think of an sqlite3
- Line 152  typedef struct sqlite3 sqlite3;
+ Line 170  typedef struct sqlite3 sqlite3;
  /*
- ** CAPI3REF: 64-Bit Integer Types
+ ** CAPI3REF: 64-Bit Integer Types {F10200}
+ ** KEYWORDS: sqlite_int64 sqlite_uint64
+ **
+ ** Because there is no cross-platform way to specify 64-bit integer types
+ ** SQLite includes typedefs for 64-bit signed and unsigned integers.
+ **
+ ** The sqlite3_int64 and sqlite3_uint64 are the preferred type
+ ** definitions.  The sqlite_int64 and sqlite_uint64 types are
+ ** supported for backwards compatibility only.
+ **
+ ** INVARIANTS:
  **
- ** Some compilers do not support the "long long" datatype.  So we have
+ ** {F10201} The [sqlite_int64] and [sqlite3_int64] types specify a
- ** to do compiler-specific typedefs for 64-bit signed and unsigned integers.
+ **          64-bit signed integer.
  **
- ** Many SQLite interface functions require a 64-bit integer arguments.
+ ** {F10202} The [sqlite_uint64] and [sqlite3_uint64] types specify
- ** Those interfaces are declared using this typedef.
+ **          a 64-bit unsigned integer.
  */
  #ifdef SQLITE_INT64_TYPE
    typedef SQLITE_INT64_TYPE sqlite_int64;
- Line 182  typedef sqlite_uint64 sqlite3_uint64;
+ Line 210  typedef sqlite_uint64 sqlite3_uint64;
  #endif
  /*
- ** CAPI3REF: Closing A Database Connection
+ ** CAPI3REF: Closing A Database Connection {F12010}
+ **
+ ** This routine is the destructor for the [sqlite3] object.
+ **
+ ** Applications should [sqlite3_finalize | finalize] all
+ ** [prepared statements] and
+ ** [sqlite3_blob_close | close] all [sqlite3_blob | BLOBs]
+ ** associated with the [sqlite3] object prior
+ ** to attempting to close the [sqlite3] object.
+ **
+ ** <todo>What happens to pending transactions?  Are they
+ ** rolled back, or abandoned?</todo>
+ **
+ ** INVARIANTS:
  **
- ** Call this function with a pointer to a structure that was previously
+ ** {F12011} The [sqlite3_close()] interface destroys an [sqlite3] object
- ** returned from [sqlite3_open()], [sqlite3_open16()], or
+ **          allocated by a prior call to [sqlite3_open()],
- ** [sqlite3_open_v2()] and the corresponding database will by
+ **          [sqlite3_open16()], or [sqlite3_open_v2()].
- ** closed.
+ **
- **
+ ** {F12012} The [sqlite3_close()] function releases all memory used by the
- ** All SQL statements prepared using [sqlite3_prepare_v2()] or
+ **          connection and closes all open files.
- ** [sqlite3_prepare16_v2()] must be destroyed using [sqlite3_finalize()]
+ **
- ** before this routine is called. Otherwise, SQLITE_BUSY is returned and the
+ ** {F12013} If the database connection contains
- ** database connection remains open.
+ **          [prepared statements] that have not been
- **
+ **          finalized by [sqlite3_finalize()], then [sqlite3_close()]
- ** Passing this routine a database connection that has already been
+ **          returns [SQLITE_BUSY] and leaves the connection open.
- ** closed results in undefined behavior.  If other interfaces that
+ **
- ** reference the same database connection are pending (either in the
+ ** {F12014} Giving sqlite3_close() a NULL pointer is a harmless no-op.
- ** same thread or in different threads) when this routine is called,
+ **
- ** then the behavior is undefined and is almost certainly undesirable.
+ ** LIMITATIONS:
+ **
+ ** {U12015} The parameter to [sqlite3_close()] must be an [sqlite3] object
+ **          pointer previously obtained from [sqlite3_open()] or the
+ **          equivalent, or NULL.
+ **
+ ** {U12016} The parameter to [sqlite3_close()] must not have been previously
+ **          closed.
  */
  int sqlite3_close(sqlite3 *);
- Line 210  int sqlite3_close(sqlite3 *);
+ Line 258  int sqlite3_close(sqlite3 *);
  typedef int (*sqlite3_callback)(void*,int,char**, char**);
  /*
- ** CAPI3REF: One-Step Query Execution Interface
+ ** CAPI3REF: One-Step Query Execution Interface {F12100}
+ **
+ ** The sqlite3_exec() interface is a convenient way of running
+ ** one or more SQL statements without a lot of C code.  The
+ ** SQL statements are passed in as the second parameter to
+ ** sqlite3_exec().  The statements are evaluated one by one
+ ** until either an error or an interrupt is encountered or
+ ** until they are all done.  The 3rd parameter is an optional
+ ** callback that is invoked once for each row of any query results
+ ** produced by the SQL statements.  The 5th parameter tells where
+ ** to write any error messages.
+ **
+ ** The sqlite3_exec() interface is implemented in terms of
+ ** [sqlite3_prepare_v2()], [sqlite3_step()], and [sqlite3_finalize()].
+ ** The sqlite3_exec() routine does nothing that cannot be done
+ ** by [sqlite3_prepare_v2()], [sqlite3_step()], and [sqlite3_finalize()].
+ ** The sqlite3_exec() is just a convenient wrapper.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12101} The [sqlite3_exec()] interface evaluates zero or more UTF-8
+ **          encoded, semicolon-separated, SQL statements in the
+ **          zero-terminated string of its 2nd parameter within the
+ **          context of the [sqlite3] object given in the 1st parameter.
+ **
+ ** {F12104} The return value of [sqlite3_exec()] is SQLITE_OK if all
+ **          SQL statements run successfully.
+ **
+ ** {F12105} The return value of [sqlite3_exec()] is an appropriate
+ **          non-zero error code if any SQL statement fails.
+ **
+ ** {F12107} If one or more of the SQL statements handed to [sqlite3_exec()]
+ **          return results and the 3rd parameter is not NULL, then
+ **          the callback function specified by the 3rd parameter is
+ **          invoked once for each row of result.
+ **
+ ** {F12110} If the callback returns a non-zero value then [sqlite3_exec()]
+ **          will aborted the SQL statement it is currently evaluating,
+ **          skip all subsequent SQL statements, and return [SQLITE_ABORT].
+ **          <todo>What happens to *errmsg here?  Does the result code for
+ **          sqlite3_errcode() get set?</todo>
+ **
+ ** {F12113} The [sqlite3_exec()] routine will pass its 4th parameter through
+ **          as the 1st parameter of the callback.
+ **
+ ** {F12116} The [sqlite3_exec()] routine sets the 2nd parameter of its
+ **          callback to be the number of columns in the current row of
+ **          result.
+ **
+ ** {F12119} The [sqlite3_exec()] routine sets the 3rd parameter of its
+ **          callback to be an array of pointers to strings holding the
+ **          values for each column in the current result set row as
+ **          obtained from [sqlite3_column_text()].
+ **
+ ** {F12122} The [sqlite3_exec()] routine sets the 4th parameter of its
+ **          callback to be an array of pointers to strings holding the
+ **          names of result columns as obtained from [sqlite3_column_name()].
+ **
+ ** {F12125} If the 3rd parameter to [sqlite3_exec()] is NULL then
+ **          [sqlite3_exec()] never invokes a callback.  All query
+ **          results are silently discarded.
+ **
+ ** {F12128} If an error occurs while parsing or evaluating any of the SQL
+ **          statements handed to [sqlite3_exec()] then [sqlite3_exec()] will
+ **          return an [error code] other than [SQLITE_OK].
+ **
+ ** {F12131} If an error occurs while parsing or evaluating any of the SQL
+ **          handed to [sqlite3_exec()] and if the 5th parameter (errmsg)
+ **          to [sqlite3_exec()] is not NULL, then an error message is
+ **          allocated using the equivalent of [sqlite3_mprintf()] and
+ **          *errmsg is made to point to that message.
+ **
+ ** {F12134} The [sqlite3_exec()] routine does not change the value of
+ **          *errmsg if errmsg is NULL or if there are no errors.
+ **
+ ** {F12137} The [sqlite3_exec()] function sets the error code and message
+ **          accessible via [sqlite3_errcode()], [sqlite3_errmsg()], and
+ **          [sqlite3_errmsg16()].
  **
- ** This interface is used to do a one-time evaluatation of zero
+ ** LIMITATIONS:
- ** or more SQL statements.  UTF-8 text of the SQL statements to
- ** be evaluted is passed in as the second parameter.  The statements
- ** are prepared one by one using [sqlite3_prepare()], evaluated
- ** using [sqlite3_step()], then destroyed using [sqlite3_finalize()].
- **
- ** If one or more of the SQL statements are queries, then
- ** the callback function specified by the 3rd parameter is
- ** invoked once for each row of the query result.  This callback
- ** should normally return 0.  If the callback returns a non-zero
- ** value then the query is aborted, all subsequent SQL statements
- ** are skipped and the sqlite3_exec() function returns the [SQLITE_ABORT].
- **
- ** The 4th parameter to this interface is an arbitrary pointer that is
- ** passed through to the callback function as its first parameter.
- **
- ** The 2nd parameter to the callback function is the number of
- ** columns in the query result.  The 3rd parameter to the callback
- ** is an array of strings holding the values for each column
- ** as extracted using [sqlite3_column_text()].
- ** The 4th parameter to the callback is an array of strings
- ** obtained using [sqlite3_column_name()] and holding
- ** the names of each column.
- **
- ** The callback function may be NULL, even for queries.  A NULL
- ** callback is not an error.  It just means that no callback
- ** will be invoked.
- **
- ** If an error occurs while parsing or evaluating the SQL (but
- ** not while executing the callback) then an appropriate error
- ** message is written into memory obtained from [sqlite3_malloc()] and
- ** *errmsg is made to point to that message.  The calling function
- ** is responsible for freeing the memory using [sqlite3_free()].
- ** If errmsg==NULL, then no error message is ever written.
- **
- ** The return value is is SQLITE_OK if there are no errors and
- ** some other [SQLITE_OK | return code] if there is an error.
- ** The particular return value depends on the type of error.
  **
+ ** {U12141} The first parameter to [sqlite3_exec()] must be an valid and open
+ **          [database connection].
+ **
+ ** {U12142} The database connection must not be closed while
+ **          [sqlite3_exec()] is running.
+ **
+ ** {U12143} The calling function is should use [sqlite3_free()] to free
+ **          the memory that *errmsg is left pointing at once the error
+ **          message is no longer needed.
+ **
+ ** {U12145} The SQL statement text in the 2nd parameter to [sqlite3_exec()]
+ **          must remain unchanged while [sqlite3_exec()] is running.
  */
  int sqlite3_exec(
    sqlite3*,                                  /* An open database */
- Line 261  int sqlite3_exec(
+ Line 361  int sqlite3_exec(
  );
  /*
- ** CAPI3REF: Result Codes
+ ** CAPI3REF: Result Codes {F10210}
- ** KEYWORDS: SQLITE_OK
+ ** KEYWORDS: SQLITE_OK {error code} {error codes}
  **
  ** Many SQLite functions return an integer result code from the set shown
- ** above in order to indicates success or failure.
+ ** here in order to indicates success or failure.
- **
- ** The result codes above are the only ones returned by SQLite in its
- ** default configuration.  However, the [sqlite3_extended_result_codes()]
- ** API can be used to set a database connectoin to return more detailed
- ** result codes.
  **
  ** See also: [SQLITE_IOERR_READ | extended result codes]
- **
  */
  #define SQLITE_OK           0   /* Successful result */
  /* beginning-of-error-codes */
  #define SQLITE_ERROR        1   /* SQL error or missing database */
- #define SQLITE_INTERNAL     2   /* NOT USED. Internal logic error in SQLite */
+ #define SQLITE_INTERNAL     2   /* Internal logic error in SQLite */
  #define SQLITE_PERM         3   /* Access permission denied */
  #define SQLITE_ABORT        4   /* Callback routine requested an abort */
  #define SQLITE_BUSY         5   /* The database file is locked */
- Line 308  int sqlite3_exec(
+ Line 402  int sqlite3_exec(
  /* end-of-error-codes */
  /*
- ** CAPI3REF: Extended Result Codes
+ ** CAPI3REF: Extended Result Codes {F10220}
+ ** KEYWORDS: {extended error code} {extended error codes}
+ ** KEYWORDS: {extended result codes}
  **
  ** In its default configuration, SQLite API routines return one of 26 integer
- ** result codes described at result-codes.  However, experience has shown that
+ ** [SQLITE_OK | result codes].  However, experience has shown that
  ** many of these result codes are too course-grained.  They do not provide as
- ** much information about problems as users might like.  In an effort to
+ ** much information about problems as programmers might like.  In an effort to
  ** address this, newer versions of SQLite (version 3.3.8 and later) include
  ** support for additional result codes that provide more detailed information
- ** about errors.  The extended result codes are enabled (or disabled) for
+ ** about errors. The extended result codes are enabled or disabled
- ** each database
+ ** for each database connection using the [sqlite3_extended_result_codes()]
- ** connection using the [sqlite3_extended_result_codes()] API.
+ ** API.
  **
- ** Some of the available extended result codes are listed above.
+ ** Some of the available extended result codes are listed here.
- ** We expect the number of extended result codes will be expand
+ ** One may expect the number of extended result codes will be expand
  ** over time.  Software that uses extended result codes should expect
  ** to see new result codes in future releases of SQLite.
- **
- ** The symbolic name for an extended result code always contains a related
- ** primary result code as a prefix.  Primary result codes contain a single
- ** "_" character.  Extended result codes contain two or more "_" characters.
- ** The numeric value of an extended result code can be converted to its
- ** corresponding primary result code by masking off the lower 8 bytes.
  **
  ** The SQLITE_OK result code will never be extended.  It will always
  ** be exactly zero.
+ **
+ ** INVARIANTS:
+ **
+ ** {F10223} The symbolic name for an extended result code always contains
+ **          a related primary result code as a prefix.
+ **
+ ** {F10224} Primary result code names contain a single "_" character.
+ **
+ ** {F10225} Extended result code names contain two or more "_" characters.
+ **
+ ** {F10226} The numeric value of an extended result code contains the
+ **          numeric value of its corresponding primary result code in
+ **          its least significant 8 bits.
  */
  #define SQLITE_IOERR_READ          (SQLITE_IOERR | (1<<8))
  #define SQLITE_IOERR_SHORT_READ    (SQLITE_IOERR | (2<<8))
- Line 348  int sqlite3_exec(
+ Line 451  int sqlite3_exec(
  #define SQLITE_IOERR_NOMEM         (SQLITE_IOERR | (12<<8))
  /*
- ** CAPI3REF: Flags For File Open Operations
+ ** CAPI3REF: Flags For File Open Operations {F10230}
  **
- ** Combination of the following bit values are used as the
+ ** These bit values are intended for use in the
- ** third argument to the [sqlite3_open_v2()] interface and
+ ** 3rd parameter to the [sqlite3_open_v2()] interface and
- ** as fourth argument to the xOpen method of the
+ ** in the 4th parameter to the xOpen method of the
  ** [sqlite3_vfs] object.
- **
  */
  #define SQLITE_OPEN_READONLY         0x00000001
  #define SQLITE_OPEN_READWRITE        0x00000002
- Line 370  int sqlite3_exec(
+ Line 472  int sqlite3_exec(
  #define SQLITE_OPEN_MASTER_JOURNAL   0x00004000
  /*
- ** CAPI3REF: Device Characteristics
+ ** CAPI3REF: Device Characteristics {F10240}
  **
  ** The xDeviceCapabilities method of the [sqlite3_io_methods]
- ** object returns an integer which is a vector of the following
+ ** object returns an integer which is a vector of the these
  ** bit values expressing I/O characteristics of the mass storage
  ** device that holds the file that the [sqlite3_io_methods]
  ** refers to.
- Line 402  int sqlite3_exec(
+ Line 504  int sqlite3_exec(
  #define SQLITE_IOCAP_SEQUENTIAL      0x00000400
  /*
- ** CAPI3REF: File Locking Levels
+ ** CAPI3REF: File Locking Levels {F10250}
  **
- ** SQLite uses one of the following integer values as the second
+ ** SQLite uses one of these integer values as the second
  ** argument to calls it makes to the xLock() and xUnlock() methods
  ** of an [sqlite3_io_methods] object.
  */
- Line 415  int sqlite3_exec(
+ Line 517  int sqlite3_exec(
  #define SQLITE_LOCK_EXCLUSIVE     4
  /*
- ** CAPI3REF: Synchronization Type Flags
+ ** CAPI3REF: Synchronization Type Flags {F10260}
  **
- ** When SQLite invokes the xSync() method of an [sqlite3_io_methods]
+ ** When SQLite invokes the xSync() method of an
- ** object it uses a combination of the following integer values as
+ ** [sqlite3_io_methods] object it uses a combination of
- ** the second argument.
+ ** these integer values as the second argument.
  **
  ** When the SQLITE_SYNC_DATAONLY flag is used, it means that the
  ** sync operation only needs to flush data to mass storage.  Inode
- ** information need not be flushed.  The SQLITE_SYNC_NORMAL means
+ ** information need not be flushed. The SQLITE_SYNC_NORMAL flag means
- ** to use normal fsync() semantics.  The SQLITE_SYNC_FULL flag means
+ ** to use normal fsync() semantics. The SQLITE_SYNC_FULL flag means
  ** to use Mac OS-X style fullsync instead of fsync().
  */
  #define SQLITE_SYNC_NORMAL        0x00002
- Line 433  int sqlite3_exec(
+ Line 535  int sqlite3_exec(
  /*
- ** CAPI3REF: OS Interface Open File Handle
+ ** CAPI3REF: OS Interface Open File Handle {F11110}
  **
  ** An [sqlite3_file] object represents an open file in the OS
  ** interface layer.  Individual OS interface implementations will
- Line 448  struct sqlite3_file {
+ Line 550  struct sqlite3_file {
  };
  /*
- ** CAPI3REF: OS Interface File Virtual Methods Object
+ ** CAPI3REF: OS Interface File Virtual Methods Object {F11120}
  **
  ** Every file opened by the [sqlite3_vfs] xOpen method contains a pointer to
- ** an instance of the this object.  This object defines the
+ ** an instance of this object.  This object defines the
  ** methods used to perform various operations against the open file.
  **
  ** The flags argument to xSync may be one of [SQLITE_SYNC_NORMAL] or
- Line 542  struct sqlite3_io_methods {
+ Line 644  struct sqlite3_io_methods {
  };
  /*
- ** CAPI3REF: Standard File Control Opcodes
+ ** CAPI3REF: Standard File Control Opcodes {F11310}
  **
  ** These integer constants are opcodes for the xFileControl method
  ** of the [sqlite3_io_methods] object and to the [sqlite3_file_control()]
  ** interface.
  **
  ** The [SQLITE_FCNTL_LOCKSTATE] opcode is used for debugging.  This
- ** opcode cases the xFileControl method to write the current state of
+ ** opcode causes the xFileControl method to write the current state of
  ** the lock (one of [SQLITE_LOCK_NONE], [SQLITE_LOCK_SHARED],
  ** [SQLITE_LOCK_RESERVED], [SQLITE_LOCK_PENDING], or [SQLITE_LOCK_EXCLUSIVE])
- ** into an integer that the pArg argument points to.  This capability
+ ** into an integer that the pArg argument points to. This capability
  ** is used during testing and only needs to be supported when SQLITE_TEST
  ** is defined.
  */
  #define SQLITE_FCNTL_LOCKSTATE        1
  /*
- ** CAPI3REF: Mutex Handle
+ ** CAPI3REF: Mutex Handle {F17110}
  **
  ** The mutex module within SQLite defines [sqlite3_mutex] to be an
  ** abstract type for a mutex object.  The SQLite core never looks
- Line 571  struct sqlite3_io_methods {
+ Line 673  struct sqlite3_io_methods {
  typedef struct sqlite3_mutex sqlite3_mutex;
  /*
- ** CAPI3REF: OS Interface Object
+ ** CAPI3REF: OS Interface Object {F11140}
  **
  ** An instance of this object defines the interface between the
  ** SQLite core and the underlying operating system.  The "vfs"
- Line 585  typedef struct sqlite3_mutex sqlite3_mut
+ Line 687  typedef struct sqlite3_mutex sqlite3_mut
  ** structure used by this VFS.  mxPathname is the maximum length of
  ** a pathname in this VFS.
  **
- ** Registered vfs modules are kept on a linked list formed by
+ ** Registered sqlite3_vfs objects are kept on a linked list formed by
  ** the pNext pointer.  The [sqlite3_vfs_register()]
  ** and [sqlite3_vfs_unregister()] interfaces manage this list
  ** in a thread-safe way.  The [sqlite3_vfs_find()] interface
  ** searches the list.
  **
- ** The pNext field is the only fields in the sqlite3_vfs
+ ** The pNext field is the only field in the sqlite3_vfs
  ** structure that SQLite will ever modify.  SQLite will only access
  ** or modify this field while holding a particular static mutex.
  ** The application should never modify anything within the sqlite3_vfs
- Line 600  typedef struct sqlite3_mutex sqlite3_mut
+ Line 702  typedef struct sqlite3_mutex sqlite3_mut
  ** The zName field holds the name of the VFS module.  The name must
  ** be unique across all VFS modules.
  **
- ** SQLite will guarantee that the zFilename string passed to
+ ** {F11141} SQLite will guarantee that the zFilename string passed to
  ** xOpen() is a full pathname as generated by xFullPathname() and
  ** that the string will be valid and unchanged until xClose() is
- ** called.  So the [sqlite3_file] can store a pointer to the
+ ** called.  {END} So the [sqlite3_file] can store a pointer to the
  ** filename if it needs to remember the filename for some reason.
  **
- ** The flags argument to xOpen() is a copy of the flags argument
+ ** {F11142} The flags argument to xOpen() includes all bits set in
- ** to [sqlite3_open_v2()].  If [sqlite3_open()] or [sqlite3_open16()]
+ ** the flags argument to [sqlite3_open_v2()].  Or if [sqlite3_open()]
- ** is used, then flags is [SQLITE_OPEN_READWRITE] | [SQLITE_OPEN_CREATE].
+ ** or [sqlite3_open16()] is used, then flags includes at least
+ ** [SQLITE_OPEN_READWRITE] | [SQLITE_OPEN_CREATE]. {END}
  ** If xOpen() opens a file read-only then it sets *pOutFlags to
  ** include [SQLITE_OPEN_READONLY].  Other bits in *pOutFlags may be
  ** set.
  **
- ** SQLite will also add one of the following flags to the xOpen()
+ ** {F11143} SQLite will also add one of the following flags to the xOpen()
  ** call, depending on the object being opened:
  **
  ** <ul>
- Line 624  typedef struct sqlite3_mutex sqlite3_mut
+ Line 727  typedef struct sqlite3_mutex sqlite3_mut
  ** <li>  [SQLITE_OPEN_TRANSIENT_DB]
  ** <li>  [SQLITE_OPEN_SUBJOURNAL]
  ** <li>  [SQLITE_OPEN_MASTER_JOURNAL]
- ** </ul>
+ ** </ul> {END}
  **
  ** The file I/O implementation can use the object type flags to
  ** changes the way it deals with files.  For example, an application
- ** that does not care about crash recovery or rollback, might make
+ ** that does not care about crash recovery or rollback might make
- ** the open of a journal file a no-op.  Writes to this journal are
+ ** the open of a journal file a no-op.  Writes to this journal would
- ** also a no-op.  Any attempt to read the journal return SQLITE_IOERR.
+ ** also be no-ops, and any attempt to read the journal would return
- ** Or the implementation might recognize the a database file will
+ ** SQLITE_IOERR.  Or the implementation might recognize that a database
- ** be doing page-aligned sector reads and writes in a random order
+ ** file will be doing page-aligned sector reads and writes in a random
- ** and set up its I/O subsystem accordingly.
+ ** order and set up its I/O subsystem accordingly.
  **
  ** SQLite might also add one of the following flags to the xOpen
  ** method:
- Line 643  typedef struct sqlite3_mutex sqlite3_mut
+ Line 746  typedef struct sqlite3_mutex sqlite3_mut
  ** <li> [SQLITE_OPEN_EXCLUSIVE]
  ** </ul>
  **
- ** The [SQLITE_OPEN_DELETEONCLOSE] flag means the file should be
+ ** {F11145} The [SQLITE_OPEN_DELETEONCLOSE] flag means the file should be
- ** deleted when it is closed.  This will always be set for TEMP
+ ** deleted when it is closed.  {F11146} The [SQLITE_OPEN_DELETEONCLOSE]
- ** databases and journals and for subjournals.  The
+ ** will be set for TEMP  databases, journals and for subjournals.
- ** [SQLITE_OPEN_EXCLUSIVE] flag means the file should be opened
+ ** {F11147} The [SQLITE_OPEN_EXCLUSIVE] flag means the file should be opened
  ** for exclusive access.  This flag is set for all files except
- ** for the main database file.
+ ** for the main database file. {END}
  **
- ** Space to hold the  [sqlite3_file] structure passed as the third
+ ** {F11148} At least szOsFile bytes of memory are allocated by SQLite
- ** argument to xOpen is allocated by caller (the SQLite core).
+ ** to hold the  [sqlite3_file] structure passed as the third
- ** szOsFile bytes are allocated for this object.  The xOpen method
+ ** argument to xOpen.  {END}  The xOpen method does not have to
- ** fills in the allocated space.
+ ** allocate the structure; it should just fill it in.
  **
- ** The flags argument to xAccess() may be [SQLITE_ACCESS_EXISTS]
+ ** {F11149} The flags argument to xAccess() may be [SQLITE_ACCESS_EXISTS]
  ** to test for the existance of a file,
  ** or [SQLITE_ACCESS_READWRITE] to test to see
  ** if a file is readable and writable, or [SQLITE_ACCESS_READ]
- ** to test to see if a file is at least readable.  The file can be a
+ ** to test to see if a file is at least readable.  {END} The file can be a
  ** directory.
  **
- ** SQLite will always allocate at least mxPathname+1 byte for
+ ** {F11150} SQLite will always allocate at least mxPathname+1 bytes for
- ** the output buffers for xGetTempname and xFullPathname. The exact
+ ** the output buffers for xGetTempname and xFullPathname. {F11151} The exact
  ** size of the output buffer is also passed as a parameter to both
- ** methods. If the output buffer is not large enough, SQLITE_CANTOPEN
+ ** methods. {END} If the output buffer is not large enough, SQLITE_CANTOPEN
  ** should be returned. As this is handled as a fatal error by SQLite,
- ** vfs implementations should endevour to prevent this by setting
+ ** vfs implementations should endeavor to prevent this by setting
  ** mxPathname to a sufficiently large value.
  **
  ** The xRandomness(), xSleep(), and xCurrentTime() interfaces
- Line 676  typedef struct sqlite3_mutex sqlite3_mut
+ Line 779  typedef struct sqlite3_mutex sqlite3_mut
  ** The xRandomness() function attempts to return nBytes bytes
  ** of good-quality randomness into zOut.  The return value is
  ** the actual number of bytes of randomness obtained.  The
- ** xSleep() method cause the calling thread to sleep for at
+ ** xSleep() method causes the calling thread to sleep for at
  ** least the number of microseconds given.  The xCurrentTime()
  ** method returns a Julian Day Number for the current date and
  ** time.
- Line 707  struct sqlite3_vfs {
+ Line 810  struct sqlite3_vfs {
  };
  /*
- ** CAPI3REF: Flags for the xAccess VFS method
+ ** CAPI3REF: Flags for the xAccess VFS method {F11190}
  **
- ** These integer constants can be used as the third parameter to
+ ** {F11191} These integer constants can be used as the third parameter to
- ** the xAccess method of an [sqlite3_vfs] object.  They determine
+ ** the xAccess method of an [sqlite3_vfs] object. {END}  They determine
- ** the kind of what kind of permissions the xAccess method is
+ ** what kind of permissions the xAccess method is
- ** looking for.  With SQLITE_ACCESS_EXISTS, the xAccess method
+ ** looking for.  {F11192} With SQLITE_ACCESS_EXISTS, the xAccess method
- ** simply checks to see if the file exists.  With SQLITE_ACCESS_READWRITE,
+ ** simply checks to see if the file exists. {F11193} With
- ** the xAccess method checks to see if the file is both readable
+ ** SQLITE_ACCESS_READWRITE, the xAccess method checks to see
- ** and writable.  With SQLITE_ACCESS_READ the xAccess method
+ ** if the file is both readable and writable.  {F11194} With
+ ** SQLITE_ACCESS_READ the xAccess method
  ** checks to see if the file is readable.
  */
  #define SQLITE_ACCESS_EXISTS    0
- Line 723  struct sqlite3_vfs {
+ Line 827  struct sqlite3_vfs {
  #define SQLITE_ACCESS_READ      2
  /*
- ** CAPI3REF: Enable Or Disable Extended Result Codes
+ ** CAPI3REF: Enable Or Disable Extended Result Codes {F12200}
  **
- ** This routine enables or disables the
+ ** The sqlite3_extended_result_codes() routine enables or disables the
- ** [SQLITE_IOERR_READ | extended result codes] feature.
+ ** [SQLITE_IOERR_READ | extended result codes] feature of SQLite.
- ** By default, SQLite API routines return one of only 26 integer
+ ** The extended result codes are disabled by default for historical
- ** [SQLITE_OK | result codes].  When extended result codes
+ ** compatibility.
- ** are enabled by this routine, the repetoire of result codes can be
+ **
- ** much larger and can (hopefully) provide more detailed information
+ ** INVARIANTS:
- ** about the cause of an error.
+ **
- **
+ ** {F12201} Each new [database connection] has the
- ** The second argument is a boolean value that turns extended result
+ **          [extended result codes] feature
- ** codes on and off.  Extended result codes are off by default for
+ **          disabled by default.
- ** backwards compatibility with older versions of SQLite.
+ **
+ ** {F12202} The [sqlite3_extended_result_codes(D,F)] interface will enable
+ **          [extended result codes] for the
+ **          [database connection] D if the F parameter
+ **          is true, or disable them if F is false.
  */
  int sqlite3_extended_result_codes(sqlite3*, int onoff);
  /*
- ** CAPI3REF: Last Insert Rowid
+ ** CAPI3REF: Last Insert Rowid {F12220}
  **
- ** Each entry in an SQLite table has a unique 64-bit signed integer key
+ ** Each entry in an SQLite table has a unique 64-bit signed
- ** called the "rowid". The rowid is always available as an undeclared
+ ** integer key called the "rowid". The rowid is always available
- ** column named ROWID, OID, or _ROWID_.  If the table has a column of
+ ** as an undeclared column named ROWID, OID, or _ROWID_ as long as those
- ** type INTEGER PRIMARY KEY then that column is another an alias for the
+ ** names are not also used by explicitly declared columns. If
- ** rowid.
+ ** the table has a column of type INTEGER PRIMARY KEY then that column
- **
+ ** is another alias for the rowid.
- ** This routine returns the rowid of the most recent INSERT into
+ **
- ** the database from the database connection given in the first
+ ** This routine returns the rowid of the most recent
- ** argument.  If no inserts have ever occurred on this database
+ ** successful INSERT into the database from the database connection
- ** connection, zero is returned.
+ ** shown in the first argument.  If no successful inserts
+ ** have ever occurred on this database connection, zero is returned.
  **
  ** If an INSERT occurs within a trigger, then the rowid of the
  ** inserted row is returned by this routine as long as the trigger
- Line 759  int sqlite3_extended_result_codes(sqlite
+ Line 868  int sqlite3_extended_result_codes(sqlite
  ** by this routine reverts to the last value inserted before the
  ** trigger fired.
  **
- ** If another thread does a new insert on the same database connection
+ ** An INSERT that fails due to a constraint violation is not a
- ** while this routine is running and thus changes the last insert rowid,
+ ** successful insert and does not change the value returned by this
- ** then the return value of this routine is undefined.
+ ** routine.  Thus INSERT OR FAIL, INSERT OR IGNORE, INSERT OR ROLLBACK,
+ ** and INSERT OR ABORT make no changes to the return value of this
+ ** routine when their insertion fails.  When INSERT OR REPLACE
+ ** encounters a constraint violation, it does not fail.  The
+ ** INSERT continues to completion after deleting rows that caused
+ ** the constraint problem so INSERT OR REPLACE will always change
+ ** the return value of this interface.
+ **
+ ** For the purposes of this routine, an insert is considered to
+ ** be successful even if it is subsequently rolled back.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12221} The [sqlite3_last_insert_rowid()] function returns the
+ **          rowid of the most recent successful insert done
+ **          on the same database connection and within the same
+ **          trigger context, or zero if there have
+ **          been no qualifying inserts on that connection.
+ **
+ ** {F12223} The [sqlite3_last_insert_rowid()] function returns
+ **          same value when called from the same trigger context
+ **          immediately before and after a ROLLBACK.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U12232} If a separate thread does a new insert on the same
+ **          database connection while the [sqlite3_last_insert_rowid()]
+ **          function is running and thus changes the last insert rowid,
+ **          then the value returned by [sqlite3_last_insert_rowid()] is
+ **          unpredictable and might not equal either the old or the new
+ **          last insert rowid.
  */
  sqlite3_int64 sqlite3_last_insert_rowid(sqlite3*);
  /*
- ** CAPI3REF: Count The Number Of Rows Modified
+ ** CAPI3REF: Count The Number Of Rows Modified {F12240}
  **
  ** This function returns the number of database rows that were changed
- ** (or inserted or deleted) by the most recent SQL statement.  Only
+ ** or inserted or deleted by the most recently completed SQL statement
+ ** on the connection specified by the first parameter.  Only
  ** changes that are directly specified by the INSERT, UPDATE, or
  ** DELETE statement are counted.  Auxiliary changes caused by
- ** triggers are not counted.  Use the [sqlite3_total_changes()] function
+ ** triggers are not counted. Use the [sqlite3_total_changes()] function
  ** to find the total number of changes including changes caused by triggers.
  **
- ** Within the body of a trigger, the sqlite3_changes() interface can be
+ ** A "row change" is a change to a single row of a single table
- ** called to find the number of
+ ** caused by an INSERT, DELETE, or UPDATE statement.  Rows that
+ ** are changed as side effects of REPLACE constraint resolution,
+ ** rollback, ABORT processing, DROP TABLE, or by any other
+ ** mechanisms do not count as direct row changes.
+ **
+ ** A "trigger context" is a scope of execution that begins and
+ ** ends with the script of a trigger.  Most SQL statements are
+ ** evaluated outside of any trigger.  This is the "top level"
+ ** trigger context.  If a trigger fires from the top level, a
+ ** new trigger context is entered for the duration of that one
+ ** trigger.  Subtriggers create subcontexts for their duration.
+ **
+ ** Calling [sqlite3_exec()] or [sqlite3_step()] recursively does
+ ** not create a new trigger context.
+ **
+ ** This function returns the number of direct row changes in the
+ ** most recent INSERT, UPDATE, or DELETE statement within the same
+ ** trigger context.
+ **
+ ** So when called from the top level, this function returns the
+ ** number of changes in the most recent INSERT, UPDATE, or DELETE
+ ** that also occurred at the top level.
+ ** Within the body of a trigger, the sqlite3_changes() interface
+ ** can be called to find the number of
  ** changes in the most recently completed INSERT, UPDATE, or DELETE
- ** statement within the body of the trigger.
+ ** statement within the body of the same trigger.
- **
+ ** However, the number returned does not include in changes
- ** All changes are counted, even if they were later undone by a
+ ** caused by subtriggers since they have their own context.
- ** ROLLBACK or ABORT.  Except, changes associated with creating and
+ **
- ** dropping tables are not counted.
+ ** SQLite implements the command "DELETE FROM table" without
- **
+ ** a WHERE clause by dropping and recreating the table.  (This is much
- ** If a callback invokes [sqlite3_exec()] or [sqlite3_step()] recursively,
+ ** faster than going through and deleting individual elements from the
- ** then the changes in the inner, recursive call are counted together
+ ** table.)  Because of this optimization, the deletions in
- ** with the changes in the outer call.
+ ** "DELETE FROM table" are not row changes and will not be counted
- **
+ ** by the sqlite3_changes() or [sqlite3_total_changes()] functions.
- ** SQLite implements the command "DELETE FROM table" without a WHERE clause
+ ** To get an accurate count of the number of rows deleted, use
- ** by dropping and recreating the table.  (This is much faster than going
- ** through and deleting individual elements from the table.)  Because of
- ** this optimization, the change count for "DELETE FROM table" will be
- ** zero regardless of the number of elements that were originally in the
- ** table. To get an accurate count of the number of rows deleted, use
  ** "DELETE FROM table WHERE 1" instead.
  **
- ** If another thread makes changes on the same database connection
+ ** INVARIANTS:
- ** while this routine is running then the return value of this routine
+ **
- ** is undefined.
+ ** {F12241} The [sqlite3_changes()] function returns the number of
+ **          row changes caused by the most recent INSERT, UPDATE,
+ **          or DELETE statement on the same database connection and
+ **          within the same trigger context, or zero if there have
+ **          not been any qualifying row changes.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U12252} If a separate thread makes changes on the same database connection
+ **          while [sqlite3_changes()] is running then the value returned
+ **          is unpredictable and unmeaningful.
  */
  int sqlite3_changes(sqlite3*);
  /*
- ** CAPI3REF: Total Number Of Rows Modified
+ ** CAPI3REF: Total Number Of Rows Modified {F12260}
  ***
- ** This function returns the number of database rows that have been
+ ** This function returns the number of row changes caused
- ** modified by INSERT, UPDATE or DELETE statements since the database handle
+ ** by INSERT, UPDATE or DELETE statements since the database handle
- ** was opened. This includes UPDATE, INSERT and DELETE statements executed
+ ** was opened.  The count includes all changes from all trigger
- ** as part of trigger programs. All changes are counted as soon as the
+ ** contexts.  But the count does not include changes used to
- ** statement that makes them is completed (when the statement handle is
+ ** implement REPLACE constraints, do rollbacks or ABORT processing,
- ** passed to [sqlite3_reset()] or [sqlite3_finalize()]).
+ ** or DROP table processing.
- **
+ ** The changes
- ** See also the [sqlite3_change()] interface.
+ ** are counted as soon as the statement that makes them is completed
- **
+ ** (when the statement handle is passed to [sqlite3_reset()] or
- ** SQLite implements the command "DELETE FROM table" without a WHERE clause
+ ** [sqlite3_finalize()]).
- ** by dropping and recreating the table.  (This is much faster than going
+ **
- ** through and deleting individual elements form the table.)  Because of
+ ** SQLite implements the command "DELETE FROM table" without
+ ** a WHERE clause by dropping and recreating the table.  (This is much
+ ** faster than going
+ ** through and deleting individual elements from the table.)  Because of
  ** this optimization, the change count for "DELETE FROM table" will be
  ** zero regardless of the number of elements that were originally in the
  ** table. To get an accurate count of the number of rows deleted, use
  ** "DELETE FROM table WHERE 1" instead.
  **
- ** If another thread makes changes on the same database connection
+ ** See also the [sqlite3_changes()] interface.
- ** while this routine is running then the return value of this routine
+ **
- ** is undefined.
+ ** INVARIANTS:
+ **
+ ** {F12261} The [sqlite3_total_changes()] returns the total number
+ **          of row changes caused by INSERT, UPDATE, and/or DELETE
+ **          statements on the same [database connection], in any
+ **          trigger context, since the database connection was
+ **          created.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U12264} If a separate thread makes changes on the same database connection
+ **          while [sqlite3_total_changes()] is running then the value
+ **          returned is unpredictable and unmeaningful.
  */
  int sqlite3_total_changes(sqlite3*);
  /*
- ** CAPI3REF: Interrupt A Long-Running Query
+ ** CAPI3REF: Interrupt A Long-Running Query {F12270}
  **
  ** This function causes any pending database operation to abort and
- ** return at its earliest opportunity.  This routine is typically
+ ** return at its earliest opportunity. This routine is typically
  ** called in response to a user action such as pressing "Cancel"
  ** or Ctrl-C where the user wants a long query operation to halt
  ** immediately.
- Line 842  int sqlite3_total_changes(sqlite3*);
+ Line 1025  int sqlite3_total_changes(sqlite3*);
  ** is not safe to call this routine with a database connection that
  ** is closed or might close before sqlite3_interrupt() returns.
  **
- ** The SQL operation that is interrupted will return [SQLITE_INTERRUPT].
+ ** If an SQL is very nearly finished at the time when sqlite3_interrupt()
- ** If an interrupted operation was an update that is inside an
+ ** is called, then it might not have an opportunity to be interrupted.
- ** explicit transaction, then the entire transaction will be rolled
+ ** It might continue to completion.
- ** back automatically.
+ ** An SQL operation that is interrupted will return
+ ** [SQLITE_INTERRUPT].  If the interrupted SQL operation is an
+ ** INSERT, UPDATE, or DELETE that is inside an explicit transaction,
+ ** then the entire transaction will be rolled back automatically.
+ ** A call to sqlite3_interrupt() has no effect on SQL statements
+ ** that are started after sqlite3_interrupt() returns.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12271} The [sqlite3_interrupt()] interface will force all running
+ **          SQL statements associated with the same database connection
+ **          to halt after processing at most one additional row of
+ **          data.
+ **
+ ** {F12272} Any SQL statement that is interrupted by [sqlite3_interrupt()]
+ **          will return [SQLITE_INTERRUPT].
+ **
+ ** LIMITATIONS:
+ **
+ ** {U12279} If the database connection closes while [sqlite3_interrupt()]
+ **          is running then bad things will likely happen.
  */
  void sqlite3_interrupt(sqlite3*);
  /*
- ** CAPI3REF: Determine If An SQL Statement Is Complete
+ ** CAPI3REF: Determine If An SQL Statement Is Complete {F10510}
- **
- ** These functions return true if the given input string comprises
- ** one or more complete SQL statements. For the sqlite3_complete() call,
- ** the parameter must be a nul-terminated UTF-8 string. For
- ** sqlite3_complete16(), a nul-terminated machine byte order UTF-16 string
- ** is required.
  **
  ** These routines are useful for command-line input to determine if the
- ** currently entered text forms one or more complete SQL statements or
+ ** currently entered text seems to form complete a SQL statement or
- ** if additional input is needed before sending the statements into
+ ** if additional input is needed before sending the text into
- ** SQLite for parsing. The algorithm is simple.  If the
+ ** SQLite for parsing.  These routines return true if the input string
- ** last token other than spaces and comments is a semicolon, then return
+ ** appears to be a complete SQL statement.  A statement is judged to be
- ** true.  Actually, the algorithm is a little more complicated than that
+ ** complete if it ends with a semicolon token and is not a fragment of a
- ** in order to deal with triggers, but the basic idea is the same:  the
+ ** CREATE TRIGGER statement.  Semicolons that are embedded within
- ** statement is not complete unless it ends in a semicolon.
+ ** string literals or quoted identifier names or comments are not
+ ** independent tokens (they are part of the token in which they are
+ ** embedded) and thus do not count as a statement terminator.
+ **
+ ** These routines do not parse the SQL and
+ ** so will not detect syntactically incorrect SQL.
+ **
+ ** INVARIANTS:
+ **
+ ** {F10511} The sqlite3_complete() and sqlite3_complete16() functions
+ **          return true (non-zero) if and only if the last
+ **          non-whitespace token in their input is a semicolon that
+ **          is not in between the BEGIN and END of a CREATE TRIGGER
+ **          statement.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U10512} The input to sqlite3_complete() must be a zero-terminated
+ **          UTF-8 string.
+ **
+ ** {U10513} The input to sqlite3_complete16() must be a zero-terminated
+ **          UTF-16 string in native byte order.
  */
  int sqlite3_complete(const char *sql);
  int sqlite3_complete16(const void *sql);
  /*
- ** CAPI3REF: Register A Callback To Handle SQLITE_BUSY Errors
+ ** CAPI3REF: Register A Callback To Handle SQLITE_BUSY Errors {F12310}
  **
- ** This routine identifies a callback function that might be invoked
+ ** This routine identifies a callback function that might be
- ** whenever an attempt is made to open a database table
+ ** invoked whenever an attempt is made to open a database table
  ** that another thread or process has locked.
  ** If the busy callback is NULL, then [SQLITE_BUSY]
- ** (or sometimes [SQLITE_IOERR_BLOCKED])
+ ** or [SQLITE_IOERR_BLOCKED]
  ** is returned immediately upon encountering the lock.
  ** If the busy callback is not NULL, then the
  ** callback will be invoked with two arguments.  The
  ** first argument to the handler is a copy of the void* pointer which
  ** is the third argument to this routine.  The second argument to
  ** the handler is the number of times that the busy handler has
- ** been invoked for this locking event. If the
+ ** been invoked for this locking event.   If the
  ** busy callback returns 0, then no additional attempts are made to
  ** access the database and [SQLITE_BUSY] or [SQLITE_IOERR_BLOCKED] is returned.
- ** If the callback returns non-zero, then another attempt is made to open the
+ ** If the callback returns non-zero, then another attempt
- ** database for reading and the cycle repeats.
+ ** is made to open the database for reading and the cycle repeats.
  **
  ** The presence of a busy handler does not guarantee that
  ** it will be invoked when there is lock contention.
  ** If SQLite determines that invoking the busy handler could result in
- ** a deadlock, it will return [SQLITE_BUSY] instead.
+ ** a deadlock, it will go ahead and return [SQLITE_BUSY] or
+ ** [SQLITE_IOERR_BLOCKED] instead of invoking the
+ ** busy handler.
  ** Consider a scenario where one process is holding a read lock that
  ** it is trying to promote to a reserved lock and
  ** a second process is holding a reserved lock that it is trying
- Line 907  int sqlite3_complete16(const void *sql);
+ Line 1127  int sqlite3_complete16(const void *sql);
  **
  ** The default busy callback is NULL.
  **
- ** The [SQLITE_BUSY] error is converted to [SQLITE_IOERR_BLOCKED] when
+ ** The [SQLITE_BUSY] error is converted to [SQLITE_IOERR_BLOCKED]
- ** SQLite is in the middle of a large transaction where all the
+ ** when SQLite is in the middle of a large transaction where all the
  ** changes will not fit into the in-memory cache.  SQLite will
  ** already hold a RESERVED lock on the database file, but it needs
  ** to promote this lock to EXCLUSIVE so that it can spill cache
- Line 917  int sqlite3_complete16(const void *sql);
+ Line 1137  int sqlite3_complete16(const void *sql);
  ** cache will be left in an inconsistent state and so the error
  ** code is promoted from the relatively benign [SQLITE_BUSY] to
  ** the more severe [SQLITE_IOERR_BLOCKED].  This error code promotion
- ** forces an automatic rollback of the changes. See the
+ ** forces an automatic rollback of the changes.  See the
  ** <a href="http://www.sqlite.org/cvstrac/wiki?p=CorruptionFollowingBusyError">
  ** CorruptionFollowingBusyError</a> wiki page for a discussion of why
  ** this is important.
  **
- ** Sqlite is re-entrant, so the busy handler may start a new query.
- ** (It is not clear why anyone would every want to do this, but it
- ** is allowed, in theory.)  But the busy handler may not close the
- ** database.  Closing the database from a busy handler will delete
- ** data structures out from under the executing query and will
- ** probably result in a segmentation fault or other runtime error.
- **
  ** There can only be a single busy handler defined for each database
  ** connection.  Setting a new busy handler clears any previous one.
  ** Note that calling [sqlite3_busy_timeout()] will also set or clear
  ** the busy handler.
  **
- ** When operating in [sqlite3_enable_shared_cache | shared cache mode],
+ ** INVARIANTS:
- ** only a single busy handler can be defined for each database file.
+ **
- ** So if two database connections share a single cache, then changing
+ ** {F12311} The [sqlite3_busy_handler()] function replaces the busy handler
- ** the busy handler on one connection will also change the busy
+ **          callback in the database connection identified by the 1st
- ** handler in the other connection.  The busy handler is invoked
+ **          parameter with a new busy handler identified by the 2nd and 3rd
- ** in the thread that was running when the SQLITE_BUSY was hit.
+ **          parameters.
+ **
+ ** {F12312} The default busy handler for new database connections is NULL.
+ **
+ ** {F12314} When two or more database connection share a common cache,
+ **          the busy handler for the database connection currently using
+ **          the cache is invoked when the cache encounters a lock.
+ **
+ ** {F12316} If a busy handler callback returns zero, then the SQLite
+ **          interface that provoked the locking event will return
+ **          [SQLITE_BUSY].
+ **
+ ** {F12318} SQLite will invokes the busy handler with two argument which
+ **          are a copy of the pointer supplied by the 3rd parameter to
+ **          [sqlite3_busy_handler()] and a count of the number of prior
+ **          invocations of the busy handler for the same locking event.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U12319} A busy handler should not call close the database connection
+ **          or prepared statement that invoked the busy handler.
  */
  int sqlite3_busy_handler(sqlite3*, int(*)(void*,int), void*);
  /*
- ** CAPI3REF: Set A Busy Timeout
+ ** CAPI3REF: Set A Busy Timeout {F12340}
  **
- ** This routine sets a busy handler that sleeps for a while when a
+ ** This routine sets a [sqlite3_busy_handler | busy handler]
+ ** that sleeps for a while when a
  ** table is locked.  The handler will sleep multiple times until
- ** at least "ms" milliseconds of sleeping have been done.  After
+ ** at least "ms" milliseconds of sleeping have been done. {F12343} After
  ** "ms" milliseconds of sleeping, the handler returns 0 which
  ** causes [sqlite3_step()] to return [SQLITE_BUSY] or [SQLITE_IOERR_BLOCKED].
  **
- Line 959  int sqlite3_busy_handler(sqlite3*, int(*
+ Line 1193  int sqlite3_busy_handler(sqlite3*, int(*
  ** connection.  If another busy handler was defined
  ** (using [sqlite3_busy_handler()]) prior to calling
  ** this routine, that other busy handler is cleared.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12341} The [sqlite3_busy_timeout()] function overrides any prior
+ **          [sqlite3_busy_timeout()] or [sqlite3_busy_handler()] setting
+ **          on the same database connection.
+ **
+ ** {F12343} If the 2nd parameter to [sqlite3_busy_timeout()] is less than
+ **          or equal to zero, then the busy handler is cleared so that
+ **          all subsequent locking events immediately return [SQLITE_BUSY].
+ **
+ ** {F12344} If the 2nd parameter to [sqlite3_busy_timeout()] is a positive
+ **          number N, then a busy handler is set that repeatedly calls
+ **          the xSleep() method in the VFS interface until either the
+ **          lock clears or until the cumulative sleep time reported back
+ **          by xSleep() exceeds N milliseconds.
  */
  int sqlite3_busy_timeout(sqlite3*, int ms);
  /*
- ** CAPI3REF: Convenience Routines For Running Queries
+ ** CAPI3REF: Convenience Routines For Running Queries {F12370}
  **
- ** This next routine is a convenience wrapper around [sqlite3_exec()].
+ ** Definition: A <b>result table</b> is memory data structure created by the
- ** Instead of invoking a user-supplied callback for each row of the
+ ** [sqlite3_get_table()] interface.  A result table records the
- ** result, this routine remembers each row of the result in memory
+ ** complete query results from one or more queries.
- ** obtained from [sqlite3_malloc()], then returns all of the result after the
+ **
- ** query has finished.
+ ** The table conceptually has a number of rows and columns.  But
+ ** these numbers are not part of the result table itself.  These
+ ** numbers are obtained separately.  Let N be the number of rows
+ ** and M be the number of columns.
+ **
+ ** A result table is an array of pointers to zero-terminated
+ ** UTF-8 strings.  There are (N+1)*M elements in the array.
+ ** The first M pointers point to zero-terminated strings that
+ ** contain the names of the columns.
+ ** The remaining entries all point to query results.  NULL
+ ** values are give a NULL pointer.  All other values are in
+ ** their UTF-8 zero-terminated string representation as returned by
+ ** [sqlite3_column_text()].
+ **
+ ** A result table might consists of one or more memory allocations.
+ ** It is not safe to pass a result table directly to [sqlite3_free()].
+ ** A result table should be deallocated using [sqlite3_free_table()].
  **
- ** As an example, suppose the query result where this table:
+ ** As an example of the result table format, suppose a query result
+ ** is as follows:
  **
  ** <blockquote><pre>
  **        Name        | Age
- Line 981  int sqlite3_busy_timeout(sqlite3*, int m
+ Line 1248  int sqlite3_busy_timeout(sqlite3*, int m
  **        Cindy       | 21
  ** </pre></blockquote>
  **
- ** If the 3rd argument were &azResult then after the function returns
+ ** There are two column (M==2) and three rows (N==3).  Thus the
- ** azResult will contain the following data:
+ ** result table has 8 entries.  Suppose the result table is stored
+ ** in an array names azResult.  Then azResult holds this content:
  **
  ** <blockquote><pre>
  **        azResult&#91;0] = "Name";
- Line 995  int sqlite3_busy_timeout(sqlite3*, int m
+ Line 1263  int sqlite3_busy_timeout(sqlite3*, int m
  **        azResult&#91;7] = "21";
  ** </pre></blockquote>
  **
- ** Notice that there is an extra row of data containing the column
+ ** The sqlite3_get_table() function evaluates one or more
- ** headers.  But the *nrow return value is still 3.  *ncolumn is
+ ** semicolon-separated SQL statements in the zero-terminated UTF-8
- ** set to 2.  In general, the number of values inserted into azResult
+ ** string of its 2nd parameter.  It returns a result table to the
- ** will be ((*nrow) + 1)*(*ncolumn).
+ ** pointer given in its 3rd parameter.
  **
  ** After the calling function has finished using the result, it should
- ** pass the result data pointer to sqlite3_free_table() in order to
+ ** pass the pointer to the result table to sqlite3_free_table() in order to
  ** release the memory that was malloc-ed.  Because of the way the
- ** [sqlite3_malloc()] happens, the calling function must not try to call
+ ** [sqlite3_malloc()] happens within sqlite3_get_table(), the calling
- ** [sqlite3_free()] directly.  Only [sqlite3_free_table()] is able to release
+ ** function must not try to call [sqlite3_free()] directly.  Only
- ** the memory properly and safely.
+ ** [sqlite3_free_table()] is able to release the memory properly and safely.
  **
- ** The return value of this routine is the same as from [sqlite3_exec()].
+ ** The sqlite3_get_table() interface is implemented as a wrapper around
+ ** [sqlite3_exec()].  The sqlite3_get_table() routine does not have access
+ ** to any internal data structures of SQLite.  It uses only the public
+ ** interface defined here.  As a consequence, errors that occur in the
+ ** wrapper layer outside of the internal [sqlite3_exec()] call are not
+ ** reflected in subsequent calls to [sqlite3_errcode()] or
+ ** [sqlite3_errmsg()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F12371} If a [sqlite3_get_table()] fails a memory allocation, then
+ **          it frees the result table under construction, aborts the
+ **          query in process, skips any subsequent queries, sets the
+ **          *resultp output pointer to NULL and returns [SQLITE_NOMEM].
+ **
+ ** {F12373} If the ncolumn parameter to [sqlite3_get_table()] is not NULL
+ **          then [sqlite3_get_table()] write the number of columns in the
+ **          result set of the query into *ncolumn if the query is
+ **          successful (if the function returns SQLITE_OK).
+ **
+ ** {F12374} If the nrow parameter to [sqlite3_get_table()] is not NULL
+ **          then [sqlite3_get_table()] write the number of rows in the
+ **          result set of the query into *nrow if the query is
+ **          successful (if the function returns SQLITE_OK).
+ **
+ ** {F12376} The [sqlite3_get_table()] function sets its *ncolumn value
+ **          to the number of columns in the result set of the query in the
+ **          sql parameter, or to zero if the query in sql has an empty
+ **          result set.
  */
  int sqlite3_get_table(
-   sqlite3*,              /* An open database */
+   sqlite3*,             /* An open database */
-   const char *sql,       /* SQL to be executed */
+   const char *sql,      /* SQL to be evaluated */
-   char ***resultp,       /* Result written to a char *[]  that this points to */
+   char ***pResult,      /* Results of the query */
-   int *nrow,             /* Number of result rows written here */
+   int *nrow,            /* Number of result rows written here */
-   int *ncolumn,          /* Number of result columns written here */
+   int *ncolumn,         /* Number of result columns written here */
-   char **errmsg          /* Error msg written here */
+   char **errmsg         /* Error msg written here */
  );
  void sqlite3_free_table(char **result);
  /*
- ** CAPI3REF: Formatted String Printing Functions
+ ** CAPI3REF: Formatted String Printing Functions {F17400}
  **
  ** These routines are workalikes of the "printf()" family of functions
  ** from the standard C library.
- Line 1028  void sqlite3_free_table(char **result);
+ Line 1324  void sqlite3_free_table(char **result);
  ** The sqlite3_mprintf() and sqlite3_vmprintf() routines write their
  ** results into memory obtained from [sqlite3_malloc()].
  ** The strings returned by these two routines should be
- ** released by [sqlite3_free()].  Both routines return a
+ ** released by [sqlite3_free()].   Both routines return a
  ** NULL pointer if [sqlite3_malloc()] is unable to allocate enough
  ** memory to hold the resulting string.
  **
  ** In sqlite3_snprintf() routine is similar to "snprintf()" from
  ** the standard C library.  The result is written into the
  ** buffer supplied as the second parameter whose size is given by
- ** the first parameter.  Note that the order of the
+ ** the first parameter. Note that the order of the
  ** first two parameters is reversed from snprintf().  This is an
  ** historical accident that cannot be fixed without breaking
  ** backwards compatibility.  Note also that sqlite3_snprintf()
- Line 1097  void sqlite3_free_table(char **result);
+ Line 1393  void sqlite3_free_table(char **result);
  ** The %Q option works like %q except it also adds single quotes around
  ** the outside of the total string.  Or if the parameter in the argument
  ** list is a NULL pointer, %Q substitutes the text "NULL" (without single
- ** quotes) in place of the %Q option.  So, for example, one could say:
+ ** quotes) in place of the %Q option. {END}  So, for example, one could say:
  **
  ** <blockquote><pre>
  **  char *zSQL = sqlite3_mprintf("INSERT INTO table VALUES(%Q)", zText);
- Line 1110  void sqlite3_free_table(char **result);
+ Line 1406  void sqlite3_free_table(char **result);
  **
  ** The "%z" formatting option works exactly like "%s" with the
  ** addition that after the string has been read and copied into
- ** the result, [sqlite3_free()] is called on the input string.
+ ** the result, [sqlite3_free()] is called on the input string. {END}
+ **
+ ** INVARIANTS:
+ **
+ ** {F17403}  The [sqlite3_mprintf()] and [sqlite3_vmprintf()] interfaces
+ **           return either pointers to zero-terminated UTF-8 strings held in
+ **           memory obtained from [sqlite3_malloc()] or NULL pointers if
+ **           a call to [sqlite3_malloc()] fails.
+ **
+ ** {F17406}  The [sqlite3_snprintf()] interface writes a zero-terminated
+ **           UTF-8 string into the buffer pointed to by the second parameter
+ **           provided that the first parameter is greater than zero.
+ **
+ ** {F17407}  The [sqlite3_snprintf()] interface does not writes slots of
+ **           its output buffer (the second parameter) outside the range
+ **           of 0 through N-1 (where N is the first parameter)
+ **           regardless of the length of the string
+ **           requested by the format specification.
+ **
  */
  char *sqlite3_mprintf(const char*,...);
  char *sqlite3_vmprintf(const char*, va_list);
  char *sqlite3_snprintf(int,char*,const char*, ...);
  /*
- ** CAPI3REF: Memory Allocation Subsystem
+ ** CAPI3REF: Memory Allocation Subsystem {F17300}
+ **
+ ** The SQLite core  uses these three routines for all of its own
+ ** internal memory allocation needs. "Core" in the previous sentence
+ ** does not include operating-system specific VFS implementation.  The
+ ** windows VFS uses native malloc and free for some operations.
+ **
+ ** The sqlite3_malloc() routine returns a pointer to a block
+ ** of memory at least N bytes in length, where N is the parameter.
+ ** If sqlite3_malloc() is unable to obtain sufficient free
+ ** memory, it returns a NULL pointer.  If the parameter N to
+ ** sqlite3_malloc() is zero or negative then sqlite3_malloc() returns
+ ** a NULL pointer.
+ **
+ ** Calling sqlite3_free() with a pointer previously returned
+ ** by sqlite3_malloc() or sqlite3_realloc() releases that memory so
+ ** that it might be reused.  The sqlite3_free() routine is
+ ** a no-op if is called with a NULL pointer.  Passing a NULL pointer
+ ** to sqlite3_free() is harmless.  After being freed, memory
+ ** should neither be read nor written.  Even reading previously freed
+ ** memory might result in a segmentation fault or other severe error.
+ ** Memory corruption, a segmentation fault, or other severe error
+ ** might result if sqlite3_free() is called with a non-NULL pointer that
+ ** was not obtained from sqlite3_malloc() or sqlite3_free().
+ **
+ ** The sqlite3_realloc() interface attempts to resize a
+ ** prior memory allocation to be at least N bytes, where N is the
+ ** second parameter.  The memory allocation to be resized is the first
+ ** parameter.  If the first parameter to sqlite3_realloc()
+ ** is a NULL pointer then its behavior is identical to calling
+ ** sqlite3_malloc(N) where N is the second parameter to sqlite3_realloc().
+ ** If the second parameter to sqlite3_realloc() is zero or
+ ** negative then the behavior is exactly the same as calling
+ ** sqlite3_free(P) where P is the first parameter to sqlite3_realloc().
+ ** Sqlite3_realloc() returns a pointer to a memory allocation
+ ** of at least N bytes in size or NULL if sufficient memory is unavailable.
+ ** If M is the size of the prior allocation, then min(N,M) bytes
+ ** of the prior allocation are copied into the beginning of buffer returned
+ ** by sqlite3_realloc() and the prior allocation is freed.
+ ** If sqlite3_realloc() returns NULL, then the prior allocation
+ ** is not freed.
+ **
+ ** The memory returned by sqlite3_malloc() and sqlite3_realloc()
+ ** is always aligned to at least an 8 byte boundary. {END}
  **
- ** The SQLite core uses these three routines for all of its own
- ** internal memory allocation needs. (See the exception below.)
  ** The default implementation
  ** of the memory allocation subsystem uses the malloc(), realloc()
- ** and free() provided by the standard C library.  However, if
+ ** and free() provided by the standard C library. {F17382} However, if
  ** SQLite is compiled with the following C preprocessor macro
  **
- ** <blockquote> SQLITE_OMIT_MEMORY_ALLOCATION </blockquote>
+ ** <blockquote> SQLITE_MEMORY_SIZE=<i>NNN</i> </blockquote>
  **
- ** then no implementation is provided for these routines by
+ ** where <i>NNN</i> is an integer, then SQLite create a static
- ** SQLite.  The application that links against SQLite is
+ ** array of at least <i>NNN</i> bytes in size and use that array
- ** expected to provide its own implementation.  If the application
+ ** for all of its dynamic memory allocation needs. {END}  Additional
- ** does provide its own implementation for these routines, then
+ ** memory allocator options may be added in future releases.
- ** it must also provide an implementations for
+ **
- ** [sqlite3_memory_alarm()], [sqlite3_memory_used()], and
+ ** In SQLite version 3.5.0 and 3.5.1, it was possible to define
- ** [sqlite3_memory_highwater()].  The alternative implementations
+ ** the SQLITE_OMIT_MEMORY_ALLOCATION which would cause the built-in
- ** for these last three routines need not actually work, but
+ ** implementation of these routines to be omitted.  That capability
- ** stub functions at least are needed to statisfy the linker.
+ ** is no longer provided.  Only built-in memory allocators can be
- ** SQLite never calls [sqlite3_memory_highwater()] itself, but
+ ** used.
- ** the symbol is included in a table as part of the
- ** [sqlite3_load_extension()] interface.  The
- ** [sqlite3_memory_alarm()] and [sqlite3_memory_used()] interfaces
- ** are called by [sqlite3_soft_heap_limit()] and working implementations
- ** of both routines must be provided if [sqlite3_soft_heap_limit()]
- ** is to operate correctly.
  **
- ** <b>Exception:</b> The windows OS interface layer calls
+ ** The windows OS interface layer calls
  ** the system malloc() and free() directly when converting
  ** filenames between the UTF-8 encoding used by SQLite
  ** and whatever filename encoding is used by the particular windows
  ** installation.  Memory allocation errors are detected, but
  ** they are reported back as [SQLITE_CANTOPEN] or
  ** [SQLITE_IOERR] rather than [SQLITE_NOMEM].
+ **
+ ** INVARIANTS:
+ **
+ ** {F17303}  The [sqlite3_malloc(N)] interface returns either a pointer to
+ **           newly checked-out block of at least N bytes of memory
+ **           that is 8-byte aligned,
+ **           or it returns NULL if it is unable to fulfill the request.
+ **
+ ** {F17304}  The [sqlite3_malloc(N)] interface returns a NULL pointer if
+ **           N is less than or equal to zero.
+ **
+ ** {F17305}  The [sqlite3_free(P)] interface releases memory previously
+ **           returned from [sqlite3_malloc()] or [sqlite3_realloc()],
+ **           making it available for reuse.
+ **
+ ** {F17306}  A call to [sqlite3_free(NULL)] is a harmless no-op.
+ **
+ ** {F17310}  A call to [sqlite3_realloc(0,N)] is equivalent to a call
+ **           to [sqlite3_malloc(N)].
+ **
+ ** {F17312}  A call to [sqlite3_realloc(P,0)] is equivalent to a call
+ **           to [sqlite3_free(P)].
+ **
+ ** {F17315}  The SQLite core uses [sqlite3_malloc()], [sqlite3_realloc()],
+ **           and [sqlite3_free()] for all of its memory allocation and
+ **           deallocation needs.
+ **
+ ** {F17318}  The [sqlite3_realloc(P,N)] interface returns either a pointer
+ **           to a block of checked-out memory of at least N bytes in size
+ **           that is 8-byte aligned, or a NULL pointer.
+ **
+ ** {F17321}  When [sqlite3_realloc(P,N)] returns a non-NULL pointer, it first
+ **           copies the first K bytes of content from P into the newly allocated
+ **           where K is the lessor of N and the size of the buffer P.
+ **
+ ** {F17322}  When [sqlite3_realloc(P,N)] returns a non-NULL pointer, it first
+ **           releases the buffer P.
+ **
+ ** {F17323}  When [sqlite3_realloc(P,N)] returns NULL, the buffer P is
+ **           not modified or released.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U17350}  The pointer arguments to [sqlite3_free()] and [sqlite3_realloc()]
+ **           must be either NULL or else a pointer obtained from a prior
+ **           invocation of [sqlite3_malloc()] or [sqlite3_realloc()] that has
+ **           not been released.
+ **
+ ** {U17351}  The application must not read or write any part of
+ **           a block of memory after it has been released using
+ **           [sqlite3_free()] or [sqlite3_realloc()].
+ **
  */
  void *sqlite3_malloc(int);
  void *sqlite3_realloc(void*, int);
  void sqlite3_free(void*);
  /*
- ** CAPI3REF: Memory Allocator Statistics
+ ** CAPI3REF: Memory Allocator Statistics {F17370}
  **
- ** In addition to the basic three allocation routines
+ ** SQLite provides these two interfaces for reporting on the status
- ** [sqlite3_malloc()], [sqlite3_free()], and [sqlite3_realloc()],
+ ** of the [sqlite3_malloc()], [sqlite3_free()], and [sqlite3_realloc()]
- ** the memory allocation subsystem included with the SQLite
+ ** the memory allocation subsystem included within the SQLite.
- ** sources provides the interfaces shown below.
+ **
- **
+ ** INVARIANTS:
- ** The first of these two routines returns the amount of memory
+ **
- ** currently outstanding (malloced but not freed).  The second
+ ** {F17371} The [sqlite3_memory_used()] routine returns the
- ** returns the largest instantaneous amount of outstanding
+ **          number of bytes of memory currently outstanding
- ** memory.  The highwater mark is reset if the argument is
+ **          (malloced but not freed).
- ** true.
+ **
- **
+ ** {F17373} The [sqlite3_memory_highwater()] routine returns the maximum
- ** The implementation of these routines in the SQLite core
+ **          value of [sqlite3_memory_used()]
- ** is omitted if the application is compiled with the
+ **          since the highwater mark was last reset.
- ** SQLITE_OMIT_MEMORY_ALLOCATION macro defined.  In that case,
+ **
- ** the application that links SQLite must provide its own
+ ** {F17374} The values returned by [sqlite3_memory_used()] and
- ** alternative implementation.  See the documentation on
+ **          [sqlite3_memory_highwater()] include any overhead
- ** [sqlite3_malloc()] for additional information.
+ **          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.
+ **
+ ** {F17375} The memory highwater mark is reset to the current value of
+ **          [sqlite3_memory_used()] if and only if the parameter to
+ **          [sqlite3_memory_highwater()] is true.  The value returned
+ **          by [sqlite3_memory_highwater(1)] is the highwater mark
+ **          prior to the reset.
  */
  sqlite3_int64 sqlite3_memory_used(void);
  sqlite3_int64 sqlite3_memory_highwater(int resetFlag);
  /*
- ** CAPI3REF: Memory Allocation Alarms
+ ** CAPI3REF: Compile-Time Authorization Callbacks {F12500}
  **
- ** The [sqlite3_memory_alarm] routine is used to register
+ ** This routine registers a authorizer callback with a particular
- ** a callback on memory allocation events.
+ ** database connection, supplied in the first argument.
- **
- ** This routine registers or clears a callbacks that fires when
- ** the amount of memory allocated exceeds iThreshold.  Only
- ** a single callback can be registered at a time.  Each call
- ** to [sqlite3_memory_alarm()] overwrites the previous callback.
- ** The callback is disabled by setting xCallback to a NULL
- ** pointer.
- **
- ** The parameters to the callback are the pArg value, the
- ** amount of memory currently in use, and the size of the
- ** allocation that provoked the callback.  The callback will
- ** presumably invoke [sqlite3_free()] to free up memory space.
- ** The callback may invoke [sqlite3_malloc()] or [sqlite3_realloc()]
- ** but if it does, no additional callbacks will be invoked by
- ** the recursive calls.
- **
- ** The [sqlite3_soft_heap_limit()] interface works by registering
- ** a memory alarm at the soft heap limit and invoking
- ** [sqlite3_release_memory()] in the alarm callback.  Application
- ** programs should not attempt to use the [sqlite3_memory_alarm()]
- ** interface because doing so will interfere with the
- ** [sqlite3_soft_heap_limit()] module.  This interface is exposed
- ** only so that applications can provide their own
- ** alternative implementation when the SQLite core is
- ** compiled with SQLITE_OMIT_MEMORY_ALLOCATION.
- */
- int sqlite3_memory_alarm(
-   void(*xCallback)(void *pArg, sqlite3_int64 used, int N),
-   void *pArg,
-   sqlite3_int64 iThreshold
- );
- /*
- ** CAPI3REF: Compile-Time Authorization Callbacks
- ***
- ** This routine registers a authorizer callback with the SQLite library.
  ** The authorizer callback is invoked as SQL statements are being compiled
  ** by [sqlite3_prepare()] or its variants [sqlite3_prepare_v2()],
  ** [sqlite3_prepare16()] and [sqlite3_prepare16_v2()].  At various
- Line 1232  int sqlite3_memory_alarm(
+ Line 1604  int sqlite3_memory_alarm(
  ** return SQLITE_OK to allow the action, [SQLITE_IGNORE] to disallow the
  ** specific action but allow the SQL statement to continue to be
  ** compiled, or [SQLITE_DENY] to cause the entire SQL statement to be
- ** rejected with an error.
+ ** rejected with an error.   If the authorizer callback returns
- **
+ ** any value other than [SQLITE_IGNORE], [SQLITE_OK], or [SQLITE_DENY]
- ** Depending on the action, the [SQLITE_IGNORE] and [SQLITE_DENY] return
+ ** then [sqlite3_prepare_v2()] or equivalent call that triggered
- ** codes might mean something different or they might mean the same
+ ** the authorizer will fail with an error message.
- ** thing.  If the action is, for example, to perform a delete opertion,
+ **
- ** then [SQLITE_IGNORE] and [SQLITE_DENY] both cause the statement compilation
+ ** When the callback returns [SQLITE_OK], that means the operation
- ** to fail with an error.  But if the action is to read a specific column
+ ** requested is ok.  When the callback returns [SQLITE_DENY], the
- ** from a specific table, then [SQLITE_DENY] will cause the entire
+ ** [sqlite3_prepare_v2()] or equivalent call that triggered the
- ** statement to fail but [SQLITE_IGNORE] will cause a NULL value to be
+ ** authorizer will fail with an error message explaining that
- ** read instead of the actual column value.
+ ** access is denied.  If the authorizer code is [SQLITE_READ]
+ ** and the callback returns [SQLITE_IGNORE] then the prepared
+ ** statement is constructed to insert a NULL value in place of
+ ** the table column that would have
+ ** been read if [SQLITE_OK] had been returned.  The [SQLITE_IGNORE]
+ ** return can be used to deny an untrusted user access to individual
+ ** columns of a table.
  **
  ** The first parameter to the authorizer callback is a copy of
  ** the third parameter to the sqlite3_set_authorizer() interface.
  ** The second parameter to the callback is an integer
  ** [SQLITE_COPY | action code] that specifies the particular action
- ** to be authorized.  The available action codes are
+ ** to be authorized. The third through sixth
- ** [SQLITE_COPY | documented separately].  The third through sixth
+ ** parameters to the callback are zero-terminated strings that contain
- ** parameters to the callback are strings that contain additional
+ ** additional details about the action to be authorized.
- ** details about the action to be authorized.
  **
  ** An authorizer is used when preparing SQL statements from an untrusted
  ** source, to ensure that the SQL statements do not try to access data
- Line 1265  int sqlite3_memory_alarm(
+ Line 1642  int sqlite3_memory_alarm(
  **
  ** Only a single authorizer can be in place on a database connection
  ** at a time.  Each call to sqlite3_set_authorizer overrides the
- ** previous call.  A NULL authorizer means that no authorization
+ ** previous call.  Disable the authorizer by installing a NULL callback.
- ** callback is invoked.  The default authorizer is NULL.
+ ** The authorizer is disabled by default.
  **
  ** Note that the authorizer callback is invoked only during
  ** [sqlite3_prepare()] or its variants.  Authorization is not
  ** performed during statement evaluation in [sqlite3_step()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F12501} The [sqlite3_set_authorizer(D,...)] interface registers a
+ **          authorizer callback with database connection D.
+ **
+ ** {F12502} The authorizer callback is invoked as SQL statements are
+ **          being compiled
+ **
+ ** {F12503} If the authorizer callback returns any value other than
+ **          [SQLITE_IGNORE], [SQLITE_OK], or [SQLITE_DENY] then
+ **          the [sqlite3_prepare_v2()] or equivalent call that caused
+ **          the authorizer callback to run shall fail with an
+ **          [SQLITE_ERROR] error code and an appropriate error message.
+ **
+ ** {F12504} When the authorizer callback returns [SQLITE_OK], the operation
+ **          described is coded normally.
+ **
+ ** {F12505} When the authorizer callback returns [SQLITE_DENY], the
+ **          [sqlite3_prepare_v2()] or equivalent call that caused the
+ **          authorizer callback to run shall fail
+ **          with an [SQLITE_ERROR] error code and an error message
+ **          explaining that access is denied.
+ **
+ ** {F12506} If the authorizer code (the 2nd parameter to the authorizer
+ **          callback) is [SQLITE_READ] and the authorizer callback returns
+ **          [SQLITE_IGNORE] then the prepared statement is constructed to
+ **          insert a NULL value in place of the table column that would have
+ **          been read if [SQLITE_OK] had been returned.
+ **
+ ** {F12507} If the authorizer code (the 2nd parameter to the authorizer
+ **          callback) is anything other than [SQLITE_READ], then
+ **          a return of [SQLITE_IGNORE] has the same effect as [SQLITE_DENY].
+ **
+ ** {F12510} The first parameter to the authorizer callback is a copy of
+ **          the third parameter to the [sqlite3_set_authorizer()] interface.
+ **
+ ** {F12511} The second parameter to the callback is an integer
+ **          [SQLITE_COPY | action code] that specifies the particular action
+ **          to be authorized.
+ **
+ ** {F12512} The third through sixth parameters to the callback are
+ **          zero-terminated strings that contain
+ **          additional details about the action to be authorized.
+ **
+ ** {F12520} Each call to [sqlite3_set_authorizer()] overrides the
+ **          any previously installed authorizer.
+ **
+ ** {F12521} A NULL authorizer means that no authorization
+ **          callback is invoked.
+ **
+ ** {F12522} The default authorizer is NULL.
  */
  int sqlite3_set_authorizer(
    sqlite3*,
- Line 1279  int sqlite3_set_authorizer(
+ Line 1708  int sqlite3_set_authorizer(
  );
  /*
- ** CAPI3REF: Authorizer Return Codes
+ ** CAPI3REF: Authorizer Return Codes {F12590}
  **
  ** The [sqlite3_set_authorizer | authorizer callback function] must
  ** return either [SQLITE_OK] or one of these two constants in order
- Line 1291  int sqlite3_set_authorizer(
+ Line 1720  int sqlite3_set_authorizer(
  #define SQLITE_IGNORE 2   /* Don't allow access, but don't generate an error */
  /*
- ** CAPI3REF: Authorizer Action Codes
+ ** CAPI3REF: Authorizer Action Codes {F12550}
  **
  ** The [sqlite3_set_authorizer()] interface registers a callback function
  ** that is invoked to authorizer certain SQL statement actions.  The
- Line 1300  int sqlite3_set_authorizer(
+ Line 1729  int sqlite3_set_authorizer(
  ** the authorizer callback may be passed.
  **
  ** These action code values signify what kind of operation is to be
- ** authorized.  The 3rd and 4th parameters to the authorization callback
+ ** authorized.  The 3rd and 4th parameters to the authorization
- ** function will be parameters or NULL depending on which of these
+ ** callback function will be parameters or NULL depending on which of these
  ** codes is used as the second parameter.  The 5th parameter to the
  ** authorizer callback is the name of the database ("main", "temp",
  ** etc.) if applicable.  The 6th parameter to the authorizer callback
  ** is the name of the inner-most trigger or view that is responsible for
  ** the access attempt or NULL if this access attempt is directly from
  ** top-level SQL code.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12551} The second parameter to an
+ **          [sqlite3_set_authorizer | authorizer callback is always an integer
+ **          [SQLITE_COPY | authorizer code] that specifies what action
+ **          is being authorized.
+ **
+ ** {F12552} The 3rd and 4th parameters to the
+ **          [sqlite3_set_authorizer | authorization callback function]
+ **          will be parameters or NULL depending on which
+ **          [SQLITE_COPY | authorizer code] is used as the second parameter.
+ **
+ ** {F12553} The 5th parameter to the
+ **          [sqlite3_set_authorizer | authorizer callback] is the name
+ **          of the database (example: "main", "temp", etc.) if applicable.
+ **
+ ** {F12554} The 6th parameter to the
+ **          [sqlite3_set_authorizer | authorizer callback] is the name
+ **          of the inner-most trigger or view that is responsible for
+ **          the access attempt or NULL if this access attempt is directly from
+ **          top-level SQL code.
  */
  /******************************************* 3rd ************ 4th ***********/
  #define SQLITE_CREATE_INDEX          1   /* Index Name      Table Name      */
- Line 1344  int sqlite3_set_authorizer(
+ Line 1795  int sqlite3_set_authorizer(
  #define SQLITE_COPY                  0   /* No longer used */
  /*
- ** CAPI3REF: Tracing And Profiling Functions
+ ** CAPI3REF: Tracing And Profiling Functions {F12280}
  **
  ** These routines register callback functions that can be used for
  ** tracing and profiling the execution of SQL statements.
- ** The callback function registered by sqlite3_trace() is invoked
+ **
- ** at the first [sqlite3_step()] for the evaluation of an SQL statement.
+ ** The callback function registered by sqlite3_trace() is invoked at
+ ** various times when an SQL statement is being run by [sqlite3_step()].
+ ** The callback returns a UTF-8 rendering of the SQL statement text
+ ** as the statement first begins executing.  Additional callbacks occur
+ ** as each triggersubprogram is entered.  The callbacks for triggers
+ ** contain a UTF-8 SQL comment that identifies the trigger.
+ **
  ** The callback function registered by sqlite3_profile() is invoked
- ** as each SQL statement finishes and includes
+ ** as each SQL statement finishes.  The profile callback contains
- ** information on how long that statement ran.
+ ** the original statement text and an estimate of wall-clock time
+ ** of how long that statement took to run.
  **
  ** The sqlite3_profile() API is currently considered experimental and
- ** is subject to change.
+ ** is subject to change or removal in a future release.
+ **
+ ** The trigger reporting feature of the trace callback is considered
+ ** experimental and is subject to change or removal in future releases.
+ ** Future versions of SQLite might also add new trace callback
+ ** invocations.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12281} The callback function registered by [sqlite3_trace()] is
+ **          whenever an SQL statement first begins to execute and
+ **          whenever a trigger subprogram first begins to run.
+ **
+ ** {F12282} Each call to [sqlite3_trace()] overrides the previously
+ **          registered trace callback.
+ **
+ ** {F12283} A NULL trace callback disables tracing.
+ **
+ ** {F12284} The first argument to the trace callback is a copy of
+ **          the pointer which was the 3rd argument to [sqlite3_trace()].
+ **
+ ** {F12285} The second argument to the trace callback is a
+ **          zero-terminated UTF8 string containing the original text
+ **          of the SQL statement as it was passed into [sqlite3_prepare_v2()]
+ **          or the equivalent, or an SQL comment indicating the beginning
+ **          of a trigger subprogram.
+ **
+ ** {F12287} The callback function registered by [sqlite3_profile()] is invoked
+ **          as each SQL statement finishes.
+ **
+ ** {F12288} The first parameter to the profile callback is a copy of
+ **          the 3rd parameter to [sqlite3_profile()].
+ **
+ ** {F12289} The second parameter to the profile callback is a
+ **          zero-terminated UTF-8 string that contains the complete text of
+ **          the SQL statement as it was processed by [sqlite3_prepare_v2()]
+ **          or the equivalent.
+ **
+ ** {F12290} The third parameter to the profile  callback is an estimate
+ **          of the number of nanoseconds of wall-clock time required to
+ **          run the SQL statement from start to finish.
  */
  void *sqlite3_trace(sqlite3*, void(*xTrace)(void*,const char*), void*);
  void *sqlite3_profile(sqlite3*,
     void(*xProfile)(void*,const char*,sqlite3_uint64), void*);
  /*
- ** CAPI3REF: Query Progress Callbacks
+ ** CAPI3REF: Query Progress Callbacks {F12910}
  **
- ** This routine configures a callback function - the progress callback - that
+ ** This routine configures a callback function - the
- ** is invoked periodically during long running calls to [sqlite3_exec()],
+ ** progress callback - that is invoked periodically during long
- ** [sqlite3_step()] and [sqlite3_get_table()].  An example use for this
+ ** running calls to [sqlite3_exec()], [sqlite3_step()] and
+ ** [sqlite3_get_table()].   An example use for this
  ** interface is to keep a GUI updated during a large query.
  **
- ** The progress callback is invoked once for every N virtual machine opcodes,
+ ** If the progress callback returns non-zero, the opertion is
- ** where N is the second argument to this function. The progress callback
+ ** interrupted.  This feature can be used to implement a
- ** itself is identified by the third argument to this function. The fourth
+ ** "Cancel" button on a GUI dialog box.
- ** argument to this function is a void pointer passed to the progress callback
+ **
- ** function each time it is invoked.
+ ** INVARIANTS:
  **
- ** If a call to [sqlite3_exec()], [sqlite3_step()], or [sqlite3_get_table()]
+ ** {F12911} The callback function registered by [sqlite3_progress_handler()]
- ** results in fewer than N opcodes being executed, then the progress
+ **          is invoked periodically during long running calls to
- ** callback is never invoked.
+ **          [sqlite3_step()].
  **
- ** Only a single progress callback function may be registered for each
+ ** {F12912} The progress callback is invoked once for every N virtual
- ** open database connection.  Every call to sqlite3_progress_handler()
+ **          machine opcodes, where N is the second argument to
- ** overwrites the results of the previous call.
+ **          the [sqlite3_progress_handler()] call that registered
- ** To remove the progress callback altogether, pass NULL as the third
+ **          the callback.  <todo>What if N is less than 1?</todo>
- ** argument to this function.
+ **
- **
+ ** {F12913} The progress callback itself is identified by the third
- ** If the progress callback returns a result other than 0, then the current
+ **          argument to [sqlite3_progress_handler()].
- ** query is immediately terminated and any database changes rolled back.
+ **
- ** The containing [sqlite3_exec()], [sqlite3_step()], or
+ ** {F12914} The fourth argument [sqlite3_progress_handler()] is a
- ** [sqlite3_get_table()] call returns SQLITE_INTERRUPT.   This feature
+ ***         void pointer passed to the progress callback
- ** can be used, for example, to implement the "Cancel" button on a
+ **          function each time it is invoked.
- ** progress dialog box in a GUI.
+ **
+ ** {F12915} If a call to [sqlite3_step()] results in fewer than
+ **          N opcodes being executed,
+ **          then the progress callback is never invoked. {END}
+ **
+ ** {F12916} Every call to [sqlite3_progress_handler()]
+ **          overwrites any previously registere progress handler.
+ **
+ ** {F12917} If the progress handler callback is NULL then no progress
+ **          handler is invoked.
+ **
+ ** {F12918} If the progress callback returns a result other than 0, then
+ **          the behavior is a if [sqlite3_interrupt()] had been called.
  */
  void sqlite3_progress_handler(sqlite3*, int, int(*)(void*), void*);
  /*
- ** CAPI3REF: Opening A New Database Connection
+ ** CAPI3REF: Opening A New Database Connection {F12700}
  **
- ** Open the sqlite database file "filename".  The "filename" is UTF-8
+ ** These routines open an SQLite database file whose name
- ** encoded for [sqlite3_open()] and [sqlite3_open_v2()] and UTF-16 encoded
+ ** is given by the filename argument.
+ ** The filename argument is interpreted as UTF-8
+ ** for [sqlite3_open()] and [sqlite3_open_v2()] and as UTF-16
  ** in the native byte order for [sqlite3_open16()].
- ** An [sqlite3*] handle is returned in *ppDb, even
+ ** An [sqlite3*] handle is usually returned in *ppDb, even
- ** if an error occurs. If the database is opened (or created) successfully,
+ ** if an error occurs.  The only exception is if SQLite is unable
- ** then [SQLITE_OK] is returned. Otherwise an error code is returned. The
+ ** to allocate memory to hold the [sqlite3] object, a NULL will
+ ** be written into *ppDb instead of a pointer to the [sqlite3] object.
+ ** If the database is opened (and/or created)
+ ** successfully, then [SQLITE_OK] is returned.  Otherwise an
+ ** error code is returned.  The
  ** [sqlite3_errmsg()] or [sqlite3_errmsg16()]  routines can be used to obtain
  ** an English language description of the error.
  **
  ** The default encoding for the database will be UTF-8 if
  ** [sqlite3_open()] or [sqlite3_open_v2()] is called and
- ** UTF-16 if [sqlite3_open16()] is used.
+ ** UTF-16 in the native byte order if [sqlite3_open16()] is used.
  **
- ** Whether or not an error occurs when it is opened, resources associated
+ ** Whether or not an error occurs when it is opened, resources
- ** with the [sqlite3*] handle should be released by passing it to
+ ** associated with the [sqlite3*] handle should be released by passing it
- ** [sqlite3_close()] when it is no longer required.
+ ** to [sqlite3_close()] when it is no longer required.
  **
- ** The [sqlite3_open_v2()] interface works like [sqlite3_open()] except that
+ ** The [sqlite3_open_v2()] interface works like [sqlite3_open()]
- ** provides two additional parameters for additional control over the
+ ** except that it acccepts two additional parameters for additional control
- ** new database connection.  The flags parameter can be one of:
+ ** over the new database connection.  The flags parameter can be
+ ** one of:
  **
  ** <ol>
  ** <li>  [SQLITE_OPEN_READONLY]
- Line 1424  void sqlite3_progress_handler(sqlite3*,
+ Line 1942  void sqlite3_progress_handler(sqlite3*,
  ** <li>  [SQLITE_OPEN_READWRITE] | [SQLITE_OPEN_CREATE]
  ** </ol>
  **
- ** The first value opens the database read-only.  If the database does
+ ** The first value opens the database read-only.
- ** not previously exist, an error is returned.  The second option opens
+ ** If the database does not previously exist, an error is returned.
+ ** The second option opens
  ** the database for reading and writing if possible, or reading only if
- ** if the file is write protected.  In either case the database must already
+ ** if the file is write protected.  In either case the database
- ** exist or an error is returned.  The third option opens the database
+ ** must already exist or an error is returned.  The third option
- ** for reading and writing and creates it if it does not already exist.
+ ** opens the database for reading and writing and creates it if it does
+ ** not already exist.
  ** The third options is behavior that is always used for [sqlite3_open()]
  ** and [sqlite3_open16()].
  **
- Line 1457  void sqlite3_progress_handler(sqlite3*,
+ Line 1977  void sqlite3_progress_handler(sqlite3*,
  ** codepage is currently defined.  Filenames containing international
  ** characters must be converted to UTF-8 prior to passing them into
  ** [sqlite3_open()] or [sqlite3_open_v2()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F12701} The [sqlite3_open()], [sqlite3_open16()], and
+ **          [sqlite3_open_v2()] interfaces create a new
+ **          [database connection] associated with
+ **          the database file given in their first parameter.
+ **
+ ** {F12702} The filename argument is interpreted as UTF-8
+ **          for [sqlite3_open()] and [sqlite3_open_v2()] and as UTF-16
+ **          in the native byte order for [sqlite3_open16()].
+ **
+ ** {F12703} A successful invocation of [sqlite3_open()], [sqlite3_open16()],
+ **          or [sqlite3_open_v2()] writes a pointer to a new
+ **          [database connection] into *ppDb.
+ **
+ ** {F12704} The [sqlite3_open()], [sqlite3_open16()], and
+ **          [sqlite3_open_v2()] interfaces return [SQLITE_OK] upon success,
+ **          or an appropriate [error code] on failure.
+ **
+ ** {F12706} The default text encoding for a new database created using
+ **          [sqlite3_open()] or [sqlite3_open_v2()] will be UTF-8.
+ **
+ ** {F12707} The default text encoding for a new database created using
+ **          [sqlite3_open16()] will be UTF-16.
+ **
+ ** {F12709} The [sqlite3_open(F,D)] interface is equivalent to
+ **          [sqlite3_open_v2(F,D,G,0)] where the G parameter is
+ **          [SQLITE_OPEN_READWRITE]|[SQLITE_OPEN_CREATE].
+ **
+ ** {F12711} If the G parameter to [sqlite3_open_v2(F,D,G,V)] contains the
+ **          bit value [SQLITE_OPEN_READONLY] then the database is opened
+ **          for reading only.
+ **
+ ** {F12712} If the G parameter to [sqlite3_open_v2(F,D,G,V)] contains the
+ **          bit value [SQLITE_OPEN_READWRITE] then the database is opened
+ **          reading and writing if possible, or for reading only if the
+ **          file is write protected by the operating system.
+ **
+ ** {F12713} If the G parameter to [sqlite3_open(v2(F,D,G,V)] omits the
+ **          bit value [SQLITE_OPEN_CREATE] and the database does not
+ **          previously exist, an error is returned.
+ **
+ ** {F12714} If the G parameter to [sqlite3_open(v2(F,D,G,V)] contains the
+ **          bit value [SQLITE_OPEN_CREATE] and the database does not
+ **          previously exist, then an attempt is made to create and
+ **          initialize the database.
+ **
+ ** {F12717} If the filename argument to [sqlite3_open()], [sqlite3_open16()],
+ **          or [sqlite3_open_v2()] is ":memory:", then an private,
+ **          ephemeral, in-memory database is created for the connection.
+ **          <todo>Is SQLITE_OPEN_CREATE|SQLITE_OPEN_READWRITE required
+ **          in sqlite3_open_v2()?</todo>
+ **
+ ** {F12719} If the filename is NULL or an empty string, then a private,
+ **          ephermeral on-disk database will be created.
+ **          <todo>Is SQLITE_OPEN_CREATE|SQLITE_OPEN_READWRITE required
+ **          in sqlite3_open_v2()?</todo>
+ **
+ ** {F12721} The [database connection] created by
+ **          [sqlite3_open_v2(F,D,G,V)] will use the
+ **          [sqlite3_vfs] object identified by the V parameter, or
+ **          the default [sqlite3_vfs] object is V is a NULL pointer.
  */
  int sqlite3_open(
    const char *filename,   /* Database filename (UTF-8) */
- Line 1474  int sqlite3_open_v2(
+ Line 2057  int sqlite3_open_v2(
  );
  /*
- ** CAPI3REF: Error Codes And Messages
+ ** CAPI3REF: Error Codes And Messages {F12800}
  **
  ** The sqlite3_errcode() interface returns the numeric
  ** [SQLITE_OK | result code] or [SQLITE_IOERR_READ | extended result code]
  ** for the most recent failed sqlite3_* API call associated
- ** with [sqlite3] handle 'db'.  If a prior API call failed but the
+ ** with [sqlite3] handle 'db'. If a prior API call failed but the
  ** most recent API call succeeded, the return value from sqlite3_errcode()
  ** is undefined.
  **
  ** The sqlite3_errmsg() and sqlite3_errmsg16() return English-language
  ** text that describes the error, as either UTF8 or UTF16 respectively.
- ** Memory to hold the error message string is managed internally.  The
+ ** Memory to hold the error message string is managed internally.
- ** string may be overwritten or deallocated by subsequent calls to SQLite
+ ** The application does not need to worry with freeing the result.
- ** interface functions.
+ ** However, the error string might be overwritten or deallocated by
- **
+ ** subsequent calls to other SQLite interface functions.
- ** Calls to many sqlite3_* functions set the error code and string returned
+ **
- ** by [sqlite3_errcode()], [sqlite3_errmsg()], and [sqlite3_errmsg16()]
+ ** INVARIANTS:
- ** (overwriting the previous values). Note that calls to [sqlite3_errcode()],
+ **
- ** [sqlite3_errmsg()], and [sqlite3_errmsg16()] themselves do not affect the
+ ** {F12801} The [sqlite3_errcode(D)] interface returns the numeric
- ** results of future invocations.  Calls to API routines that do not return
+ **          [SQLITE_OK | result code] or
- ** an error code (example: [sqlite3_data_count()]) do not
+ **          [SQLITE_IOERR_READ | extended result code]
- ** change the error code returned by this routine.  Interfaces that are
+ **          for the most recently failed interface call associated
- ** not associated with a specific database connection (examples:
+ **          with [database connection] D.
- ** [sqlite3_mprintf()] or [sqlite3_enable_shared_cache()] do not change
+ **
- ** the return code.
+ ** {F12803} The [sqlite3_errmsg(D)] and [sqlite3_errmsg16(D)]
- **
+ **          interfaces return English-language text that describes
- ** Assuming no other intervening sqlite3_* API calls are made, the error
+ **          the error in the mostly recently failed interface call,
- ** code returned by this function is associated with the same error as
+ **          encoded as either UTF8 or UTF16 respectively.
- ** the strings returned by [sqlite3_errmsg()] and [sqlite3_errmsg16()].
+ **
+ ** {F12807} The strings returned by [sqlite3_errmsg()] and [sqlite3_errmsg16()]
+ **          are valid until the next SQLite interface call.
+ **
+ ** {F12808} Calls to API routines that do not return an error code
+ **          (example: [sqlite3_data_count()]) do not
+ **          change the error code or message returned by
+ **          [sqlite3_errcode()], [sqlite3_errmsg()], or [sqlite3_errmsg16()].
+ **
+ ** {F12809} Interfaces that are not associated with a specific
+ **          [database connection] (examples:
+ **          [sqlite3_mprintf()] or [sqlite3_enable_shared_cache()]
+ **          do not change the values returned by
+ **          [sqlite3_errcode()], [sqlite3_errmsg()], or [sqlite3_errmsg16()].
  */
  int sqlite3_errcode(sqlite3 *db);
  const char *sqlite3_errmsg(sqlite3*);
  const void *sqlite3_errmsg16(sqlite3*);
  /*
- ** CAPI3REF: SQL Statement Object
+ ** CAPI3REF: SQL Statement Object {F13000}
+ ** KEYWORDS: {prepared statement} {prepared statements}
  **
- ** Instance of this object represent single SQL statements.  This
+ ** An instance of this object represent single SQL statements.  This
- ** is variously known as a "prepared statement" or a
+ ** object is variously known as a "prepared statement" or a
  ** "compiled SQL statement" or simply as a "statement".
  **
  ** The life of a statement object goes something like this:
- Line 1534  const void *sqlite3_errmsg16(sqlite3*);
+ Line 2131  const void *sqlite3_errmsg16(sqlite3*);
  typedef struct sqlite3_stmt sqlite3_stmt;
  /*
- ** CAPI3REF: Compiling An SQL Statement
+ ** CAPI3REF: Compiling An SQL Statement {F13010}
  **
  ** To execute an SQL query, it must first be compiled into a byte-code
  ** program using one of these routines.
  **
- ** The first argument "db" is an [sqlite3 | SQLite database handle]
+ ** The first argument "db" is an [database connection]
  ** obtained from a prior call to [sqlite3_open()], [sqlite3_open_v2()]
  ** or [sqlite3_open16()].
  ** The second argument "zSql" is the statement to be compiled, encoded
  ** as either UTF-8 or UTF-16.  The sqlite3_prepare() and sqlite3_prepare_v2()
  ** interfaces uses UTF-8 and sqlite3_prepare16() and sqlite3_prepare16_v2()
- ** use UTF-16.
+ ** use UTF-16. {END}
  **
  ** If the nByte argument is less
- ** than zero, then zSql is read up to the first zero terminator.  If
+ ** than zero, then zSql is read up to the first zero terminator.
- ** nByte is non-negative, then it is the maximum number of
+ ** If nByte is non-negative, then it is the maximum number of
  ** bytes read from zSql.  When nByte is non-negative, the
- ** zSql string ends at either the first '\000' character or
+ ** zSql string ends at either the first '\000' or '\u0000' character or
- ** until the nByte-th byte, whichever comes first.
+ ** until the nByte-th byte, whichever comes first. {END}
  **
- ** *pzTail is made to point to the first byte past the end of the first
+ ** *pzTail is made to point to the first byte past the end of the
- ** SQL statement in zSql.  This routine only compiles the first statement
+ ** first SQL statement in zSql.  These routines only compiles the first
- ** in zSql, so *pzTail is left pointing to what remains uncompiled.
+ ** statement in zSql, so *pzTail is left pointing to what remains
- **
+ ** uncompiled.
- ** *ppStmt is left pointing to a compiled
+ **
- ** [sqlite3_stmt | SQL statement structure] that can be
+ ** *ppStmt is left pointing to a compiled [prepared statement] that can be
- ** executed using [sqlite3_step()].  Or if there is an error, *ppStmt may be
+ ** executed using [sqlite3_step()].  Or if there is an error, *ppStmt is
- ** set to NULL.  If the input text contained no SQL (if the input is and
+ ** set to NULL.  If the input text contains no SQL (if the input
- ** empty string or a comment) then *ppStmt is set to NULL.  The calling
+ ** is and empty string or a comment) then *ppStmt is set to NULL.
- ** procedure is responsible for deleting the compiled SQL statement
+ ** {U13018} The calling procedure is responsible for deleting the
+ ** compiled SQL statement
  ** using [sqlite3_finalize()] after it has finished with it.
  **
  ** On success, [SQLITE_OK] is returned.  Otherwise an
- ** [SQLITE_ERROR | error code] is returned.
+ ** [error code] is returned.
  **
  ** The sqlite3_prepare_v2() and sqlite3_prepare16_v2() interfaces are
  ** recommended for all new programs. The two older interfaces are retained
  ** for backwards compatibility, but their use is discouraged.
  ** In the "v2" interfaces, the prepared statement
  ** that is returned (the [sqlite3_stmt] object) contains a copy of the
- ** original SQL text. This causes the [sqlite3_step()] interface to
+ ** original SQL text. {END} This causes the [sqlite3_step()] interface to
  ** behave a differently in two ways:
  **
  ** <ol>
  ** <li>
  ** If the database schema changes, instead of returning [SQLITE_SCHEMA] as it
  ** always used to do, [sqlite3_step()] will automatically recompile the SQL
- ** statement and try to run it again.  If the schema has changed in a way
+ ** statement and try to run it again.  If the schema has changed in
- ** that makes the statement no longer valid, [sqlite3_step()] will still
+ ** a way that makes the statement no longer valid, [sqlite3_step()] will still
- ** return [SQLITE_SCHEMA].  But unlike the legacy behavior, [SQLITE_SCHEMA] is
+ ** return [SQLITE_SCHEMA].  But unlike the legacy behavior,
- ** now a fatal error.  Calling [sqlite3_prepare_v2()] again will not make the
+ ** [SQLITE_SCHEMA] is now a fatal error.  Calling
- ** error go away.  Note: use [sqlite3_errmsg()] to find the text of the parsing
+ ** [sqlite3_prepare_v2()] again will not make the
- ** error that results in an [SQLITE_SCHEMA] return.
+ ** error go away.  Note: use [sqlite3_errmsg()] to find the text
+ ** of the parsing error that results in an [SQLITE_SCHEMA] return. {END}
  ** </li>
  **
  ** <li>
  ** When an error occurs,
  ** [sqlite3_step()] will return one of the detailed
- ** [SQLITE_ERROR | result codes] or
+ ** [error codes] or [extended error codes].
- ** [SQLITE_IOERR_READ | extended result codes] such as directly.
  ** The legacy behavior was that [sqlite3_step()] would only return a generic
  ** [SQLITE_ERROR] result code and you would have to make a second call to
  ** [sqlite3_reset()] in order to find the underlying cause of the problem.
- Line 1601  typedef struct sqlite3_stmt sqlite3_stmt
+ Line 2199  typedef struct sqlite3_stmt sqlite3_stmt
  ** returned immediately.
  ** </li>
  ** </ol>
+ **
+ ** INVARIANTS:
+ **
+ ** {F13011} The [sqlite3_prepare(db,zSql,...)] and
+ **          [sqlite3_prepare_v2(db,zSql,...)] interfaces interpret the
+ **          text in their zSql parameter as UTF-8.
+ **
+ ** {F13012} The [sqlite3_prepare16(db,zSql,...)] and
+ **          [sqlite3_prepare16_v2(db,zSql,...)] interfaces interpret the
+ **          text in their zSql parameter as UTF-16 in the native byte order.
+ **
+ ** {F13013} If the nByte argument to [sqlite3_prepare_v2(db,zSql,nByte,...)]
+ **          and its variants is less than zero, then SQL text is
+ **          read from zSql is read up to the first zero terminator.
+ **
+ ** {F13014} If the nByte argument to [sqlite3_prepare_v2(db,zSql,nByte,...)]
+ **          and its variants is non-negative, then nBytes bytes
+ **          SQL text is read from zSql.
+ **
+ ** {F13015} In [sqlite3_prepare_v2(db,zSql,N,P,pzTail)] and its variants
+ **          if the zSql input text contains more than one SQL statement
+ **          and pzTail is not NULL, then *pzTail is made to point to the
+ **          first byte past the end of the first SQL statement in zSql.
+ **          <todo>What does *pzTail point to if there is one statement?</todo>
+ **
+ ** {F13016} A successful call to [sqlite3_prepare_v2(db,zSql,N,ppStmt,...)]
+ **          or one of its variants writes into *ppStmt a pointer to a new
+ **          [prepared statement] or a pointer to NULL
+ **          if zSql contains nothing other than whitespace or comments.
+ **
+ ** {F13019} The [sqlite3_prepare_v2()] interface and its variants return
+ **          [SQLITE_OK] or an appropriate [error code] upon failure.
+ **
+ ** {F13021} Before [sqlite3_prepare(db,zSql,nByte,ppStmt,pzTail)] or its
+ **          variants returns an error (any value other than [SQLITE_OK])
+ **          it first sets *ppStmt to NULL.
  */
  int sqlite3_prepare(
    sqlite3 *db,            /* Database handle */
- Line 1632  int sqlite3_prepare16_v2(
+ Line 2266  int sqlite3_prepare16_v2(
  );
  /*
- ** CAPI3REF:  Dynamically Typed Value Object
+ ** CAPIREF: Retrieving Statement SQL {F13100}
+ **
+ ** This intereface can be used to retrieve a saved copy of the original
+ ** SQL text used to create a [prepared statement].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13101} If the [prepared statement] passed as
+ **          the an argument to [sqlite3_sql()] was compiled
+ **          compiled using either [sqlite3_prepare_v2()] or
+ **          [sqlite3_prepare16_v2()],
+ **          then [sqlite3_sql()] function returns a pointer to a
+ **          zero-terminated string containing a UTF-8 rendering
+ **          of the original SQL statement.
+ **
+ ** {F13102} If the [prepared statement] passed as
+ **          the an argument to [sqlite3_sql()] was compiled
+ **          compiled using either [sqlite3_prepare()] or
+ **          [sqlite3_prepare16()],
+ **          then [sqlite3_sql()] function returns a NULL pointer.
+ **
+ ** {F13103} The string returned by [sqlite3_sql(S)] is valid until the
+ **          [prepared statement] S is deleted using [sqlite3_finalize(S)].
+ */
+ const char *sqlite3_sql(sqlite3_stmt *pStmt);
+ /*
+ ** CAPI3REF:  Dynamically Typed Value Object  {F15000}
  **
- ** SQLite uses dynamic typing for the values it stores.  Values can
+ ** SQLite uses the sqlite3_value object to represent all values
- ** be integers, floating point values, strings, BLOBs, or NULL.  When
+ ** that are or can be stored in a database table.
- ** passing around values internally, each value is represented as
+ ** SQLite uses dynamic typing for the values it stores.
- ** an instance of the sqlite3_value object.
+ ** Values stored in sqlite3_value objects can be
+ ** be integers, floating point values, strings, BLOBs, or NULL.
  */
  typedef struct Mem sqlite3_value;
  /*
- ** CAPI3REF:  SQL Function Context Object
+ ** CAPI3REF:  SQL Function Context Object {F16001}
  **
  ** The context in which an SQL function executes is stored in an
- ** sqlite3_context object.  A pointer to such an object is the
+ ** sqlite3_context object.  A pointer to an sqlite3_context
- ** first parameter to user-defined SQL functions.
+ ** object is always first parameter to application-defined SQL functions.
  */
  typedef struct sqlite3_context sqlite3_context;
  /*
- ** CAPI3REF:  Binding Values To Prepared Statements
+ ** CAPI3REF:  Binding Values To Prepared Statements {F13500}
  **
- ** In the SQL strings input to [sqlite3_prepare_v2()] and its variants,
+ ** In the SQL strings input to [sqlite3_prepare_v2()] and its
- ** one or more literals can be replace by a parameter in one of these
+ ** variants, literals may be replace by a parameter in one
- ** forms:
+ ** of these forms:
  **
  ** <ul>
  ** <li>  ?
  ** <li>  ?NNN
- ** <li>  :AAA
+ ** <li>  :VVV
- ** <li>  @AAA
+ ** <li>  @VVV
  ** <li>  $VVV
  ** </ul>
  **
  ** In the parameter forms shown above NNN is an integer literal,
- ** AAA is an alphanumeric identifier and VVV is a variable name according
+ ** VVV alpha-numeric parameter name.
- ** to the syntax rules of the TCL programming language.
+ ** The values of these parameters (also called "host parameter names"
- ** The values of these parameters (also called "host parameter names")
+ ** or "SQL parameters")
  ** can be set using the sqlite3_bind_*() routines defined here.
  **
- ** The first argument to the sqlite3_bind_*() routines always is a pointer
+ ** The first argument to the sqlite3_bind_*() routines always
- ** to the [sqlite3_stmt] object returned from [sqlite3_prepare_v2()] or
+ ** is a pointer to the [sqlite3_stmt] object returned from
- ** its variants.  The second
+ ** [sqlite3_prepare_v2()] or its variants. The second
- ** argument is the index of the parameter to be set.  The first parameter has
+ ** argument is the index of the parameter to be set. The
- ** an index of 1. When the same named parameter is used more than once, second
+ ** first parameter has an index of 1.  When the same named
- ** and subsequent
+ ** parameter is used more than once, second and subsequent
- ** occurrences have the same index as the first occurrence.  The index for
+ ** occurrences have the same index as the first occurrence.
- ** named parameters can be looked up using the
+ ** The index for named parameters can be looked up using the
- ** [sqlite3_bind_parameter_name()] API if desired.  The index for "?NNN"
+ ** [sqlite3_bind_parameter_name()] API if desired.  The index
- ** parametes is the value of NNN.
+ ** for "?NNN" parameters is the value of NNN.
  ** The NNN value must be between 1 and the compile-time
  ** parameter SQLITE_MAX_VARIABLE_NUMBER (default value: 999).
- ** See <a href="limits.html">limits.html</a> for additional information.
  **
  ** The third argument is the value to bind to the parameter.
  **
  ** In those
  ** routines that have a fourth argument, its value is the number of bytes
- ** in the parameter.  To be clear: the value is the number of bytes in the
+ ** in the parameter.  To be clear: the value is the number of <u>bytes</u>
- ** string, not the number of characters.  The number
+ ** in the value, not the number of characters.   The number
  ** of bytes does not include the zero-terminator at the end of strings.
  ** If the fourth parameter is negative, the length of the string is
  ** number of bytes up to the first zero terminator.
  **
  ** The fifth argument to sqlite3_bind_blob(), sqlite3_bind_text(), and
  ** sqlite3_bind_text16() is a destructor used to dispose of the BLOB or
- ** text after SQLite has finished with it.  If the fifth argument is the
+ ** string after SQLite has finished with it. If the fifth argument is
- ** special value [SQLITE_STATIC], then the library assumes that the information
+ ** the special value [SQLITE_STATIC], then SQLite assumes that the
- ** is in static, unmanaged space and does not need to be freed.  If the
+ ** information is in static, unmanaged space and does not need to be freed.
- ** fifth argument has the value [SQLITE_TRANSIENT], then SQLite makes its
+ ** If the fifth argument has the value [SQLITE_TRANSIENT], then
- ** own private copy of the data immediately, before the sqlite3_bind_*()
+ ** SQLite makes its own private copy of the data immediately, before
- ** routine returns.
+ ** the sqlite3_bind_*() routine returns.
  **
- ** The sqlite3_bind_zeroblob() routine binds a BLOB of length n that
+ ** The sqlite3_bind_zeroblob() routine binds a BLOB of length N that
  ** is filled with zeros.  A zeroblob uses a fixed amount of memory
  ** (just an integer to hold it size) while it is being processed.
  ** Zeroblobs are intended to serve as place-holders for BLOBs whose
  ** content is later written using
- ** [sqlite3_blob_open | increment BLOB I/O] routines.  A negative
+ ** [sqlite3_blob_open | increment BLOB I/O] routines. A negative
  ** value for the zeroblob results in a zero-length BLOB.
  **
  ** The sqlite3_bind_*() routines must be called after
- Line 1721  typedef struct sqlite3_context sqlite3_c
+ Line 2382  typedef struct sqlite3_context sqlite3_c
  ** These routines return [SQLITE_OK] on success or an error code if
  ** anything goes wrong.  [SQLITE_RANGE] is returned if the parameter
  ** index is out of range.  [SQLITE_NOMEM] is returned if malloc fails.
- ** [SQLITE_MISUSE] is returned if these routines are called on a virtual
+ ** [SQLITE_MISUSE] might be returned if these routines are called on a
- ** machine that is the wrong state or which has already been finalized.
+ ** virtual machine that is the wrong state or which has already been finalized.
+ ** Detection of misuse is unreliable.  Applications should not depend
+ ** on SQLITE_MISUSE returns.  SQLITE_MISUSE is intended to indicate a
+ ** a logic error in the application.  Future versions of SQLite might
+ ** panic rather than return SQLITE_MISUSE.
+ **
+ ** See also: [sqlite3_bind_parameter_count()],
+ ** [sqlite3_bind_parameter_name()], and
+ ** [sqlite3_bind_parameter_index()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13506} The [sqlite3_prepare | SQL statement compiler] recognizes
+ **          tokens of the forms "?", "?NNN", "$VVV", ":VVV", and "@VVV"
+ **          as SQL parameters, where NNN is any sequence of one or more
+ **          digits and where VVV is any sequence of one or more
+ **          alphanumeric characters or "::" optionally followed by
+ **          a string containing no spaces and contained within parentheses.
+ **
+ ** {F13509} The initial value of an SQL parameter is NULL.
+ **
+ ** {F13512} The index of an "?" SQL parameter is one larger than the
+ **          largest index of SQL parameter to the left, or 1 if
+ **          the "?" is the leftmost SQL parameter.
+ **
+ ** {F13515} The index of an "?NNN" SQL parameter is the integer NNN.
+ **
+ ** {F13518} The index of an ":VVV", "$VVV", or "@VVV" SQL parameter is
+ **          the same as the index of leftmost occurances of the same
+ **          parameter, or one more than the largest index over all
+ **          parameters to the left if this is the first occurrance
+ **          of this parameter, or 1 if this is the leftmost parameter.
+ **
+ ** {F13521} The [sqlite3_prepare | SQL statement compiler] fail with
+ **          an [SQLITE_RANGE] error if the index of an SQL parameter
+ **          is less than 1 or greater than SQLITE_MAX_VARIABLE_NUMBER.
+ **
+ ** {F13524} Calls to [sqlite3_bind_text | sqlite3_bind(S,N,V,...)]
+ **          associate the value V with all SQL parameters having an
+ **          index of N in the [prepared statement] S.
+ **
+ ** {F13527} Calls to [sqlite3_bind_text | sqlite3_bind(S,N,...)]
+ **          override prior calls with the same values of S and N.
+ **
+ ** {F13530} Bindings established by [sqlite3_bind_text | sqlite3_bind(S,...)]
+ **          persist across calls to [sqlite3_reset(S)].
+ **
+ ** {F13533} In calls to [sqlite3_bind_blob(S,N,V,L,D)],
+ **          [sqlite3_bind_text(S,N,V,L,D)], or
+ **          [sqlite3_bind_text16(S,N,V,L,D)] SQLite binds the first L
+ **          bytes of the blob or string pointed to by V, when L
+ **          is non-negative.
+ **
+ ** {F13536} In calls to [sqlite3_bind_text(S,N,V,L,D)] or
+ **          [sqlite3_bind_text16(S,N,V,L,D)] SQLite binds characters
+ **          from V through the first zero character when L is negative.
+ **
+ ** {F13539} In calls to [sqlite3_bind_blob(S,N,V,L,D)],
+ **          [sqlite3_bind_text(S,N,V,L,D)], or
+ **          [sqlite3_bind_text16(S,N,V,L,D)] when D is the special
+ **          constant [SQLITE_STATIC], SQLite assumes that the value V
+ **          is held in static unmanaged space that will not change
+ **          during the lifetime of the binding.
+ **
+ ** {F13542} In calls to [sqlite3_bind_blob(S,N,V,L,D)],
+ **          [sqlite3_bind_text(S,N,V,L,D)], or
+ **          [sqlite3_bind_text16(S,N,V,L,D)] when D is the special
+ **          constant [SQLITE_TRANSIENT], the routine makes a
+ **          private copy of V value before it returns.
+ **
+ ** {F13545} In calls to [sqlite3_bind_blob(S,N,V,L,D)],
+ **          [sqlite3_bind_text(S,N,V,L,D)], or
+ **          [sqlite3_bind_text16(S,N,V,L,D)] when D is a pointer to
+ **          a function, SQLite invokes that function to destroy the
+ **          V value after it has finished using the V value.
+ **
+ ** {F13548} In calls to [sqlite3_bind_zeroblob(S,N,V,L)] the value bound
+ **          is a blob of L bytes, or a zero-length blob if L is negative.
  */
  int sqlite3_bind_blob(sqlite3_stmt*, int, const void*, int n, void(*)(void*));
  int sqlite3_bind_double(sqlite3_stmt*, int, double);
- Line 1735  int sqlite3_bind_value(sqlite3_stmt*, in
+ Line 2473  int sqlite3_bind_value(sqlite3_stmt*, in
  int sqlite3_bind_zeroblob(sqlite3_stmt*, int, int n);
  /*
- ** CAPI3REF: Number Of Host Parameters
+ ** CAPI3REF: Number Of SQL Parameters {F13600}
  **
- ** Return the largest host parameter index in the precompiled statement given
+ ** This routine can be used to find the number of SQL parameters
- ** as the argument.  When the host parameters are of the forms like ":AAA"
+ ** in a prepared statement.  SQL parameters are tokens of the
- ** or "?", then they are assigned sequential increasing numbers beginning
+ ** form "?", "?NNN", ":AAA", "$AAA", or "@AAA" that serve as
- ** with one, so the value returned is the number of parameters.  However
+ ** place-holders for values that are [sqlite3_bind_blob | bound]
- ** if the same host parameter name is used multiple times, each occurrance
+ ** to the parameters at a later time.
- ** is given the same number, so the value returned in that case is the number
+ **
- ** of unique host parameter names.  If host parameters of the form "?NNN"
+ ** This routine actually returns the index of the largest parameter.
- ** are used (where NNN is an integer) then there might be gaps in the
+ ** For all forms except ?NNN, this will correspond to the number of
- ** numbering and the value returned by this interface is the index of the
+ ** unique parameters.  If parameters of the ?NNN are used, there may
- ** host parameter with the largest index value.
+ ** be gaps in the list.
  **
- ** The prepared statement must not be [sqlite3_finalize | finalized]
+ ** See also: [sqlite3_bind_blob|sqlite3_bind()],
- ** prior to this routine returnning.  Otherwise the results are undefined
+ ** [sqlite3_bind_parameter_name()], and
- ** and probably undesirable.
+ ** [sqlite3_bind_parameter_index()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13601} The [sqlite3_bind_parameter_count(S)] interface returns
+ **          the largest index of all SQL parameters in the
+ **          [prepared statement] S, or 0 if S
+ **          contains no SQL parameters.
  */
  int sqlite3_bind_parameter_count(sqlite3_stmt*);
  /*
- ** CAPI3REF: Name Of A Host Parameter
+ ** CAPI3REF: Name Of A Host Parameter {F13620}
  **
- ** This routine returns a pointer to the name of the n-th parameter in a
+ ** This routine returns a pointer to the name of the n-th
- ** [sqlite3_stmt | prepared statement].
+ ** SQL parameter in a [prepared statement].
- ** Host parameters of the form ":AAA" or "@AAA" or "$VVV" have a name
+ ** SQL parameters of the form ":AAA" or "@AAA" or "$AAA" have a name
  ** which is the string ":AAA" or "@AAA" or "$VVV".
  ** In other words, the initial ":" or "$" or "@"
  ** is included as part of the name.
  ** Parameters of the form "?" or "?NNN" have no name.
  **
- ** The first bound parameter has an index of 1, not 0.
+ ** The first host parameter has an index of 1, not 0.
  **
- ** If the value n is out of range or if the n-th parameter is nameless,
+ ** If the value n is out of range or if the n-th parameter is
- ** then NULL is returned.  The returned string is always in the
+ ** nameless, then NULL is returned.  The returned string is
- ** UTF-8 encoding even if the named parameter was originally specified
+ ** always in the UTF-8 encoding even if the named parameter was
- ** as UTF-16 in [sqlite3_prepare16()] or [sqlite3_prepare16_v2()].
+ ** originally specified as UTF-16 in [sqlite3_prepare16()] or
+ ** [sqlite3_prepare16_v2()].
+ **
+ ** See also: [sqlite3_bind_blob|sqlite3_bind()],
+ ** [sqlite3_bind_parameter_count()], and
+ ** [sqlite3_bind_parameter_index()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13621} The [sqlite3_bind_parameter_name(S,N)] interface returns
+ **          a UTF-8 rendering of the name of the SQL parameter in
+ **          [prepared statement] S having index N, or
+ **          NULL if there is no SQL parameter with index N or if the
+ **          parameter with index N is an anonymous parameter "?" or
+ **          a numbered parameter "?NNN".
  */
  const char *sqlite3_bind_parameter_name(sqlite3_stmt*, int);
  /*
- ** CAPI3REF: Index Of A Parameter With A Given Name
+ ** CAPI3REF: Index Of A Parameter With A Given Name {F13640}
  **
- ** This routine returns the index of a host parameter with the given name.
+ ** Return the index of an SQL parameter given its name.  The
- ** The name must match exactly.  If no parameter with the given name is
+ ** index value returned is suitable for use as the second
- ** found, return 0.  Parameter names must be UTF8.
+ ** parameter to [sqlite3_bind_blob|sqlite3_bind()].  A zero
+ ** is returned if no matching parameter is found.  The parameter
+ ** name must be given in UTF-8 even if the original statement
+ ** was prepared from UTF-16 text using [sqlite3_prepare16_v2()].
+ **
+ ** See also: [sqlite3_bind_blob|sqlite3_bind()],
+ ** [sqlite3_bind_parameter_count()], and
+ ** [sqlite3_bind_parameter_index()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13641} The [sqlite3_bind_parameter_index(S,N)] interface returns
+ **          the index of SQL parameter in [prepared statement]
+ **          S whose name matches the UTF-8 string N, or 0 if there is
+ **          no match.
  */
  int sqlite3_bind_parameter_index(sqlite3_stmt*, const char *zName);
  /*
- ** CAPI3REF: Reset All Bindings On A Prepared Statement
+ ** CAPI3REF: Reset All Bindings On A Prepared Statement {F13660}
  **
  ** Contrary to the intuition of many, [sqlite3_reset()] does not
  ** reset the [sqlite3_bind_blob | bindings] on a
- ** [sqlite3_stmt | prepared statement].  Use this routine to
+ ** [prepared statement].  Use this routine to
  ** reset all host parameters to NULL.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13661} The [sqlite3_clear_bindings(S)] interface resets all
+ **          SQL parameter bindings in [prepared statement] S
+ **          back to NULL.
  */
  int sqlite3_clear_bindings(sqlite3_stmt*);
  /*
- ** CAPI3REF: Number Of Columns In A Result Set
+ ** CAPI3REF: Number Of Columns In A Result Set {F13710}
  **
  ** Return the number of columns in the result set returned by the
- ** [sqlite3_stmt | compiled SQL statement]. This routine returns 0
+ ** [prepared statement]. This routine returns 0
  ** if pStmt is an SQL statement that does not return data (for
  ** example an UPDATE).
+ **
+ ** INVARIANTS:
+ **
+ ** {F13711} The [sqlite3_column_count(S)] interface returns the number of
+ **          columns in the result set generated by the
+ **          [prepared statement] S, or 0 if S does not generate
+ **          a result set.
  */
  int sqlite3_column_count(sqlite3_stmt *pStmt);
  /*
- ** CAPI3REF: Column Names In A Result Set
+ ** CAPI3REF: Column Names In A Result Set {F13720}
  **
  ** These routines return the name assigned to a particular column
  ** in the result set of a SELECT statement.  The sqlite3_column_name()
- ** interface returns a pointer to a UTF8 string and sqlite3_column_name16()
+ ** interface returns a pointer to a zero-terminated UTF8 string
- ** returns a pointer to a UTF16 string.  The first parameter is the
+ ** and sqlite3_column_name16() returns a pointer to a zero-terminated
- ** [sqlite3_stmt | prepared statement] that implements the SELECT statement.
+ ** UTF16 string.  The first parameter is the
+ ** [prepared statement] that implements the SELECT statement.
  ** The second parameter is the column number.  The left-most column is
  ** number 0.
  **
  ** The returned string pointer is valid until either the
- ** [sqlite3_stmt | prepared statement] is destroyed by [sqlite3_finalize()]
+ ** [prepared statement] is destroyed by [sqlite3_finalize()]
  ** or until the next call sqlite3_column_name() or sqlite3_column_name16()
  ** on the same column.
  **
  ** If sqlite3_malloc() fails during the processing of either routine
  ** (for example during a conversion from UTF-8 to UTF-16) then a
  ** NULL pointer is returned.
+ **
+ ** The name of a result column is the value of the "AS" clause for
+ ** that column, if there is an AS clause.  If there is no AS clause
+ ** then the name of the column is unspecified and may change from
+ ** one release of SQLite to the next.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13721} A successful invocation of the [sqlite3_column_name(S,N)]
+ **          interface returns the name
+ **          of the Nth column (where 0 is the left-most column) for the
+ **          result set of [prepared statement] S as a
+ **          zero-terminated UTF-8 string.
+ **
+ ** {F13723} A successful invocation of the [sqlite3_column_name16(S,N)]
+ **          interface returns the name
+ **          of the Nth column (where 0 is the left-most column) for the
+ **          result set of [prepared statement] S as a
+ **          zero-terminated UTF-16 string in the native byte order.
+ **
+ ** {F13724} The [sqlite3_column_name()] and [sqlite3_column_name16()]
+ **          interfaces return a NULL pointer if they are unable to
+ **          allocate memory memory to hold there normal return strings.
+ **
+ ** {F13725} If the N parameter to [sqlite3_column_name(S,N)] or
+ **          [sqlite3_column_name16(S,N)] is out of range, then the
+ **          interfaces returns a NULL pointer.
+ **
+ ** {F13726} The strings returned by [sqlite3_column_name(S,N)] and
+ **          [sqlite3_column_name16(S,N)] are valid until the next
+ **          call to either routine with the same S and N parameters
+ **          or until [sqlite3_finalize(S)] is called.
+ **
+ ** {F13727} When a result column of a [SELECT] statement contains
+ **          an AS clause, the name of that column is the indentifier
+ **          to the right of the AS keyword.
  */
  const char *sqlite3_column_name(sqlite3_stmt*, int N);
  const void *sqlite3_column_name16(sqlite3_stmt*, int N);
  /*
- ** CAPI3REF: Source Of Data In A Query Result
+ ** CAPI3REF: Source Of Data In A Query Result {F13740}
  **
  ** These routines provide a means to determine what column of what
  ** table in which database a result of a SELECT statement comes from.
- Line 1836  const void *sqlite3_column_name16(sqlite
+ Line 2659  const void *sqlite3_column_name16(sqlite
  ** the database name, the _table_ routines return the table name, and
  ** the origin_ routines return the column name.
  ** The returned string is valid until
- ** the [sqlite3_stmt | prepared statement] is destroyed using
+ ** the [prepared statement] is destroyed using
  ** [sqlite3_finalize()] or until the same information is requested
  ** again in a different encoding.
  **
  ** The names returned are the original un-aliased names of the
  ** database, table, and column.
  **
- ** The first argument to the following calls is a
+ ** The first argument to the following calls is a [prepared statement].
- ** [sqlite3_stmt | compiled SQL statement].
  ** These functions return information about the Nth column returned by
  ** the statement, where N is the second function argument.
  **
  ** If the Nth column returned by the statement is an expression
  ** or subquery and is not a column value, then all of these functions
- ** return NULL. Otherwise, they return the
+ ** return NULL.  These routine might also return NULL if a memory
+ ** allocation error occurs.  Otherwise, they return the
  ** name of the attached database, table and column that query result
  ** column was extracted from.
  **
- ** As with all other SQLite APIs, those postfixed with "16" return UTF-16
+ ** As with all other SQLite APIs, those postfixed with "16" return
- ** encoded strings, the other functions return UTF-8.
+ ** UTF-16 encoded strings, the other functions return UTF-8. {END}
  **
  ** These APIs are only available if the library was compiled with the
  ** SQLITE_ENABLE_COLUMN_METADATA preprocessor symbol defined.
  **
+ ** {U13751}
  ** If two or more threads call one or more of these routines against the same
  ** prepared statement and column at the same time then the results are
  ** undefined.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13741} The [sqlite3_column_database_name(S,N)] interface returns either
+ **          the UTF-8 zero-terminated name of the database from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13742} The [sqlite3_column_database_name16(S,N)] interface returns either
+ **          the UTF-16 native byte order
+ **          zero-terminated name of the database from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13743} The [sqlite3_column_table_name(S,N)] interface returns either
+ **          the UTF-8 zero-terminated name of the table from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13744} The [sqlite3_column_table_name16(S,N)] interface returns either
+ **          the UTF-16 native byte order
+ **          zero-terminated name of the table from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13745} The [sqlite3_column_origin_name(S,N)] interface returns either
+ **          the UTF-8 zero-terminated name of the table column from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13746} The [sqlite3_column_origin_name16(S,N)] interface returns either
+ **          the UTF-16 native byte order
+ **          zero-terminated name of the table column from which the
+ **          Nth result column of [prepared statement] S
+ **          is extracted, or NULL if the the Nth column of S is a
+ **          general expression or if unable to allocate memory
+ **          to store the name.
+ **
+ ** {F13748} The return values from
+ **          [sqlite3_column_database_name|column metadata interfaces]
+ **          are valid
+ **          for the lifetime of the [prepared statement]
+ **          or until the encoding is changed by another metadata
+ **          interface call for the same prepared statement and column.
+ **
+ ** LIMITATIONS:
+ **
+ ** {U13751} If two or more threads call one or more
+ **          [sqlite3_column_database_name|column metadata interfaces]
+ **          the same [prepared statement] and result column
+ **          at the same time then the results are undefined.
  */
  const char *sqlite3_column_database_name(sqlite3_stmt*,int);
  const void *sqlite3_column_database_name16(sqlite3_stmt*,int);
- Line 1872  const char *sqlite3_column_origin_name(s
+ Line 2757  const char *sqlite3_column_origin_name(s
  const void *sqlite3_column_origin_name16(sqlite3_stmt*,int);
  /*
- ** CAPI3REF: Declared Datatype Of A Query Result
+ ** CAPI3REF: Declared Datatype Of A Query Result {F13760}
  **
- ** The first parameter is a [sqlite3_stmt | compiled SQL statement].
+ ** The first parameter is a [prepared statement].
  ** If this statement is a SELECT statement and the Nth column of the
- ** returned result set  of that SELECT is a table column (not an
+ ** returned result set of that SELECT is a table column (not an
  ** expression or subquery) then the declared type of the table
- ** column is returned. If the Nth column of the result set is an
+ ** column is returned.  If the Nth column of the result set is an
  ** expression or subquery, then a NULL pointer is returned.
- ** The returned string is always UTF-8 encoded. For example, in
+ ** The returned string is always UTF-8 encoded.  {END}
- ** the database schema:
+ ** For example, in the database schema:
  **
  ** CREATE TABLE t1(c1 VARIANT);
  **
- Line 1899  const void *sqlite3_column_origin_name16
+ Line 2784  const void *sqlite3_column_origin_name16
  ** strongly typed, but the typing is dynamic not static.  Type
  ** is associated with individual values, not with the containers
  ** used to hold those values.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13761}  A successful call to [sqlite3_column_decltype(S,N)]
+ **           returns a zero-terminated UTF-8 string containing the
+ **           the declared datatype of the table column that appears
+ **           as the Nth column (numbered from 0) of the result set to the
+ **           [prepared statement] S.
+ **
+ ** {F13762}  A successful call to [sqlite3_column_decltype16(S,N)]
+ **           returns a zero-terminated UTF-16 native byte order string
+ **           containing the declared datatype of the table column that appears
+ **           as the Nth column (numbered from 0) of the result set to the
+ **           [prepared statement] S.
+ **
+ ** {F13763}  If N is less than 0 or N is greater than or equal to
+ **           the number of columns in [prepared statement] S
+ **           or if the Nth column of S is an expression or subquery rather
+ **           than a table column or if a memory allocation failure
+ **           occurs during encoding conversions, then
+ **           calls to [sqlite3_column_decltype(S,N)] or
+ **           [sqlite3_column_decltype16(S,N)] return NULL.
  */
- const char *sqlite3_column_decltype(sqlite3_stmt *, int i);
+ const char *sqlite3_column_decltype(sqlite3_stmt*,int);
  const void *sqlite3_column_decltype16(sqlite3_stmt*,int);
  /*
- ** CAPI3REF:  Evaluate An SQL Statement
+ ** CAPI3REF:  Evaluate An SQL Statement {F13200}
  **
- ** After an [sqlite3_stmt | SQL statement] has been prepared with a call
+ ** After an [prepared statement] has been prepared with a call
  ** to either [sqlite3_prepare_v2()] or [sqlite3_prepare16_v2()] or to one of
  ** the legacy interfaces [sqlite3_prepare()] or [sqlite3_prepare16()],
  ** then this function must be called one or more times to evaluate the
- Line 1949  const void *sqlite3_column_decltype16(sq
+ Line 2856  const void *sqlite3_column_decltype16(sq
  ** With the legacy interface, a more specific error code (example:
  ** [SQLITE_INTERRUPT], [SQLITE_SCHEMA], [SQLITE_CORRUPT], and so forth)
  ** can be obtained by calling [sqlite3_reset()] on the
- ** [sqlite3_stmt | prepared statement].  In the "v2" interface,
+ ** [prepared statement].  In the "v2" interface,
  ** the more specific error code is returned directly by sqlite3_step().
  **
  ** [SQLITE_MISUSE] means that the this routine was called inappropriately.
- ** Perhaps it was called on a [sqlite3_stmt | prepared statement] that has
+ ** Perhaps it was called on a [prepared statement] that has
  ** already been [sqlite3_finalize | finalized] or on one that had
  ** previously returned [SQLITE_ERROR] or [SQLITE_DONE].  Or it could
  ** be the case that the same database connection is being used by two or
- Line 1965  const void *sqlite3_column_decltype16(sq
+ Line 2872  const void *sqlite3_column_decltype16(sq
  ** [SQLITE_ERROR], following any error other than [SQLITE_BUSY]
  ** and [SQLITE_MISUSE].  You must call [sqlite3_reset()] or
  ** [sqlite3_finalize()] in order to find one of the specific
- ** [SQLITE_ERROR | result codes] that better describes the error.
+ ** [error codes] that better describes the error.
  ** We admit that this is a goofy design.  The problem has been fixed
  ** with the "v2" interface.  If you prepare all of your SQL statements
  ** using either [sqlite3_prepare_v2()] or [sqlite3_prepare16_v2()] instead
  ** of the legacy [sqlite3_prepare()] and [sqlite3_prepare16()], then the
- ** more specific [SQLITE_ERROR | result codes] are returned directly
+ ** more specific [error codes] are returned directly
  ** by sqlite3_step().  The use of the "v2" interface is recommended.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13202}  If [prepared statement] S is ready to be
+ **           run, then [sqlite3_step(S)] advances that prepared statement
+ **           until to completion or until it is ready to return another
+ **           row of the result set or an interrupt or run-time error occurs.
+ **
+ ** {F15304}  When a call to [sqlite3_step(S)] causes the
+ **           [prepared statement] S to run to completion,
+ **           the function returns [SQLITE_DONE].
+ **
+ ** {F15306}  When a call to [sqlite3_step(S)] stops because it is ready
+ **           to return another row of the result set, it returns
+ **           [SQLITE_ROW].
+ **
+ ** {F15308}  If a call to [sqlite3_step(S)] encounters an
+ **           [sqlite3_interrupt|interrupt] or a run-time error,
+ **           it returns an appropraite error code that is not one of
+ **           [SQLITE_OK], [SQLITE_ROW], or [SQLITE_DONE].
+ **
+ ** {F15310}  If an [sqlite3_interrupt|interrupt] or run-time error
+ **           occurs during a call to [sqlite3_step(S)]
+ **           for a [prepared statement] S created using
+ **           legacy interfaces [sqlite3_prepare()] or
+ **           [sqlite3_prepare16()] then the function returns either
+ **           [SQLITE_ERROR], [SQLITE_BUSY], or [SQLITE_MISUSE].
  */
  int sqlite3_step(sqlite3_stmt*);
  /*
- ** CAPI3REF:
+ ** CAPI3REF: Number of columns in a result set {F13770}
  **
  ** Return the number of values in the current row of the result set.
  **
- ** After a call to [sqlite3_step()] that returns [SQLITE_ROW], this routine
+ ** INVARIANTS:
- ** will return the same value as the [sqlite3_column_count()] function.
+ **
- ** After [sqlite3_step()] has returned an [SQLITE_DONE], [SQLITE_BUSY], or
+ ** {F13771}  After a call to [sqlite3_step(S)] that returns
- ** a [SQLITE_ERROR | error code], or before [sqlite3_step()] has been
+ **           [SQLITE_ROW], the [sqlite3_data_count(S)] routine
- ** called on the [sqlite3_stmt | prepared statement] for the first time,
+ **           will return the same value as the
- ** this routine returns zero.
+ **           [sqlite3_column_count(S)] function.
+ **
+ ** {F13772}  After [sqlite3_step(S)] has returned any value other than
+ **           [SQLITE_ROW] or before [sqlite3_step(S)] has been
+ **           called on the [prepared statement] for
+ **           the first time since it was [sqlite3_prepare|prepared]
+ **           or [sqlite3_reset|reset], the [sqlite3_data_count(S)]
+ **           routine returns zero.
  */
  int sqlite3_data_count(sqlite3_stmt *pStmt);
  /*
- ** CAPI3REF: Fundamental Datatypes
+ ** CAPI3REF: Fundamental Datatypes {F10265}
+ ** KEYWORDS: SQLITE_TEXT
  **
- ** Every value in SQLite has one of five fundamental datatypes:
+ ** {F10266}Every value in SQLite has one of five fundamental datatypes:
  **
  ** <ul>
  ** <li> 64-bit signed integer
- Line 2000  int sqlite3_data_count(sqlite3_stmt *pSt
+ Line 2942  int sqlite3_data_count(sqlite3_stmt *pSt
  ** <li> string
  ** <li> BLOB
  ** <li> NULL
- ** </ul>
+ ** </ul> {END}
  **
  ** These constants are codes for each of those types.
  **
- Line 2021  int sqlite3_data_count(sqlite3_stmt *pSt
+ Line 2963  int sqlite3_data_count(sqlite3_stmt *pSt
  #define SQLITE3_TEXT     3
  /*
- ** CAPI3REF: Results Values From A Query
+ ** CAPI3REF: Results Values From A Query {F13800}
+ **
+ ** These routines form the "result set query" interface.
  **
  ** These routines return information about
  ** a single column of the current result row of a query.  In every
  ** case the first argument is a pointer to the
- ** [sqlite3_stmt | SQL statement] that is being
+ ** [prepared statement] that is being
  ** evaluated (the [sqlite3_stmt*] that was returned from
  ** [sqlite3_prepare_v2()] or one of its variants) and
  ** the second argument is the index of the column for which information
- Line 2067  int sqlite3_data_count(sqlite3_stmt *pSt
+ Line 3011  int sqlite3_data_count(sqlite3_stmt *pSt
  ** bytes in the string, not the number of characters.
  **
  ** Strings returned by sqlite3_column_text() and sqlite3_column_text16(),
- ** even zero-length strings, are always zero terminated.  The return
+ ** even empty strings, are always zero terminated.  The return
  ** value from sqlite3_column_blob() for a zero-length blob is an arbitrary
  ** pointer, possibly even a NULL pointer.
  **
  ** The sqlite3_column_bytes16() routine is similar to sqlite3_column_bytes()
- ** but leaves the result in UTF-16 instead of UTF-8.
+ ** but leaves the result in UTF-16 in native byte order instead of UTF-8.
  ** The zero terminator is not included in this count.
  **
  ** These routines attempt to convert the value where appropriate.  For
- Line 2164  int sqlite3_data_count(sqlite3_stmt *pSt
+ Line 3108  int sqlite3_data_count(sqlite3_stmt *pSt
  ** is either the integer 0, the floating point number 0.0, or a NULL
  ** pointer.  Subsequent calls to [sqlite3_errcode()] will return
  ** [SQLITE_NOMEM].
+ **
+ ** INVARIANTS:
+ **
+ ** {F13803} The [sqlite3_column_blob(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a blob and then returns a
+ **          pointer to the converted value.
+ **
+ ** {F13806} The [sqlite3_column_bytes(S,N)] interface returns the
+ **          number of bytes in the blob or string (exclusive of the
+ **          zero terminator on the string) that was returned by the
+ **          most recent call to [sqlite3_column_blob(S,N)] or
+ **          [sqlite3_column_text(S,N)].
+ **
+ ** {F13809} The [sqlite3_column_bytes16(S,N)] interface returns the
+ **          number of bytes in the string (exclusive of the
+ **          zero terminator on the string) that was returned by the
+ **          most recent call to [sqlite3_column_text16(S,N)].
+ **
+ ** {F13812} The [sqlite3_column_double(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a floating point value and
+ **          returns a copy of that value.
+ **
+ ** {F13815} The [sqlite3_column_int(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a 64-bit signed integer and
+ **          returns the lower 32 bits of that integer.
+ **
+ ** {F13818} The [sqlite3_column_int64(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a 64-bit signed integer and
+ **          returns a copy of that integer.
+ **
+ ** {F13821} The [sqlite3_column_text(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a zero-terminated UTF-8
+ **          string and returns a pointer to that string.
+ **
+ ** {F13824} The [sqlite3_column_text16(S,N)] interface converts the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S into a zero-terminated 2-byte
+ **          aligned UTF-16 native byte order
+ **          string and returns a pointer to that string.
+ **
+ ** {F13827} The [sqlite3_column_type(S,N)] interface returns
+ **          one of [SQLITE_NULL], [SQLITE_INTEGER], [SQLITE_FLOAT],
+ **          [SQLITE_TEXT], or [SQLITE_BLOB] as appropriate for
+ **          the Nth column in the current row of the result set for
+ **          [prepared statement] S.
+ **
+ ** {F13830} The [sqlite3_column_value(S,N)] interface returns a
+ **          pointer to the [sqlite3_value] object that for the
+ **          Nth column in the current row of the result set for
+ **          [prepared statement] S.
  */
  const void *sqlite3_column_blob(sqlite3_stmt*, int iCol);
  int sqlite3_column_bytes(sqlite3_stmt*, int iCol);
- Line 2177  int sqlite3_column_type(sqlite3_stmt*, i
+ Line 3176  int sqlite3_column_type(sqlite3_stmt*, i
  sqlite3_value *sqlite3_column_value(sqlite3_stmt*, int iCol);
  /*
- ** CAPI3REF: Destroy A Prepared Statement Object
+ ** CAPI3REF: Destroy A Prepared Statement Object {F13300}
  **
  ** The sqlite3_finalize() function is called to delete a
- ** [sqlite3_stmt | compiled SQL statement]. If the statement was
+ ** [prepared statement]. If the statement was
  ** executed successfully, or not executed at all, then SQLITE_OK is returned.
  ** If execution of the statement failed then an
- ** [SQLITE_ERROR | error code] or [SQLITE_IOERR_READ | extended error code]
+ ** [error code] or [extended error code]
  ** is returned.
  **
  ** This routine can be called at any point during the execution of the
- ** [sqlite3_stmt | virtual machine].  If the virtual machine has not
+ ** [prepared statement].  If the virtual machine has not
  ** completed execution when this routine is called, that is like
  ** encountering an error or an interrupt.  (See [sqlite3_interrupt()].)
  ** Incomplete updates may be rolled back and transactions cancelled,
  ** depending on the circumstances, and the
- ** [SQLITE_ERROR | result code] returned will be [SQLITE_ABORT].
+ ** [error code] returned will be [SQLITE_ABORT].
+ **
+ ** INVARIANTS:
+ **
+ ** {F11302} The [sqlite3_finalize(S)] interface destroys the
+ **          [prepared statement] S and releases all
+ **          memory and file resources held by that object.
+ **
+ ** {F11304} If the most recent call to [sqlite3_step(S)] for the
+ **          [prepared statement] S returned an error,
+ **          then [sqlite3_finalize(S)] returns that same error.
  */
  int sqlite3_finalize(sqlite3_stmt *pStmt);
  /*
- ** CAPI3REF: Reset A Prepared Statement Object
+ ** CAPI3REF: Reset A Prepared Statement Object {F13330}
  **
  ** The sqlite3_reset() function is called to reset a
- ** [sqlite3_stmt | compiled SQL statement] object.
+ ** [prepared statement] object.
- ** back to it's initial state, ready to be re-executed.
+ ** back to its initial state, ready to be re-executed.
  ** Any SQL statement variables that had values bound to them using
  ** the [sqlite3_bind_blob | sqlite3_bind_*() API] retain their values.
  ** Use [sqlite3_clear_bindings()] to reset the bindings.
+ **
+ ** {F11332} The [sqlite3_reset(S)] interface resets the [prepared statement] S
+ **          back to the beginning of its program.
+ **
+ ** {F11334} If the most recent call to [sqlite3_step(S)] for
+ **          [prepared statement] S returned [SQLITE_ROW] or [SQLITE_DONE],
+ **          or if [sqlite3_step(S)] has never before been called on S,
+ **          then [sqlite3_reset(S)] returns [SQLITE_OK].
+ **
+ ** {F11336} If the most recent call to [sqlite3_step(S)] for
+ **          [prepared statement] S indicated an error, then
+ **          [sqlite3_reset(S)] returns an appropriate [error code].
+ **
+ ** {F11338} The [sqlite3_reset(S)] interface does not change the values
+ **          of any [sqlite3_bind_blob|bindings] on [prepared statement] S.
  */
  int sqlite3_reset(sqlite3_stmt *pStmt);
  /*
- ** CAPI3REF: Create Or Redefine SQL Functions
+ ** CAPI3REF: Create Or Redefine SQL Functions {F16100}
+ ** KEYWORDS: {function creation routines}
  **
- ** The following two functions are used to add SQL functions or aggregates
+ ** These two functions (collectively known as
+ ** "function creation routines") are used to add SQL functions or aggregates
  ** or to redefine the behavior of existing SQL functions or aggregates.  The
  ** difference only between the two is that the second parameter, the
  ** name of the (scalar) function or aggregate, is encoded in UTF-8 for
  ** sqlite3_create_function() and UTF-16 for sqlite3_create_function16().
  **
- ** The first argument is the [sqlite3 | database handle] that holds the
+ ** The first parameter is the [database connection] to which the SQL
- ** SQL function or aggregate is to be added or redefined. If a single
+ ** function is to be added.  If a single
- ** program uses more than one database handle internally, then SQL
+ ** program uses more than one [database connection] internally, then SQL
- ** functions or aggregates must be added individually to each database
+ ** functions must be added individually to each [database connection].
- ** handle with which they will be used.
  **
  ** The second parameter is the name of the SQL function to be created
  ** or redefined.
- Line 2265  int sqlite3_reset(sqlite3_stmt *pStmt);
+ Line 3290  int sqlite3_reset(sqlite3_stmt *pStmt);
  ** arguments or differing perferred text encodings.  SQLite will use
  ** the implementation most closely matches the way in which the
  ** SQL function is used.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16103} The [sqlite3_create_function16()] interface behaves exactly
+ **          like [sqlite3_create_function()] in every way except that it
+ **          interprets the zFunctionName argument as
+ **          zero-terminated UTF-16 native byte order instead of as a
+ **          zero-terminated UTF-8.
+ **
+ ** {F16106} A successful invocation of
+ **          the [sqlite3_create_function(D,X,N,E,...)] interface registers
+ **          or replaces callback functions in [database connection] D
+ **          used to implement the SQL function named X with N parameters
+ **          and having a perferred text encoding of E.
+ **
+ ** {F16109} A successful call to [sqlite3_create_function(D,X,N,E,P,F,S,L)]
+ **          replaces the P, F, S, and L values from any prior calls with
+ **          the same D, X, N, and E values.
+ **
+ ** {F16112} The [sqlite3_create_function(D,X,...)] interface fails with
+ **          a return code of [SQLITE_ERROR] if the SQL function name X is
+ **          longer than 255 bytes exclusive of the zero terminator.
+ **
+ ** {F16118} Either F must be NULL and S and L are non-NULL or else F
+ **          is non-NULL and S and L are NULL, otherwise
+ **          [sqlite3_create_function(D,X,N,E,P,F,S,L)] returns [SQLITE_ERROR].
+ **
+ ** {F16121} The [sqlite3_create_function(D,...)] interface fails with an
+ **          error code of [SQLITE_BUSY] if there exist [prepared statements]
+ **          associated with the [database connection] D.
+ **
+ ** {F16124} The [sqlite3_create_function(D,X,N,...)] interface fails with an
+ **          error code of [SQLITE_ERROR] if parameter N (specifying the number
+ **          of arguments to the SQL function being registered) is less
+ **          than -1 or greater than 127.
+ **
+ ** {F16127} When N is non-negative, the [sqlite3_create_function(D,X,N,...)]
+ **          interface causes callbacks to be invoked for the SQL function
+ **          named X when the number of arguments to the SQL function is
+ **          exactly N.
+ **
+ ** {F16130} When N is -1, the [sqlite3_create_function(D,X,N,...)]
+ **          interface causes callbacks to be invoked for the SQL function
+ **          named X with any number of arguments.
+ **
+ ** {F16133} When calls to [sqlite3_create_function(D,X,N,...)]
+ **          specify multiple implementations of the same function X
+ **          and when one implementation has N>=0 and the other has N=(-1)
+ **          the implementation with a non-zero N is preferred.
+ **
+ ** {F16136} When calls to [sqlite3_create_function(D,X,N,E,...)]
+ **          specify multiple implementations of the same function X with
+ **          the same number of arguments N but with different
+ **          encodings E, then the implementation where E matches the
+ **          database encoding is preferred.
+ **
+ ** {F16139} For an aggregate SQL function created using
+ **          [sqlite3_create_function(D,X,N,E,P,0,S,L)] the finializer
+ **          function L will always be invoked exactly once if the
+ **          step function S is called one or more times.
  */
  int sqlite3_create_function(
-   sqlite3 *,
+   sqlite3 *db,
    const char *zFunctionName,
    int nArg,
    int eTextRep,
-   void*,
+   void *pApp,
    void (*xFunc)(sqlite3_context*,int,sqlite3_value**),
    void (*xStep)(sqlite3_context*,int,sqlite3_value**),
    void (*xFinal)(sqlite3_context*)
  );
  int sqlite3_create_function16(
-   sqlite3*,
+   sqlite3 *db,
    const void *zFunctionName,
    int nArg,
    int eTextRep,
-   void*,
+   void *pApp,
    void (*xFunc)(sqlite3_context*,int,sqlite3_value**),
    void (*xStep)(sqlite3_context*,int,sqlite3_value**),
    void (*xFinal)(sqlite3_context*)
  );
  /*
- ** CAPI3REF: Text Encodings
+ ** CAPI3REF: Text Encodings {F10267}
  **
  ** These constant define integer codes that represent the various
  ** text encodings supported by SQLite.
- Line 2314  int sqlite3_expired(sqlite3_stmt*);
+ Line 3399  int sqlite3_expired(sqlite3_stmt*);
  int sqlite3_transfer_bindings(sqlite3_stmt*, sqlite3_stmt*);
  int sqlite3_global_recover(void);
  void sqlite3_thread_cleanup(void);
+ int sqlite3_memory_alarm(void(*)(void*,sqlite3_int64,int),void*,sqlite3_int64);
  /*
- ** CAPI3REF: Obtaining SQL Function Parameter Values
+ ** CAPI3REF: Obtaining SQL Function Parameter Values {F15100}
  **
  ** The C-language implementation of SQL functions and aggregates uses
  ** this set of interface routines to access the parameter values on
- Line 2343  void sqlite3_thread_cleanup(void);
+ Line 3429  void sqlite3_thread_cleanup(void);
  ** The sqlite3_value_numeric_type() interface attempts to apply
  ** numeric affinity to the value.  This means that an attempt is
  ** made to convert the value to an integer or floating point.  If
- ** such a conversion is possible without loss of information (in order
+ ** such a conversion is possible without loss of information (in other
- ** words if the value is original a string that looks like a number)
+ ** words if the value is a string that looks like a number)
- ** then it is done.  Otherwise no conversion occurs.  The
+ ** then the conversion is done.  Otherwise no conversion occurs.  The
  ** [SQLITE_INTEGER | datatype] after conversion is returned.
  **
  ** Please pay particular attention to the fact that the pointer that
- Line 2359  void sqlite3_thread_cleanup(void);
+ Line 3445  void sqlite3_thread_cleanup(void);
  ** Or, if the sqlite3_value* argument comes from the [sqlite3_column_value()]
  ** interface, then these routines should be called from the same thread
  ** that ran [sqlite3_column_value()].
+ **
+ **
+ ** INVARIANTS:
+ **
+ ** {F15103} The [sqlite3_value_blob(V)] interface converts the
+ **          [sqlite3_value] object V into a blob and then returns a
+ **          pointer to the converted value.
+ **
+ ** {F15106} The [sqlite3_value_bytes(V)] interface returns the
+ **          number of bytes in the blob or string (exclusive of the
+ **          zero terminator on the string) that was returned by the
+ **          most recent call to [sqlite3_value_blob(V)] or
+ **          [sqlite3_value_text(V)].
+ **
+ ** {F15109} The [sqlite3_value_bytes16(V)] interface returns the
+ **          number of bytes in the string (exclusive of the
+ **          zero terminator on the string) that was returned by the
+ **          most recent call to [sqlite3_value_text16(V)],
+ **          [sqlite3_value_text16be(V)], or [sqlite3_value_text16le(V)].
+ **
+ ** {F15112} The [sqlite3_value_double(V)] interface converts the
+ **          [sqlite3_value] object V into a floating point value and
+ **          returns a copy of that value.
+ **
+ ** {F15115} The [sqlite3_value_int(V)] interface converts the
+ **          [sqlite3_value] object V into a 64-bit signed integer and
+ **          returns the lower 32 bits of that integer.
+ **
+ ** {F15118} The [sqlite3_value_int64(V)] interface converts the
+ **          [sqlite3_value] object V into a 64-bit signed integer and
+ **          returns a copy of that integer.
+ **
+ ** {F15121} The [sqlite3_value_text(V)] interface converts the
+ **          [sqlite3_value] object V into a zero-terminated UTF-8
+ **          string and returns a pointer to that string.
+ **
+ ** {F15124} The [sqlite3_value_text16(V)] interface converts the
+ **          [sqlite3_value] object V into a zero-terminated 2-byte
+ **          aligned UTF-16 native byte order
+ **          string and returns a pointer to that string.
+ **
+ ** {F15127} The [sqlite3_value_text16be(V)] interface converts the
+ **          [sqlite3_value] object V into a zero-terminated 2-byte
+ **          aligned UTF-16 big-endian
+ **          string and returns a pointer to that string.
+ **
+ ** {F15130} The [sqlite3_value_text16le(V)] interface converts the
+ **          [sqlite3_value] object V into a zero-terminated 2-byte
+ **          aligned UTF-16 little-endian
+ **          string and returns a pointer to that string.
+ **
+ ** {F15133} The [sqlite3_value_type(V)] interface returns
+ **          one of [SQLITE_NULL], [SQLITE_INTEGER], [SQLITE_FLOAT],
+ **          [SQLITE_TEXT], or [SQLITE_BLOB] as appropriate for
+ **          the [sqlite3_value] object V.
+ **
+ ** {F15136} The [sqlite3_value_numeric_type(V)] interface converts
+ **          the [sqlite3_value] object V into either an integer or
+ **          a floating point value if it can do so without loss of
+ **          information, and returns one of [SQLITE_NULL],
+ **          [SQLITE_INTEGER], [SQLITE_FLOAT], [SQLITE_TEXT], or
+ **          [SQLITE_BLOB] as appropriate for
+ **          the [sqlite3_value] object V after the conversion attempt.
  */
  const void *sqlite3_value_blob(sqlite3_value*);
  int sqlite3_value_bytes(sqlite3_value*);
- Line 2374  int sqlite3_value_type(sqlite3_value*);
+ Line 3523  int sqlite3_value_type(sqlite3_value*);
  int sqlite3_value_numeric_type(sqlite3_value*);
  /*
- ** CAPI3REF: Obtain Aggregate Function Context
+ ** CAPI3REF: Obtain Aggregate Function Context {F16210}
  **
  ** The implementation of aggregate SQL functions use this routine to allocate
- ** a structure for storing their state.  The first time this routine
+ ** a structure for storing their state.
- ** is called for a particular aggregate, a new structure of size nBytes
+ ** The first time the sqlite3_aggregate_context() routine is
- ** is allocated, zeroed, and returned.  On subsequent calls (for the
+ ** is called for a particular aggregate, SQLite allocates nBytes of memory
- ** same aggregate instance) the same buffer is returned.  The implementation
+ ** zeros that memory, and returns a pointer to it.
+ ** On second and subsequent calls to sqlite3_aggregate_context()
+ ** for the same aggregate function index, the same buffer is returned.
+ ** The implementation
  ** of the aggregate can use the returned buffer to accumulate data.
  **
- ** The buffer allocated is freed automatically by SQLite whan the aggregate
+ ** SQLite automatically frees the allocated buffer when the aggregate
  ** query concludes.
  **
  ** The first parameter should be a copy of the
- Line 2393  int sqlite3_value_numeric_type(sqlite3_v
+ Line 3545  int sqlite3_value_numeric_type(sqlite3_v
  **
  ** This routine must be called from the same thread in which
  ** the aggregate SQL function is running.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16211} The first invocation of [sqlite3_aggregate_context(C,N)] for
+ **          a particular instance of an aggregate function (for a particular
+ **          context C) causes SQLite to allocation N bytes of memory,
+ **          zero that memory, and return a pointer to the allocationed
+ **          memory.
+ **
+ ** {F16213} If a memory allocation error occurs during
+ **          [sqlite3_aggregate_context(C,N)] then the function returns 0.
+ **
+ ** {F16215} Second and subsequent invocations of
+ **          [sqlite3_aggregate_context(C,N)] for the same context pointer C
+ **          ignore the N parameter and return a pointer to the same
+ **          block of memory returned by the first invocation.
+ **
+ ** {F16217} The memory allocated by [sqlite3_aggregate_context(C,N)] is
+ **          automatically freed on the next call to [sqlite3_reset()]
+ **          or [sqlite3_finalize()] for the [prepared statement] containing
+ **          the aggregate function associated with context C.
  */
  void *sqlite3_aggregate_context(sqlite3_context*, int nBytes);
  /*
- ** CAPI3REF: User Data For Functions
+ ** CAPI3REF: User Data For Functions {F16240}
  **
- ** The pUserData parameter to the [sqlite3_create_function()]
+ ** The sqlite3_user_data() interface returns a copy of
- ** and [sqlite3_create_function16()] routines
+ ** the pointer that was the pUserData parameter (the 5th parameter)
- ** used to register user functions is available to
+ ** of the the [sqlite3_create_function()]
- ** the implementation of the function using this call.
+ ** and [sqlite3_create_function16()] routines that originally
+ ** registered the application defined function. {END}
  **
  ** This routine must be called from the same thread in which
- ** the SQL function is running.
+ ** the application-defined function is running.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16243} The [sqlite3_user_data(C)] interface returns a copy of the
+ **          P pointer from the [sqlite3_create_function(D,X,N,E,P,F,S,L)]
+ **          or [sqlite3_create_function16(D,X,N,E,P,F,S,L)] call that
+ **          registered the SQL function associated with
+ **          [sqlite3_context] C.
  */
  void *sqlite3_user_data(sqlite3_context*);
  /*
- ** CAPI3REF: Function Auxiliary Data
+ ** CAPI3REF: Function Auxiliary Data {F16270}
  **
  ** The following two functions may be used by scalar SQL functions to
  ** associate meta-data with argument values. If the same value is passed to
- Line 2424  void *sqlite3_user_data(sqlite3_context*
+ Line 3606  void *sqlite3_user_data(sqlite3_context*
  ** does not need to be recompiled on each invocation.
  **
  ** The sqlite3_get_auxdata() interface returns a pointer to the meta-data
- ** associated with the Nth argument value to the current SQL function
+ ** associated by the sqlite3_set_auxdata() function with the Nth argument
- ** call, where N is the second parameter. If no meta-data has been set for
+ ** value to the application-defined function.
- ** that value, then a NULL pointer is returned.
+ ** If no meta-data has been ever been set for the Nth
- **
+ ** argument of the function, or if the cooresponding function parameter
- ** The sqlite3_set_auxdata() is used to associate meta-data with an SQL
+ ** has changed since the meta-data was set, then sqlite3_get_auxdata()
- ** function argument. The third parameter is a pointer to the meta-data
+ ** returns a NULL pointer.
- ** to be associated with the Nth user function argument value. The fourth
+ **
- ** parameter specifies a destructor that will be called on the meta-
+ ** The sqlite3_set_auxdata() interface saves the meta-data
- ** data pointer to release it when it is no longer required. If the
+ ** pointed to by its 3rd parameter as the meta-data for the N-th
- ** destructor is NULL, it is not invoked.
+ ** argument of the application-defined function.  Subsequent
+ ** calls to sqlite3_get_auxdata() might return this data, if it has
+ ** not been destroyed.
+ ** If it is not NULL, SQLite will invoke the destructor
+ ** function given by the 4th parameter to sqlite3_set_auxdata() on
+ ** the meta-data when the corresponding function parameter changes
+ ** or when the SQL statement completes, whichever comes first.
+ **
+ ** SQLite is free to call the destructor and drop meta-data on
+ ** any parameter of any function at any time.  The only guarantee
+ ** is that the destructor will be called before the metadata is
+ ** dropped.
  **
  ** In practice, meta-data is preserved between function calls for
  ** expressions that are constant at compile time. This includes literal
- Line 2441  void *sqlite3_user_data(sqlite3_context*
+ Line 3634  void *sqlite3_user_data(sqlite3_context*
  **
  ** These routines must be called from the same thread in which
  ** the SQL function is running.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16272} The [sqlite3_get_auxdata(C,N)] interface returns a pointer
+ **          to metadata associated with the Nth parameter of the SQL function
+ **          whose context is C, or NULL if there is no metadata associated
+ **          with that parameter.
+ **
+ ** {F16274} The [sqlite3_set_auxdata(C,N,P,D)] interface assigns a metadata
+ **          pointer P to the Nth parameter of the SQL function with context
+ **          C.
+ **
+ ** {F16276} SQLite will invoke the destructor D with a single argument
+ **          which is the metadata pointer P following a call to
+ **          [sqlite3_set_auxdata(C,N,P,D)] when SQLite ceases to hold
+ **          the metadata.
+ **
+ ** {F16277} SQLite ceases to hold metadata for an SQL function parameter
+ **          when the value of that parameter changes.
+ **
+ ** {F16278} When [sqlite3_set_auxdata(C,N,P,D)] is invoked, the destructor
+ **          is called for any prior metadata associated with the same function
+ **          context C and parameter N.
+ **
+ ** {F16279} SQLite will call destructors for any metadata it is holding
+ **          in a particular [prepared statement] S when either
+ **          [sqlite3_reset(S)] or [sqlite3_finalize(S)] is called.
  */
- void *sqlite3_get_auxdata(sqlite3_context*, int);
+ void *sqlite3_get_auxdata(sqlite3_context*, int N);
- void sqlite3_set_auxdata(sqlite3_context*, int, void*, void (*)(void*));
+ void sqlite3_set_auxdata(sqlite3_context*, int N, void*, void (*)(void*));
  /*
- ** CAPI3REF: Constants Defining Special Destructor Behavior
+ ** CAPI3REF: Constants Defining Special Destructor Behavior {F10280}
  **
  ** These are special value for the destructor that is passed in as the
  ** final argument to routines like [sqlite3_result_blob()].  If the destructor
- Line 2465  typedef void (*sqlite3_destructor_type)(
+ Line 3685  typedef void (*sqlite3_destructor_type)(
  #define SQLITE_TRANSIENT   ((sqlite3_destructor_type)-1)
  /*
- ** CAPI3REF: Setting The Result Of An SQL Function
+ ** CAPI3REF: Setting The Result Of An SQL Function {F16400}
  **
  ** These routines are used by the xFunc or xFinal callbacks that
  ** implement SQL functions and aggregates.  See
- Line 2479  typedef void (*sqlite3_destructor_type)(
+ Line 3699  typedef void (*sqlite3_destructor_type)(
  ** [sqlite3_bind_blob | sqlite3_bind_* documentation] for
  ** additional information.
  **
- ** The sqlite3_result_error() and sqlite3_result_error16() functions
+ ** The sqlite3_result_blob() interface sets the result from
- ** cause the implemented SQL function to throw an exception.  The
+ ** an application defined function to be the BLOB whose content is pointed
- ** parameter to sqlite3_result_error() or sqlite3_result_error16()
+ ** to by the second parameter and which is N bytes long where N is the
- ** is the text of an error message.
+ ** third parameter.
- **
+ ** The sqlite3_result_zeroblob() inerfaces set the result of
- ** The sqlite3_result_toobig() cause the function implementation
+ ** the application defined function to be a BLOB containing all zero
- ** to throw and error indicating that a string or BLOB is to long
+ ** bytes and N bytes in size, where N is the value of the 2nd parameter.
- ** to represent.
+ **
+ ** The sqlite3_result_double() interface sets the result from
+ ** an application defined function to be a floating point value specified
+ ** by its 2nd argument.
  **
- ** These routines must be called from within the same thread as
+ ** The sqlite3_result_error() and sqlite3_result_error16() functions
- ** the SQL function associated with the [sqlite3_context] pointer.
+ ** cause the implemented SQL function to throw an exception.
+ ** SQLite uses the string pointed to by the
+ ** 2nd parameter of sqlite3_result_error() or sqlite3_result_error16()
+ ** as the text of an error message.  SQLite interprets the error
+ ** message string from sqlite3_result_error() as UTF8. SQLite
+ ** interprets the string from sqlite3_result_error16() as UTF16 in native
+ ** byte order.  If the third parameter to sqlite3_result_error()
+ ** or sqlite3_result_error16() is negative then SQLite takes as the error
+ ** message all text up through the first zero character.
+ ** If the third parameter to sqlite3_result_error() or
+ ** sqlite3_result_error16() is non-negative then SQLite takes that many
+ ** bytes (not characters) from the 2nd parameter as the error message.
+ ** The sqlite3_result_error() and sqlite3_result_error16()
+ ** routines make a copy private copy of the error message text before
+ ** they return.  Hence, the calling function can deallocate or
+ ** modify the text after they return without harm.
+ ** The sqlite3_result_error_code() function changes the error code
+ ** returned by SQLite as a result of an error in a function.  By default,
+ ** the error code is SQLITE_ERROR.
+ **
+ ** The sqlite3_result_toobig() interface causes SQLite
+ ** to throw an error indicating that a string or BLOB is to long
+ ** to represent.  The sqlite3_result_nomem() interface
+ ** causes SQLite to throw an exception indicating that the a
+ ** memory allocation failed.
+ **
+ ** The sqlite3_result_int() interface sets the return value
+ ** of the application-defined function to be the 32-bit signed integer
+ ** value given in the 2nd argument.
+ ** The sqlite3_result_int64() interface sets the return value
+ ** of the application-defined function to be the 64-bit signed integer
+ ** value given in the 2nd argument.
+ **
+ ** The sqlite3_result_null() interface sets the return value
+ ** of the application-defined function to be NULL.
+ **
+ ** The sqlite3_result_text(), sqlite3_result_text16(),
+ ** sqlite3_result_text16le(), and sqlite3_result_text16be() interfaces
+ ** set the return value of the application-defined function to be
+ ** a text string which is represented as UTF-8, UTF-16 native byte order,
+ ** UTF-16 little endian, or UTF-16 big endian, respectively.
+ ** SQLite takes the text result from the application from
+ ** the 2nd parameter of the sqlite3_result_text* interfaces.
+ ** If the 3rd parameter to the sqlite3_result_text* interfaces
+ ** is negative, then SQLite takes result text from the 2nd parameter
+ ** through the first zero character.
+ ** If the 3rd parameter to the sqlite3_result_text* interfaces
+ ** is non-negative, then as many bytes (not characters) of the text
+ ** pointed to by the 2nd parameter are taken as the application-defined
+ ** function result.
+ ** If the 4th parameter to the sqlite3_result_text* interfaces
+ ** or sqlite3_result_blob is a non-NULL pointer, then SQLite calls that
+ ** function as the destructor on the text or blob result when it has
+ ** finished using that result.
+ ** If the 4th parameter to the sqlite3_result_text* interfaces
+ ** or sqlite3_result_blob is the special constant SQLITE_STATIC, then
+ ** SQLite assumes that the text or blob result is constant space and
+ ** does not copy the space or call a destructor when it has
+ ** finished using that result.
+ ** If the 4th parameter to the sqlite3_result_text* interfaces
+ ** or sqlite3_result_blob is the special constant SQLITE_TRANSIENT
+ ** then SQLite makes a copy of the result into space obtained from
+ ** from [sqlite3_malloc()] before it returns.
+ **
+ ** The sqlite3_result_value() interface sets the result of
+ ** the application-defined function to be a copy the [sqlite3_value]
+ ** object specified by the 2nd parameter.  The
+ ** sqlite3_result_value() interface makes a copy of the [sqlite3_value]
+ ** so that [sqlite3_value] specified in the parameter may change or
+ ** be deallocated after sqlite3_result_value() returns without harm.
+ **
+ ** If these routines are called from within the different thread
+ ** than the one containing the application-defined function that recieved
+ ** the [sqlite3_context] pointer, the results are undefined.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16403} The default return value from any SQL function is NULL.
+ **
+ ** {F16406} The [sqlite3_result_blob(C,V,N,D)] interface changes the
+ **          return value of function C to be a blob that is N bytes
+ **          in length and with content pointed to by V.
+ **
+ ** {F16409} The [sqlite3_result_double(C,V)] interface changes the
+ **          return value of function C to be the floating point value V.
+ **
+ ** {F16412} The [sqlite3_result_error(C,V,N)] interface changes the return
+ **          value of function C to be an exception with error code
+ **          [SQLITE_ERROR] and a UTF8 error message copied from V up to the
+ **          first zero byte or until N bytes are read if N is positive.
+ **
+ ** {F16415} The [sqlite3_result_error16(C,V,N)] interface changes the return
+ **          value of function C to be an exception with error code
+ **          [SQLITE_ERROR] and a UTF16 native byte order error message
+ **          copied from V up to the first zero terminator or until N bytes
+ **          are read if N is positive.
+ **
+ ** {F16418} The [sqlite3_result_error_toobig(C)] interface changes the return
+ **          value of the function C to be an exception with error code
+ **          [SQLITE_TOOBIG] and an appropriate error message.
+ **
+ ** {F16421} The [sqlite3_result_error_nomem(C)] interface changes the return
+ **          value of the function C to be an exception with error code
+ **          [SQLITE_NOMEM] and an appropriate error message.
+ **
+ ** {F16424} The [sqlite3_result_error_code(C,E)] interface changes the return
+ **          value of the function C to be an exception with error code E.
+ **          The error message text is unchanged.
+ **
+ ** {F16427} The [sqlite3_result_int(C,V)] interface changes the
+ **          return value of function C to be the 32-bit integer value V.
+ **
+ ** {F16430} The [sqlite3_result_int64(C,V)] interface changes the
+ **          return value of function C to be the 64-bit integer value V.
+ **
+ ** {F16433} The [sqlite3_result_null(C)] interface changes the
+ **          return value of function C to be NULL.
+ **
+ ** {F16436} The [sqlite3_result_text(C,V,N,D)] interface changes the
+ **          return value of function C to be the UTF8 string
+ **          V up through the first zero or until N bytes are read if N
+ **          is positive.
+ **
+ ** {F16439} The [sqlite3_result_text16(C,V,N,D)] interface changes the
+ **          return value of function C to be the UTF16 native byte order
+ **          string  V up through the first zero or until N bytes are read if N
+ **          is positive.
+ **
+ ** {F16442} The [sqlite3_result_text16be(C,V,N,D)] interface changes the
+ **          return value of function C to be the UTF16 big-endian
+ **          string  V up through the first zero or until N bytes are read if N
+ **          is positive.
+ **
+ ** {F16445} The [sqlite3_result_text16le(C,V,N,D)] interface changes the
+ **          return value of function C to be the UTF16 little-endian
+ **          string  V up through the first zero or until N bytes are read if N
+ **          is positive.
+ **
+ ** {F16448} The [sqlite3_result_value(C,V)] interface changes the
+ **          return value of function C to be [sqlite3_value] object V.
+ **
+ ** {F16451} The [sqlite3_result_zeroblob(C,N)] interface changes the
+ **          return value of function C to be an N-byte blob of all zeros.
+ **
+ ** {F16454} The [sqlite3_result_error()] and [sqlite3_result_error16()]
+ **          interfaces make a copy of their error message strings before
+ **          returning.
+ **
+ ** {F16457} If the D destructor parameter to [sqlite3_result_blob(C,V,N,D)],
+ **          [sqlite3_result_text(C,V,N,D)], [sqlite3_result_text16(C,V,N,D)],
+ **          [sqlite3_result_text16be(C,V,N,D)], or
+ **          [sqlite3_result_text16le(C,V,N,D)] is the constant [SQLITE_STATIC]
+ **          then no destructor is ever called on the pointer V and SQLite
+ **          assumes that V is immutable.
+ **
+ ** {F16460} If the D destructor parameter to [sqlite3_result_blob(C,V,N,D)],
+ **          [sqlite3_result_text(C,V,N,D)], [sqlite3_result_text16(C,V,N,D)],
+ **          [sqlite3_result_text16be(C,V,N,D)], or
+ **          [sqlite3_result_text16le(C,V,N,D)] is the constant
+ **          [SQLITE_TRANSIENT] then the interfaces makes a copy of the
+ **          content of V and retains the copy.
+ **
+ ** {F16463} If the D destructor parameter to [sqlite3_result_blob(C,V,N,D)],
+ **          [sqlite3_result_text(C,V,N,D)], [sqlite3_result_text16(C,V,N,D)],
+ **          [sqlite3_result_text16be(C,V,N,D)], or
+ **          [sqlite3_result_text16le(C,V,N,D)] is some value other than
+ **          the constants [SQLITE_STATIC] and [SQLITE_TRANSIENT] then
+ **          SQLite will invoke the destructor D with V as its only argument
+ **          when it has finished with the V value.
  */
  void sqlite3_result_blob(sqlite3_context*, const void*, int, void(*)(void*));
  void sqlite3_result_double(sqlite3_context*, double);
- Line 2497  void sqlite3_result_error(sqlite3_contex
+ Line 3888  void sqlite3_result_error(sqlite3_contex
  void sqlite3_result_error16(sqlite3_context*, const void*, int);
  void sqlite3_result_error_toobig(sqlite3_context*);
  void sqlite3_result_error_nomem(sqlite3_context*);
+ void sqlite3_result_error_code(sqlite3_context*, int);
  void sqlite3_result_int(sqlite3_context*, int);
  void sqlite3_result_int64(sqlite3_context*, sqlite3_int64);
  void sqlite3_result_null(sqlite3_context*);
- Line 2508  void sqlite3_result_value(sqlite3_contex
+ Line 3900  void sqlite3_result_value(sqlite3_contex
  void sqlite3_result_zeroblob(sqlite3_context*, int n);
  /*
- ** CAPI3REF: Define New Collating Sequences
+ ** CAPI3REF: Define New Collating Sequences {F16600}
  **
  ** These functions are used to add new collation sequences to the
  ** [sqlite3*] handle specified as the first argument.
  **
  ** The name of the new collation sequence is specified as a UTF-8 string
  ** for sqlite3_create_collation() and sqlite3_create_collation_v2()
- ** and a UTF-16 string for sqlite3_create_collation16().  In all cases
+ ** and a UTF-16 string for sqlite3_create_collation16(). In all cases
  ** the name is passed as the second function argument.
  **
- ** The third argument must be one of the constants [SQLITE_UTF8],
+ ** The third argument may be one of the constants [SQLITE_UTF8],
  ** [SQLITE_UTF16LE] or [SQLITE_UTF16BE], indicating that the user-supplied
  ** routine expects to be passed pointers to strings encoded using UTF-8,
- ** UTF-16 little-endian or UTF-16 big-endian respectively.
+ ** UTF-16 little-endian or UTF-16 big-endian respectively. The
+ ** third argument might also be [SQLITE_UTF16_ALIGNED] to indicate that
+ ** the routine expects pointers to 16-bit word aligned strings
+ ** of UTF16 in the native byte order of the host computer.
  **
  ** A pointer to the user supplied routine must be passed as the fifth
- ** argument. If it is NULL, this is the same as deleting the collation
+ ** argument.  If it is NULL, this is the same as deleting the collation
- ** sequence (so that SQLite cannot call it anymore). Each time the user
+ ** sequence (so that SQLite cannot call it anymore).
+ ** Each time the application
  ** supplied function is invoked, it is passed a copy of the void* passed as
  ** the fourth argument to sqlite3_create_collation() or
  ** sqlite3_create_collation16() as its first parameter.
  **
- ** The remaining arguments to the user-supplied routine are two strings,
+ ** The remaining arguments to the application-supplied routine are two strings,
- ** each represented by a [length, data] pair and encoded in the encoding
+ ** each represented by a (length, data) pair and encoded in the encoding
  ** that was passed as the third argument when the collation sequence was
- ** registered. The user routine should return negative, zero or positive if
+ ** registered. {END} The application defined collation routine should
+ ** return negative, zero or positive if
  ** the first string is less than, equal to, or greater than the second
  ** string. i.e. (STRING1 - STRING2).
  **
- Line 2541  void sqlite3_result_zeroblob(sqlite3_con
+ Line 3938  void sqlite3_result_zeroblob(sqlite3_con
  ** excapt that it takes an extra argument which is a destructor for
  ** the collation.  The destructor is called when the collation is
  ** destroyed and is passed a copy of the fourth parameter void* pointer
- ** of the sqlite3_create_collation_v2().  Collations are destroyed when
+ ** of the sqlite3_create_collation_v2().
+ ** Collations are destroyed when
  ** they are overridden by later calls to the collation creation functions
  ** or when the [sqlite3*] database handle is closed using [sqlite3_close()].
  **
- ** The sqlite3_create_collation_v2() interface is experimental and
+ ** INVARIANTS:
- ** subject to change in future releases.  The other collation creation
+ **
- ** functions are stable.
+ ** {F16603} A successful call to the
+ **          [sqlite3_create_collation_v2(B,X,E,P,F,D)] interface
+ **          registers function F as the comparison function used to
+ **          implement collation X on [database connection] B for
+ **          databases having encoding E.
+ **
+ ** {F16604} SQLite understands the X parameter to
+ **          [sqlite3_create_collation_v2(B,X,E,P,F,D)] as a zero-terminated
+ **          UTF-8 string in which case is ignored for ASCII characters and
+ **          is significant for non-ASCII characters.
+ **
+ ** {F16606} Successive calls to [sqlite3_create_collation_v2(B,X,E,P,F,D)]
+ **          with the same values for B, X, and E, override prior values
+ **          of P, F, and D.
+ **
+ ** {F16609} The destructor D in [sqlite3_create_collation_v2(B,X,E,P,F,D)]
+ **          is not NULL then it is called with argument P when the
+ **          collating function is dropped by SQLite.
+ **
+ ** {F16612} A collating function is dropped when it is overloaded.
+ **
+ ** {F16615} A collating function is dropped when the database connection
+ **          is closed using [sqlite3_close()].
+ **
+ ** {F16618} The pointer P in [sqlite3_create_collation_v2(B,X,E,P,F,D)]
+ **          is passed through as the first parameter to the comparison
+ **          function F for all subsequent invocations of F.
+ **
+ ** {F16621} A call to [sqlite3_create_collation(B,X,E,P,F)] is exactly
+ **          the same as a call to [sqlite3_create_collation_v2()] with
+ **          the same parameters and a NULL destructor.
+ **
+ ** {F16624} Following a [sqlite3_create_collation_v2(B,X,E,P,F,D)],
+ **          SQLite uses the comparison function F for all text comparison
+ **          operations on [database connection] B on text values that
+ **          use the collating sequence name X.
+ **
+ ** {F16627} The [sqlite3_create_collation16(B,X,E,P,F)] works the same
+ **          as [sqlite3_create_collation(B,X,E,P,F)] except that the
+ **          collation name X is understood as UTF-16 in native byte order
+ **          instead of UTF-8.
+ **
+ ** {F16630} When multiple comparison functions are available for the same
+ **          collating sequence, SQLite chooses the one whose text encoding
+ **          requires the least amount of conversion from the default
+ **          text encoding of the database.
  */
  int sqlite3_create_collation(
    sqlite3*,
- Line 2573  int sqlite3_create_collation16(
+ Line 4016  int sqlite3_create_collation16(
  );
  /*
- ** CAPI3REF: Collation Needed Callbacks
+ ** CAPI3REF: Collation Needed Callbacks {F16700}
  **
  ** To avoid having to register all collation sequences before a database
  ** can be used, a single callback function may be registered with the
- Line 2582  int sqlite3_create_collation16(
+ Line 4025  int sqlite3_create_collation16(
  **
  ** If the function is registered using the sqlite3_collation_needed() API,
  ** then it is passed the names of undefined collation sequences as strings
- ** encoded in UTF-8. If sqlite3_collation_needed16() is used, the names
+ ** encoded in UTF-8. {F16703} If sqlite3_collation_needed16() is used, the names
  ** are passed as UTF-16 in machine native byte order. A call to either
  ** function replaces any existing callback.
  **
  ** When the callback is invoked, the first argument passed is a copy
  ** of the second argument to sqlite3_collation_needed() or
- ** sqlite3_collation_needed16(). The second argument is the database
+ ** sqlite3_collation_needed16().  The second argument is the database
- ** handle. The third argument is one of [SQLITE_UTF8], [SQLITE_UTF16BE], or
+ ** handle.  The third argument is one of [SQLITE_UTF8],
- ** [SQLITE_UTF16LE], indicating the most desirable form of the collation
+ ** [SQLITE_UTF16BE], or [SQLITE_UTF16LE], indicating the most
- ** sequence function required. The fourth parameter is the name of the
+ ** desirable form of the collation sequence function required.
+ ** The fourth parameter is the name of the
  ** required collation sequence.
  **
  ** The callback function should register the desired collation using
  ** [sqlite3_create_collation()], [sqlite3_create_collation16()], or
  ** [sqlite3_create_collation_v2()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F16702} A successful call to [sqlite3_collation_needed(D,P,F)]
+ **          or [sqlite3_collation_needed16(D,P,F)] causes
+ **          the [database connection] D to invoke callback F with first
+ **          parameter P whenever it needs a comparison function for a
+ **          collating sequence that it does not know about.
+ **
+ ** {F16704} Each successful call to [sqlite3_collation_needed()] or
+ **          [sqlite3_collation_needed16()] overrides the callback registered
+ **          on the same [database connection] by prior calls to either
+ **          interface.
+ **
+ ** {F16706} The name of the requested collating function passed in the
+ **          4th parameter to the callback is in UTF-8 if the callback
+ **          was registered using [sqlite3_collation_needed()] and
+ **          is in UTF-16 native byte order if the callback was
+ **          registered using [sqlite3_collation_needed16()].
+ **
+ **
  */
  int sqlite3_collation_needed(
    sqlite3*,
- Line 2635  int sqlite3_rekey(
+ Line 4100  int sqlite3_rekey(
  );
  /*
- ** CAPI3REF:  Suspend Execution For A Short Time
+ ** CAPI3REF:  Suspend Execution For A Short Time {F10530}
  **
- ** This function causes the current thread to suspend execution
+ ** The sqlite3_sleep() function
- ** a number of milliseconds specified in its parameter.
+ ** causes the current thread to suspend execution
+ ** for at least a number of milliseconds specified in its parameter.
  **
  ** If the operating system does not support sleep requests with
  ** millisecond time resolution, then the time will be rounded up to
- Line 2647  int sqlite3_rekey(
+ Line 4113  int sqlite3_rekey(
  **
  ** SQLite implements this interface by calling the xSleep()
  ** method of the default [sqlite3_vfs] object.
+ **
+ ** INVARIANTS:
+ **
+ ** {F10533} The [sqlite3_sleep(M)] interface invokes the xSleep
+ **          method of the default [sqlite3_vfs|VFS] in order to
+ **          suspend execution of the current thread for at least
+ **          M milliseconds.
+ **
+ ** {F10536} The [sqlite3_sleep(M)] interface returns the number of
+ **          milliseconds of sleep actually requested of the operating
+ **          system, which might be larger than the parameter M.
  */
  int sqlite3_sleep(int);
  /*
- ** CAPI3REF:  Name Of The Folder Holding Temporary Files
+ ** CAPI3REF:  Name Of The Folder Holding Temporary Files {F10310}
  **
  ** If this global variable is made to point to a string which is
  ** the name of a folder (a.ka. directory), then all temporary files
- Line 2667  int sqlite3_sleep(int);
+ Line 4144  int sqlite3_sleep(int);
  SQLITE_EXTERN char *sqlite3_temp_directory;
  /*
- ** CAPI3REF:  Test To See If The Database Is In Auto-Commit Mode
+ ** CAPI3REF:  Test To See If The Database Is In Auto-Commit Mode {F12930}
  **
- ** Test to see whether or not the database connection is in autocommit
+ ** The sqlite3_get_autocommit() interfaces returns non-zero or
- ** mode.  Return TRUE if it is and FALSE if not.  Autocommit mode is on
+ ** zero if the given database connection is or is not in autocommit mode,
- ** by default.  Autocommit is disabled by a BEGIN statement and reenabled
+ ** respectively.   Autocommit mode is on
- ** by the next COMMIT or ROLLBACK.
+ ** by default.  Autocommit mode is disabled by a [BEGIN] statement.
+ ** Autocommit mode is reenabled by a [COMMIT] or [ROLLBACK].
  **
  ** If certain kinds of errors occur on a statement within a multi-statement
  ** transactions (errors including [SQLITE_FULL], [SQLITE_IOERR],
- Line 2681  SQLITE_EXTERN char *sqlite3_temp_directo
+ Line 4159  SQLITE_EXTERN char *sqlite3_temp_directo
  ** find out if SQLite automatically rolled back the transaction after
  ** an error is to use this function.
  **
- ** If another thread changes the autocommit status of the database
+ ** INVARIANTS:
- ** connection while this routine is running, then the return value
+ **
- ** is undefined.
+ ** {F12931} The [sqlite3_get_autocommit(D)] interface returns non-zero or
+ **          zero if the [database connection] D is or is not in autocommit
+ **          mode, respectively.
+ **
+ ** {F12932} Autocommit mode is on by default.
+ **
+ ** {F12933} Autocommit mode is disabled by a successful [BEGIN] statement.
+ **
+ ** {F12934} Autocommit mode is enabled by a successful [COMMIT] or [ROLLBACK]
+ **          statement.
+ **
+ **
+ ** LIMITATIONS:
+ ***
+ ** {U12936} If another thread changes the autocommit status of the database
+ **          connection while this routine is running, then the return value
+ **          is undefined.
  */
  int sqlite3_get_autocommit(sqlite3*);
  /*
- ** CAPI3REF:  Find The Database Handle Associated With A Prepared Statement
+ ** CAPI3REF:  Find The Database Handle Of A Prepared Statement {F13120}
  **
- ** Return the [sqlite3*] database handle to which a
+ ** The sqlite3_db_handle interface
- ** [sqlite3_stmt | prepared statement] belongs.
+ ** returns the [sqlite3*] database handle to which a
- ** This is the same database handle that was
+ ** [prepared statement] belongs.
+ ** The database handle returned by sqlite3_db_handle
+ ** is the same database handle that was
  ** the first argument to the [sqlite3_prepare_v2()] or its variants
  ** that was used to create the statement in the first place.
+ **
+ ** INVARIANTS:
+ **
+ ** {F13123} The [sqlite3_db_handle(S)] interface returns a pointer
+ **          to the [database connection] associated with
+ **          [prepared statement] S.
  */
  sqlite3 *sqlite3_db_handle(sqlite3_stmt*);
  /*
- ** CAPI3REF: Commit And Rollback Notification Callbacks
+ ** CAPI3REF: Commit And Rollback Notification Callbacks {F12950}
  **
- ** These routines
+ ** The sqlite3_commit_hook() interface registers a callback
- ** register callback functions to be invoked whenever a transaction
+ ** function to be invoked whenever a transaction is committed.
- ** is committed or rolled back.  The pArg argument is passed through
+ ** Any callback set by a previous call to sqlite3_commit_hook()
+ ** for the same database connection is overridden.
+ ** The sqlite3_rollback_hook() interface registers a callback
+ ** function to be invoked whenever a transaction is committed.
+ ** Any callback set by a previous call to sqlite3_commit_hook()
+ ** for the same database connection is overridden.
+ ** The pArg argument is passed through
  ** to the callback.  If the callback on a commit hook function
  ** returns non-zero, then the commit is converted into a rollback.
  **
- ** If another function was previously registered, its pArg value is returned.
+ ** If another function was previously registered, its
- ** Otherwise NULL is returned.
+ ** pArg value is returned.  Otherwise NULL is returned.
  **
  ** Registering a NULL function disables the callback.
  **
  ** For the purposes of this API, a transaction is said to have been
  ** rolled back if an explicit "ROLLBACK" statement is executed, or
- ** an error or constraint causes an implicit rollback to occur. The
+ ** an error or constraint causes an implicit rollback to occur.
- ** callback is not invoked if a transaction is automatically rolled
+ ** The rollback callback is not invoked if a transaction is
- ** back because the database connection is closed.
+ ** automatically rolled back because the database connection is closed.
+ ** The rollback callback is not invoked if a transaction is
+ ** rolled back because a commit callback returned non-zero.
+ ** <todo> Check on this </todo>
  **
  ** These are experimental interfaces and are subject to change.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12951} The [sqlite3_commit_hook(D,F,P)] interface registers the
+ **          callback function F to be invoked with argument P whenever
+ **          a transaction commits on [database connection] D.
+ **
+ ** {F12952} The [sqlite3_commit_hook(D,F,P)] interface returns the P
+ **          argument from the previous call with the same
+ **          [database connection ] D , or NULL on the first call
+ **          for a particular [database connection] D.
+ **
+ ** {F12953} Each call to [sqlite3_commit_hook()] overwrites the callback
+ **          registered by prior calls.
+ **
+ ** {F12954} If the F argument to [sqlite3_commit_hook(D,F,P)] is NULL
+ **          then the commit hook callback is cancelled and no callback
+ **          is invoked when a transaction commits.
+ **
+ ** {F12955} If the commit callback returns non-zero then the commit is
+ **          converted into a rollback.
+ **
+ ** {F12961} The [sqlite3_rollback_hook(D,F,P)] interface registers the
+ **          callback function F to be invoked with argument P whenever
+ **          a transaction rolls back on [database connection] D.
+ **
+ ** {F12962} The [sqlite3_rollback_hook(D,F,P)] interface returns the P
+ **          argument from the previous call with the same
+ **          [database connection ] D , or NULL on the first call
+ **          for a particular [database connection] D.
+ **
+ ** {F12963} Each call to [sqlite3_rollback_hook()] overwrites the callback
+ **          registered by prior calls.
+ **
+ ** {F12964} If the F argument to [sqlite3_rollback_hook(D,F,P)] is NULL
+ **          then the rollback hook callback is cancelled and no callback
+ **          is invoked when a transaction rolls back.
  */
  void *sqlite3_commit_hook(sqlite3*, int(*)(void*), void*);
  void *sqlite3_rollback_hook(sqlite3*, void(*)(void *), void*);
  /*
- ** CAPI3REF: Data Change Notification Callbacks
+ ** CAPI3REF: Data Change Notification Callbacks {F12970}
  **
- ** Register a callback function with the database connection identified by the
+ ** The sqlite3_update_hook() interface
+ ** registers a callback function with the database connection identified by the
  ** first argument to be invoked whenever a row is updated, inserted or deleted.
  ** Any callback set by a previous call to this function for the same
  ** database connection is overridden.
  **
  ** The second argument is a pointer to the function to invoke when a
- ** row is updated, inserted or deleted. The first argument to the callback is
+ ** row is updated, inserted or deleted.
- ** a copy of the third argument to sqlite3_update_hook(). The second callback
+ ** The first argument to the callback is
- ** argument is one of SQLITE_INSERT, SQLITE_DELETE or SQLITE_UPDATE, depending
+ ** a copy of the third argument to sqlite3_update_hook().
- ** on the operation that caused the callback to be invoked. The third and
+ ** The second callback
+ ** argument is one of [SQLITE_INSERT], [SQLITE_DELETE] or [SQLITE_UPDATE],
+ ** depending on the operation that caused the callback to be invoked.
+ ** The third and
  ** fourth arguments to the callback contain pointers to the database and
- ** table name containing the affected row. The final callback parameter is
+ ** table name containing the affected row.
- ** the rowid of the row. In the case of an update, this is the rowid after
+ ** The final callback parameter is
+ ** the rowid of the row.
+ ** In the case of an update, this is the rowid after
  ** the update takes place.
  **
  ** The update hook is not invoked when internal system tables are
  ** modified (i.e. sqlite_master and sqlite_sequence).
  **
- ** If another function was previously registered, its pArg value is returned.
+ ** If another function was previously registered, its pArg value
- ** Otherwise NULL is returned.
+ ** is returned.  Otherwise NULL is returned.
+ **
+ ** INVARIANTS:
+ **
+ ** {F12971} The [sqlite3_update_hook(D,F,P)] interface causes callback
+ **          function F to be invoked with first parameter P whenever
+ **          a table row is modified, inserted, or deleted on
+ **          [database connection] D.
+ **
+ ** {F12973} The [sqlite3_update_hook(D,F,P)] interface returns the value
+ **          of P for the previous call on the same [database connection] D,
+ **          or NULL for the first call.
+ **
+ ** {F12975} If the update hook callback F in [sqlite3_update_hook(D,F,P)]
+ **          is NULL then the no update callbacks are made.
+ **
+ ** {F12977} Each call to [sqlite3_update_hook(D,F,P)] overrides prior calls
+ **          to the same interface on the same [database connection] D.
+ **
+ ** {F12979} The update hook callback is not invoked when internal system
+ **          tables such as sqlite_master and sqlite_sequence are modified.
+ **
+ ** {F12981} The second parameter to the update callback
+ **          is one of [SQLITE_INSERT], [SQLITE_DELETE] or [SQLITE_UPDATE],
+ **          depending on the operation that caused the callback to be invoked.
+ **
+ ** {F12983} The third and fourth arguments to the callback contain pointers
+ **          to zero-terminated UTF-8 strings which are the names of the
+ **          database and table that is being updated.
+ ** {F12985} The final callback parameter is the rowid of the row after
+ **          the change occurs.
  */
  void *sqlite3_update_hook(
    sqlite3*,
- Line 2755  void *sqlite3_update_hook(
+ Line 4340  void *sqlite3_update_hook(
  );
  /*
- ** CAPI3REF:  Enable Or Disable Shared Pager Cache
+ ** CAPI3REF:  Enable Or Disable Shared Pager Cache {F10330}
  **
  ** This routine enables or disables the sharing of the database cache
  ** and schema data structures between connections to the same database.
  ** Sharing is enabled if the argument is true and disabled if the argument
  ** is false.
  **
- ** Beginning in SQLite version 3.5.0, cache sharing is enabled and disabled
+ ** Cache sharing is enabled and disabled
- ** for an entire process.  In prior versions of SQLite, sharing was
+ ** for an entire process. {END} This is a change as of SQLite version 3.5.0.
+ ** In prior versions of SQLite, sharing was
  ** enabled or disabled for each thread separately.
  **
  ** The cache sharing mode set by this interface effects all subsequent
  ** calls to [sqlite3_open()], [sqlite3_open_v2()], and [sqlite3_open16()].
- ** Existing database connections continue use the sharing mode that was
+ ** Existing database connections continue use the sharing mode
- ** in effect at the time they were opened.
+ ** that was in effect at the time they were opened.
  **
- ** Virtual tables cannot be used with a shared cache.  When shared
+ ** Virtual tables cannot be used with a shared cache.   When shared
  ** cache is enabled, the [sqlite3_create_module()] API used to register
  ** virtual tables will always return an error.
  **
  ** This routine returns [SQLITE_OK] if shared cache was
- ** enabled or disabled successfully.  An [SQLITE_ERROR | error code]
+ ** enabled or disabled successfully.  An [error code]
  ** is returned otherwise.
  **
- ** Shared cache is disabled by default.  But this might change in
+ ** Shared cache is disabled by default. But this might change in
  ** future releases of SQLite.  Applications that care about shared
  ** cache setting should set it explicitly.
+ **
+ ** INVARIANTS:
+ **
+ ** {F10331} A successful invocation of [sqlite3_enable_shared_cache(B)]
+ **          will enable or disable shared cache mode for any subsequently
+ **          created [database connection] in the same process.
+ **
+ ** {F10336} When shared cache is enabled, the [sqlite3_create_module()]
+ **          interface will always return an error.
+ **
+ ** {F10337} The [sqlite3_enable_shared_cache(B)] interface returns
+ **          [SQLITE_OK] if shared cache was enabled or disabled successfully.
+ **
+ ** {F10339} Shared cache is disabled by default.
  */
  int sqlite3_enable_shared_cache(int);
  /*
- ** CAPI3REF:  Attempt To Free Heap Memory
+ ** CAPI3REF:  Attempt To Free Heap Memory {F17340}
  **
- ** Attempt to free N bytes of heap memory by deallocating non-essential
+ ** The sqlite3_release_memory() interface attempts to
- ** memory allocations held by the database library (example: memory
+ ** free N bytes of heap memory by deallocating non-essential memory
- ** used to cache database pages to improve performance).
+ ** allocations held by the database labrary. {END}  Memory used
+ ** to cache database pages to improve performance is an example of
+ ** non-essential memory.  Sqlite3_release_memory() returns
+ ** the number of bytes actually freed, which might be more or less
+ ** than the amount requested.
+ **
+ ** INVARIANTS:
+ **
+ ** {F17341} The [sqlite3_release_memory(N)] interface attempts to
+ **          free N bytes of heap memory by deallocating non-essential
+ **          memory allocations held by the database labrary.
+ **
+ ** {F16342} The [sqlite3_release_memory(N)] returns the number
+ **          of bytes actually freed, which might be more or less
+ **          than the amount requested.
  */
  int sqlite3_release_memory(int);
  /*
- ** CAPI3REF:  Impose A Limit On Heap Size
+ ** CAPI3REF:  Impose A Limit On Heap Size {F17350}
  **
- ** Place a "soft" limit on the amount of heap memory that may be allocated
+ ** The sqlite3_soft_heap_limit() interface
- ** by SQLite.  If an internal allocation is requested
+ ** places a "soft" limit on the amount of heap memory that may be allocated
- ** that would exceed the specified limit, [sqlite3_release_memory()] is
+ ** by SQLite. If an internal allocation is requested
+ ** that would exceed the soft heap limit, [sqlite3_release_memory()] is
  ** invoked one or more times to free up some space before the allocation
  ** is made.
  **
- ** The limit is called "soft", because if [sqlite3_release_memory()] cannot
+ ** The limit is called "soft", because if
+ ** [sqlite3_release_memory()] cannot
  ** free sufficient memory to prevent the limit from being exceeded,
  ** the memory is allocated anyway and the current operation proceeds.
  **
- Line 2811  int sqlite3_release_memory(int);
+ Line 4427  int sqlite3_release_memory(int);
  ** [sqlite3_release_memory()] will only be called when memory is exhausted.
  ** The default value for the soft heap limit is zero.
  **
- ** SQLite makes a best effort to honor the soft heap limit.  But if it
+ ** SQLite makes a best effort to honor the soft heap limit.
- ** is unable to reduce memory usage below the soft limit, execution will
+ ** But if the soft heap limit cannot honored, execution will
  ** continue without error or notification.  This is why the limit is
  ** called a "soft" limit.  It is advisory only.
  **
- ** The soft heap limit is implemented using the [sqlite3_memory_alarm()]
- ** interface.  Only a single memory alarm is available in the default
- ** implementation.  This means that if the application also uses the
- ** memory alarm interface it will interfere with the operation of the
- ** soft heap limit and undefined behavior will result.
- **
  ** Prior to SQLite version 3.5.0, this routine only constrained the memory
  ** allocated by a single thread - the same thread in which this routine
  ** runs.  Beginning with SQLite version 3.5.0, the soft heap limit is
- ** applied to all threads.  The value specified for the soft heap limit
+ ** applied to all threads. The value specified for the soft heap limit
- ** is an upper bound on the total memory allocation for all threads.  In
+ ** is an upper bound on the total memory allocation for all threads. In
  ** version 3.5.0 there is no mechanism for limiting the heap usage for
  ** individual threads.
+ **
+ ** INVARIANTS:
+ **
+ ** {F16351} The [sqlite3_soft_heap_limit(N)] interface places a soft limit
+ **          of N bytes on the amount of heap memory that may be allocated
+ **          using [sqlite3_malloc()] or [sqlite3_realloc()] at any point
+ **          in time.
+ **
+ ** {F16352} If a call to [sqlite3_malloc()] or [sqlite3_realloc()] would
+ **          cause the total amount of allocated memory to exceed the
+ **          soft heap limit, then [sqlite3_release_memory()] is invoked
+ **          in an attempt to reduce the memory usage prior to proceeding
+ **          with the memory allocation attempt.
+ **
+ ** {F16353} Calls to [sqlite3_malloc()] or [sqlite3_realloc()] that trigger
+ **          attempts to reduce memory usage through the soft heap limit
+ **          mechanism continue even if the attempt to reduce memory
+ **          usage is unsuccessful.
+ **
+ ** {F16354} A negative or zero value for N in a call to
+ **          [sqlite3_soft_heap_limit(N)] means that there is no soft
+ **          heap limit and [sqlite3_release_memory()] will only be
+ **          called when memory is completely exhausted.
+ **
+ ** {F16355} The default value for the soft heap limit is zero.
+ **
+ ** {F16358} Each call to [sqlite3_soft_heap_limit(N)] overrides the
+ **          values set by all prior calls.
  */
  void sqlite3_soft_heap_limit(int);
  /*
- ** CAPI3REF:  Extract Metadata About A Column Of A Table
+ ** CAPI3REF:  Extract Metadata About A Column Of A Table {F12850}
  **
  ** This routine
  ** returns meta-data about a specific column of a specific database
- Line 2909  int sqlite3_table_column_metadata(
+ Line 4547  int sqlite3_table_column_metadata(
  );
  /*
- ** CAPI3REF: Load An Extension
+ ** CAPI3REF: Load An Extension {F12600}
  **
- ** Attempt to load an SQLite extension library contained in the file
+ ** {F12601} The sqlite3_load_extension() interface
- ** zFile.  The entry point is zProc.  zProc may be 0 in which case the
+ ** attempts to load an SQLite extension library contained in the file
- ** name of the entry point defaults to "sqlite3_extension_init".
+ ** zFile. {F12602} The entry point is zProc. {F12603} zProc may be 0
- **
+ ** in which case the name of the entry point defaults
- ** Return [SQLITE_OK] on success and [SQLITE_ERROR] if something goes wrong.
+ ** to "sqlite3_extension_init".
  **
- ** If an error occurs and pzErrMsg is not 0, then fill *pzErrMsg with
+ ** {F12604} The sqlite3_load_extension() interface shall
- ** error message text.  The calling function should free this memory
+ ** return [SQLITE_OK] on success and [SQLITE_ERROR] if something goes wrong.
+ **
+ ** {F12605}
+ ** If an error occurs and pzErrMsg is not 0, then the
+ ** sqlite3_load_extension() interface shall attempt to fill *pzErrMsg with
+ ** error message text stored in memory obtained from [sqlite3_malloc()].
+ ** {END}  The calling function should free this memory
  ** by calling [sqlite3_free()].
  **
+ ** {F12606}
  ** Extension loading must be enabled using [sqlite3_enable_load_extension()]
  ** prior to calling this API or an error will be returned.
  */
- Line 2932  int sqlite3_load_extension(
+ Line 4577  int sqlite3_load_extension(
  );
  /*
- ** CAPI3REF:  Enable Or Disable Extension Loading
+ ** CAPI3REF:  Enable Or Disable Extension Loading {F12620}
  **
  ** So as not to open security holes in older applications that are
  ** unprepared to deal with extension loading, and as a means of disabling
  ** extension loading while evaluating user-entered SQL, the following
  ** API is provided to turn the [sqlite3_load_extension()] mechanism on and
- ** off.  It is off by default.  See ticket #1863.
+ ** off.  {F12622} It is off by default. {END} See ticket #1863.
  **
- ** Call this routine with onoff==1 to turn extension loading on
+ ** {F12621} Call the sqlite3_enable_load_extension() routine
- ** and call it with onoff==0 to turn it back off again.
+ ** with onoff==1 to turn extension loading on
+ ** and call it with onoff==0 to turn it back off again. {END}
  */
  int sqlite3_enable_load_extension(sqlite3 *db, int onoff);
  /*
- ** CAPI3REF: Make Arrangements To Automatically Load An Extension
+ ** CAPI3REF: Make Arrangements To Automatically Load An Extension {F12640}
  **
- ** Register an extension entry point that is automatically invoked
+ ** {F12641} This function
+ ** registers an extension entry point that is automatically invoked
  ** whenever a new database connection is opened using
- ** [sqlite3_open()], [sqlite3_open16()], or [sqlite3_open_v2()].
+ ** [sqlite3_open()], [sqlite3_open16()], or [sqlite3_open_v2()]. {END}
  **
  ** This API can be invoked at program startup in order to register
  ** one or more statically linked extensions that will be available
  ** to all new database connections.
  **
- ** Duplicate extensions are detected so calling this routine multiple
+ ** {F12642} Duplicate extensions are detected so calling this routine multiple
  ** times with the same extension is harmless.
  **
- ** This routine stores a pointer to the extension in an array
+ ** {F12643} This routine stores a pointer to the extension in an array
- ** that is obtained from malloc().  If you run a memory leak
+ ** that is obtained from sqlite_malloc(). {END} If you run a memory leak
  ** checker on your program and it reports a leak because of this
- ** array, then invoke [sqlite3_automatic_extension_reset()] prior
+ ** array, then invoke [sqlite3_reset_auto_extension()] prior
  ** to shutdown to free the memory.
  **
- ** Automatic extensions apply across all threads.
+ ** {F12644} Automatic extensions apply across all threads. {END}
  **
  ** This interface is experimental and is subject to change or
  ** removal in future releases of SQLite.
- Line 2974  int sqlite3_auto_extension(void *xEntryP
+ Line 4621  int sqlite3_auto_extension(void *xEntryP
  /*
- ** CAPI3REF: Reset Automatic Extension Loading
+ ** CAPI3REF: Reset Automatic Extension Loading {F12660}
  **
- ** Disable all previously registered automatic extensions.  This
+ ** {F12661} This function disables all previously registered
- ** routine undoes the effect of all prior [sqlite3_automatic_extension()]
+ ** automatic extensions. {END}  This
+ ** routine undoes the effect of all prior [sqlite3_auto_extension()]
  ** calls.
  **
- ** This call disabled automatic extensions in all threads.
+ ** {F12662} This call disabled automatic extensions in all threads. {END}
  **
  ** This interface is experimental and is subject to change or
  ** removal in future releases of SQLite.
- Line 3008  typedef struct sqlite3_vtab_cursor sqlit
+ Line 4656  typedef struct sqlite3_vtab_cursor sqlit
  typedef struct sqlite3_module sqlite3_module;
  /*
+ ** CAPI3REF: Virtual Table Object {F18000}
+ ** KEYWORDS: sqlite3_module
+ **
  ** A module is a class of virtual tables.  Each module is defined
  ** by an instance of the following structure.  This structure consists
  ** mostly of methods for the module.
- Line 3044  struct sqlite3_module {
+ Line 4695  struct sqlite3_module {
  };
  /*
+ ** CAPI3REF: Virtual Table Indexing Information {F18100}
+ ** KEYWORDS: sqlite3_index_info
+ **
  ** The sqlite3_index_info structure and its substructures is used to
  ** pass information into and receive the reply from the xBestIndex
  ** method of an sqlite3_module.  The fields under **Inputs** are the
- Line 3055  struct sqlite3_module {
+ Line 4709  struct sqlite3_module {
  **
  **         column OP expr
  **
- ** Where OP is =, <, <=, >, or >=.  The particular operator is stored
+ ** Where OP is =, &lt;, &lt;=, &gt;, or &gt;=.
+ ** The particular operator is stored
  ** in aConstraint[].op.  The index of the column is stored in
  ** aConstraint[].iColumn.  aConstraint[].usable is TRUE if the
  ** expr on the right-hand side can be evaluated (and thus the constraint
- Line 3123  struct sqlite3_index_info {
+ Line 4778  struct sqlite3_index_info {
  #define SQLITE_INDEX_CONSTRAINT_MATCH 64
  /*
+ ** CAPI3REF: Register A Virtual Table Implementation {F18200}
+ **
  ** This routine is used to register a new module name with an SQLite
  ** connection.  Module names must be registered before creating new
  ** virtual tables on the module, or before using preexisting virtual
- Line 3136  int sqlite3_create_module(
+ Line 4793  int sqlite3_create_module(
  );
  /*
+ ** CAPI3REF: Register A Virtual Table Implementation {F18210}
+ **
  ** This routine is identical to the sqlite3_create_module() method above,
  ** except that it allows a destructor function to be specified. It is
  ** even more experimental than the rest of the virtual tables API.
- Line 3149  int sqlite3_create_module_v2(
+ Line 4808  int sqlite3_create_module_v2(
  );
  /*
+ ** CAPI3REF: Virtual Table Instance Object {F18010}
+ ** KEYWORDS: sqlite3_vtab
+ **
  ** Every module implementation uses a subclass of the following structure
  ** to describe a particular instance of the module.  Each subclass will
  ** be tailored to the specific needs of the module implementation.   The
- Line 3172  struct sqlite3_vtab {
+ Line 4834  struct sqlite3_vtab {
    /* Virtual table implementations will typically add additional fields */
  };
- /* Every module implementation uses a subclass of the following structure
+ /*
+ ** CAPI3REF: Virtual Table Cursor Object  {F18020}
+ ** KEYWORDS: sqlite3_vtab_cursor
+ **
+ ** Every module implementation uses a subclass of the following structure
  ** to describe cursors that point into the virtual table and are used
  ** to loop through the virtual table.  Cursors are created using the
  ** xOpen method of the module.  Each module implementation will define
- Line 3187  struct sqlite3_vtab_cursor {
+ Line 4853  struct sqlite3_vtab_cursor {
  };
  /*
+ ** CAPI3REF: Declare The Schema Of A Virtual Table {F18280}
+ **
  ** The xCreate and xConnect methods of a module use the following API
  ** to declare the format (the names and datatypes of the columns) of
  ** the virtual tables they implement.
- Line 3194  struct sqlite3_vtab_cursor {
+ Line 4862  struct sqlite3_vtab_cursor {
  int sqlite3_declare_vtab(sqlite3*, const char *zCreateTable);
  /*
+ ** CAPI3REF: Overload A Function For A Virtual Table {F18300}
+ **
  ** Virtual tables can provide alternative implementations of functions
  ** using the xFindFunction method.  But global versions of those functions
  ** must exist in order to be overloaded.
- Line 3224  int sqlite3_overload_function(sqlite3*,
+ Line 4894  int sqlite3_overload_function(sqlite3*,
  */
  /*
- ** CAPI3REF: A Handle To An Open BLOB
+ ** CAPI3REF: A Handle To An Open BLOB {F17800}
  **
- ** An instance of the following opaque structure is used to
+ ** An instance of this object represents an open BLOB on which
- ** represent an blob-handle.  A blob-handle is created by
+ ** incremental I/O can be preformed.
+ ** Objects of this type are created by
  ** [sqlite3_blob_open()] and destroyed by [sqlite3_blob_close()].
  ** The [sqlite3_blob_read()] and [sqlite3_blob_write()] interfaces
  ** can be used to read or write small subsections of the blob.
- Line 3237  int sqlite3_overload_function(sqlite3*,
+ Line 4908  int sqlite3_overload_function(sqlite3*,
  typedef struct sqlite3_blob sqlite3_blob;
  /*
- ** CAPI3REF: Open A BLOB For Incremental I/O
+ ** CAPI3REF: Open A BLOB For Incremental I/O {F17810}
  **
- ** Open a handle to the blob located in row iRow,, column zColumn,
+ ** This interfaces opens a handle to the blob located
- ** table zTable in database zDb. i.e. the same blob that would
+ ** in row iRow,, column zColumn, table zTable in database zDb;
- ** be selected by:
+ ** in other words,  the same blob that would be selected by:
  **
  ** <pre>
  **     SELECT zColumn FROM zDb.zTable WHERE rowid = iRow;
- ** </pre>
+ ** </pre> {END}
  **
  ** If the flags parameter is non-zero, the blob is opened for
  ** read and write access. If it is zero, the blob is opened for read
  ** access.
  **
  ** On success, [SQLITE_OK] is returned and the new
  ** [sqlite3_blob | blob handle] is written to *ppBlob.
  ** Otherwise an error code is returned and
  ** any value written to *ppBlob should not be used by the caller.
  ** This function sets the database-handle error code and message
  ** accessible via [sqlite3_errcode()] and [sqlite3_errmsg()].
+ **
+ ** INVARIANTS:
+ **
+ ** {F17813} A successful invocation of the [sqlite3_blob_open(D,B,T,C,R,F,P)]
+ **          interface opens an [sqlite3_blob] object P on the blob
+ **          in column C of table T in database B on [database connection] D.
+ **
+ ** {F17814} A successful invocation of [sqlite3_blob_open(D,...)] starts
+ **          a new transaction on [database connection] D if that connection
+ **          is not already in a transaction.
+ **
+ ** {F17816} The [sqlite3_blob_open(D,B,T,C,R,F,P)] interface opens the blob
+ **          for read and write access if and only if the F parameter
+ **          is non-zero.
+ **
+ ** {F17819} The [sqlite3_blob_open()] interface returns [SQLITE_OK] on
+ **          success and an appropriate [error code] on failure.
+ **
+ ** {F17821} If an error occurs during evaluation of [sqlite3_blob_open(D,...)]
+ **          then subsequent calls to [sqlite3_errcode(D)],
+ **          [sqlite3_errmsg(D)], and [sqlite3_errmsg16(D)] will return
+ **          information approprate for that error.
  */
  int sqlite3_blob_open(
    sqlite3*,
- Line 3269  int sqlite3_blob_open(
+ Line 4962  int sqlite3_blob_open(
  );
  /*
- ** CAPI3REF:  Close A BLOB Handle
+ ** CAPI3REF:  Close A BLOB Handle {F17830}
  **
  ** Close an open [sqlite3_blob | blob handle].
+ **
+ ** Closing a BLOB shall cause the current transaction to commit
+ ** if there are no other BLOBs, no pending prepared statements, and the
+ ** database connection is in autocommit mode.
+ ** If any writes were made to the BLOB, they might be held in cache
+ ** until the close operation if they will fit. {END}
+ ** Closing the BLOB often forces the changes
+ ** out to disk and so if any I/O errors occur, they will likely occur
+ ** at the time when the BLOB is closed.  {F17833} Any errors that occur during
+ ** closing are reported as a non-zero return value.
+ **
+ ** The BLOB is closed unconditionally.  Even if this routine returns
+ ** an error code, the BLOB is still closed.
+ **
+ ** INVARIANTS:
+ **
+ ** {F17833} The [sqlite3_blob_close(P)] interface closes an
+ **          [sqlite3_blob] object P previously opened using
+ **          [sqlite3_blob_open()].
+ **
+ ** {F17836} Closing an [sqlite3_blob] object using
+ **          [sqlite3_blob_close()] shall cause the current transaction to
+ **          commit if there are no other open [sqlite3_blob] objects
+ **          or [prepared statements] on the same [database connection] and
+ **          the [database connection] is in
+ **          [sqlite3_get_autocommit | autocommit mode].
+ **
+ ** {F17839} The [sqlite3_blob_close(P)] interfaces closes the
+ **          [sqlite3_blob] object P unconditionally, even if
+ **          [sqlite3_blob_close(P)] returns something other than [SQLITE_OK].
+ **
  */
  int sqlite3_blob_close(sqlite3_blob *);
  /*
- ** CAPI3REF:  Return The Size Of An Open BLOB
+ ** CAPI3REF:  Return The Size Of An Open BLOB {F17840}
  **
  ** Return the size in bytes of the blob accessible via the open
- ** [sqlite3_blob | blob-handle] passed as an argument.
+ ** [sqlite3_blob] object in its only argument.
+ **
+ ** INVARIANTS:
+ **
+ ** {F17843} The [sqlite3_blob_bytes(P)] interface returns the size
+ **          in bytes of the BLOB that the [sqlite3_blob] object P
+ **          refers to.
  */
  int sqlite3_blob_bytes(sqlite3_blob *);
  /*
- ** CAPI3REF:  Read Data From A BLOB Incrementally
+ ** CAPI3REF:  Read Data From A BLOB Incrementally {F17850}
  **
  ** This function is used to read data from an open
  ** [sqlite3_blob | blob-handle] into a caller supplied buffer.
- ** n bytes of data are copied into buffer
+ ** N bytes of data are copied into buffer
- ** z from the open blob, starting at offset iOffset.
+ ** Z from the open blob, starting at offset iOffset.
+ **
+ ** If offset iOffset is less than N bytes from the end of the blob,
+ ** [SQLITE_ERROR] is returned and no data is read.  If N or iOffset is
+ ** less than zero [SQLITE_ERROR] is returned and no data is read.
  **
  ** On success, SQLITE_OK is returned. Otherwise, an
- ** [SQLITE_ERROR | SQLite error code] or an
+ ** [error code] or an [extended error code] is returned.
- ** [SQLITE_IOERR_READ | extended error code] is returned.
+ **
+ ** INVARIANTS:
+ **
+ ** {F17853} The [sqlite3_blob_read(P,Z,N,X)] interface reads N bytes
+ **          beginning at offset X from
+ **          the blob that [sqlite3_blob] object P refers to
+ **          and writes those N bytes into buffer Z.
+ **
+ ** {F17856} In [sqlite3_blob_read(P,Z,N,X)] if the size of the blob
+ **          is less than N+X bytes, then the function returns [SQLITE_ERROR]
+ **          and nothing is read from the blob.
+ **
+ ** {F17859} In [sqlite3_blob_read(P,Z,N,X)] if X or N is less than zero
+ **          then the function returns [SQLITE_ERROR]
+ **          and nothing is read from the blob.
+ **
+ ** {F17862} The [sqlite3_blob_read(P,Z,N,X)] interface returns [SQLITE_OK]
+ **          if N bytes where successfully read into buffer Z.
+ **
+ ** {F17865} If the requested read could not be completed,
+ **          the [sqlite3_blob_read(P,Z,N,X)] interface returns an
+ **          appropriate [error code] or [extended error code].
+ **
+ ** {F17868} If an error occurs during evaluation of [sqlite3_blob_read(D,...)]
+ **          then subsequent calls to [sqlite3_errcode(D)],
+ **          [sqlite3_errmsg(D)], and [sqlite3_errmsg16(D)] will return
+ **          information approprate for that error.
  */
- int sqlite3_blob_read(sqlite3_blob *, void *z, int n, int iOffset);
+ int sqlite3_blob_read(sqlite3_blob *, void *Z, int N, int iOffset);
  /*
- ** CAPI3REF:  Write Data Into A BLOB Incrementally
+ ** CAPI3REF:  Write Data Into A BLOB Incrementally {F17870}
  **
  ** This function is used to write data into an open
  ** [sqlite3_blob | blob-handle] from a user supplied buffer.
- Line 3309  int sqlite3_blob_read(sqlite3_blob *, vo
+ Line 5069  int sqlite3_blob_read(sqlite3_blob *, vo
  ** was not opened for writing (the flags parameter to [sqlite3_blob_open()]
  *** was zero), this function returns [SQLITE_READONLY].
  **
- ** This function may only modify the contents of the blob, it is
+ ** This function may only modify the contents of the blob; it is
- ** not possible to increase the size of a blob using this API. If
+ ** not possible to increase the size of a blob using this API.
- ** offset iOffset is less than n bytes from the end of the blob,
+ ** If offset iOffset is less than n bytes from the end of the blob,
- ** [SQLITE_ERROR] is returned and no data is written.
+ ** [SQLITE_ERROR] is returned and no data is written.  If n is
+ ** less than zero [SQLITE_ERROR] is returned and no data is written.
  **
  ** On success, SQLITE_OK is returned. Otherwise, an
- ** [SQLITE_ERROR | SQLite error code] or an
+ ** [error code] or an [extended error code] is returned.
- ** [SQLITE_IOERR_READ | extended error code] is returned.
+ **
+ ** INVARIANTS:
+ **
+ ** {F17873} The [sqlite3_blob_write(P,Z,N,X)] interface writes N bytes
+ **          from buffer Z into
+ **          the blob that [sqlite3_blob] object P refers to
+ **          beginning at an offset of X into the blob.
+ **
+ ** {F17875} The [sqlite3_blob_write(P,Z,N,X)] interface returns
+ **          [SQLITE_READONLY] if the [sqlite3_blob] object P was
+ **          [sqlite3_blob_open | opened] for reading only.
+ **
+ ** {F17876} In [sqlite3_blob_write(P,Z,N,X)] if the size of the blob
+ **          is less than N+X bytes, then the function returns [SQLITE_ERROR]
+ **          and nothing is written into the blob.
+ **
+ ** {F17879} In [sqlite3_blob_write(P,Z,N,X)] if X or N is less than zero
+ **          then the function returns [SQLITE_ERROR]
+ **          and nothing is written into the blob.
+ **
+ ** {F17882} The [sqlite3_blob_write(P,Z,N,X)] interface returns [SQLITE_OK]
+ **          if N bytes where successfully written into blob.
+ **
+ ** {F17885} If the requested write could not be completed,
+ **          the [sqlite3_blob_write(P,Z,N,X)] interface returns an
+ **          appropriate [error code] or [extended error code].
+ **
+ ** {F17888} If an error occurs during evaluation of [sqlite3_blob_write(D,...)]
+ **          then subsequent calls to [sqlite3_errcode(D)],
+ **          [sqlite3_errmsg(D)], and [sqlite3_errmsg16(D)] will return
+ **          information approprate for that error.
  */
  int sqlite3_blob_write(sqlite3_blob *, const void *z, int n, int iOffset);
  /*
- ** CAPI3REF:  Virtual File System Objects
+ ** CAPI3REF:  Virtual File System Objects {F11200}
  **
  ** A virtual filesystem (VFS) is an [sqlite3_vfs] object
  ** that SQLite uses to interact
- ** with the underlying operating system.  Most builds come with a
+ ** with the underlying operating system.  Most SQLite builds come with a
  ** single default VFS that is appropriate for the host computer.
  ** New VFSes can be registered and existing VFSes can be unregistered.
  ** The following interfaces are provided.
  **
- ** The sqlite3_vfs_find() interface returns a pointer to a VFS given its
+ ** The sqlite3_vfs_find() interface returns a pointer to
- ** name.  Names are case sensitive.  If there is no match, a NULL
+ ** a VFS given its name.  Names are case sensitive.
+ ** Names are zero-terminated UTF-8 strings.
+ ** If there is no match, a NULL
  ** pointer is returned.  If zVfsName is NULL then the default
  ** VFS is returned.
  **
- ** New VFSes are registered with sqlite3_vfs_register().  Each
+ ** New VFSes are registered with sqlite3_vfs_register().
- ** new VFS becomes the default VFS if the makeDflt flag is set.
+ ** Each new VFS becomes the default VFS if the makeDflt flag is set.
  ** The same VFS can be registered multiple times without injury.
  ** To make an existing VFS into the default VFS, register it again
  ** with the makeDflt flag set.  If two different VFSes with the
- Line 3347  int sqlite3_blob_write(sqlite3_blob *, c
+ Line 5140  int sqlite3_blob_write(sqlite3_blob *, c
  ** Unregister a VFS with the sqlite3_vfs_unregister() interface.
  ** If the default VFS is unregistered, another VFS is chosen as
  ** the default.  The choice for the new VFS is arbitrary.
+ **
+ ** INVARIANTS:
+ **
+ ** {F11203} The [sqlite3_vfs_find(N)] interface returns a pointer to the
+ **          registered [sqlite3_vfs] object whose name exactly matches
+ **          the zero-terminated UTF-8 string N, or it returns NULL if
+ **          there is no match.
+ **
+ ** {F11206} If the N parameter to [sqlite3_vfs_find(N)] is NULL then
+ **          the function returns a pointer to the default [sqlite3_vfs]
+ **          object if there is one, or NULL if there is no default
+ **          [sqlite3_vfs] object.
+ **
+ ** {F11209} The [sqlite3_vfs_register(P,F)] interface registers the
+ **          well-formed [sqlite3_vfs] object P using the name given
+ **          by the zName field of the object.
+ **
+ ** {F11212} Using the [sqlite3_vfs_register(P,F)] interface to register
+ **          the same [sqlite3_vfs] object multiple times is a harmless no-op.
+ **
+ ** {F11215} The [sqlite3_vfs_register(P,F)] interface makes the
+ **          the [sqlite3_vfs] object P the default [sqlite3_vfs] object
+ **          if F is non-zero.
+ **
+ ** {F11218} The [sqlite3_vfs_unregister(P)] interface unregisters the
+ **          [sqlite3_vfs] object P so that it is no longer returned by
+ **          subsequent calls to [sqlite3_vfs_find()].
  */
  sqlite3_vfs *sqlite3_vfs_find(const char *zVfsName);
  int sqlite3_vfs_register(sqlite3_vfs*, int makeDflt);
  int sqlite3_vfs_unregister(sqlite3_vfs*);
  /*
- ** CAPI3REF: Mutexes
+ ** CAPI3REF: Mutexes {F17000}
  **
  ** The SQLite core uses these routines for thread
  ** synchronization.  Though they are intended for internal
- Line 3387  int sqlite3_vfs_unregister(sqlite3_vfs*)
+ Line 5207  int sqlite3_vfs_unregister(sqlite3_vfs*)
  ** application that links against SQLite to provide its own mutex
  ** implementation without having to modify the SQLite core.
  **
- ** The sqlite3_mutex_alloc() routine allocates a new
+ ** {F17011} The sqlite3_mutex_alloc() routine allocates a new
- ** mutex and returns a pointer to it.  If it returns NULL
+ ** mutex and returns a pointer to it. {F17012} If it returns NULL
- ** that means that a mutex could not be allocated.  SQLite
+ ** that means that a mutex could not be allocated. {F17013} SQLite
- ** will unwind its stack and return an error.  The argument
+ ** will unwind its stack and return an error. {F17014} The argument
  ** to sqlite3_mutex_alloc() is one of these integer constants:
  **
  ** <ul>
- Line 3401  int sqlite3_vfs_unregister(sqlite3_vfs*)
+ Line 5221  int sqlite3_vfs_unregister(sqlite3_vfs*)
  ** <li>  SQLITE_MUTEX_STATIC_MEM2
  ** <li>  SQLITE_MUTEX_STATIC_PRNG
  ** <li>  SQLITE_MUTEX_STATIC_LRU
- ** </ul>
+ ** </ul> {END}
  **
- ** The first two constants cause sqlite3_mutex_alloc() to create
+ ** {F17015} The first two constants cause sqlite3_mutex_alloc() to create
  ** a new mutex.  The new mutex is recursive when SQLITE_MUTEX_RECURSIVE
- ** is used but not necessarily so when SQLITE_MUTEX_FAST is used.
+ ** is used but not necessarily so when SQLITE_MUTEX_FAST is used. {END}
  ** The mutex implementation does not need to make a distinction
  ** between SQLITE_MUTEX_RECURSIVE and SQLITE_MUTEX_FAST if it does
- ** not want to.  But SQLite will only request a recursive mutex in
+ ** not want to.  {F17016} But SQLite will only request a recursive mutex in
- ** cases where it really needs one.  If a faster non-recursive mutex
+ ** cases where it really needs one.  {END} If a faster non-recursive mutex
  ** implementation is available on the host platform, the mutex subsystem
  ** might return such a mutex in response to SQLITE_MUTEX_FAST.
  **
- ** The other allowed parameters to sqlite3_mutex_alloc() each return
+ ** {F17017} The other allowed parameters to sqlite3_mutex_alloc() each return
- ** a pointer to a static preexisting mutex.  Four static mutexes are
+ ** a pointer to a static preexisting mutex. {END}  Four static mutexes are
  ** used by the current version of SQLite.  Future versions of SQLite
  ** may add additional static mutexes.  Static mutexes are for internal
  ** use by SQLite only.  Applications that use SQLite mutexes should
  ** use only the dynamic mutexes returned by SQLITE_MUTEX_FAST or
  ** SQLITE_MUTEX_RECURSIVE.
  **
- ** Note that if one of the dynamic mutex parameters (SQLITE_MUTEX_FAST
+ ** {F17018} Note that if one of the dynamic mutex parameters (SQLITE_MUTEX_FAST
  ** or SQLITE_MUTEX_RECURSIVE) is used then sqlite3_mutex_alloc()
- ** returns a different mutex on every call.  But for the static
+ ** returns a different mutex on every call.  {F17034} But for the static
  ** mutex types, the same mutex is returned on every call that has
- ** the same type number.
+ ** the same type number. {END}
  **
- ** The sqlite3_mutex_free() routine deallocates a previously
+ ** {F17019} The sqlite3_mutex_free() routine deallocates a previously
- ** allocated dynamic mutex.  SQLite is careful to deallocate every
+ ** allocated dynamic mutex. {F17020} SQLite is careful to deallocate every
- ** dynamic mutex that it allocates.  The dynamic mutexes must not be in
+ ** dynamic mutex that it allocates. {U17021} The dynamic mutexes must not be in
- ** use when they are deallocated.  Attempting to deallocate a static
+ ** use when they are deallocated. {U17022} Attempting to deallocate a static
- ** mutex results in undefined behavior.  SQLite never deallocates
+ ** mutex results in undefined behavior. {F17023} SQLite never deallocates
- ** a static mutex.
+ ** a static mutex. {END}
  **
  ** The sqlite3_mutex_enter() and sqlite3_mutex_try() routines attempt
- ** to enter a mutex.  If another thread is already within the mutex,
+ ** to enter a mutex. {F17024} If another thread is already within the mutex,
  ** sqlite3_mutex_enter() will block and sqlite3_mutex_try() will return
- ** SQLITE_BUSY.  The sqlite3_mutex_try() interface returns SQLITE_OK
+ ** SQLITE_BUSY. {F17025}  The sqlite3_mutex_try() interface returns SQLITE_OK
- ** upon successful entry.  Mutexes created using SQLITE_MUTEX_RECURSIVE can
+ ** upon successful entry.  {F17026} Mutexes created using
- ** be entered multiple times by the same thread.  In such cases the,
+ ** SQLITE_MUTEX_RECURSIVE can be entered multiple times by the same thread.
+ ** {F17027} In such cases the,
  ** mutex must be exited an equal number of times before another thread
- ** can enter.  If the same thread tries to enter any other kind of mutex
+ ** can enter.  {U17028} If the same thread tries to enter any other
- ** more than once, the behavior is undefined.   SQLite will never exhibit
+ ** kind of mutex more than once, the behavior is undefined.
- ** such behavior in its own use of mutexes.
+ ** {F17029} SQLite will never exhibit
+ ** such behavior in its own use of mutexes. {END}
  **
  ** Some systems (ex: windows95) do not the operation implemented by
  ** sqlite3_mutex_try().  On those systems, sqlite3_mutex_try() will
- ** always return SQLITE_BUSY.  The SQLite core only ever uses
+ ** always return SQLITE_BUSY.  {F17030} The SQLite core only ever uses
- ** sqlite3_mutex_try() as an optimization so this is acceptable behavior.
+ ** sqlite3_mutex_try() as an optimization so this is acceptable behavior. {END}
  **
- ** The sqlite3_mutex_leave() routine exits a mutex that was
+ ** {F17031} The sqlite3_mutex_leave() routine exits a mutex that was
- ** previously entered by the same thread.  The behavior
+ ** previously entered by the same thread.  {U17032} The behavior
  ** is undefined if the mutex is not currently entered by the
- ** calling thread or is not currently allocated.  SQLite will
+ ** calling thread or is not currently allocated.  {F17033} SQLite will
- ** never do either.
+ ** never do either. {END}
  **
  ** See also: [sqlite3_mutex_held()] and [sqlite3_mutex_notheld()].
  */
- Line 3465  int sqlite3_mutex_try(sqlite3_mutex*);
+ Line 5287  int sqlite3_mutex_try(sqlite3_mutex*);
  void sqlite3_mutex_leave(sqlite3_mutex*);
  /*
- ** CAPI3REF: Mutex Verifcation Routines
+ ** CAPI3REF: Mutex Verifcation Routines {F17080}
  **
  ** The sqlite3_mutex_held() and sqlite3_mutex_notheld() routines
- ** are intended for use inside assert() statements.  The SQLite core
+ ** are intended for use inside assert() statements. {F17081} The SQLite core
  ** never uses these routines except inside an assert() and applications
- ** are advised to follow the lead of the core.  The core only
+ ** are advised to follow the lead of the core.  {F17082} The core only
  ** provides implementations for these routines when it is compiled
- ** with the SQLITE_DEBUG flag.  External mutex implementations
+ ** with the SQLITE_DEBUG flag.  {U17087} External mutex implementations
  ** are only required to provide these routines if SQLITE_DEBUG is
  ** defined and if NDEBUG is not defined.
  **
- ** These routines should return true if the mutex in their argument
+ ** {F17083} These routines should return true if the mutex in their argument
- ** is held or not held, respectively, by the calling thread.
+ ** is held or not held, respectively, by the calling thread. {END}
  **
- ** The implementation is not required to provided versions of these
+ ** {X17084} The implementation is not required to provided versions of these
  ** routines that actually work.
  ** If the implementation does not provide working
  ** versions of these routines, it should at least provide stubs
  ** that always return true so that one does not get spurious
- ** assertion failures.
+ ** assertion failures. {END}
  **
- ** If the argument to sqlite3_mutex_held() is a NULL pointer then
+ ** {F17085} If the argument to sqlite3_mutex_held() is a NULL pointer then
- ** the routine should return 1.  This seems counter-intuitive since
+ ** the routine should return 1.  {END} This seems counter-intuitive since
  ** clearly the mutex cannot be held if it does not exist.  But the
  ** the reason the mutex does not exist is because the build is not
  ** using mutexes.  And we do not want the assert() containing the
  ** call to sqlite3_mutex_held() to fail, so a non-zero return is
- ** the appropriate thing to do.  The sqlite3_mutex_notheld()
+ ** the appropriate thing to do.  {F17086} The sqlite3_mutex_notheld()
  ** interface should also return 1 when given a NULL pointer.
  */
  int sqlite3_mutex_held(sqlite3_mutex*);
  int sqlite3_mutex_notheld(sqlite3_mutex*);
  /*
- ** CAPI3REF: Mutex Types
+ ** CAPI3REF: Mutex Types {F17001}
  **
- ** The [sqlite3_mutex_alloc()] interface takes a single argument
+ ** {F17002} The [sqlite3_mutex_alloc()] interface takes a single argument
- ** which is one of these integer constants.
+ ** which is one of these integer constants. {END}
  */
  #define SQLITE_MUTEX_FAST             0
  #define SQLITE_MUTEX_RECURSIVE        1
- Line 3513  int sqlite3_mutex_notheld(sqlite3_mutex*
+ Line 5335  int sqlite3_mutex_notheld(sqlite3_mutex*
  #define SQLITE_MUTEX_STATIC_LRU       6  /* lru page list */
  /*
- ** CAPI3REF: Low-Level Control Of Database Files
+ ** CAPI3REF: Low-Level Control Of Database Files {F11300}
  **
- ** The [sqlite3_file_control()] interface makes a direct call to the
+ ** {F11301} The [sqlite3_file_control()] interface makes a direct call to the
  ** xFileControl method for the [sqlite3_io_methods] object associated
- ** with a particular database identified by the second argument.  The
+ ** with a particular database identified by the second argument. {F11302} The
  ** name of the database is the name assigned to the database by the
  ** <a href="lang_attach.html">ATTACH</a> SQL command that opened the
- ** database.  To control the main database file, use the name "main"
+ ** database. {F11303} To control the main database file, use the name "main"
- ** or a NULL pointer.  The third and fourth parameters to this routine
+ ** or a NULL pointer. {F11304} The third and fourth parameters to this routine
  ** are passed directly through to the second and third parameters of
- ** the xFileControl method.  The return value of the xFileControl
+ ** the xFileControl method.  {F11305} The return value of the xFileControl
  ** method becomes the return value of this routine.
  **
- ** If the second parameter (zDbName) does not match the name of any
+ ** {F11306} If the second parameter (zDbName) does not match the name of any
- ** open database file, then SQLITE_ERROR is returned.  This error
+ ** open database file, then SQLITE_ERROR is returned. {F11307} This error
  ** code is not remembered and will not be recalled by [sqlite3_errcode()]
- ** or [sqlite3_errmsg()].  The underlying xFileControl method might
+ ** or [sqlite3_errmsg()]. {U11308} The underlying xFileControl method might
- ** also return SQLITE_ERROR.  There is no way to distinguish between
+ ** also return SQLITE_ERROR.  {U11309} There is no way to distinguish between
  ** an incorrect zDbName and an SQLITE_ERROR return from the underlying
- ** xFileControl method.
+ ** xFileControl method. {END}
  **
  ** See also: [SQLITE_FCNTL_LOCKSTATE]
  */
  int sqlite3_file_control(sqlite3*, const char *zDbName, int op, void*);
  /*
+ ** CAPI3REF: Testing Interface {F11400}
+ **
+ ** The sqlite3_test_control() interface is used to read out internal
+ ** state of SQLite and to inject faults into SQLite for testing
+ ** purposes.  The first parameter a operation code that determines
+ ** the number, meaning, and operation of all subsequent parameters.
+ **
+ ** This interface is not for use by applications.  It exists solely
+ ** for verifying the correct operation of the SQLite library.  Depending
+ ** on how the SQLite library is compiled, this interface might not exist.
+ **
+ ** The details of the operation codes, their meanings, the parameters
+ ** they take, and what they do are all subject to change without notice.
+ ** Unlike most of the SQLite API, this function is not guaranteed to
+ ** operate consistently from one release to the next.
+ */
+ int sqlite3_test_control(int op, ...);
+ /*
+ ** CAPI3REF: Testing Interface Operation Codes {F11410}
+ **
+ ** These constants are the valid operation code parameters used
+ ** as the first argument to [sqlite3_test_control()].
+ **
+ ** These parameters and their meansing are subject to change
+ ** without notice.  These values are for testing purposes only.
+ ** Applications should not use any of these parameters or the
+ ** [sqlite3_test_control()] interface.
+ */
+ #define SQLITE_TESTCTRL_FAULT_CONFIG             1
+ #define SQLITE_TESTCTRL_FAULT_FAILURES           2
+ #define SQLITE_TESTCTRL_FAULT_BENIGN_FAILURES    3
+ #define SQLITE_TESTCTRL_FAULT_PENDING            4
+ /*
  ** Undo the hack that converts floating point types to integer for
  ** builds on processors without floating point support.
  */

E-mail:

Removed from v.1.2
changed lines
	Added in v.1.4