Abort безопасен, если записей ещё не было или если активен журнал операторов.

Чтобы принудительно преобразовать любой регистр в целое число, достаточно прибавить 0.

P4 — это строка длиной P2 символов. N-й символ строки указывает аффинность столбца, которую следует использовать для N-й ячейки памяти в диапазоне.

P2 — количество аргументов функции шага, а P4 — указатель на FuncDef этой функции. Аргумент P2 этим опкодом не используется. Он нужен только для различения функций, принимающих разное количество аргументов. Аргумент P4 требуется лишь в том случае, если функция шага ранее не вызывалась.

Аргументы P5 берутся из регистра P2 и следующих за ним регистров.

Аргументы P5 берутся из регистра P2 и следующих за ним регистров.

Аргументы P5 берутся из регистра P2 и следующих за ним регистров.

Изначально этот опкод записывается как OP_AggStep0. При первом выполнении FuncDef, хранящийся в P4, преобразуется в sqlite3_context, а опкод изменяется. Благодаря этому инициализация sqlite3_context выполняется только один раз, а не при каждом вызове функции шага.

P2 — количество аргументов функции шага, а P4 — указатель на FuncDef этой функции. Аргумент P2 этим опкодом не используется. Он нужен только для различения функций, принимающих разное количество аргументов. Аргумент P4 требуется лишь в том случае, если функция шага ранее не вызывалась.

Если P1 или P2 равен 0 (false), результат равен 0, даже если другой операнд — NULL. Значение NULL при операции И с true, а также два значения NULL дают результат NULL.

Эта инструкция останавливает виртуальную машину.

Эта процедура загружает NULL в регистр P2. Когда регистр адреса возврата содержит NULL, инструкция Return ничего не делает и просто передаёт управление следующей инструкции (при условии, что значение P3 опкода Return равно 1). Поэтому при прямом выполнении подпрограммы Return продолжит выполнение следующих за ней инструкций. Если же подпрограмма вызвана через Gosub, инструкция Return вернёт управление по адресу, следующему за Gosub.

Этот опкод идентичен Null. У него другое имя только для упрощения чтения и проверки байт-кода.

• P2=='A' → BLOB
• P2=='B' → TEXT
• P2=='C' → NUMERIC
• P2=='D' → INTEGER
• P2=='E' → REAL

Значение NULL эта процедура не изменяет. Оно остаётся NULL.

Если P2==0, очищаемая таблица находится в основном файле базы данных. Если P2==1, таблица находится во вспомогательном файле базы данных, используемом для хранения таблиц, созданных с помощью CREATE TEMPORARY TABLE.

Если значение P3 не равно нулю, счётчик изменений строк увеличивается на количество строк в очищаемой таблице. Если P3 больше нуля, значение в регистре P3 также увеличивается на количество строк в очищаемой таблице.

См. также: Destroy

Если P1 не равен нулю, он обозначает регистр, который последующий агрегат min() или max() установит в 1, если текущая строка не является минимальной или максимальной. Эта инструкция инициализирует регистр P1 значением 0.

Интерфейс, используемый реализациями упомянутых выше функций для получения последовательности сортировки, заданной этим опкодом, публично недоступен. Эту возможность используют только встроенные функции.

Извлечённое значение сохраняется в регистре P3.

Если в записи меньше полей, чем P2, извлекается NULL. Если же аргумент P4 имеет тип P4_MEM, в качестве результата используется значение аргумента P4.

Если в P5 установлен бит OPFLAG_LENGTHARG, гарантируется, что результат будет использоваться только функцией length() или её эквивалентом. Содержимое больших блобов не загружается, что позволяет сэкономить циклы ЦП. Если установлен бит OPFLAG_TYPEOFARG, результат будет использоваться только функцией typeof(), операторами IS NULL или IS NOT NULL либо их эквивалентами. В этом случае загрузку всего содержимого можно пропустить.

Если в P5 установлен бит OPFLAG_PERMUTE, порядок сравнения определяется последним оператором Permutation. Если бит OPFLAG_PERMUTE сброшен, регистры сравниваются последовательно.

P4 — структура KeyInfo, задающая последовательности сортировки и порядок сортировки для сравнения. Перестановка применяется только к регистрам. Элементы KeyInfo используются последовательно.

Сравнение выполняется в порядке сортировки: значения NULL равны друг другу, NULL меньше чисел, числа меньше строк, а строки меньше блобов.

Сразу за этим опкодом должен следовать опкод Jump.

P3 = P2 || P1

Регистры P1 и P3 не должны совпадать. Иногда, если P3 совпадает с P2, реализация может избежать вызова memcpy().

Если установлен бит 0x0002 параметра P5, в назначении также сбрасывается флаг MEM_Subtype. Бит 0x0001 параметра P5 указывает, что этот опкод Copy нельзя объединять с другими. Бит 0x0001 используется планировщиком запросов и не влияет на выполнение запроса.

Эта инструкция создаёт глубокую копию значения. Для любой строковой или блоб-константы создаётся дубликат. См. также SCopy.

Если P3==0, получается точное количество, для чего требуется просмотреть каждую страницу btree таблицы. Если P3 не равен нулю, возвращается оценка, основанная на текущем положении курсора.

Поиск выполняется отложенно. Фактически ничего не происходит, пока курсор не используется для чтения записи. Таким образом, если чтение не выполняется, не происходит и лишнего ввода-вывода.

P4 может быть массивом целых чисел (тип P4_INTARRAY), содержащим по одной записи для каждого столбца таблицы P3. Если элемент массива a(i) не равен нулю, чтение столбца a(i)-1 курсором P3 эквивалентно выполнению отложенного поиска, а затем чтению столбца i из P1. Эта информация хранится в P3 и используется для перенаправления чтения из P3 в P1, что может избавить от необходимости искать и читать данные курсором P3.

Если в параметре P5 установлен бит OPFLAG_SAVEPOSITION, курсор останется указывать на следующую или предыдущую запись таблицы. Если он останется указывать на следующую запись, следующая инструкция Next ничего не сделает. Поэтому в этом случае запись можно удалять внутри цикла Next. Если бит OPFLAG_SAVEPOSITION параметра P5 сброшен, курсор останется в неопределённом состоянии.

Если в P5 установлен бит OPFLAG_AUXDELETE, это означает, что данное удаление является одним из нескольких удалений, связанных с удалением строки таблицы и всех соответствующих ей записей индекса. Ровно одно из этих удалений является «основным». Остальные выполняются курсорами OPFLAG_FORDELETE или помечены флагом AUXDELETE.

Если установлен флаг OPFLAG_NCHANGE (0x01) параметра P2 (обратите внимание: P2, а не P5), счётчик изменений строк увеличивается (иначе он не изменяется).

Если установлен флаг OPFLAG_ISNOOP (0x40) параметра P2 (не P5!), запускается pre-update-hook для удаления, но дерево btree в остальном не изменяется. Это происходит, когда за Delete вскоре следует Insert с тем же ключом, в результате чего запись дерева btree перезаписывается.

P1 не должен быть псевдотаблицей. Это должна быть настоящая таблица с несколькими строками.

Если P4 не равен NULL, он указывает на объект Table. В этом случае может быть вызван обработчик обновления, pre-update-hook или оба обработчика. Перед вызовом этого опкода курсор P1 в таком случае должен быть позиционирован с помощью NotFound. В частности, если pre-update-hook настроен, он вызывается, когда P4 не равен NULL. Обработчик обновления вызывается, если он настроен, P4 не равен NULL и в P2 установлен флаг OPFLAG_NCHANGE.

Если в P2 установлен флаг OPFLAG_ISUPDATE, P3 содержит адрес ячейки памяти со значением, которое операция обновления присвоит rowid строки.

Если P3==0, уничтожаемая таблица находится в основном файле базы данных. Если P3==1, таблица находится во вспомогательном файле базы данных, используемом для хранения таблиц, созданных с помощью CREATE TEMPORARY TABLE.

Если включён AUTOVACUUM, другая корневая страница может быть перемещена на место только что удалённой корневой страницы, чтобы сохранить непрерывность расположения всех корневых страниц в начале базы данных. Прежнее значение перемещённой корневой страницы — до перемещения — сохраняется в регистре P2. Если перемещение страницы не потребовалось (поскольку удаляемая таблица уже была последней в базе данных), в регистр P2 записывается ноль. Если AUTOVACUUM отключён, в регистр P2 также записывается ноль.

Этот опкод вызывает ошибку, если во время его выполнения работают какие-либо виртуальные машины-читатели. Это сделано, чтобы избежать сложностей с обновлением существующих курсоров при перемещении корневой страницы в базе данных с AUTOVACUUM. Ошибка вызывается, даже если база данных не использует AUTOVACUUM, чтобы избежать несовместимости между режимами с автоочисткой и без неё.

См. также: Clear

Если результат сравнения Eq тех же двух операндов, что и у предыдущего Lt или Gt, был бы истинным, выполняется переход к P2. Если результат сравнения Eq двух предыдущих операндов был бы ложным или NULL, выполнение продолжается со следующей инструкции.

См. также: InitCoroutine

Часть SQLITE_AFF_MASK параметра P5 должна содержать символ аффинности — SQLITE_AFF_TEXT, SQLITE_AFF_INTEGER и т. д. Перед сравнением выполняется попытка преобразовать оба операнда согласно этой аффинности. Если SQLITE_AFF_MASK равен 0x00, используется числовая аффинность. Обратите внимание, что результаты преобразования аффинности записываются обратно во входные регистры P1 и P3. Таким образом, этот опкод может вносить постоянные изменения в регистры P1 и P3.

После выполнения преобразований, если ни одно из значений не равно NULL, значения сравниваются. Если оба значения являются блобами, для определения результата сравнения используется memcmp(). Если оба значения являются текстом, для сравнения используется соответствующая функция сортировки, заданная в P4. Если P4 не задан, строки сравниваются с помощью memcmp(). Если оба значения числовые, используется числовое сравнение. Если значения имеют разные типы, числа считаются меньше строк, а строки — меньше блобов.

Если в P5 установлен SQLITE_NULLEQ, результат сравнения всегда будет истинным или ложным и никогда не будет NULL. Если оба операнда равны NULL, результат сравнения — true. Если один из операндов равен NULL, результат — false. Если ни один из операндов не равен NULL, результат будет таким же, как если бы флаг SQLITE_NULLEQ отсутствовал в P5.

Этот опкод сохраняет результат сравнения для использования новой инструкцией Jump.

Если P1 равен 0, устаревшими становятся все операторы SQL. Если P1 не равен нулю, устаревшим становится только выполняемый в данный момент оператор.

Если P2 равен 0, операторы SQL устаревают немедленно. Если P2 равен 1, выполняющимся операторам SQL разрешается завершить работу. Случай P2==1 возникает при создании индекса CREATE INDEX или другом аналогичном изменении схемы, которое может ускорить выполнение оператора, не влияя на его корректность.

Значение P4 — понятный человеку текст, описывающий элемент плана запроса. Например, «SCAN t1» или «SEARCH t2 USING INDEX t2x1».

Значение P1 — идентификатор текущего элемента, а P2 — родительский элемент для вложенных элементов плана запроса. Если P2 равен нулю, этот элемент является элементом верхнего уровня.

Для элементов цикла P3 — оценочная стоимость каждого вызова этого элемента.

Как и значения параметров всех опкодов, значения параметров Explain могут меняться от выпуска к выпуску. Приложениям не следует пытаться интерпретировать или использовать какую-либо информацию из опкода Explain. Информация, предоставляемая этим опкодом, предназначена только для тестирования и отладки.

Ложноотрицательные результаты безвредны. Продолжить выполнение безопасно всегда, даже если значение присутствует в фильтре Блума. Ложноотрицательный результат приводит к лишним циклам ЦП, но правильный ответ всё равно будет получен. Однако ложноположительный результат вполне может привести к неправильному ответу — если переход выполняется, хотя следовало продолжить выполнение.

Нарушения ограничений внешнего ключа также проверяются при завершении подготовленного оператора. Этот опкод используется для вызова ошибок ограничений внешнего ключа до возврата таких результатов, как счётчик изменений строк или результат предложения RETURNING.

Если P1 не равен нулю, переход выполняется, когда счётчик ограничений базы данных равен нулю (счётчик, учитывающий отложенные нарушения ограничений). Если P1 равен нулю, переход выполняется, когда счётчик ограничений оператора равен нулю (немедленные нарушения ограничений внешнего ключа).

Курсор P1 установлен на индексе btree. Если запись, заданная P3 и P4, является префиксом какой-либо записи в P1, выполняется переход к P2, а P1 остаётся указывать на соответствующую запись.

После этой операции курсор остаётся в состоянии, допускающем перемещение вперёд. Инструкция Next будет работать, а инструкция Prev — нет.

См. также: NotFound, NoConflict, NotExists. SeekGe

P1 — 32-разрядная битовая маска, указывающая, были ли аргументы функции определены как константы во время компиляции. Если первый аргумент был константой, устанавливается бит 0 в P1. Это используется для определения того, можно ли безопасно сохранять метаданные, связанные с аргументом пользовательской функции с помощью API sqlite3_set_auxdata(), до следующего вызова этого опкода.

См. также: AggStep, AggFinal, PureFunc

Параметр P1 фактически не используется этим опкодом. Однако иногда ему задают значение 1 вместо 0, чтобы сообщить командной оболочке, что этот Goto завершает цикл и строки от P2 до текущей строки следует выделить отступом в выводе EXPLAIN.

P1 — код результата, возвращаемый sqlite3_exec(), sqlite3_reset() или sqlite3_finalize(). При обычном завершении это должно быть SQLITE_OK (0). При ошибке может возвращаться другое значение. Если P1!=0, параметр P2 определяет, следует ли откатить текущую транзакцию. Откат не выполняется, если P2==OE_Fail. Откат выполняется, если P2==OE_Rollback. Если P2==OE_Abort, отменяются все изменения, выполненные за время этого запуска VDBE, но сама транзакция не откатывается.

Если P3 не равен нулю, а P4 равен NULL, в P3 находится регистр с текстом сообщения об ошибке.

Если P3 равен нулю, а P4 не равен NULL, строка сообщения об ошибке содержится в P4.

Если P5 имеет значение от 1 до 4 включительно, строка сообщения об ошибке из P4 изменяется следующим образом:

1: нарушено ограничение NOT NULL: P4 2: нарушено ограничение UNIQUE: P4 3: нарушено ограничение CHECK: P4 4: нарушено ограничение FOREIGN KEY: P4

Если P3 равен нулю, P5 не равен нулю, а P4 равен NULL, всё после символа «:» опускается.

В самом конце каждой программы неявно добавляется инструкция «Halt 0 0 0». Поэтому переход за пределы последней инструкции программы эквивалентен выполнению Halt.

P4 — указатель на структуру Index.

Если соответствующая запись индекса не найдена и не включён режим writable_schema, возникает ошибка SQLITE_CORRUPT_INDEX.

Если запись индекса P1 больше или равна значению ключа, перейти к P2. В противном случае перейти к следующей инструкции.

Если запись индекса P1 больше значения ключа, перейти к P2. В противном случае перейти к следующей инструкции.

Если P4 не равен нулю, то он задаёт количество значений в распакованном ключе reg(P2). В этом случае P3 — индекс первого регистра распакованного ключа. Наличие распакованного ключа иногда позволяет выполнить оптимизацию.

Если в P5 установлен бит OPFLAG_APPEND, это служит подсказкой для уровня b-tree о том, что, вероятно, выполняется добавление в конец.

Если в P5 установлен бит OPFLAG_NCHANGE, эта инструкция увеличивает счётчик изменений. Если бит OPFLAG_NCHANGE не установлен, счётчик изменений не изменяется.

Если установлен флаг OPFLAG_USESEEKRESULT в P5, реализация может работать быстрее, избегая ненужного поиска по курсору P1. Однако флаг OPFLAG_USESEEKRESULT следует устанавливать только в том случае, если до этого по курсору не выполнялось поиск либо если при последнем поиске использовался ключ, эквивалентный P2.

Эта инструкция работает только с индексами. Эквивалентная инструкция для таблиц — Insert.

Если запись индекса P1 меньше или равна значению ключа, перейти к P2. В противном случае перейти к следующей инструкции.

Если запись индекса P1 меньше значения ключа, перейти к P2. В противном случае перейти к следующей инструкции.

См. также: Rowid, MakeRecord.

Эта операция использует sqlite3VdbeFindIndexKey() для поиска рядом с текущей позицией курсора ключа индекса, который точно совпадает по всем полям, не являющимся индексируемыми выражениями или ссылками на виртуальные генерируемые столбцы, а по остальным полям либо точно совпадает, либо содержит вещественные числа, отличающиеся не более чем на 2 ULP.

Иными словами, эта операция ищет рядом записи индекса, очень близкие к ключу поиска, но имеющие небольшие различия в значениях с плавающей точкой, полученных в результате вычисления выражения.

Если в курсоре P1 не найдено близкой альтернативной записи, перейти к P2. Если найдено близкое совпадение, перейти к следующей инструкции.

Эта операция используется командой PRAGMA integrity_check, чтобы помочь отличить действительно повреждённые индексы от индексов по выражениям, содержащих значения с плавающей точкой, отличающиеся на один или два ULP.

Эта операция предназначена только для оптимизации. Если она всегда переходит к следующей инструкции, правильный результат всё равно будет получен, но потребуется дополнительная работа.

Значение N во флаге seekHit курсора P1 означает, что существует ключ P3:N, совпадающий с некоторой записью в индексе. Нужно выяснить, может ли запись P3:P4 совпасть с какой-либо записью в индексе. Если это невозможно, часть работы можно пропустить. Поэтому, если seekHit меньше P4, попытаться выяснить, возможно ли совпадение, выполнив NotFound.

Эта операция используется при обработке предложения IN для ключа из нескольких столбцов. Если предложение IN связано с элементом ключа, отличным от самого левого, и при последнем поиске по всему ключу совпадений не найдено, возможно, совпадению препятствует один из элементов ключа слева. Следовательно, «надежды» на совпадение нет независимо от того, сколько элементов предложения IN будет проверено. В этом случае поиск по предложению IN досрочно прекращается с помощью этой операции. Название операции связано с тем, что переход выполняется, если «надежды» на совпадение нет.

См. также: NotFound, SeekHit

Если P1 не является открытым курсором, эта операция ничего не делает.

Если исходное значение регистра P1 меньше 1, оно не изменяется, и управление передаётся следующей инструкции.

Перейти к P2, если X находится в диапазоне от P3 до P4 включительно.

Если трассировка включена с помощью интерфейса sqlite3_trace(), строка UTF-8 из P4 передаётся в функцию обратного вызова трассировки. Если P4 пуст, используется строка, возвращаемая sqlite3_sql().

Если P2 не равен нулю, перейти к инструкции P2.

Увеличить значение P1, чтобы операции Once при первом выполнении в этом запуске выполняли переход.

Если P3 не равен нулю, он задаёт адрес перехода при возникновении ошибки SQLITE_CORRUPT.

Если P2!=0, реализация сопрограммы находится сразу после этой операции. Поэтому следует перейти через реализацию сопрограммы к адресу P2.

См. также: EndCoroutine

Если установлен флаг OPFLAG_NCHANGE в P5, счётчик изменений строк увеличивается (иначе он не изменяется). Если установлен флаг OPFLAG_LASTROWID в P5, rowid сохраняется для последующего возврата функцией sqlite3_last_insert_rowid() (иначе он не изменяется).

Если установлен флаг OPFLAG_USESEEKRESULT в P5, реализация может работать быстрее, избегая ненужного поиска по курсору P1. Однако флаг OPFLAG_USESEEKRESULT следует устанавливать только в том случае, если до этого по курсору не выполнялось поиск либо если при последнем поиске использовался ключ, равный P3.

Если установлен флаг OPFLAG_ISUPDATE, эта операция является частью операции UPDATE. В противном случае (если флаг не установлен) эта операция является частью операции INSERT. Это различие важно только для хука обновления.

Параметр P4 может указывать на структуру Table или иметь значение NULL. Если он не равен NULL, после успешной вставки вызывается хук обновления (sqlite3.xUpdateCallback).

(ПРЕДУПРЕЖДЕНИЕ/ПЛАН: если P1 — псевдокурсор, а P2 выделен динамически, владение P2 передаётся псевдокурсору, а регистр P2 становится временным. Если курсор изменится, значение регистра P2 также изменится. Убедитесь, что это не вызывает проблем.)

Эта инструкция работает только с таблицами. Эквивалентная инструкция для индексов — IdxInsert.

Это оптимизированная версия SCopy, работающая только с целыми значениями.

Регистр (P1) содержит число, на единицу меньше максимального допустимого количества ошибок. Будет выведено не более reg(P1) ошибок. Иными словами, анализ прекращается сразу после обнаружения reg(P1) ошибок. Значение reg(P1) обновляется и содержит оставшееся количество ошибок.

Номера корневых страниц всех таблиц базы данных — это целые числа, хранящиеся в аргументе P4_INTARRAY.

Если P5 не равен нулю, проверка выполняется для вспомогательного файла базы данных, а не для основного.

Эта операция используется для реализации pragma integrity_check.

Интерпретировать значение в регистре P1 как логическое. Записать это логическое значение (0 или 1) в регистр P2. Если значение в регистре P1 равно NULL, записать в регистр P2 значение P3. Если P4 равно 1, инвертировать результат.

Логика кратко представлена ниже:

• Если P3==0 и P4==0, то r[P2] := r[P1] IS TRUE
• Если P3==1 и P4==1, то r[P2] := r[P1] IS FALSE
• Если P3==0 и P4==1, то r[P2] := r[P1] IS NOT TRUE
• Если P3==1 и P4==0, то r[P2] := r[P1] IS NOT FALSE

Обычно P1 — это курсор на b-tree, для которого кэш декодирования строки действителен как минимум до столбца P3. Иными словами, ранее должна была выполняться операция Column для столбца P3 или более позднего. Если курсор недействителен, эта операция может дать ошибочные результаты. Если строка b-tree содержит меньше столбцов, чем P3, использовать P4 в качестве типа данных.

Если P1 равен -1, P3 задаёт номер регистра, а тип данных определяется по значению в этом регистре.

P5 — битовая маска типов данных. SQLITE_INTEGER соответствует младшему биту (0x01). SQLITE_FLOAT — биту 0x02. SQLITE_TEXT — 0x04. SQLITE_BLOB — 0x08. SQLITE_NULL — 0x10.

ПРЕДУПРЕЖДЕНИЕ: эта операция не позволяет надёжно отличить NULL от REAL, если P1>=0. Если база данных содержит значение NaN, эта операция определит тип данных как REAL, хотя он должен быть NULL. Если P1<0 и значение уже сохранено в регистре P3, операция надёжно различает NULL и REAL. Проблема возникает только при P1>=0.

Перейти по адресу P2 тогда и только тогда, когда тип данных значения, определяемого P1 и P3, соответствует одному из битов битовой маски P5.

Переключение в режим WAL или из него выполняется сложнее.

Записать в регистр P2 строку с итоговым режимом журнала.

Эта операция должна непосредственно следовать за операцией Compare.

Эта операция настраивает курсор для перемещения в обратном порядке — от конца к началу. Иными словами, курсор настроен на использование Prev, а не Next.

Если в P5 установлен бит SQLITE_JUMPIFNULL и reg(P1) или reg(P3) равен NULL, выполнить переход. Если бит SQLITE_JUMPIFNULL не установлен, перейти к следующей инструкции, если хотя бы один из операндов равен NULL.

Часть SQLITE_AFF_MASK параметра P5 должна содержать символ аффинности — SQLITE_AFF_TEXT, SQLITE_AFF_INTEGER и т. д. Перед сравнением предпринимается попытка преобразовать оба входных значения согласно этой аффинности. Если SQLITE_AFF_MASK равен 0x00, используется числовая аффинность. Обратите внимание: результаты преобразования аффинности записываются обратно во входные регистры P1 и P3. Поэтому эта операция может привести к постоянному изменению регистров P1 и P3.

После выполнения преобразований, если ни одно из значений не равно NULL, значения сравниваются. Если оба значения являются blob, для определения результата сравнения используется memcmp(). Если оба значения являются текстом, для сравнения используется соответствующая функция сортировки, указанная в P4. Если P4 не задан, для сравнения текстовых строк используется memcmp(). Если оба значения числовые, выполняется числовое сравнение. Если значения имеют разные типы, числа считаются меньше строк, а строки — меньше blob.

Эта операция сохраняет результат сравнения для использования новой операцией Jump.

P4 может быть строкой длиной P2 символов. N-й символ строки задаёт аффинность столбца, которую следует использовать для N-го поля ключа индекса.

Соответствие символов аффинностям задаётся макросами SQLITE_AFF_, определёнными в sqliteInt.h.

Если P4 равен NULL, для всех полей индекса используется аффинность BLOB.

Значение P5 зависит от того, включён ли параметр компиляции SQLITE_ENABLE_NULL_TRIM:

* Если SQLITE_ENABLE_NULL_TRIM включён, P5 задаёт индекс самого правого столбца таблицы, для которого можно удалить завершающие значения NULL.

* Если SQLITE_ENABLE_NULL_TRIM не задан, P5 имеет значение OPFLAG_NOCHNG_MAGIC, если операции MakeRecord разрешено принимать записи без изменений с serial_type 10. Это значение используется только внутри assert() и не влияет на итоговый результат.

Записать максимальное количество страниц после изменения в регистр P2.

Эта инструкция вызывает ошибку, если ячейка памяти изначально не содержит целое число.

Если P3>0, P3 — это регистр в корневом кадре данного VDBE, в котором хранится наибольший ранее сгенерированный номер записи. Новые номера записей не могут быть меньше этого значения. Когда это значение достигает максимума, возникает ошибка SQLITE_FULL. Регистр P3 обновляется сгенерированным номером записи. Этот механизм с P3 используется для реализации функции AUTOINCREMENT.

Операция Next допустима только после операций SeekGT, SeekGE или Rewind, используемых для позиционирования курсора. За операциями SeekLT, SeekLE или Last операция Next следовать не может.

Курсор P1 должен указывать на настоящую таблицу, а не на псевдотаблицу. P1 должен быть открыт до этой операции, иначе программа завершится с ошибкой сегментации.

Значение P3 служит подсказкой для реализации b-tree. Если P3==1, это означает, что P1 — индекс SQL, а эту инструкцию можно было бы исключить, если бы индекс был уникальным. Обычно P3 равен 0. P3 всегда равен либо 0, либо 1.

Если P5 положителен и выполняется переход, увеличивается счётчик событий с номером P5-1 в подготовленной инструкции.

См. также: Prev

Курсор P1 указывает на индекс b-tree. Если запись, определяемая P3 и P4, содержит значение NULL, немедленно перейти к P2. Если все поля записи не равны NULL, проверить, есть ли в индексе b-tree P1 строка с совпадающим префиксом ключа. Если совпадений нет, немедленно перейти к P2. Если совпадение есть, перейти к следующей инструкции, оставив курсор P1 указывающим на соответствующую строку.

Эта операция похожа на NotFound, за исключением того, что переход всегда выполняется, если какая-либо часть входного ключа поиска равна NULL.

После этой операции курсор переходит в состояние, в котором его нельзя перемещать ни в одном направлении. Иными словами, после неё операции Next и Prev не работают.

См. также: NotFound, Found, NotExists

Операция SeekRowid выполняет то же действие, но также допускает нецелое значение в регистре P3; в этом случае переход выполняется всегда. Эта операция требует, чтобы P3 всегда содержал целое число.

Операция NotFound выполняет то же действие для индексных b-tree (с ключами из произвольного количества значений).

После этой операции курсор переходит в состояние, в котором его нельзя перемещать ни в одном направлении. Иными словами, после этой операции не работают операции Next и Prev.

См. также: Found, NotFound, NoConflict, SeekRowid

Курсор P1 указывает на индекс b-tree. Если запись, определяемая P3 и P4, не является префиксом ни одной записи в P1, выполняется переход к P2. Если в P1 есть запись с префиксом, совпадающим с записью P3/P4, управление переходит к следующей инструкции, а P1 остаётся указывать на соответствующую запись.

После этой операции курсор переходит в состояние, в котором его нельзя перемещать ни в одном направлении. Иными словами, после неё операции Next и Prev не работают.

См. также: Found, NotExists, NoConflict, IfNoHope

Если значение P1 не равно нулю, также установить флаг MEM_Cleared, чтобы значения NULL не считались равными, даже если для Ne или Eq установлен SQLITE_NULLEQ.

Если курсор P1 ранее не был открыт, открыть его сейчас как специальный псевдокурсор, который всегда возвращает NULL для каждого столбца.

P2 — номер столбца для аргумента функции sqlite_offset(). Эта операция не использует P2 напрямую, но значение P2 используется генератором кода. Операнды P1, P2 и P3 этой операции совпадают с операндами Column.

Эта операция доступна только в том случае, если SQLite скомпилирована с параметром -DSQLITE_ENABLE_OFFSET_SQL_FUNC.

Если r[P3] равен нулю или отрицателен, это означает, что OFFSET отсутствует, и r[P2] устанавливается равным значению LIMIT — r[P1].

Если r[P1] равен нулю или отрицателен, это означает, что LIMIT отсутствует, и r[P2] устанавливается в -1.

В остальных случаях r[P2] устанавливается в сумму r[P1] и r[P3].

Программы верхнего уровня определяют первый запуск, сравнивая операнд P1 со значением операнда P1 в операции Init в начале программы. Если значения P1 различаются, перейти к следующей инструкции и присвоить P1 этой операции значение P1 из Init. Если значения P1 совпадают, выполнить переход.

Для подпрограмм в VdbeFrame имеется битовая маска, определяющая, следует ли выполнять переход. Битовая маска необходима, поскольку при рекурсивных триггерах не работает приём с самомодифицирующимся кодом.

Операнд P3 напрямую этой операцией не используется. Однако генератор кода использует P3 следующим образом: если эта операция является началом подпрограммы, использующей фильтр Блума, P3 будет регистром, в котором хранится этот фильтр Блума. Подробности реализации см. в исходном коде под меткой tag-202407032019.

Дублирующиеся временные курсоры используются для самосоединений материализованных представлений.

Если курсор P1 уже открыт для временной таблицы, таблица очищается (всё содержимое удаляется).

P2 — количество столбцов во временной таблице. Если P4==0, курсор указывает на таблицу BTree, а если P4 не равен 0 — на индекс BTree. Если P4 не равен NULL, он указывает на структуру KeyInfo, определяющую формат ключей в индексе.

Параметр P5 может быть маской флагов BTREE_*, определённых в btree.h. Эти флаги управляют работой b-tree. Флаги BTREE_OMIT_JOURNAL и BTREE_SINGLE добавляются автоматически.

Если P3 положителен, значение reg[P3] слегка изменяется, чтобы его можно было использовать в качестве данных нулевой длины для Insert. Эта оптимизация позволяет избежать дополнительной операции Blob для инициализации этого регистра.

Псевдотаблица, созданная этой операцией, используется для хранения одной строки, выданной сортировщиком, чтобы строку можно было разделить на отдельные столбцы с помощью операции Column. Операция Column — единственная операция курсора, работающая с псевдотаблицей.

P3 — количество полей в записях, которые будут храниться в псевдотаблице. Если P2 равен 0 или отрицателен, псевдокурсор будет возвращать NULL для каждого столбца.

Допустимые биты P5:

• 0x02 OPFLAG_SEEKEQ: этот курсор будет использоваться только для поиска на равенство (реализованного парой операций SeekGE/IdxGT или SeekLE/IdxLT)

Значение P4 может быть целым числом (P4_INT32) или указателем на структуру KeyInfo (P4_KEYINFO). Если это указатель на объект KeyInfo, открываемая таблица должна быть индексным B-деревом, содержимое и последовательность сортировки которого определяются объектом KeyInfo. В противном случае, если P4 — целочисленное значение, открываемая таблица должна быть табличным B-деревом с количеством столбцов не меньше значения P4.

См. также: OpenWrite, ReopenIdx

Значение P4 может быть целым числом (P4_INT32) или указателем на структуру KeyInfo (P4_KEYINFO). Если это указатель на объект KeyInfo, открываемая таблица должна быть индексным B-деревом, содержимое и последовательность сортировки которого определяются объектом KeyInfo. В противном случае, если P4 — целочисленное значение, открываемая таблица должна быть табличным B-деревом с количеством столбцов не меньше значения P4.

Допустимые биты P5:

• 0x02 OPFLAG_SEEKEQ: этот курсор будет использоваться только для поиска на равенство (реализованного парой операций SeekGE/IdxGT или SeekLE/IdxLT)
• 0x08 OPFLAG_FORDELETE: этот курсор используется только для поиска и последующего удаления записей в индексном B-дереве. Это подсказка для подсистемы хранения, которую она может игнорировать. Официальная подсистема хранения SQLite на основе B-дерева не использует эту подсказку, но её использует COMDB2.
• 0x10 OPFLAG_P2ISREG: использовать содержимое регистра P2 в качестве корневой страницы, а не само значение P2.

Эта инструкция работает как OpenRead, но открывает курсор в режиме чтения и записи.

См. также: OpenRead, ReopenIdx

Если P1 или P2 не равен нулю (истина), результатом будет 1 (истина), даже если другое входное значение равно NULL. NULL и ложь, а также два значения NULL дают результат NULL.

Адрес ячейки в родительском фрейме определяется сложением значения аргумента P1 этой операции со значением аргумента P1 вызывающей инструкции Program.

Эта операция вызывает анализатор для создания новой виртуальной машины, а затем запускает её. Таким образом, это реентерабельная операция.

Перестановка действительна только для следующей операции, которой должна быть Compare с установленным битом OPFLAG_PERMUTE в P5.

Первое целое число в массиве целых чисел P4 задаёт длину массива и не входит в перестановку.

Операция Prev допустима только после операций SeekLT, SeekLE или Last, используемых для позиционирования курсора. За SeekGT, SeekGE или Rewind операция Prev следовать не может.

Курсор P1 должен относиться к настоящей таблице, а не к псевдотаблице. Если P1 не открыт, поведение не определено.

Значение P3 является подсказкой для реализации B-дерева. Если P3==1, это означает, что P1 — индекс SQL, и эту инструкцию можно было бы опустить, если бы индекс был уникальным. Обычно P3 равен 0. P3 всегда равен либо 0, либо 1.

Если P5 положителен и выполняется переход, счётчик событий с номером P5-1 в подготовленной инструкции увеличивается.

P1 содержит адрес ячейки памяти, в которой находится первая ячейка массива значений, используемого как аргументы вложенной программы. P2 содержит адрес перехода, если вложенная программа выдаёт исключение IGNORE с помощью функции RAISE(). P2 может быть равен нулю, если исключение IGNORE возникнуть не может. Регистр P3 содержит адрес ячейки памяти в этой (родительской) виртуальной машине, используемой для выделения памяти, необходимой вложенной виртуальной машине во время выполнения.

P4 — указатель на виртуальную машину, содержащую программу триггера.

Если P5 не равен нулю, рекурсивный вызов программы разрешён.

P1 — 32-разрядная битовая маска, указывающая, какие аргументы функции были определены как константы во время компиляции. Если первый аргумент является константой, устанавливается бит 0 в P1. Это используется для определения того, можно ли безопасно сохранять метаданные, связанные с аргументом пользовательской функции через API sqlite3_set_auxdata(), до следующего вызова этой операции.

Эта операция работает точно так же, как Function. Отличается только её имя. Она используется в случаях, когда функция должна быть чисто недетерминированной. Некоторые встроенные функции даты и времени могут быть детерминированными или недетерминированными в зависимости от аргументов. При недетерминированном использовании такие функции проверяют, были ли они вызваны с помощью PureFunc, а не Function, и в этом случае выдают ошибку.

См. также: AggStep, AggFinal, Function

Перед выполнением этой инструкции для базы данных должна быть установлена блокировка чтения (должна быть начата транзакция или открыт курсор).

Эта операция используется при извлечении данных из столбца с аффинностью REAL. Для экономии места такие значения столбца могут храниться как целые числа, но после извлечения они должны иметь вещественный тип.

Освобождаются P2 регистров, начиная с P1, за исключением регистра P1+ii, если установлен бит ii в P3. Иными словами, P3 — маска регистров, которые следует сохранить.

Освобождение регистра очищает указатель Mem.pScopyFrom. Это означает, что если содержимое освобождённого регистра было задано с помощью SCopy, изменение значения исходного регистра для SCopy больше не будет вызывать ошибку assert в sqlite3VdbeMemAboutToChange().

Если установлен P5, тип всех освобождённых регистров устанавливается в MEM_Undefined, поэтому любая последующая попытка прочитать освобождённый регистр (до его повторной инициализации) вызовет ошибку assert.

P5 следует устанавливать при каждом вызове этой операции. Однако генератор кода в некоторых местах освобождает регистры до их использования, исходя из (верного) предположения, что регистры не будут переназначены для других целей до использования и поэтому их безопасно освободить.

Эта операция доступна только в сборках для тестирования и отладки. В релизных сборках она не генерируется. Назначение этой операции — помочь проверить сгенерированный байт-код. Она фактически не участвует в вычислении результата.

Операцию ReopenIdx можно использовать только с P5==0 или P5==OPFLAG_SEEKEQ и объектом P4 типа P4_KEYINFO. Кроме того, значение P3 должно совпадать со значением P3 во всех остальных операциях ReopenIdx или OpenRead для того же номера курсора.

Допустимые биты P5:

• 0x02 OPFLAG_SEEKEQ: этот курсор будет использоваться только для поиска на равенство (реализованного парой операций SeekGE/IdxGT или SeekLE/IdxLT)

См. также: OpenRead, OpenWrite

Эта операция работает только с курсорами, используемыми для сортировки и открытыми с помощью OpenEphemeral или SorterOpen.

Если P3 равен 1, переход выполняется только в том случае, если в регистре P1 хранится целочисленное значение; в противном случае выполнение продолжается со следующей операции, а Return ничего не делает. Если P3 равен 0, в регистре P1 должно храниться целое число, иначе возникает ошибка assert(). Для этой операции следует задавать P3 равным 1 при использовании вместе с BeginSubrtn и равным 0 во всех остальных случаях.

Значение в регистре P1 этой операцией не изменяется.

Движок байт-кода не использует P2. Однако, если P2 положителен и меньше текущего адреса, форматтер вывода "EXPLAIN" в CLI добавит отступ для всех операций от операции P2 до текущей Return, не включая её. P2 должен указывать на первую операцию подпрограммы, из которой выполняется возврат. Таким образом, значение P2 служит подсказкой для отступов в байт-коде. См. tag-20220407a в wherecode.c и shell.c.

Если P2 равен нулю, это утверждение о том, что таблица P1 никогда не бывает пустой, а значит, переход никогда не будет выполнен.

Эта операция настраивает курсор для перемещения вперёд, от начала к концу. Иными словами, курсор настроен на использование Next, а не Prev.

За этой операцией должна следовать операция Insert или InsertIdx с установленным флагом OPFLAG_PREFORMAT, чтобы завершить вставку.

Если курсор P1 указывает на индекс, содержимым является ключ строки. Если курсор P2 указывает на таблицу, извлекается содержимое строки.

Курсор P1 должен указывать на допустимую строку (не на строку NULL) настоящей таблицы, а не псевдотаблицы.

Если P3!=0, эта операция может создать временный указатель на страницу базы данных. Это означает, что содержимое выходного регистра станет недействительным при любом перемещении курсора, включая перемещения других курсоров, которые «сохраняют» текущую позицию курсора, чтобы записать данные в ту же таблицу. Если P3==0, данные копируются в память. P3!=0 быстрее, но P3==0 безопаснее.

Если P3!=0, содержимое регистра P2 нельзя использовать в OP_Result, и любая операция OP_Result сделает его недействительным. Содержимое регистра P2 также становится недействительным при выполнении таких операций, как Function, или при любом использовании другого курсора, указывающего на ту же таблицу.

P1 может быть обычной таблицей или виртуальной таблицей. Раньше для виртуальных таблиц использовалась отдельная операция OP_VRowid, но теперь эта операция работает с таблицами обоих типов.

Если P2 не является целым числом, возникает ошибка assert.

Объект RowSet оптимизирован для случая, когда наборы целых чисел добавляются отдельными этапами, причём в каждом наборе нет дубликатов. Каждый набор идентифицируется уникальным значением P4. Для первого набора должно выполняться P4==0, для последнего — P4==-1, а для всех остальных — P4>0.

Это позволяет выполнять оптимизации: (a) при P4==0 проверять наличие P3 в RowSet не нужно, поскольку гарантируется, что такого значения там нет; (b) при P4==-1 вставлять значение не нужно, поскольку оно никогда не будет проверяться; (c) при вставке значения из набора X не нужно искать, не было ли это же значение уже вставлено в рамках набора X (проверять нужно только, не было ли оно ранее вставлено в рамках другого набора).

Эта инструкция создаёт поверхностную копию значения. Если значение является строкой или BLOB-объектом, копия содержит только указатель на исходное значение, поэтому при изменении исходного значения изменится и копия. Более того, если исходное значение освобождено, копия становится недействительной. Следовательно, программа должна гарантировать, что исходное значение не изменится в течение срока существования копии. Для создания полной копии используйте Copy.

Предполагается, что курсор используется только для добавления записей, поэтому, если он действителен, он уже должен указывать на конец B-дерева и перемещать его не нужно.

Переместить курсор P1 так, чтобы он указывал на наименьшую запись, значение которой больше или равно значению ключа. Если записей со значением больше или равным ключу нет и P2 не равен нулю, перейти к P2.

Если курсор P1 был открыт с флагом OPFLAG_SEEKEQ, эта операция либо установит его на запись, точно соответствующую ключу, либо выполнит переход к P2. При курсоре с флагом OPFLAG_SEEKEQ за этой операцией должна следовать операция IdxLE с теми же аргументами. Если эта операция выполнена успешно, операция IdxGT будет пропущена, но в последующих итерациях цикла она будет использоваться. Флаг OPFLAG_SEEKEQ служит подсказкой для уровня B-дерева о том, что выполняется поиск на равенство.

Эта операция настраивает курсор для перемещения вперёд, от начала к концу. Иными словами, курсор настроен на использование Next, а не Prev.

См. также: Found, NotFound, SeekLt, SeekGt, SeekLe

Переместить курсор P1 так, чтобы он указывал на наименьшую запись, значение которой больше значения ключа. Если записей со значением больше ключа нет и P2 не равен нулю, перейти к P2.

Эта операция настраивает курсор для перемещения вперёд, от начала к концу. Иными словами, курсор настроен на использование Next, а не Prev.

См. также: Found, NotFound, SeekLt, SeekGe, SeekLe

Целое число seekHit обозначает максимальное количество терминов индекса, для которых известно, что есть хотя бы одно совпадение. Если значение seekHit меньше общего числа терминов равенства при поиске по индексу, может выполниться операция IfNoHope, чтобы проверить, можно ли досрочно прервать цикл IN и тем самым избежать лишней работы. Это часть оптимизации досрочного завершения IN.

P1 должен быть допустимым курсором B-дерева.

Переместить курсор P1 так, чтобы он указывал на наибольшую запись, значение которой меньше или равно значению ключа. Если записей со значением меньше или равным ключу нет и P2 не равен нулю, перейти к P2.

Эта операция настраивает курсор для перемещения в обратном порядке, от конца к началу. Иными словами, курсор настроен на использование Prev, а не Next.

Если курсор P1 был открыт с флагом OPFLAG_SEEKEQ, эта операция либо установит его на запись, точно соответствующую ключу, либо выполнит переход к P2. При курсоре с флагом OPFLAG_SEEKEQ за этой операцией должна следовать операция IdxLE с теми же аргументами. Если эта операция выполнена успешно, операция IdxGE будет пропущена, но в последующих итерациях цикла она будет использоваться. Флаг OPFLAG_SEEKEQ служит подсказкой для уровня B-дерева о том, что выполняется поиск на равенство.

См. также: Found, NotFound, SeekGt, SeekGe, SeekLt

Переместить курсор P1 так, чтобы он указывал на наибольшую запись, значение которой меньше значения ключа. Если записей со значением меньше ключа нет и P2 не равен нулю, перейти к P2.

Эта операция настраивает курсор для перемещения в обратном порядке, от конца к началу. Иными словами, курсор настроен на использование Prev, а не Next.

См. также: Found, NotFound, SeekGt, SeekGe, SeekLe

Операция NotExists выполняет ту же задачу, но для NotExists гарантируется, что в регистре P3 содержится целочисленное значение. При использовании этой операции в регистре P3 может не быть целого числа.

Операция NotFound выполняет ту же задачу для индексных B-деревьев (с произвольными составными ключами).

Эта операция оставляет курсор в состоянии, в котором его нельзя перемещать ни в одном направлении. Иными словами, после этой операции не будут работать операции Next и Prev.

См. также: Found, NotFound, NoConflict, SeekRowid

Эта операция использует операнды P1—P4 следующей операции SeekGE. Далее операнды следующей операции SeekGE обозначаются как SeekOP.P1—SeekOP.P4. Также используются только операнды P1, P2 и P5 этой операции, обозначаемые как This.P1, This.P2 и This.P5.

Эта операция помогает оптимизировать операторы IN по многоколоночному индексу, когда оператор IN применяется к более поздним терминам индекса: она позволяет избежать лишних поисков в B-дереве, заменяя их переходами к следующей строке B-дерева. Правильный результат будет получен и в том случае, если эту операцию опустить или если она ничего не делает.

Операнды SeekGE.P3 и SeekGE.P4 задают распакованный ключ — требуемую запись, на которую должен указывать курсор SeekGE.P1. Назовём эту строку SeekGE.P3/P4 «целевой».

Если курсор SeekGE.P1 в данный момент не указывает на допустимую строку, эта операция ничего не делает и управление переходит к SeekGE.

Если курсор SeekGE.P1 указывает на допустимую строку, эта строка может быть целевой, находиться рядом и немного перед целевой строкой или располагаться после неё. Если курсор находится перед целевой строкой, эта операция пытается переместить его на целевую строку или за неё, вызывая sqlite3BtreeStep() для курсора от 1 до This.P1 раз.

Параметр This.P5 — это флаг, указывающий, что делать, если курсор укажет на допустимую строку, расположенную после целевой. Если This.P5 равен false (0), выполняется переход к SeekGE.P2. Если This.P5 равен true (не нулю), выполняется переход к This.P2. Случай P5==0 возникает, когда справа от ограничения IN нет ограничений неравенства. Переход к SeekGE.P2 завершает цикл. Случай P5!=0 возникает, когда справа от оператора IN есть ограничения неравенства. В таком случае This.P2 указывает либо непосредственно на операцию IdxGT или IdxGE, либо на подготовительный код перед ней; эта операция проверяет завершение цикла.

Возможные результаты выполнения этой операции:

1. Если изначально курсор не указывает ни на одну допустимую строку, перейти к следующей операции SeekGE.

2. Если после выполнения до This.P1 вызовов sqlite3BtreeNext() курсор по-прежнему указывает на строку перед целевой, также перейти к SeekGE.

3. Если курсор указывает на целевую строку — изначально или после одного либо нескольких вызовов sqlite3BtreeNext(), — перейти к This.P2..,

4. Если курсор изначально находился перед целевой строкой, а вызов sqlite3BtreeNext() переместил его за конец индекса (что указывает на то, что целевой строки определённо нет в B-дереве), перейти к SeekGE.P2 и завершить цикл.

5. Если курсор указывает на допустимую строку, расположенную после целевой (что указывает на отсутствие целевой строки в B-дереве), перейти к SeekOP.P2, если This.P5==0, или к This.P2, если This.P5>0.

Перед выполнением этого опкода необходимо начать транзакцию.

Если P2 — это cookie SCHEMA_VERSION (cookie с номером 1), внутренняя версия схемы устанавливается в P3-P5. В инструкции "PRAGMA schema_version=N" для P5 задано значение 1, поэтому внутренняя версия схемы будет отличаться от версии схемы базы данных, что приведёт к сбросу схемы.

Сортировка выполняется путём записи записей в индекс сортировки, последующего перемещения к его началу и чтения записей от начала до конца. Для перемещения к началу мы используем опкод Sort вместо Rewind, чтобы увеличить глобальную переменную и дать регрессионным тестам возможность определить, правильно ли оптимизатор исключает сортировки.

Если в P3 или сортировщике одно из значимых полей содержит NULL (не считая последних P4 полей, которые игнорируются), сравнение считается равным.

Если записи равны, перейти к следующей инструкции. Если они различаются, выполнить переход к P2 с помощью Jump.

Этот опкод обычно используется для перемещения записи из сортировщика в регистр, который служит источником для курсора псевдотаблицы, созданного с помощью OpenPseudo. Этот курсор псевдотаблицы идентифицируется параметром P3. Очистка кэша столбцов P3 в рамках этого опкода избавляет от необходимости выполнять отдельную инструкцию NullRow для очистки этого кэша.

Если аргумент P3 не равен нулю, это означает, что сортировщик может считать достаточной стабильную сортировку по первым P3 полям каждого ключа для получения требуемых результатов.

Этот опкод является псевдонимом Sort и Rewind, используемым для объектов Sorter.

Параметр P1 — это битовая маска параметров:

0x0001 Отключает обратные вызовы Auth и Trace на время выполнения инструкций из P4.

0x0002 Устанавливает db->nAnalysisLimit в P2 на время выполнения инструкций из P4.

Если P3 не равен нулю и содержимое регистра P3 равно P5, тип данных регистра P2 преобразуется в BLOB. Содержимое представляет собой ту же последовательность байтов, которая лишь интерпретируется как BLOB, а не как строка, как если бы было выполнено приведение типа CAST. Иными словами:

if( P3!=0 and reg[P3]==P5 ) reg[P2] := CAST(reg[P2] as BLOB)

P1 — индекс базы данных в sqlite3.aDb[], для которой приобретается блокировка. Если P3==0, устанавливается блокировка на чтение, а если P3==1 — блокировка на запись.

P2 содержит корневую страницу блокируемой таблицы.

P4 содержит указатель на имя блокируемой таблицы. Оно используется только для формирования сообщения об ошибке, если получить блокировку не удаётся.

Операнд P1 должен быть равен 0x7fffffff, а P2 должен быть положительным.

P1 — индекс файла базы данных, для которого начинается транзакция. Индекс 0 соответствует основному файлу базы данных, а индекс 1 — файлу, используемому для временных таблиц. Индексы 2 и выше используются для присоединённых баз данных.

Если начинается транзакция на запись и флаг Vdbe.usesStmtJournal имеет значение true (этот флаг устанавливается, если Vdbe может изменить более одной строки и вызвать исключение ABORT), также может быть открыта транзакция инструкции. Точнее, транзакция инструкции открывается тогда и только тогда, когда соединение с базой данных в данный момент не находится в режиме autocommit или имеются другие активные инструкции. Транзакция инструкции позволяет отменить изменения, внесённые этим VDBE, после ошибки, не отменяя всю транзакцию. Если ошибки не возникнет, транзакция инструкции будет автоматически зафиксирована при остановке VDBE.

Если P5!=0, этот опкод также проверяет cookie схемы по значению P3, а счётчик поколений схемы — по значению P4. Значение cookie меняется при каждом изменении схемы базы данных. Эта операция позволяет обнаружить изменение cookie и необходимость повторного чтения схемы текущим процессом. Если cookie схемы в P3 отличается от cookie схемы в заголовке базы данных или счётчик поколений схемы в P4 отличается от текущего счётчика поколений, возникает ошибка SQLITE_SCHEMA и выполнение останавливается. Затем функция-обёртка sqlite3_step() может заново подготовить инструкцию и выполнить её повторно с самого начала.

Если P3==0, проверка столбцов VIRTUAL пропускается.

Если P3==1, пропускается проверка всех генерируемых столбцов — как VIRTUAL, так и STORED.

Если P3>=2, проверяется только столбец с номером P3-2 в таблице (это будет столбец VIRTUAL) на соответствие значению в reg[P1]. В этом случае P2 будет равен 1.

Этот опкод похож на Affinity, но принудительно задаёт тип регистра в соответствии с типом столбца Table. Это используется для реализации «строгой affinity».

Столбцы GENERATED ALWAYS AS ... STATIC проверяются, только если P3 равен нулю. Если P3 не равен нулю, проверка типов для статических генерируемых столбцов не выполняется. Виртуальные столбцы вычисляются во время выполнения запроса, поэтому они никогда не проверяются.

Предварительные условия:

• P2 должно быть равно количеству невиртуальных столбцов в таблице P4, если только P3>1; в этом случае P2 будет равно 1.
• Таблица P4 является таблицей STRICT.

Если какое-либо предварительное условие не выполнено, возникает ошибка утверждения.

Если P2 не равен нулю, это регистр, содержащий строку с именем файла, в который следует записать результат вакуумирования. Если P2 равен нулю, вакуумирование перезаписывает исходную базу данных.

Кроме того, независимо от того, задан ли P4, проверяется, не вызван ли этот опкод из обратного вызова метода xSync() виртуальной таблицы. Если это так, код ошибки устанавливается в SQLITE_LOCKED.

Если опкод VColumn используется для получения значения неизменяемого столбца во время операции UPDATE, значение P5 равно OPFLAG_NOCHNG. В результате функция sqlite3_vtab_nochange() вернёт true внутри метода xColumn реализации виртуальной таблицы. Столбец P5 также может содержать другие биты (OPFLAG_LENGTHARG или OPFLAG_TYPEOFARG), но опкод VColumn их не использует.

P4 имеет значение NULL или содержит строку, сформированную методом xBestIndex модуля. Интерпретация строки P4 определяется реализацией модуля.

Этот опкод вызывает метод xFilter виртуальной таблицы, указанной в P1. Целочисленный параметр плана запроса для xFilter хранится в регистре P3. В регистре P3+1 хранится параметр argc, передаваемый методу xFilter. Регистры P3+2..P3+1+argc содержат argc дополнительных параметров, передаваемых в xFilter как argv. При передаче в xFilter регистр P3+2 становится argv[0].

Если после фильтрации набор результатов окажется пустым, выполняется переход к P2.

Метод xUpdate выполнит DELETE, INSERT или обе операции. Элемент argv[0] (соответствующий ячейке памяти P3) — это rowid строки, которую нужно удалить. Если argv[0] равен NULL, удаление не выполняется. Элемент argv[1] — это rowid новой строки. Он может быть равен NULL, чтобы виртуальная таблица сама выбрала rowid для новой строки. Последующие элементы массива содержат значения столбцов новой строки.

Если P2==1, вставка не выполняется. argv[0] — это rowid строки, которую нужно удалить.

P1 — логический флаг. Если он установлен в true и вызов xUpdate завершился успешно, значение, возвращаемое sqlite3_last_insert_rowid(), устанавливается в rowid только что вставленной строки.

P5 — действия при ошибке (OE_Replace, OE_Fail, OE_Ignore и т. д.), применяемые при нарушении ограничения во время вставки или обновления.

Если сопрограмма, запущенная этой инструкцией, завершается с помощью Yield или Return, выполнение продолжается со следующей инструкции. Если же сопрограмма, запущенная этой инструкцией, завершается с помощью EndCoroutine, выполняется переход к P2, а не к следующей инструкции.

См. также: InitCoroutine