Struct Db

pub struct Db { /* private fields */ }

Trait Implementations

impl Database for Db

fn sweep_all(&self, strategy: SweepStrategy)

Iterates through all query storage and removes any values that have not been used since the last revision was created. The intended use-cycle is that you first execute all of your “main” queries; this will ensure that all query values they consume are marked as used. You then invoke this method to remove other values that were not needed for your main query results.

fn salsa_event(&self, event_fn: Event)

This function is invoked at key points in the salsa runtime. It permits the database to be customized and to inject logging or other custom behavior.

fn on_propagated_panic(&self) -> !

This function is invoked when a dependent query is being computed by the other thread, and that thread panics.

fn salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime.

fn salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime.

impl DatabaseOps for Db

fn ops_database(&self) -> &dyn Database

Upcast this type to a dyn Database.

fn ops_salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime.

fn ops_salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime.

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

Formats a database key index in a human readable fashion.

fn maybe_changed_since( &self, input: DatabaseKeyIndex, revision: Revision, ) -> bool

True if the computed value for input may have changed since revision.

fn for_each_query(&self, op: &mut dyn FnMut(&dyn QueryStorageMassOps))

Executes the callback for each kind of query.

impl DatabaseStorageTypes for Db

type DatabaseStorage = __SalsaDatabaseStorage

Defines the “storage type”, where all the query data is kept. This type is defined by the database_storage macro.

impl Default for Db

fn default() -> Db

Returns the “default value” for a type.

impl HasQueryGroup<AnalyzerDbStorage> for Db

fn group_storage(&self) -> &<AnalyzerDbStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<CodegenDbStorage> for Db

fn group_storage(&self) -> &<CodegenDbStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<MirDbStorage> for Db

fn group_storage(&self) -> &<MirDbStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<SourceDbStorage> for Db

fn group_storage(&self) -> &<SourceDbStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl Upcast<dyn AnalyzerDb> for Db

fn upcast(&self) -> &(dyn AnalyzerDb + 'static)

impl Upcast<dyn MirDb> for Db

fn upcast(&self) -> &(dyn MirDb + 'static)

impl Upcast<dyn SourceDb> for Db

fn upcast(&self) -> &(dyn SourceDb + 'static)

impl UpcastMut<dyn AnalyzerDb> for Db

fn upcast_mut(&mut self) -> &mut (dyn AnalyzerDb + 'static)

impl UpcastMut<dyn MirDb> for Db

fn upcast_mut(&mut self) -> &mut (dyn MirDb + 'static)

impl UpcastMut<dyn SourceDb> for Db

fn upcast_mut(&mut self) -> &mut (dyn SourceDb + 'static)