Struct CypherDatabase 

pub struct CypherDatabase { /* private fields */ }

The concrete incremental database (Salsa 2022-style, spec §11.1).

Send + Sync via snapshots (spec §11.5)

CypherDatabase is Send but not Sync — ZalsaLocal contains per-thread UnsafeCell state by design. Thread-safety is achieved via snapshots: clone() shares the Arc<Zalsa> backing store and produces a fresh ZalsaLocal, allowing the clone to be sent to another thread and queried concurrently. The LSP server clones once per request; the CLI never needs to.

Implementations

impl CypherDatabase

pub fn new() -> CypherDatabase

Construct a new, empty database.

pub fn new_source_file(&mut self, source: impl Into<String>) -> SourceFile

Create a new SourceFile input with the given source text, using the default dialect and a zero options digest.

pub fn new_source_file_with( &mut self, source: impl Into<String>, dialect: DialectMode, options_digest: u64, ) -> SourceFile

Create a new SourceFile input with explicit dialect and digest.

pub fn set_source(&mut self, file: SourceFile, source: impl Into<String>)

Update the source text of an existing SourceFile, bumping the Salsa revision so that derived queries are invalidated.

Always clears any cy-li6 precomputed_parse hint, because a fresh source string must produce a fresh parse — reusing a stale hint would silently desync the published CST from source.

pub fn set_source_with_parse( &mut self, file: SourceFile, source: impl Into<String>, parse: ParseOutput, )

Atomically replace source and publish a precomputed Parse (cy-li6).

Used by workspace::Database::edit_file after cyrs_syntax::incremental_reparse has produced a spliced tree for new_source. Bumps the Salsa revision once for both fields, so the next parse_cst query returns parse directly without re-parsing.

pub fn set_dialect(&mut self, file: SourceFile, dialect: DialectMode)

Update the dialect of an existing SourceFile.

pub fn new_file_options(&mut self, options: AnalysisOptions) -> FileOptions

Create a new FileOptions input with the given AnalysisOptions.

pub fn set_options(&mut self, file_opts: FileOptions, options: AnalysisOptions)

Update the AnalysisOptions of an existing FileOptions input.

Bumps the Salsa revision for file_opts, which cascades through options_digest and all derived queries that read it.

pub fn new_workspace_inputs( &mut self, schema: Option<Arc<dyn SchemaProvider>>, ) -> WorkspaceInputs

Create a new WorkspaceInputs input.

There should be exactly one WorkspaceInputs per database. Call this once at database initialisation; update it with set_schema.

pub fn set_schema( &mut self, ws: WorkspaceInputs, schema: Option<Arc<dyn SchemaProvider>>, )

Update the workspace-scoped schema.

Invalidates all derived queries that depend on the schema.

Trait Implementations

impl Clone for CypherDatabase

fn clone(&self) -> CypherDatabase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Database for CypherDatabase

fn trigger_lru_eviction(&mut self)

Enforces current LRU limits, evicting entries if necessary.

fn synthetic_write(&mut self, durability: Durability)

A “synthetic write” causes the system to act as though some input of durability durability has changed, triggering a new revision. This is mostly useful for profiling scenarios.

fn trigger_cancellation(&mut self)

This method cancels all outstanding computations. If you invoke it while a snapshot exists, it will block until that snapshot is dropped – if that snapshot is owned by the current thread, this could trigger deadlock.

fn cancellation_token(&self) -> CancellationToken

Retrieves a CancellationToken for the current database handle.

fn report_untracked_read(&self)

Reports that the query depends on some state unknown to salsa.

fn ingredient_debug_name( &self, ingredient_index: IngredientIndex, ) -> Cow<'_, str>

Return the “debug name” (i.e., the struct name, etc) for an “ingredient”, which are the fine-grained components we use to track data. This is intended for debugging and the contents of the returned string are not semver-guaranteed.

fn unwind_if_revision_cancelled(&self)

Starts unwinding the stack if the current revision is cancelled.

fn attach<R>(&self, op: impl FnOnce(&Self) -> R) -> R

where Self: Sized,

Execute op with the database in thread-local storage for debug print-outs.

impl Debug for CypherDatabase

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

Formats the value using the given formatter.

impl Default for CypherDatabase

fn default() -> CypherDatabase

Returns the “default value” for a type.

impl CypherDb for CypherDatabase