2019-09-30 03:58:53 -05:00
|
|
|
//! FIXME: write short doc here
|
|
|
|
|
2019-07-04 15:05:17 -05:00
|
|
|
use std::{panic, sync::Arc};
|
2018-11-28 07:19:01 -06:00
|
|
|
|
2019-11-04 13:04:51 -06:00
|
|
|
use hir_def::{db::DefDatabase2, ModuleId};
|
2019-11-02 15:42:38 -05:00
|
|
|
use hir_expand::diagnostics::DiagnosticSink;
|
2018-11-28 07:19:01 -06:00
|
|
|
use parking_lot::Mutex;
|
2019-01-17 05:11:00 -06:00
|
|
|
use ra_db::{
|
2019-11-04 13:12:49 -06:00
|
|
|
salsa, CrateId, FileId, FileLoader, FileLoaderDelegate, RelativePath, SourceDatabase,
|
|
|
|
SourceRootId,
|
2019-01-17 05:11:00 -06:00
|
|
|
};
|
2018-11-28 07:19:01 -06:00
|
|
|
|
2019-11-02 15:42:38 -05:00
|
|
|
use crate::{db, debug::HirDebugHelper};
|
2018-11-28 07:19:01 -06:00
|
|
|
|
2019-06-01 13:17:57 -05:00
|
|
|
#[salsa::database(
|
2019-10-14 08:20:55 -05:00
|
|
|
ra_db::SourceDatabaseExtStorage,
|
2019-06-01 13:17:57 -05:00
|
|
|
ra_db::SourceDatabaseStorage,
|
2019-06-26 13:50:42 -05:00
|
|
|
db::InternDatabaseStorage,
|
2019-06-01 13:17:57 -05:00
|
|
|
db::AstDatabaseStorage,
|
|
|
|
db::DefDatabaseStorage,
|
2019-10-30 09:40:13 -05:00
|
|
|
db::DefDatabase2Storage,
|
2019-06-01 13:17:57 -05:00
|
|
|
db::HirDatabaseStorage
|
|
|
|
)]
|
2018-11-28 07:19:01 -06:00
|
|
|
#[derive(Debug)]
|
2019-11-04 13:21:15 -06:00
|
|
|
pub struct TestDB {
|
|
|
|
events: Mutex<Option<Vec<salsa::Event<TestDB>>>>,
|
|
|
|
runtime: salsa::Runtime<TestDB>,
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl panic::RefUnwindSafe for TestDB {}
|
2019-01-10 04:04:04 -06:00
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl FileLoader for TestDB {
|
2019-10-14 08:20:55 -05:00
|
|
|
fn file_text(&self, file_id: FileId) -> Arc<String> {
|
|
|
|
FileLoaderDelegate(self).file_text(file_id)
|
|
|
|
}
|
|
|
|
fn resolve_relative_path(
|
|
|
|
&self,
|
|
|
|
anchor: FileId,
|
|
|
|
relative_path: &RelativePath,
|
|
|
|
) -> Option<FileId> {
|
|
|
|
FileLoaderDelegate(self).resolve_relative_path(anchor, relative_path)
|
|
|
|
}
|
|
|
|
fn relevant_crates(&self, file_id: FileId) -> Arc<Vec<CrateId>> {
|
|
|
|
FileLoaderDelegate(self).relevant_crates(file_id)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:19:06 -06:00
|
|
|
// FIXME: improve `WithFixture` to bring useful hir debugging back
|
2019-11-04 13:21:15 -06:00
|
|
|
impl HirDebugHelper for TestDB {
|
2019-11-04 13:19:06 -06:00
|
|
|
fn crate_name(&self, _krate: CrateId) -> Option<String> {
|
|
|
|
None
|
2019-09-08 01:48:45 -05:00
|
|
|
}
|
|
|
|
|
2019-11-04 13:19:06 -06:00
|
|
|
fn file_path(&self, _file_id: FileId) -> Option<String> {
|
|
|
|
None
|
2019-09-08 01:48:45 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl TestDB {
|
2019-03-24 03:39:47 -05:00
|
|
|
pub fn diagnostics(&self) -> String {
|
2019-08-29 08:49:10 -05:00
|
|
|
let mut buf = String::new();
|
2019-11-04 13:04:51 -06:00
|
|
|
let crate_graph = self.crate_graph();
|
|
|
|
for krate in crate_graph.iter().next() {
|
|
|
|
let crate_def_map = self.crate_def_map(krate);
|
|
|
|
for (module_id, _) in crate_def_map.modules.iter() {
|
|
|
|
let module_id = ModuleId { krate, module_id };
|
|
|
|
let module = crate::Module::from(module_id);
|
|
|
|
module.diagnostics(
|
|
|
|
self,
|
|
|
|
&mut DiagnosticSink::new(|d| {
|
|
|
|
buf += &format!("{:?}: {}\n", d.syntax_node(self).text(), d.message());
|
|
|
|
}),
|
|
|
|
)
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
}
|
2019-11-04 13:04:51 -06:00
|
|
|
buf
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl salsa::Database for TestDB {
|
|
|
|
fn salsa_runtime(&self) -> &salsa::Runtime<TestDB> {
|
2018-11-28 07:19:01 -06:00
|
|
|
&self.runtime
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
fn salsa_event(&self, event: impl Fn() -> salsa::Event<TestDB>) {
|
2018-11-28 07:19:01 -06:00
|
|
|
let mut events = self.events.lock();
|
|
|
|
if let Some(events) = &mut *events {
|
|
|
|
events.push(event());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl Default for TestDB {
|
|
|
|
fn default() -> TestDB {
|
|
|
|
let mut db = TestDB { events: Default::default(), runtime: salsa::Runtime::default() };
|
2019-01-25 06:25:01 -06:00
|
|
|
db.set_crate_graph(Default::default());
|
2018-11-28 07:19:01 -06:00
|
|
|
db
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl salsa::ParallelDatabase for TestDB {
|
|
|
|
fn snapshot(&self) -> salsa::Snapshot<TestDB> {
|
|
|
|
salsa::Snapshot::new(TestDB {
|
2018-11-28 07:19:01 -06:00
|
|
|
events: Default::default(),
|
|
|
|
runtime: self.runtime.snapshot(self),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl TestDB {
|
|
|
|
pub fn log(&self, f: impl FnOnce()) -> Vec<salsa::Event<TestDB>> {
|
2018-11-28 07:19:01 -06:00
|
|
|
*self.events.lock() = Some(Vec::new());
|
|
|
|
f();
|
2019-01-25 06:16:50 -06:00
|
|
|
self.events.lock().take().unwrap()
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
|
2019-02-03 12:26:35 -06:00
|
|
|
pub fn log_executed(&self, f: impl FnOnce()) -> Vec<String> {
|
2018-11-28 07:19:01 -06:00
|
|
|
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.
|
2019-01-25 06:16:50 -06:00
|
|
|
salsa::EventKind::WillExecute { database_key } => {
|
|
|
|
Some(format!("{:?}", database_key))
|
|
|
|
}
|
2018-11-28 07:19:01 -06:00
|
|
|
_ => None,
|
|
|
|
})
|
|
|
|
.collect()
|
|
|
|
}
|
|
|
|
}
|