2019-11-04 13:33:21 -06:00
|
|
|
//! Database used for testing `hir`.
|
2019-09-30 03:58:53 -05:00
|
|
|
|
2019-11-27 12:23:31 -06:00
|
|
|
use std::{
|
|
|
|
panic,
|
|
|
|
sync::{Arc, Mutex},
|
|
|
|
};
|
2018-11-28 07:19:01 -06:00
|
|
|
|
2019-11-27 08:46:02 -06:00
|
|
|
use hir_def::{db::DefDatabase, AssocItemId, ModuleDefId, ModuleId};
|
2020-03-13 10:05:46 -05:00
|
|
|
use hir_expand::{db::AstDatabase, diagnostics::DiagnosticSink};
|
2020-06-05 09:45:20 -05:00
|
|
|
use ra_db::{salsa, CrateId, FileId, FileLoader, FileLoaderDelegate, SourceDatabase, Upcast};
|
2020-06-30 05:14:16 -05:00
|
|
|
use ra_syntax::TextRange;
|
|
|
|
use rustc_hash::{FxHashMap, FxHashSet};
|
2020-03-28 05:08:19 -05:00
|
|
|
use stdx::format_to;
|
2020-06-30 05:14:16 -05:00
|
|
|
use test_utils::extract_annotations;
|
2018-11-28 07:19:01 -06:00
|
|
|
|
2020-05-24 00:33:22 -05:00
|
|
|
use crate::{
|
2020-05-28 08:30:19 -05:00
|
|
|
db::HirDatabase, diagnostics::Diagnostic, expr::ExprValidator,
|
|
|
|
unsafe_validation::UnsafeValidator,
|
2020-05-24 00:33:22 -05:00
|
|
|
};
|
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-11-27 08:46:02 -06:00
|
|
|
hir_expand::db::AstDatabaseStorage,
|
|
|
|
hir_def::db::InternDatabaseStorage,
|
|
|
|
hir_def::db::DefDatabaseStorage,
|
|
|
|
crate::db::HirDatabaseStorage
|
2019-06-01 13:17:57 -05:00
|
|
|
)]
|
2019-11-04 13:29:51 -06:00
|
|
|
#[derive(Debug, Default)]
|
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
|
|
|
}
|
|
|
|
|
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-04 13:29:51 -06:00
|
|
|
impl salsa::Database for TestDB {
|
|
|
|
fn salsa_runtime(&self) -> &salsa::Runtime<TestDB> {
|
|
|
|
&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-04 13:29:51 -06:00
|
|
|
fn salsa_event(&self, event: impl Fn() -> salsa::Event<TestDB>) {
|
2019-11-27 12:23:31 -06:00
|
|
|
let mut events = self.events.lock().unwrap();
|
2019-11-04 13:29:51 -06:00
|
|
|
if let Some(events) = &mut *events {
|
|
|
|
events.push(event());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl salsa::ParallelDatabase for TestDB {
|
|
|
|
fn snapshot(&self) -> salsa::Snapshot<TestDB> {
|
|
|
|
salsa::Snapshot::new(TestDB {
|
|
|
|
events: Default::default(),
|
|
|
|
runtime: self.runtime.snapshot(self),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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)
|
|
|
|
}
|
2020-06-05 08:07:30 -05:00
|
|
|
fn resolve_path(&self, anchor: FileId, path: &str) -> Option<FileId> {
|
|
|
|
FileLoaderDelegate(self).resolve_path(anchor, path)
|
2019-10-14 08:20:55 -05:00
|
|
|
}
|
2020-06-11 04:30:06 -05:00
|
|
|
fn relevant_crates(&self, file_id: FileId) -> Arc<FxHashSet<CrateId>> {
|
2019-10-14 08:20:55 -05:00
|
|
|
FileLoaderDelegate(self).relevant_crates(file_id)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-27 08:46:02 -06:00
|
|
|
impl TestDB {
|
|
|
|
pub fn module_for_file(&self, file_id: FileId) -> ModuleId {
|
|
|
|
for &krate in self.relevant_crates(file_id).iter() {
|
|
|
|
let crate_def_map = self.crate_def_map(krate);
|
2019-11-27 12:31:51 -06:00
|
|
|
for (local_id, data) in crate_def_map.modules.iter() {
|
2019-12-03 14:23:21 -06:00
|
|
|
if data.origin.file_id() == Some(file_id) {
|
2019-11-27 12:31:51 -06:00
|
|
|
return ModuleId { krate, local_id };
|
2019-11-27 08:46:02 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
panic!("Can't find module for file")
|
2019-09-08 01:48:45 -05:00
|
|
|
}
|
|
|
|
|
2020-04-16 19:08:24 -05:00
|
|
|
fn diag<F: FnMut(&dyn Diagnostic)>(&self, mut cb: F) {
|
2019-11-04 13:04:51 -06:00
|
|
|
let crate_graph = self.crate_graph();
|
2020-02-18 07:32:19 -06:00
|
|
|
for krate in crate_graph.iter() {
|
2019-11-04 13:04:51 -06:00
|
|
|
let crate_def_map = self.crate_def_map(krate);
|
2019-11-27 08:46:02 -06:00
|
|
|
|
|
|
|
let mut fns = Vec::new();
|
2019-11-24 09:48:29 -06:00
|
|
|
for (module_id, _) in crate_def_map.modules.iter() {
|
2019-11-27 08:46:02 -06:00
|
|
|
for decl in crate_def_map[module_id].scope.declarations() {
|
2020-02-18 07:32:19 -06:00
|
|
|
if let ModuleDefId::FunctionId(f) = decl {
|
|
|
|
fns.push(f)
|
2019-11-27 08:46:02 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-12-20 08:58:20 -06:00
|
|
|
for impl_id in crate_def_map[module_id].scope.impls() {
|
2019-11-27 08:46:02 -06:00
|
|
|
let impl_data = self.impl_data(impl_id);
|
|
|
|
for item in impl_data.items.iter() {
|
|
|
|
if let AssocItemId::FunctionId(f) = item {
|
|
|
|
fns.push(*f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for f in fns {
|
|
|
|
let infer = self.infer(f.into());
|
2020-04-16 19:08:24 -05:00
|
|
|
let mut sink = DiagnosticSink::new(&mut cb);
|
2019-11-27 08:46:02 -06:00
|
|
|
infer.add_diagnostics(self, f, &mut sink);
|
2020-05-24 00:33:22 -05:00
|
|
|
let mut validator = ExprValidator::new(f, infer.clone(), &mut sink);
|
|
|
|
validator.validate_body(self);
|
|
|
|
let mut validator = UnsafeValidator::new(f, infer, &mut sink);
|
2019-11-27 08:46:02 -06:00
|
|
|
validator.validate_body(self);
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
}
|
2020-04-16 19:08:24 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn diagnostics(&self) -> (String, u32) {
|
|
|
|
let mut buf = String::new();
|
|
|
|
let mut count = 0;
|
|
|
|
self.diag(|d| {
|
|
|
|
format_to!(buf, "{:?}: {}\n", d.syntax_node(self).text(), d.message());
|
|
|
|
count += 1;
|
|
|
|
});
|
|
|
|
(buf, count)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Like `diagnostics`, but filtered for a single diagnostic.
|
|
|
|
pub fn diagnostic<D: Diagnostic>(&self) -> (String, u32) {
|
|
|
|
let mut buf = String::new();
|
|
|
|
let mut count = 0;
|
|
|
|
self.diag(|d| {
|
|
|
|
// We want to filter diagnostics by the particular one we are testing for, to
|
|
|
|
// avoid surprising results in tests.
|
|
|
|
if d.downcast_ref::<D>().is_some() {
|
|
|
|
format_to!(buf, "{:?}: {}\n", d.syntax_node(self).text(), d.message());
|
|
|
|
count += 1;
|
|
|
|
};
|
|
|
|
});
|
2020-03-24 06:40:58 -05:00
|
|
|
(buf, count)
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
2020-06-29 07:21:57 -05:00
|
|
|
|
2020-06-30 05:14:16 -05:00
|
|
|
pub fn extract_annotations(&self) -> FxHashMap<FileId, Vec<(TextRange, String)>> {
|
|
|
|
let mut files = Vec::new();
|
2020-06-29 07:21:57 -05:00
|
|
|
let crate_graph = self.crate_graph();
|
|
|
|
for krate in crate_graph.iter() {
|
|
|
|
let crate_def_map = self.crate_def_map(krate);
|
|
|
|
for (module_id, _) in crate_def_map.modules.iter() {
|
|
|
|
let file_id = crate_def_map[module_id].origin.file_id();
|
2020-06-30 05:14:16 -05:00
|
|
|
files.extend(file_id)
|
2020-06-29 07:21:57 -05:00
|
|
|
}
|
|
|
|
}
|
2020-06-30 05:14:16 -05:00
|
|
|
files
|
|
|
|
.into_iter()
|
|
|
|
.filter_map(|file_id| {
|
|
|
|
let text = self.file_text(file_id);
|
|
|
|
let annotations = extract_annotations(&text);
|
|
|
|
if annotations.is_empty() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
Some((file_id, annotations))
|
|
|
|
})
|
|
|
|
.collect()
|
2020-06-29 07:21:57 -05:00
|
|
|
}
|
2018-11-28 07:19:01 -06:00
|
|
|
}
|
|
|
|
|
2019-11-04 13:21:15 -06:00
|
|
|
impl TestDB {
|
|
|
|
pub fn log(&self, f: impl FnOnce()) -> Vec<salsa::Event<TestDB>> {
|
2019-11-27 12:23:31 -06:00
|
|
|
*self.events.lock().unwrap() = Some(Vec::new());
|
2018-11-28 07:19:01 -06:00
|
|
|
f();
|
2019-11-27 12:23:31 -06:00
|
|
|
self.events.lock().unwrap().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()
|
|
|
|
}
|
|
|
|
}
|