use std::{ sync::Arc, time, }; use ra_db::{ CheckCanceled, FileId, Canceled, SourceDatabase, salsa, }; use crate::{LineIndex, symbol_index::{self, SymbolsDatabase}}; #[salsa::database( ra_db::SourceDatabaseStorage, LineIndexDatabaseStorage, symbol_index::SymbolsDatabaseStorage, hir::db::HirDatabaseStorage, hir::db::DefDatabaseStorage )] #[derive(Debug)] pub(crate) struct RootDatabase { runtime: salsa::Runtime, pub(crate) last_gc: time::Instant, pub(crate) last_gc_check: time::Instant, } impl salsa::Database for RootDatabase { fn salsa_runtime(&self) -> &salsa::Runtime { &self.runtime } fn on_propagated_panic(&self) -> ! { Canceled::throw() } fn salsa_event(&self, event: impl Fn() -> salsa::Event) { if let salsa::EventKind::DidValidateMemoizedValue { .. } = event().kind { self.check_canceled(); } } } impl Default for RootDatabase { fn default() -> RootDatabase { let mut db = RootDatabase { runtime: salsa::Runtime::default(), last_gc: time::Instant::now(), last_gc_check: time::Instant::now(), }; db.set_crate_graph(Default::default()); db.set_local_roots(Default::default()); db.set_library_roots(Default::default()); db } } impl salsa::ParallelDatabase for RootDatabase { fn snapshot(&self) -> salsa::Snapshot { salsa::Snapshot::new(RootDatabase { runtime: self.runtime.snapshot(self), last_gc: self.last_gc.clone(), last_gc_check: self.last_gc_check.clone(), }) } } #[salsa::query_group(LineIndexDatabaseStorage)] pub(crate) trait LineIndexDatabase: ra_db::SourceDatabase + CheckCanceled { fn line_index(&self, file_id: FileId) -> Arc; } fn line_index(db: &impl ra_db::SourceDatabase, file_id: FileId) -> Arc { let text = db.file_text(file_id); Arc::new(LineIndex::new(&*text)) }