2018-08-17 08:04:34 -05:00
|
|
|
extern crate libanalysis;
|
2018-08-28 10:22:52 -05:00
|
|
|
extern crate relative_path;
|
2018-08-25 06:26:34 -05:00
|
|
|
extern crate test_utils;
|
2018-08-17 08:04:34 -05:00
|
|
|
|
2018-08-31 11:14:08 -05:00
|
|
|
use std::{
|
|
|
|
collections::HashMap,
|
|
|
|
path::{Path},
|
|
|
|
};
|
2018-08-17 08:04:34 -05:00
|
|
|
|
2018-09-05 10:27:44 -05:00
|
|
|
use relative_path::{RelativePath, RelativePathBuf};
|
2018-08-31 11:14:08 -05:00
|
|
|
use libanalysis::{AnalysisHost, FileId, FileResolver, JobHandle, CrateGraph, CrateId};
|
2018-08-25 06:26:34 -05:00
|
|
|
use test_utils::assert_eq_dbg;
|
2018-08-17 08:04:34 -05:00
|
|
|
|
2018-08-28 10:22:52 -05:00
|
|
|
struct FileMap(&'static [(u32, &'static str)]);
|
|
|
|
|
|
|
|
impl FileMap {
|
|
|
|
fn path(&self, id: FileId) -> &'static Path {
|
|
|
|
let s = self.0.iter()
|
|
|
|
.find(|it| it.0 == id.0)
|
|
|
|
.unwrap()
|
|
|
|
.1;
|
|
|
|
Path::new(s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl FileResolver for FileMap {
|
|
|
|
fn file_stem(&self, id: FileId) -> String {
|
|
|
|
self.path(id).file_stem().unwrap().to_str().unwrap().to_string()
|
|
|
|
}
|
|
|
|
fn resolve(&self, id: FileId, rel: &RelativePath) -> Option<FileId> {
|
2018-09-05 10:27:44 -05:00
|
|
|
let path = rel.to_path(self.path(id));
|
|
|
|
let path = path.strip_prefix("/").unwrap();
|
|
|
|
let path = RelativePathBuf::from_path(&path).unwrap().normalize();
|
2018-08-28 10:22:52 -05:00
|
|
|
let &(id, _) = self.0.iter()
|
2018-09-05 10:27:44 -05:00
|
|
|
.find(|it| {
|
|
|
|
let p = Path::new(it.1).strip_prefix("/").unwrap();
|
|
|
|
let p = RelativePathBuf::from_path(p).unwrap();
|
|
|
|
path == p
|
|
|
|
})?;
|
2018-08-28 10:22:52 -05:00
|
|
|
Some(FileId(id))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 08:04:34 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_resolve_module() {
|
2018-08-30 05:12:49 -05:00
|
|
|
let mut world = AnalysisHost::new();
|
2018-08-17 08:04:34 -05:00
|
|
|
world.change_file(FileId(1), Some("mod foo;".to_string()));
|
|
|
|
world.change_file(FileId(2), Some("".to_string()));
|
|
|
|
|
2018-08-29 10:35:28 -05:00
|
|
|
let snap = world.analysis(FileMap(&[
|
2018-08-28 10:22:52 -05:00
|
|
|
(1, "/lib.rs"),
|
|
|
|
(2, "/foo.rs"),
|
|
|
|
]));
|
2018-08-31 04:13:02 -05:00
|
|
|
let (_handle, token) = JobHandle::new();
|
|
|
|
let symbols = snap.approximately_resolve_symbol(FileId(1), 4.into(), &token);
|
2018-08-17 08:04:34 -05:00
|
|
|
assert_eq_dbg(
|
|
|
|
r#"[(FileId(2), FileSymbol { name: "foo", node_range: [0; 0), kind: MODULE })]"#,
|
|
|
|
&symbols,
|
|
|
|
);
|
|
|
|
|
2018-08-29 10:35:28 -05:00
|
|
|
let snap = world.analysis(FileMap(&[
|
2018-08-28 10:22:52 -05:00
|
|
|
(1, "/lib.rs"),
|
|
|
|
(2, "/foo/mod.rs")
|
|
|
|
]));
|
2018-08-31 04:13:02 -05:00
|
|
|
let symbols = snap.approximately_resolve_symbol(FileId(1), 4.into(), &token);
|
2018-08-17 08:04:34 -05:00
|
|
|
assert_eq_dbg(
|
|
|
|
r#"[(FileId(2), FileSymbol { name: "foo", node_range: [0; 0), kind: MODULE })]"#,
|
|
|
|
&symbols,
|
|
|
|
);
|
|
|
|
}
|
2018-08-21 10:30:10 -05:00
|
|
|
|
2018-08-27 12:58:38 -05:00
|
|
|
#[test]
|
|
|
|
fn test_unresolved_module_diagnostic() {
|
2018-08-30 05:12:49 -05:00
|
|
|
let mut world = AnalysisHost::new();
|
2018-08-27 12:58:38 -05:00
|
|
|
world.change_file(FileId(1), Some("mod foo;".to_string()));
|
|
|
|
|
2018-08-29 10:35:28 -05:00
|
|
|
let snap = world.analysis(FileMap(&[(1, "/lib.rs")]));
|
|
|
|
let diagnostics = snap.diagnostics(FileId(1));
|
2018-08-27 12:58:38 -05:00
|
|
|
assert_eq_dbg(
|
2018-08-29 10:35:28 -05:00
|
|
|
r#"[Diagnostic {
|
|
|
|
message: "unresolved module",
|
|
|
|
range: [4; 7),
|
|
|
|
fix: Some(SourceChange {
|
|
|
|
label: "create module",
|
|
|
|
source_file_edits: [],
|
|
|
|
file_system_edits: [CreateFile { anchor: FileId(1), path: "../foo.rs" }],
|
|
|
|
cursor_position: None }) }]"#,
|
2018-08-27 12:58:38 -05:00
|
|
|
&diagnostics,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2018-08-28 12:29:36 -05:00
|
|
|
#[test]
|
|
|
|
fn test_unresolved_module_diagnostic_no_diag_for_inline_mode() {
|
2018-08-30 05:12:49 -05:00
|
|
|
let mut world = AnalysisHost::new();
|
2018-08-28 12:29:36 -05:00
|
|
|
world.change_file(FileId(1), Some("mod foo {}".to_string()));
|
|
|
|
|
2018-08-29 10:35:28 -05:00
|
|
|
let snap = world.analysis(FileMap(&[(1, "/lib.rs")]));
|
|
|
|
let diagnostics = snap.diagnostics(FileId(1));
|
2018-08-28 12:29:36 -05:00
|
|
|
assert_eq_dbg(
|
|
|
|
r#"[]"#,
|
|
|
|
&diagnostics,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2018-08-21 10:30:10 -05:00
|
|
|
#[test]
|
|
|
|
fn test_resolve_parent_module() {
|
2018-08-30 05:12:49 -05:00
|
|
|
let mut world = AnalysisHost::new();
|
2018-08-21 10:30:10 -05:00
|
|
|
world.change_file(FileId(1), Some("mod foo;".to_string()));
|
|
|
|
world.change_file(FileId(2), Some("".to_string()));
|
|
|
|
|
2018-08-29 10:35:28 -05:00
|
|
|
let snap = world.analysis(FileMap(&[
|
2018-08-28 10:22:52 -05:00
|
|
|
(1, "/lib.rs"),
|
|
|
|
(2, "/foo.rs"),
|
|
|
|
]));
|
2018-08-21 10:30:10 -05:00
|
|
|
let symbols = snap.parent_module(FileId(2));
|
|
|
|
assert_eq_dbg(
|
|
|
|
r#"[(FileId(1), FileSymbol { name: "foo", node_range: [0; 8), kind: MODULE })]"#,
|
|
|
|
&symbols,
|
|
|
|
);
|
|
|
|
}
|
2018-08-31 11:14:08 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_resolve_crate_root() {
|
|
|
|
let mut world = AnalysisHost::new();
|
|
|
|
world.change_file(FileId(1), Some("mod foo;".to_string()));
|
|
|
|
world.change_file(FileId(2), Some("".to_string()));
|
|
|
|
|
|
|
|
let snap = world.analysis(FileMap(&[
|
|
|
|
(1, "/lib.rs"),
|
|
|
|
(2, "/foo.rs"),
|
|
|
|
]));
|
2018-09-02 08:36:03 -05:00
|
|
|
assert!(snap.crate_for(FileId(2)).is_empty());
|
2018-08-31 11:14:08 -05:00
|
|
|
|
|
|
|
let crate_graph = CrateGraph {
|
|
|
|
crate_roots: {
|
|
|
|
let mut m = HashMap::new();
|
|
|
|
m.insert(CrateId(1), FileId(1));
|
|
|
|
m
|
|
|
|
},
|
|
|
|
};
|
|
|
|
world.set_crate_graph(crate_graph);
|
|
|
|
|
|
|
|
let snap = world.analysis(FileMap(&[
|
|
|
|
(1, "/lib.rs"),
|
|
|
|
(2, "/foo.rs"),
|
|
|
|
]));
|
|
|
|
assert_eq!(
|
2018-09-02 08:36:03 -05:00
|
|
|
snap.crate_for(FileId(2)),
|
2018-08-31 11:14:08 -05:00
|
|
|
vec![CrateId(1)],
|
|
|
|
);
|
|
|
|
}
|