Struct VdbeProgram 

pub struct VdbeProgram { /* private fields */ }

A finalized VDBE bytecode program ready for execution.

Implementations

impl VdbeProgram

pub fn route_storage_roots_to_temp_database( &mut self, temp_roots: impl IntoIterator<Item = i32>, )

Route storage-root opens for connection-local TEMP objects through SQLite’s database-number 1 namespace.

Code generation deliberately operates on schema metadata rather than connection state, so it cannot know which otherwise ordinary table roots belong to the TEMP database. The connection applies this final annotation after codegen. Execution then uses the attached MemDatabase instead of ever consulting or mutating pages in the main pager.

pub fn ops(&self) -> &[VdbeOp]

The instruction sequence.

pub fn len(&self) -> usize

Number of instructions.

pub fn is_empty(&self) -> bool

Whether the program is empty.

pub fn register_count(&self) -> i32

Number of registers required.

pub fn max_bind_parameter_index(&self) -> Result<usize, i32>

Highest 1-based bind parameter index referenced by the program.

Returns Ok(0) when no Variable opcodes are present. Returns Err(raw_index) if the bytecode contains an invalid parameter index (<= 0 or not representable as usize).

pub fn get(&self, pc: usize) -> Option<&VdbeOp>

Get the instruction at the given program counter.

pub fn table_index_meta(&self) -> &HashMap<i32, Box<[IndexCursorMeta]>>

Table-to-index cursor metadata for REPLACE conflict resolution.

pub fn storage_root_usages(&self) -> impl Iterator<Item = StorageRootUsage> + '_

Returns storage B-tree root usage in deterministic instruction order.

Conflict-topology and backend-identity diagnostics can use this to tie bytecode to root-page level heat without ad hoc opcode scans.

pub fn has_insert_ops(&self) -> bool

Returns true if the program contains any Insert opcodes, meaning column defaults may be needed during execution. Precomputed at build time — O(1) at call time.

pub fn requires_attached_memdb(&self) -> bool

Returns true when this program still requires an attached MemDatabase for opcode semantics.

pub fn attached_memdb_requirement_reason(&self) -> Option<&'static str>

Returns the first conservative reason this program still requires an attached MemDatabase, or None for storage-only VDBE programs.

pub fn requires_version_store(&self) -> bool

Returns true when this program can read historical page versions.

pub fn disassemble(&self) -> String

Disassemble the program to a human-readable string.

Output format matches SQLite’s EXPLAIN output:

addr  opcode         p1    p2    p3    p4             p5
----  ----------     ----  ----  ----  -----          --
0     Init           0     8     0                    0

Trait Implementations

impl Clone for VdbeProgram

fn clone(&self) -> VdbeProgram

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VdbeProgram

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for VdbeProgram

fn eq(&self, other: &VdbeProgram) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for VdbeProgram