Struct TransactionController 

pub struct TransactionController { /* private fields */ }

Manages the transaction lifecycle for a single connection.

Tracks the current transaction mode, lock level, and savepoint stack. This is the “SQL layer” state machine; the underlying MVCC machinery lives in fsqlite_mvcc::lifecycle::TransactionManager.

Implementations

impl TransactionController

pub fn new() -> Self

Create a new transaction controller in idle state.

pub const fn state(&self) -> TxnState

Current transaction state.

pub const fn lock_level(&self) -> LockLevel

Current lock level.

pub const fn mode(&self) -> Option<TransactionMode>

Current transaction mode.

pub const fn is_concurrent(&self) -> bool

Whether we are in CONCURRENT (MVCC) mode.

pub fn savepoint_depth(&self) -> usize

Number of savepoints on the stack.

pub fn begin(&mut self, mode: Option<TransactionMode>) -> Result<()>

Begin a transaction with the given mode.

Errors

Returns FrankenError::Busy if a transaction is already active.

pub fn commit(&mut self) -> Result<()>

Commit the active transaction.

END TRANSACTION is a synonym for COMMIT (invariant #5).

Errors

Returns error if no transaction is active or if in error state.

pub fn rollback(&mut self) -> Result<()>

Roll back the active transaction, undoing all changes since BEGIN.

Errors

Returns error if no transaction is active.

pub fn savepoint(&mut self, name: String) -> Result<()>

Create a named savepoint (pushes onto LIFO stack).

If no transaction is active, implicitly starts a DEFERRED transaction (per SQLite semantics: SAVEPOINT outside a transaction starts one).

pub fn release(&mut self, name: &str) -> Result<()>

RELEASE savepoint: commits all work since SAVEPOINT X and removes X and all more recent savepoints from the stack (invariant #6).

Errors

Returns error if the named savepoint is not on the stack.

pub fn rollback_to(&mut self, name: &str) -> Result<()>

ROLLBACK TO savepoint: undoes all work since SAVEPOINT X but leaves X on the stack for further use (invariant #7).

Errors

Returns error if the named savepoint is not on the stack.

pub fn record_write(&mut self, page_number: u64, data: Vec<u8>)

Record a page write in the write set (for savepoint rollback support).

pub fn promote_on_read(&mut self)

Promote lock level on first read (DEFERRED → SHARED) or first write (SHARED/RESERVED → appropriate level).

pub fn promote_on_write(&mut self)

Promote lock level on first write.

pub fn set_error(&mut self)

Mark transaction as in error state (e.g., after a constraint violation).

Trait Implementations

impl Debug for TransactionController

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

Formats the value using the given formatter.

impl Default for TransactionController

fn default() -> Self

Returns the “default value” for a type.