diff options
author | Jonas Schievink <[email protected]> | 2021-02-01 12:20:35 +0000 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2021-02-01 12:33:18 +0000 |
commit | 80ae583dc02967f329254ed0949f1158c5304d83 (patch) | |
tree | af470e5fe493caed21a3afd64b12e6cb93a55f44 /crates/hir_def/src/body | |
parent | 9cc7d57429542a547f2ea57cf99e370b67e24564 (diff) |
Use body lowering for block_def_map tests
Removes the hacky and buggy custom lowering code
Diffstat (limited to 'crates/hir_def/src/body')
-rw-r--r-- | crates/hir_def/src/body/tests.rs | 116 | ||||
-rw-r--r-- | crates/hir_def/src/body/tests/block.rs | 187 |
2 files changed, 301 insertions, 2 deletions
diff --git a/crates/hir_def/src/body/tests.rs b/crates/hir_def/src/body/tests.rs index 2e5d0a01e..da60072ce 100644 --- a/crates/hir_def/src/body/tests.rs +++ b/crates/hir_def/src/body/tests.rs | |||
@@ -1,7 +1,10 @@ | |||
1 | use base_db::{fixture::WithFixture, SourceDatabase}; | 1 | mod block; |
2 | |||
3 | use base_db::{fixture::WithFixture, FilePosition, SourceDatabase}; | ||
4 | use expect_test::Expect; | ||
2 | use test_utils::mark; | 5 | use test_utils::mark; |
3 | 6 | ||
4 | use crate::{test_db::TestDB, ModuleDefId}; | 7 | use crate::{test_db::TestDB, BlockId, ModuleDefId}; |
5 | 8 | ||
6 | use super::*; | 9 | use super::*; |
7 | 10 | ||
@@ -31,6 +34,115 @@ fn check_diagnostics(ra_fixture: &str) { | |||
31 | db.check_diagnostics(); | 34 | db.check_diagnostics(); |
32 | } | 35 | } |
33 | 36 | ||
37 | fn block_def_map_at(ra_fixture: &str) -> Arc<DefMap> { | ||
38 | let (db, position) = crate::test_db::TestDB::with_position(ra_fixture); | ||
39 | |||
40 | let krate = db.crate_graph().iter().next().unwrap(); | ||
41 | let def_map = db.crate_def_map(krate); | ||
42 | |||
43 | let mut block = | ||
44 | block_at_pos(&db, &def_map, position).expect("couldn't find enclosing function or block"); | ||
45 | loop { | ||
46 | let def_map = db.block_def_map(block); | ||
47 | let new_block = block_at_pos(&db, &def_map, position); | ||
48 | match new_block { | ||
49 | Some(new_block) => { | ||
50 | assert_ne!(block, new_block); | ||
51 | block = new_block; | ||
52 | } | ||
53 | None => { | ||
54 | return def_map; | ||
55 | } | ||
56 | } | ||
57 | } | ||
58 | } | ||
59 | |||
60 | fn block_at_pos(db: &dyn DefDatabase, def_map: &DefMap, position: FilePosition) -> Option<BlockId> { | ||
61 | let mut size = None; | ||
62 | let mut fn_def = None; | ||
63 | for (_, module) in def_map.modules() { | ||
64 | let file_id = module.definition_source(db).file_id; | ||
65 | if file_id != position.file_id.into() { | ||
66 | continue; | ||
67 | } | ||
68 | let root = db.parse_or_expand(file_id).unwrap(); | ||
69 | let ast_map = db.ast_id_map(file_id); | ||
70 | let item_tree = db.item_tree(file_id); | ||
71 | for decl in module.scope.declarations() { | ||
72 | if let ModuleDefId::FunctionId(it) = decl { | ||
73 | let ast = ast_map.get(item_tree[it.lookup(db).id.value].ast_id).to_node(&root); | ||
74 | let range = ast.syntax().text_range(); | ||
75 | |||
76 | // Find the smallest (innermost) function containing the cursor. | ||
77 | if !range.contains(position.offset) { | ||
78 | continue; | ||
79 | } | ||
80 | |||
81 | let new_size = match size { | ||
82 | None => range.len(), | ||
83 | Some(size) => { | ||
84 | if range.len() < size { | ||
85 | range.len() | ||
86 | } else { | ||
87 | size | ||
88 | } | ||
89 | } | ||
90 | }; | ||
91 | if size != Some(new_size) { | ||
92 | size = Some(new_size); | ||
93 | fn_def = Some(it); | ||
94 | } | ||
95 | } | ||
96 | } | ||
97 | } | ||
98 | |||
99 | let (body, source_map) = db.body_with_source_map(fn_def?.into()); | ||
100 | |||
101 | // Now find the smallest encompassing block expression in the function body. | ||
102 | let mut size = None; | ||
103 | let mut block_id = None; | ||
104 | for (expr_id, expr) in body.exprs.iter() { | ||
105 | if let Expr::Block { id, .. } = expr { | ||
106 | if let Ok(ast) = source_map.expr_syntax(expr_id) { | ||
107 | if ast.file_id != position.file_id.into() { | ||
108 | continue; | ||
109 | } | ||
110 | |||
111 | let root = db.parse_or_expand(ast.file_id).unwrap(); | ||
112 | let ast = ast.value.to_node(&root); | ||
113 | let range = ast.syntax().text_range(); | ||
114 | |||
115 | if !range.contains(position.offset) { | ||
116 | continue; | ||
117 | } | ||
118 | |||
119 | let new_size = match size { | ||
120 | None => range.len(), | ||
121 | Some(size) => { | ||
122 | if range.len() < size { | ||
123 | range.len() | ||
124 | } else { | ||
125 | size | ||
126 | } | ||
127 | } | ||
128 | }; | ||
129 | if size != Some(new_size) { | ||
130 | size = Some(new_size); | ||
131 | block_id = Some(*id); | ||
132 | } | ||
133 | } | ||
134 | } | ||
135 | } | ||
136 | |||
137 | Some(block_id.expect("can't find block containing cursor")) | ||
138 | } | ||
139 | |||
140 | fn check_at(ra_fixture: &str, expect: Expect) { | ||
141 | let def_map = block_def_map_at(ra_fixture); | ||
142 | let actual = def_map.dump(); | ||
143 | expect.assert_eq(&actual); | ||
144 | } | ||
145 | |||
34 | #[test] | 146 | #[test] |
35 | fn your_stack_belongs_to_me() { | 147 | fn your_stack_belongs_to_me() { |
36 | mark::check!(your_stack_belongs_to_me); | 148 | mark::check!(your_stack_belongs_to_me); |
diff --git a/crates/hir_def/src/body/tests/block.rs b/crates/hir_def/src/body/tests/block.rs new file mode 100644 index 000000000..6b1ed2555 --- /dev/null +++ b/crates/hir_def/src/body/tests/block.rs | |||
@@ -0,0 +1,187 @@ | |||
1 | use super::*; | ||
2 | use expect_test::expect; | ||
3 | |||
4 | #[test] | ||
5 | fn inner_item_smoke() { | ||
6 | check_at( | ||
7 | r#" | ||
8 | struct inner {} | ||
9 | fn outer() { | ||
10 | $0 | ||
11 | fn inner() {} | ||
12 | } | ||
13 | "#, | ||
14 | expect![[r#" | ||
15 | block scope | ||
16 | inner: v | ||
17 | crate | ||
18 | inner: t | ||
19 | outer: v | ||
20 | "#]], | ||
21 | ); | ||
22 | } | ||
23 | |||
24 | #[test] | ||
25 | fn use_from_crate() { | ||
26 | check_at( | ||
27 | r#" | ||
28 | struct Struct; | ||
29 | fn outer() { | ||
30 | use Struct; | ||
31 | use crate::Struct as CrateStruct; | ||
32 | use self::Struct as SelfStruct; | ||
33 | $0 | ||
34 | } | ||
35 | "#, | ||
36 | expect![[r#" | ||
37 | block scope | ||
38 | CrateStruct: t v | ||
39 | SelfStruct: t v | ||
40 | Struct: t v | ||
41 | crate | ||
42 | Struct: t v | ||
43 | outer: v | ||
44 | "#]], | ||
45 | ); | ||
46 | } | ||
47 | |||
48 | #[test] | ||
49 | fn merge_namespaces() { | ||
50 | check_at( | ||
51 | r#" | ||
52 | struct name {} | ||
53 | fn outer() { | ||
54 | fn name() {} | ||
55 | |||
56 | use name as imported; // should import both `name`s | ||
57 | |||
58 | $0 | ||
59 | } | ||
60 | "#, | ||
61 | expect![[r#" | ||
62 | block scope | ||
63 | imported: t v | ||
64 | name: v | ||
65 | crate | ||
66 | name: t | ||
67 | outer: v | ||
68 | "#]], | ||
69 | ); | ||
70 | } | ||
71 | |||
72 | #[test] | ||
73 | fn nested_blocks() { | ||
74 | check_at( | ||
75 | r#" | ||
76 | fn outer() { | ||
77 | struct inner1 {} | ||
78 | fn inner() { | ||
79 | use inner1; | ||
80 | use outer; | ||
81 | fn inner2() {} | ||
82 | $0 | ||
83 | } | ||
84 | } | ||
85 | "#, | ||
86 | expect![[r#" | ||
87 | block scope | ||
88 | inner1: t | ||
89 | inner2: v | ||
90 | outer: v | ||
91 | block scope | ||
92 | inner: v | ||
93 | inner1: t | ||
94 | crate | ||
95 | outer: v | ||
96 | "#]], | ||
97 | ); | ||
98 | } | ||
99 | |||
100 | #[test] | ||
101 | fn super_imports() { | ||
102 | check_at( | ||
103 | r#" | ||
104 | mod module { | ||
105 | fn f() { | ||
106 | use super::Struct; | ||
107 | $0 | ||
108 | } | ||
109 | } | ||
110 | |||
111 | struct Struct {} | ||
112 | "#, | ||
113 | expect![[r#" | ||
114 | block scope | ||
115 | Struct: t | ||
116 | crate | ||
117 | Struct: t | ||
118 | module: t | ||
119 | |||
120 | crate::module | ||
121 | f: v | ||
122 | "#]], | ||
123 | ); | ||
124 | } | ||
125 | |||
126 | #[test] | ||
127 | fn legacy_macro_items() { | ||
128 | // Checks that legacy-scoped `macro_rules!` from parent namespaces are resolved and expanded | ||
129 | // correctly. | ||
130 | check_at( | ||
131 | r#" | ||
132 | macro_rules! hit { | ||
133 | () => { | ||
134 | struct Hit {} | ||
135 | } | ||
136 | } | ||
137 | |||
138 | fn f() { | ||
139 | hit!(); | ||
140 | $0 | ||
141 | } | ||
142 | "#, | ||
143 | expect![[r#" | ||
144 | block scope | ||
145 | Hit: t | ||
146 | crate | ||
147 | f: v | ||
148 | "#]], | ||
149 | ); | ||
150 | } | ||
151 | |||
152 | #[test] | ||
153 | fn macro_resolve() { | ||
154 | check_at( | ||
155 | r#" | ||
156 | //- /lib.rs crate:lib deps:core | ||
157 | use core::mark; | ||
158 | |||
159 | fn f() { | ||
160 | fn nested() { | ||
161 | mark::hit!(Hit); | ||
162 | $0 | ||
163 | } | ||
164 | } | ||
165 | //- /core.rs crate:core | ||
166 | pub mod mark { | ||
167 | #[macro_export] | ||
168 | macro_rules! _hit { | ||
169 | ($name:ident) => { | ||
170 | struct $name {} | ||
171 | } | ||
172 | } | ||
173 | |||
174 | pub use crate::_hit as hit; | ||
175 | } | ||
176 | "#, | ||
177 | expect![[r#" | ||
178 | block scope | ||
179 | Hit: t | ||
180 | block scope | ||
181 | nested: v | ||
182 | crate | ||
183 | f: v | ||
184 | mark: t | ||
185 | "#]], | ||
186 | ); | ||
187 | } | ||