Struct LocalDatabase 

pub struct LocalDatabase<F: VfsFile> { /* private fields */ }

One exclusively locked database handle is the transaction/session boundary. Closing drops uncommitted state. Failed I/O fences the controller until reopen.

Implementations

impl<F: VfsFile> LocalDatabase<F>

pub fn create( file: F, name: impl Into<PathBuf>, now_ms: u64, ) -> Result<Self, LocalReadError>

pub fn open(file: F, name: impl Into<PathBuf>) -> Result<Self, LocalReadError>

pub fn query( &mut self, sql: &str, now_ms: u64, ) -> Result<ScalarResult, LocalReadError>

pub fn check_healthy(&self) -> Result<(), LocalReadError>

Host-side read operations must honor the same interrupted-publication fence.

pub fn catalog(&self) -> Result<ScalarResult, LocalReadError>

Read actual persisted contracts without inferring schemas from row payloads.

pub fn read_query( &self, sql: &str, parameters: &[Value], scopes: &[ReadScope], ) -> Result<ScalarResult, LocalReadError>

Only SELECT is admitted; a caller cannot widen the host’s source-row scope.

pub fn query_with_params( &mut self, sql: &str, parameters: &[Value], now_ms: u64, ) -> Result<ScalarResult, LocalReadError>

pub fn into_inner(self) -> F