aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_editor/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_editor/src/lib.rs')
-rw-r--r--crates/ra_editor/src/lib.rs114
1 files changed, 2 insertions, 112 deletions
diff --git a/crates/ra_editor/src/lib.rs b/crates/ra_editor/src/lib.rs
index 9043026c1..a65637d52 100644
--- a/crates/ra_editor/src/lib.rs
+++ b/crates/ra_editor/src/lib.rs
@@ -7,6 +7,7 @@ mod symbols;
7#[cfg(test)] 7#[cfg(test)]
8mod test_utils; 8mod test_utils;
9mod typing; 9mod typing;
10mod diagnostics;
10 11
11pub use self::{ 12pub use self::{
12 code_actions::{add_derive, add_impl, flip_comma, introduce_variable, make_pub_crate, LocalEdit}, 13 code_actions::{add_derive, add_impl, flip_comma, introduce_variable, make_pub_crate, LocalEdit},
@@ -16,17 +17,16 @@ pub use self::{
16 line_index_utils::translate_offset_with_edit, 17 line_index_utils::translate_offset_with_edit,
17 symbols::{file_structure, file_symbols, FileSymbol, StructureNode}, 18 symbols::{file_structure, file_symbols, FileSymbol, StructureNode},
18 typing::{join_lines, on_enter, on_eq_typed}, 19 typing::{join_lines, on_enter, on_eq_typed},
20 diagnostics::diagnostics
19}; 21};
20use ra_text_edit::{TextEdit, TextEditBuilder}; 22use ra_text_edit::{TextEdit, TextEditBuilder};
21use ra_syntax::{ 23use ra_syntax::{
22 algo::find_leaf_at_offset, 24 algo::find_leaf_at_offset,
23 ast::{self, AstNode, NameOwner}, 25 ast::{self, AstNode, NameOwner},
24 SourceFileNode, 26 SourceFileNode,
25 Location,
26 SyntaxKind::{self, *}, 27 SyntaxKind::{self, *},
27 SyntaxNodeRef, TextRange, TextUnit, Direction, 28 SyntaxNodeRef, TextRange, TextUnit, Direction,
28}; 29};
29use itertools::Itertools;
30use rustc_hash::FxHashSet; 30use rustc_hash::FxHashSet;
31 31
32#[derive(Debug)] 32#[derive(Debug)]
@@ -129,87 +129,6 @@ pub fn highlight(file: &SourceFileNode) -> Vec<HighlightedRange> {
129 res 129 res
130} 130}
131 131
132pub fn diagnostics(file: &SourceFileNode) -> Vec<Diagnostic> {
133 fn location_to_range(location: Location) -> TextRange {
134 match location {
135 Location::Offset(offset) => TextRange::offset_len(offset, 1.into()),
136 Location::Range(range) => range,
137 }
138 }
139
140 let mut errors: Vec<Diagnostic> = file
141 .errors()
142 .into_iter()
143 .map(|err| Diagnostic {
144 range: location_to_range(err.location()),
145 msg: format!("Syntax Error: {}", err),
146 severity: Severity::Error,
147 fix: None,
148 })
149 .collect();
150
151 let warnings = check_unnecessary_braces_in_use_statement(file);
152
153 errors.extend(warnings);
154 errors
155}
156
157fn check_unnecessary_braces_in_use_statement(file: &SourceFileNode) -> Vec<Diagnostic> {
158 let mut diagnostics = Vec::new();
159 for node in file.syntax().descendants() {
160 if let Some(use_tree_list) = ast::UseTreeList::cast(node) {
161 if let Some((single_use_tree,)) = use_tree_list.use_trees().collect_tuple() {
162 let range = use_tree_list.syntax().range();
163 let edit = text_edit_for_remove_unnecessary_braces_with_self_in_use_statement(
164 single_use_tree,
165 )
166 .unwrap_or_else(|| {
167 let to_replace = single_use_tree.syntax().text().to_string();
168 let mut edit_builder = TextEditBuilder::new();
169 edit_builder.delete(range);
170 edit_builder.insert(range.start(), to_replace);
171 edit_builder.finish()
172 });
173
174 diagnostics.push(Diagnostic {
175 range: range,
176 msg: format!("Unnecessary braces in use statement"),
177 severity: Severity::WeakWarning,
178 fix: Some(LocalEdit {
179 label: "Remove unnecessary braces".to_string(),
180 edit: edit,
181 cursor_position: None,
182 }),
183 })
184 }
185 }
186 }
187
188 diagnostics
189}
190
191fn text_edit_for_remove_unnecessary_braces_with_self_in_use_statement(
192 single_use_tree: ast::UseTree,
193) -> Option<TextEdit> {
194 let use_tree_list_node = single_use_tree.syntax().parent()?;
195 if single_use_tree
196 .path()?
197 .segment()?
198 .syntax()
199 .first_child()?
200 .kind()
201 == SyntaxKind::SELF_KW
202 {
203 let start = use_tree_list_node.prev_sibling()?.range().start();
204 let end = use_tree_list_node.range().end();
205 let range = TextRange::from_to(start, end);
206 let mut edit_builder = TextEditBuilder::new();
207 edit_builder.delete(range);
208 return Some(edit_builder.finish());
209 }
210 None
211}
212
213pub fn syntax_tree(file: &SourceFileNode) -> String { 132pub fn syntax_tree(file: &SourceFileNode) -> String {
214 ::ra_syntax::utils::dump_tree(file.syntax()) 133 ::ra_syntax::utils::dump_tree(file.syntax())
215} 134}
@@ -310,33 +229,4 @@ fn test_foo() {}
310 do_check("struct Foo { a: i32, }<|>", "struct Foo <|>{ a: i32, }"); 229 do_check("struct Foo { a: i32, }<|>", "struct Foo <|>{ a: i32, }");
311 } 230 }
312 231
313 #[test]
314 fn test_check_unnecessary_braces_in_use_statement() {
315 fn check_not_applicable(code: &str) {
316 let file = SourceFileNode::parse(code);
317 let diagnostics = check_unnecessary_braces_in_use_statement(&file);
318 assert!(diagnostics.is_empty());
319 }
320
321 fn check_apply(before: &str, after: &str) {
322 let file = SourceFileNode::parse(before);
323 let diagnostic = check_unnecessary_braces_in_use_statement(&file)
324 .pop()
325 .unwrap_or_else(|| panic!("no diagnostics for:\n{}\n", before));
326 let fix = diagnostic.fix.unwrap();
327 let actual = fix.edit.apply(&before);
328 assert_eq_text!(after, &actual);
329 }
330
331 check_not_applicable(
332 "
333 use a;
334 use a::{c, d::e};
335 ",
336 );
337 check_apply("use {b};", "use b;");
338 check_apply("use a::{c};", "use a::c;");
339 check_apply("use a::{self};", "use a;");
340 check_apply("use a::{c, d::{e}};", "use a::{c, d::e};");
341 }
342} 232}