Struct RidlDatabase 

pub struct RidlDatabase { /* private fields */ }

The concrete salsa database ridlc and the language server run on.

A salsa event callback records the database_key of every tracked-query execution, so a test can assert not only how many queries re-ran after an edit but exactly which ones (issue #102). The log is read and reset with RidlDatabase::take_executed_queries. The database deliberately does not implement Clone: a clone sharing the execution log would make the observability counters ambiguous (issue #102).

Implementations

impl RidlDatabase

pub fn take_executed_queries(&self) -> Vec<DatabaseKeyIndex>

Returns the database_key of every tracked-query execution since the previous call, in execution order, and clears the log.

Trait Implementations

impl Database for RidlDatabase

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 Default for RidlDatabase

fn default() -> Self

Returns the “default value” for a type.

impl HasStorage for RidlDatabase

fn storage(&self) -> &Storage<Self>

fn storage_mut(&mut self) -> &mut Storage<Self>