Sqlite源代码阅读。像F17025，U17032这样的ID用于什么？

Question

在SQLite源代码注释中，我看到了识别器，如F17025，U17032等。

sqlite3.c：

** The sqlite3_mutex_enter() and sqlite3_mutex_try() routines attempt
** 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. {F17025}  The sqlite3_mutex_try() interface returns SQLITE_OK
** upon successful entry.  {F17026} Mutexes created using
** SQLITE_MUTEX_RECURSIVE can be entered multiple times by the same thread.
** {F17027} In such cases the,

它们用于什么？可能有一些相关的文档？

Answer 1

我认为这些是对某些内部文档部分的引用（想想Functional Requirements）。