diff options
Diffstat (limited to 'crates')
-rw-r--r-- | crates/ra_ide_api/src/completion/complete_macro_in_item_position.rs | 62 | ||||
-rw-r--r-- | crates/ra_ide_api/src/completion/presentation.rs | 36 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/conv.rs | 106 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/main_loop.rs | 24 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/main_loop/handlers.rs | 10 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/world.rs | 1 |
6 files changed, 208 insertions, 31 deletions
diff --git a/crates/ra_ide_api/src/completion/complete_macro_in_item_position.rs b/crates/ra_ide_api/src/completion/complete_macro_in_item_position.rs index d808b2357..09f743c66 100644 --- a/crates/ra_ide_api/src/completion/complete_macro_in_item_position.rs +++ b/crates/ra_ide_api/src/completion/complete_macro_in_item_position.rs | |||
@@ -56,6 +56,16 @@ mod tests { | |||
56 | do_reference_completion( | 56 | do_reference_completion( |
57 | " | 57 | " |
58 | //- /main.rs | 58 | //- /main.rs |
59 | /// Creates a [`Vec`] containing the arguments. | ||
60 | /// | ||
61 | /// - Create a [`Vec`] containing a given list of elements: | ||
62 | /// | ||
63 | /// ``` | ||
64 | /// let v = vec![1, 2, 3]; | ||
65 | /// assert_eq!(v[0], 1); | ||
66 | /// assert_eq!(v[1], 2); | ||
67 | /// assert_eq!(v[2], 3); | ||
68 | /// ``` | ||
59 | macro_rules! vec { | 69 | macro_rules! vec { |
60 | () => {} | 70 | () => {} |
61 | } | 71 | } |
@@ -68,13 +78,61 @@ mod tests { | |||
68 | @r##"[ | 78 | @r##"[ |
69 | CompletionItem { | 79 | CompletionItem { |
70 | label: "vec!", | 80 | label: "vec!", |
71 | source_range: [46; 46), | 81 | source_range: [280; 280), |
72 | delete: [46; 46), | 82 | delete: [280; 280), |
73 | insert: "vec![$0]", | 83 | insert: "vec![$0]", |
74 | kind: Macro, | 84 | kind: Macro, |
75 | detail: "macro_rules! vec", | 85 | detail: "macro_rules! vec", |
86 | documentation: Documentation( | ||
87 | "Creates a [`Vec`] containing the arguments.\n\n- Create a [`Vec`] containing a given list of elements:\n\n```\nlet v = vec![1, 2, 3];\nassert_eq!(v[0], 1);\nassert_eq!(v[1], 2);\nassert_eq!(v[2], 3);\n```", | ||
88 | ), | ||
76 | }, | 89 | }, |
77 | ]"## | 90 | ]"## |
78 | ); | 91 | ); |
79 | } | 92 | } |
93 | |||
94 | #[test] | ||
95 | fn completes_macros_braces_guessing() { | ||
96 | assert_debug_snapshot!( | ||
97 | do_reference_completion( | ||
98 | " | ||
99 | //- /main.rs | ||
100 | /// Foo | ||
101 | /// | ||
102 | /// Not call `fooo!()` `fooo!()`, or `_foo![]` `_foo![]`. | ||
103 | /// Call as `let _=foo! { hello world };` | ||
104 | macro_rules! foo { | ||
105 | () => {} | ||
106 | } | ||
107 | |||
108 | fn main() { | ||
109 | <|> | ||
110 | } | ||
111 | " | ||
112 | ), | ||
113 | @r###"[ | ||
114 | CompletionItem { | ||
115 | label: "foo!", | ||
116 | source_range: [163; 163), | ||
117 | delete: [163; 163), | ||
118 | insert: "foo! {$0}", | ||
119 | kind: Macro, | ||
120 | detail: "macro_rules! foo", | ||
121 | documentation: Documentation( | ||
122 | "Foo\n\nNot call `fooo!()` `fooo!()`, or `_foo![]` `_foo![]`.\nCall as `let _=foo! { hello world };`", | ||
123 | ), | ||
124 | }, | ||
125 | CompletionItem { | ||
126 | label: "main()", | ||
127 | source_range: [163; 163), | ||
128 | delete: [163; 163), | ||
129 | insert: "main()$0", | ||
130 | kind: Function, | ||
131 | lookup: "main", | ||
132 | detail: "fn main()", | ||
133 | }, | ||
134 | ] | ||
135 | "### | ||
136 | ); | ||
137 | } | ||
80 | } | 138 | } |
diff --git a/crates/ra_ide_api/src/completion/presentation.rs b/crates/ra_ide_api/src/completion/presentation.rs index 20242d293..aed4ce6d4 100644 --- a/crates/ra_ide_api/src/completion/presentation.rs +++ b/crates/ra_ide_api/src/completion/presentation.rs | |||
@@ -131,6 +131,33 @@ impl Completions { | |||
131 | self.add_function_with_name(ctx, None, func) | 131 | self.add_function_with_name(ctx, None, func) |
132 | } | 132 | } |
133 | 133 | ||
134 | fn guess_macro_braces(&self, macro_name: &str, docs: &str) -> &'static str { | ||
135 | let mut votes = [0, 0, 0]; | ||
136 | for (idx, s) in docs.match_indices(¯o_name) { | ||
137 | let (before, after) = (&docs[..idx], &docs[idx + s.len()..]); | ||
138 | // Ensure to match the full word | ||
139 | if after.starts_with("!") | ||
140 | && before | ||
141 | .chars() | ||
142 | .rev() | ||
143 | .next() | ||
144 | .map_or(true, |c| c != '_' && !c.is_ascii_alphanumeric()) | ||
145 | { | ||
146 | // It may have spaces before the braces like `foo! {}` | ||
147 | match after[1..].chars().find(|&c| !c.is_whitespace()) { | ||
148 | Some('{') => votes[0] += 1, | ||
149 | Some('[') => votes[1] += 1, | ||
150 | Some('(') => votes[2] += 1, | ||
151 | _ => {} | ||
152 | } | ||
153 | } | ||
154 | } | ||
155 | |||
156 | // Insert a space before `{}`. | ||
157 | // We prefer the last one when some votes equal. | ||
158 | *votes.iter().zip(&[" {$0}", "[$0]", "($0)"]).max_by_key(|&(&vote, _)| vote).unwrap().1 | ||
159 | } | ||
160 | |||
134 | pub(crate) fn add_macro( | 161 | pub(crate) fn add_macro( |
135 | &mut self, | 162 | &mut self, |
136 | ctx: &CompletionContext, | 163 | ctx: &CompletionContext, |
@@ -141,10 +168,9 @@ impl Completions { | |||
141 | if let Some(name) = name { | 168 | if let Some(name) = name { |
142 | let detail = macro_label(&ast_node); | 169 | let detail = macro_label(&ast_node); |
143 | 170 | ||
144 | let macro_braces_to_insert = match name.as_str() { | 171 | let docs = macro_.docs(ctx.db); |
145 | "vec" => "[$0]", | 172 | let macro_braces_to_insert = |
146 | _ => "($0)", | 173 | self.guess_macro_braces(&name, docs.as_ref().map_or("", |s| s.as_str())); |
147 | }; | ||
148 | let macro_declaration = name + "!"; | 174 | let macro_declaration = name + "!"; |
149 | 175 | ||
150 | let builder = CompletionItem::new( | 176 | let builder = CompletionItem::new( |
@@ -153,7 +179,7 @@ impl Completions { | |||
153 | ¯o_declaration, | 179 | ¯o_declaration, |
154 | ) | 180 | ) |
155 | .kind(CompletionItemKind::Macro) | 181 | .kind(CompletionItemKind::Macro) |
156 | .set_documentation(macro_.docs(ctx.db)) | 182 | .set_documentation(docs) |
157 | .detail(detail) | 183 | .detail(detail) |
158 | .insert_snippet(macro_declaration + macro_braces_to_insert); | 184 | .insert_snippet(macro_declaration + macro_braces_to_insert); |
159 | 185 | ||
diff --git a/crates/ra_lsp_server/src/conv.rs b/crates/ra_lsp_server/src/conv.rs index 1318a1738..ee503633d 100644 --- a/crates/ra_lsp_server/src/conv.rs +++ b/crates/ra_lsp_server/src/conv.rs | |||
@@ -227,22 +227,57 @@ impl ConvWith<(&LineIndex, LineEndings)> for &AtomTextEdit { | |||
227 | } | 227 | } |
228 | } | 228 | } |
229 | 229 | ||
230 | impl ConvWith<&LineIndex> for Fold { | 230 | pub(crate) struct FoldConvCtx<'a> { |
231 | pub(crate) text: &'a str, | ||
232 | pub(crate) line_index: &'a LineIndex, | ||
233 | pub(crate) line_folding_only: bool, | ||
234 | } | ||
235 | |||
236 | impl ConvWith<&FoldConvCtx<'_>> for Fold { | ||
231 | type Output = lsp_types::FoldingRange; | 237 | type Output = lsp_types::FoldingRange; |
232 | 238 | ||
233 | fn conv_with(self, line_index: &LineIndex) -> lsp_types::FoldingRange { | 239 | fn conv_with(self, ctx: &FoldConvCtx) -> lsp_types::FoldingRange { |
234 | let range = self.range.conv_with(&line_index); | 240 | let kind = match self.kind { |
235 | lsp_types::FoldingRange { | 241 | FoldKind::Comment => Some(lsp_types::FoldingRangeKind::Comment), |
236 | start_line: range.start.line, | 242 | FoldKind::Imports => Some(lsp_types::FoldingRangeKind::Imports), |
237 | start_character: Some(range.start.character), | 243 | FoldKind::Mods => None, |
238 | end_line: range.end.line, | 244 | FoldKind::Block => None, |
239 | end_character: Some(range.end.character), | 245 | }; |
240 | kind: match self.kind { | 246 | |
241 | FoldKind::Comment => Some(lsp_types::FoldingRangeKind::Comment), | 247 | let range = self.range.conv_with(&ctx.line_index); |
242 | FoldKind::Imports => Some(lsp_types::FoldingRangeKind::Imports), | 248 | |
243 | FoldKind::Mods => None, | 249 | if ctx.line_folding_only { |
244 | FoldKind::Block => None, | 250 | // Clients with line_folding_only == true (such as VSCode) will fold the whole end line |
245 | }, | 251 | // even if it contains text not in the folding range. To prevent that we exclude |
252 | // range.end.line from the folding region if there is more text after range.end | ||
253 | // on the same line. | ||
254 | let has_more_text_on_end_line = ctx.text | ||
255 | [TextRange::from_to(self.range.end(), TextUnit::of_str(ctx.text))] | ||
256 | .chars() | ||
257 | .take_while(|it| *it != '\n') | ||
258 | .any(|it| !it.is_whitespace()); | ||
259 | |||
260 | let end_line = if has_more_text_on_end_line { | ||
261 | range.end.line.saturating_sub(1) | ||
262 | } else { | ||
263 | range.end.line | ||
264 | }; | ||
265 | |||
266 | lsp_types::FoldingRange { | ||
267 | start_line: range.start.line, | ||
268 | start_character: None, | ||
269 | end_line, | ||
270 | end_character: None, | ||
271 | kind, | ||
272 | } | ||
273 | } else { | ||
274 | lsp_types::FoldingRange { | ||
275 | start_line: range.start.line, | ||
276 | start_character: Some(range.start.character), | ||
277 | end_line: range.end.line, | ||
278 | end_character: Some(range.end.character), | ||
279 | kind, | ||
280 | } | ||
246 | } | 281 | } |
247 | } | 282 | } |
248 | } | 283 | } |
@@ -512,3 +547,46 @@ where | |||
512 | self.map(|it| it.try_conv_with(ctx)).collect() | 547 | self.map(|it| it.try_conv_with(ctx)).collect() |
513 | } | 548 | } |
514 | } | 549 | } |
550 | |||
551 | #[cfg(test)] | ||
552 | mod tests { | ||
553 | use super::*; | ||
554 | use test_utils::extract_ranges; | ||
555 | |||
556 | #[test] | ||
557 | fn conv_fold_line_folding_only_fixup() { | ||
558 | let text = r#"<fold>mod a; | ||
559 | mod b; | ||
560 | mod c;</fold> | ||
561 | |||
562 | fn main() <fold>{ | ||
563 | if cond <fold>{ | ||
564 | a::do_a(); | ||
565 | }</fold> else <fold>{ | ||
566 | b::do_b(); | ||
567 | }</fold> | ||
568 | }</fold>"#; | ||
569 | |||
570 | let (ranges, text) = extract_ranges(text, "fold"); | ||
571 | assert_eq!(ranges.len(), 4); | ||
572 | let folds = vec![ | ||
573 | Fold { range: ranges[0], kind: FoldKind::Mods }, | ||
574 | Fold { range: ranges[1], kind: FoldKind::Block }, | ||
575 | Fold { range: ranges[2], kind: FoldKind::Block }, | ||
576 | Fold { range: ranges[3], kind: FoldKind::Block }, | ||
577 | ]; | ||
578 | |||
579 | let line_index = LineIndex::new(&text); | ||
580 | let ctx = FoldConvCtx { text: &text, line_index: &line_index, line_folding_only: true }; | ||
581 | let converted: Vec<_> = folds.into_iter().map_conv_with(&ctx).collect(); | ||
582 | |||
583 | let expected_lines = [(0, 2), (4, 10), (5, 6), (7, 9)]; | ||
584 | assert_eq!(converted.len(), expected_lines.len()); | ||
585 | for (folding_range, (start_line, end_line)) in converted.iter().zip(expected_lines.iter()) { | ||
586 | assert_eq!(folding_range.start_line, *start_line); | ||
587 | assert_eq!(folding_range.start_character, None); | ||
588 | assert_eq!(folding_range.end_line, *end_line); | ||
589 | assert_eq!(folding_range.end_character, None); | ||
590 | } | ||
591 | } | ||
592 | } | ||
diff --git a/crates/ra_lsp_server/src/main_loop.rs b/crates/ra_lsp_server/src/main_loop.rs index 35c35d32b..0b5d9c44d 100644 --- a/crates/ra_lsp_server/src/main_loop.rs +++ b/crates/ra_lsp_server/src/main_loop.rs | |||
@@ -111,6 +111,21 @@ pub fn main_loop( | |||
111 | connection.sender.send(request.into()).unwrap(); | 111 | connection.sender.send(request.into()).unwrap(); |
112 | } | 112 | } |
113 | 113 | ||
114 | let options = { | ||
115 | let text_document_caps = client_caps.text_document.as_ref(); | ||
116 | Options { | ||
117 | publish_decorations: config.publish_decorations, | ||
118 | supports_location_link: text_document_caps | ||
119 | .and_then(|it| it.definition) | ||
120 | .and_then(|it| it.link_support) | ||
121 | .unwrap_or(false), | ||
122 | line_folding_only: text_document_caps | ||
123 | .and_then(|it| it.folding_range.as_ref()) | ||
124 | .and_then(|it| it.line_folding_only) | ||
125 | .unwrap_or(false), | ||
126 | } | ||
127 | }; | ||
128 | |||
114 | let feature_flags = { | 129 | let feature_flags = { |
115 | let mut ff = FeatureFlags::default(); | 130 | let mut ff = FeatureFlags::default(); |
116 | for (flag, value) in config.feature_flags { | 131 | for (flag, value) in config.feature_flags { |
@@ -133,14 +148,7 @@ pub fn main_loop( | |||
133 | config.lru_capacity, | 148 | config.lru_capacity, |
134 | &globs, | 149 | &globs, |
135 | Watch(!config.use_client_watching), | 150 | Watch(!config.use_client_watching), |
136 | Options { | 151 | options, |
137 | publish_decorations: config.publish_decorations, | ||
138 | supports_location_link: client_caps | ||
139 | .text_document | ||
140 | .and_then(|it| it.definition) | ||
141 | .and_then(|it| it.link_support) | ||
142 | .unwrap_or(false), | ||
143 | }, | ||
144 | feature_flags, | 152 | feature_flags, |
145 | ) | 153 | ) |
146 | }; | 154 | }; |
diff --git a/crates/ra_lsp_server/src/main_loop/handlers.rs b/crates/ra_lsp_server/src/main_loop/handlers.rs index 10e271376..af3cd04ea 100644 --- a/crates/ra_lsp_server/src/main_loop/handlers.rs +++ b/crates/ra_lsp_server/src/main_loop/handlers.rs | |||
@@ -18,7 +18,7 @@ use serde_json::to_value; | |||
18 | 18 | ||
19 | use crate::{ | 19 | use crate::{ |
20 | cargo_target_spec::{runnable_args, CargoTargetSpec}, | 20 | cargo_target_spec::{runnable_args, CargoTargetSpec}, |
21 | conv::{to_location, Conv, ConvWith, MapConvWith, TryConvWith, TryConvWithToVec}, | 21 | conv::{to_location, Conv, ConvWith, FoldConvCtx, MapConvWith, TryConvWith, TryConvWithToVec}, |
22 | req::{self, Decoration, InlayHint, InlayHintsParams, InlayKind}, | 22 | req::{self, Decoration, InlayHint, InlayHintsParams, InlayKind}, |
23 | world::WorldSnapshot, | 23 | world::WorldSnapshot, |
24 | LspError, Result, | 24 | LspError, Result, |
@@ -383,8 +383,14 @@ pub fn handle_folding_range( | |||
383 | ) -> Result<Option<Vec<FoldingRange>>> { | 383 | ) -> Result<Option<Vec<FoldingRange>>> { |
384 | let file_id = params.text_document.try_conv_with(&world)?; | 384 | let file_id = params.text_document.try_conv_with(&world)?; |
385 | let folds = world.analysis().folding_ranges(file_id)?; | 385 | let folds = world.analysis().folding_ranges(file_id)?; |
386 | let text = world.analysis().file_text(file_id)?; | ||
386 | let line_index = world.analysis().file_line_index(file_id)?; | 387 | let line_index = world.analysis().file_line_index(file_id)?; |
387 | let res = Some(folds.into_iter().map_conv_with(&*line_index).collect()); | 388 | let ctx = FoldConvCtx { |
389 | text: &text, | ||
390 | line_index: &line_index, | ||
391 | line_folding_only: world.options.line_folding_only, | ||
392 | }; | ||
393 | let res = Some(folds.into_iter().map_conv_with(&ctx).collect()); | ||
388 | Ok(res) | 394 | Ok(res) |
389 | } | 395 | } |
390 | 396 | ||
diff --git a/crates/ra_lsp_server/src/world.rs b/crates/ra_lsp_server/src/world.rs index 0eb684de5..51824e7a3 100644 --- a/crates/ra_lsp_server/src/world.rs +++ b/crates/ra_lsp_server/src/world.rs | |||
@@ -27,6 +27,7 @@ use crate::{ | |||
27 | pub struct Options { | 27 | pub struct Options { |
28 | pub publish_decorations: bool, | 28 | pub publish_decorations: bool, |
29 | pub supports_location_link: bool, | 29 | pub supports_location_link: bool, |
30 | pub line_folding_only: bool, | ||
30 | } | 31 | } |
31 | 32 | ||
32 | /// `WorldState` is the primary mutable state of the language server | 33 | /// `WorldState` is the primary mutable state of the language server |