2019-11-03 15:11:37 -06:00
|
|
|
//! Database used for testing `hir_def`.
|
|
|
|
|
2019-11-03 14:35:48 -06:00
|
|
|
use std::{
|
|
|
|
panic,
|
|
|
|
sync::{Arc, Mutex},
|
|
|
|
};
|
2019-11-03 11:53:17 -06:00
|
|
|
|
2020-03-13 10:05:46 -05:00
|
|
|
use hir_expand::db::AstDatabase;
|
|
|
|
use ra_db::{
|
|
|
|
salsa, CrateId, ExternSourceId, FileId, FileLoader, FileLoaderDelegate, RelativePath, Upcast,
|
|
|
|
};
|
|
|
|
|
2019-12-30 07:25:19 -06:00
|
|
|
use crate::db::DefDatabase;
|
2019-11-03 11:53:17 -06:00
|
|
|
|
|
|
|
#[salsa::database(
|
|
|
|
ra_db::SourceDatabaseExtStorage,
|
|
|
|
ra_db::SourceDatabaseStorage,
|
|
|
|
hir_expand::db::AstDatabaseStorage,
|
|
|
|
crate::db::InternDatabaseStorage,
|
2019-11-23 05:44:43 -06:00
|
|
|
crate::db::DefDatabaseStorage
|
2019-11-03 11:53:17 -06:00
|
|
|
)]
|
|
|
|
#[derive(Debug, Default)]
|
|
|
|
pub struct TestDB {
|
|
|
|
runtime: salsa::Runtime<TestDB>,
|
2019-11-03 14:35:48 -06:00
|
|
|
events: Mutex<Option<Vec<salsa::Event<TestDB>>>>,
|
2019-11-03 11:53:17 -06:00
|
|
|
}
|
|
|
|
|
2020-03-13 10:05:46 -05:00
|
|
|
impl Upcast<dyn AstDatabase> for TestDB {
|
|
|
|
fn upcast(&self) -> &(dyn AstDatabase + 'static) {
|
|
|
|
&*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Upcast<dyn DefDatabase> for TestDB {
|
|
|
|
fn upcast(&self) -> &(dyn DefDatabase + 'static) {
|
|
|
|
&*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-03 11:53:17 -06:00
|
|
|
impl salsa::Database for TestDB {
|
|
|
|
fn salsa_runtime(&self) -> &salsa::Runtime<Self> {
|
|
|
|
&self.runtime
|
|
|
|
}
|
2019-11-26 02:29:20 -06:00
|
|
|
fn salsa_runtime_mut(&mut self) -> &mut salsa::Runtime<Self> {
|
|
|
|
&mut self.runtime
|
|
|
|
}
|
2019-11-03 14:35:48 -06:00
|
|
|
fn salsa_event(&self, event: impl Fn() -> salsa::Event<TestDB>) {
|
|
|
|
let mut events = self.events.lock().unwrap();
|
|
|
|
if let Some(events) = &mut *events {
|
|
|
|
events.push(event());
|
|
|
|
}
|
|
|
|
}
|
2019-11-03 11:53:17 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl panic::RefUnwindSafe for TestDB {}
|
|
|
|
|
|
|
|
impl FileLoader for TestDB {
|
|
|
|
fn file_text(&self, file_id: FileId) -> Arc<String> {
|
|
|
|
FileLoaderDelegate(self).file_text(file_id)
|
|
|
|
}
|
2020-06-05 07:55:23 -05:00
|
|
|
fn resolve_path(&self, anchor: FileId, relative_path: &RelativePath) -> Option<FileId> {
|
|
|
|
FileLoaderDelegate(self).resolve_path(anchor, relative_path)
|
2019-11-03 11:53:17 -06:00
|
|
|
}
|
|
|
|
fn relevant_crates(&self, file_id: FileId) -> Arc<Vec<CrateId>> {
|
|
|
|
FileLoaderDelegate(self).relevant_crates(file_id)
|
|
|
|
}
|
2020-03-10 09:00:31 -05:00
|
|
|
|
|
|
|
fn resolve_extern_path(
|
|
|
|
&self,
|
|
|
|
extern_id: ExternSourceId,
|
|
|
|
relative_path: &RelativePath,
|
|
|
|
) -> Option<FileId> {
|
|
|
|
FileLoaderDelegate(self).resolve_extern_path(extern_id, relative_path)
|
|
|
|
}
|
2019-11-03 11:53:17 -06:00
|
|
|
}
|
2019-11-03 14:35:48 -06:00
|
|
|
|
|
|
|
impl TestDB {
|
2019-12-30 07:25:19 -06:00
|
|
|
pub fn module_for_file(&self, file_id: FileId) -> crate::ModuleId {
|
|
|
|
for &krate in self.relevant_crates(file_id).iter() {
|
|
|
|
let crate_def_map = self.crate_def_map(krate);
|
|
|
|
for (local_id, data) in crate_def_map.modules.iter() {
|
|
|
|
if data.origin.file_id() == Some(file_id) {
|
|
|
|
return crate::ModuleId { krate, local_id };
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
panic!("Can't find module for file")
|
|
|
|
}
|
|
|
|
|
2019-11-03 14:35:48 -06:00
|
|
|
pub fn log(&self, f: impl FnOnce()) -> Vec<salsa::Event<TestDB>> {
|
|
|
|
*self.events.lock().unwrap() = Some(Vec::new());
|
|
|
|
f();
|
|
|
|
self.events.lock().unwrap().take().unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn log_executed(&self, f: impl FnOnce()) -> Vec<String> {
|
|
|
|
let events = self.log(f);
|
|
|
|
events
|
|
|
|
.into_iter()
|
|
|
|
.filter_map(|e| match e.kind {
|
|
|
|
// This pretty horrible, but `Debug` is the only way to inspect
|
|
|
|
// QueryDescriptor at the moment.
|
|
|
|
salsa::EventKind::WillExecute { database_key } => {
|
|
|
|
Some(format!("{:?}", database_key))
|
|
|
|
}
|
|
|
|
_ => None,
|
|
|
|
})
|
|
|
|
.collect()
|
|
|
|
}
|
|
|
|
}
|