Struct RootDatabase

pub struct RootDatabase { /* private fields */ }

Implementations

impl RootDatabase

pub fn empty() -> Self

pub fn builder() -> RootDatabaseBuilder

pub fn snapshot(&self) -> RootDatabase

Snapshots the db for read only.

Trait Implementations

impl AsFilesGroupMut for RootDatabase

fn as_files_group_mut(&mut self) -> &mut (dyn FilesGroup + 'static)

impl Database for RootDatabase

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 unwind_if_cancelled(&self)

Starts unwinding the stack if the current revision is cancelled.

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 RootDatabase

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_after( &self, input: DatabaseKeyIndex, revision: Revision, ) -> bool

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

fn cycle_recovery_strategy( &self, input: DatabaseKeyIndex, ) -> CycleRecoveryStrategy

Find the CycleRecoveryStrategy for a given input.

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

Executes the callback for each kind of query.

impl DatabaseStorageTypes for RootDatabase

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 RootDatabase

fn default() -> Self

Returns the “default value” for a type.

impl ExternalFiles for RootDatabase

fn ext_as_virtual(&self, external_id: InternId) -> VirtualFile

Returns the virtual file matching the external id.

impl HasQueryGroup<DefsDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<DefsDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<FilesDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<FilesDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<LoweringDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<LoweringDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<ParserDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<ParserDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<SemanticDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<SemanticDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<SierraGenDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<SierraGenDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl HasQueryGroup<SyntaxDatabase> for RootDatabase

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

Access the group storage struct from the database.

fn group_storage_mut( &mut self, ) -> (&<SyntaxDatabase as QueryGroup>::GroupStorage, &mut Runtime)

Access the group storage struct from the database. Also returns a ref to the Runtime, since otherwise the database is borrowed and one cannot get access to it.

impl ParallelDatabase for RootDatabase

fn snapshot(&self) -> Snapshot<RootDatabase>

Creates a second handle to the database that holds the database fixed at a particular revision. So long as this “frozen” handle exists, any attempt to set an input will block.

impl Upcast<dyn DefsGroup> for RootDatabase

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

impl Upcast<dyn FilesGroup> for RootDatabase

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

impl Upcast<dyn LoweringGroup> for RootDatabase

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

impl Upcast<dyn ParserGroup> for RootDatabase

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

impl Upcast<dyn SemanticGroup> for RootDatabase

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

impl Upcast<dyn SyntaxGroup> for RootDatabase

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