diff options
Diffstat (limited to 'crates/completion/src/render/pattern.rs')
-rw-r--r-- | crates/completion/src/render/pattern.rs | 146 |
1 files changed, 0 insertions, 146 deletions
diff --git a/crates/completion/src/render/pattern.rs b/crates/completion/src/render/pattern.rs deleted file mode 100644 index 61d8a17e5..000000000 --- a/crates/completion/src/render/pattern.rs +++ /dev/null | |||
@@ -1,146 +0,0 @@ | |||
1 | //! Renderer for patterns. | ||
2 | |||
3 | use hir::{db::HirDatabase, HasAttrs, HasVisibility, Name, StructKind}; | ||
4 | use ide_db::helpers::SnippetCap; | ||
5 | use itertools::Itertools; | ||
6 | |||
7 | use crate::{item::CompletionKind, render::RenderContext, CompletionItem, CompletionItemKind}; | ||
8 | |||
9 | fn visible_fields( | ||
10 | ctx: &RenderContext<'_>, | ||
11 | fields: &[hir::Field], | ||
12 | item: impl HasAttrs, | ||
13 | ) -> Option<(Vec<hir::Field>, bool)> { | ||
14 | let module = ctx.completion.scope.module()?; | ||
15 | let n_fields = fields.len(); | ||
16 | let fields = fields | ||
17 | .into_iter() | ||
18 | .filter(|field| field.is_visible_from(ctx.db(), module)) | ||
19 | .copied() | ||
20 | .collect::<Vec<_>>(); | ||
21 | |||
22 | let fields_omitted = | ||
23 | n_fields - fields.len() > 0 || item.attrs(ctx.db()).by_key("non_exhaustive").exists(); | ||
24 | Some((fields, fields_omitted)) | ||
25 | } | ||
26 | |||
27 | pub(crate) fn render_struct_pat( | ||
28 | ctx: RenderContext<'_>, | ||
29 | strukt: hir::Struct, | ||
30 | local_name: Option<Name>, | ||
31 | ) -> Option<CompletionItem> { | ||
32 | let _p = profile::span("render_struct_pat"); | ||
33 | |||
34 | let fields = strukt.fields(ctx.db()); | ||
35 | let (visible_fields, fields_omitted) = visible_fields(&ctx, &fields, strukt)?; | ||
36 | |||
37 | if visible_fields.is_empty() { | ||
38 | // Matching a struct without matching its fields is pointless, unlike matching a Variant without its fields | ||
39 | return None; | ||
40 | } | ||
41 | |||
42 | let name = local_name.unwrap_or_else(|| strukt.name(ctx.db())).to_string(); | ||
43 | let pat = render_pat(&ctx, &name, strukt.kind(ctx.db()), &visible_fields, fields_omitted)?; | ||
44 | |||
45 | Some(build_completion(ctx, name, pat, strukt)) | ||
46 | } | ||
47 | |||
48 | pub(crate) fn render_variant_pat( | ||
49 | ctx: RenderContext<'_>, | ||
50 | variant: hir::Variant, | ||
51 | local_name: Option<Name>, | ||
52 | ) -> Option<CompletionItem> { | ||
53 | let _p = profile::span("render_variant_pat"); | ||
54 | |||
55 | let fields = variant.fields(ctx.db()); | ||
56 | let (visible_fields, fields_omitted) = visible_fields(&ctx, &fields, variant)?; | ||
57 | |||
58 | let name = local_name.unwrap_or_else(|| variant.name(ctx.db())).to_string(); | ||
59 | let pat = render_pat(&ctx, &name, variant.kind(ctx.db()), &visible_fields, fields_omitted)?; | ||
60 | |||
61 | Some(build_completion(ctx, name, pat, variant)) | ||
62 | } | ||
63 | |||
64 | fn build_completion( | ||
65 | ctx: RenderContext<'_>, | ||
66 | name: String, | ||
67 | pat: String, | ||
68 | item: impl HasAttrs + Copy, | ||
69 | ) -> CompletionItem { | ||
70 | let completion = CompletionItem::new(CompletionKind::Snippet, ctx.source_range(), name) | ||
71 | .kind(CompletionItemKind::Binding) | ||
72 | .set_documentation(ctx.docs(item)) | ||
73 | .set_deprecated(ctx.is_deprecated(item)) | ||
74 | .detail(&pat); | ||
75 | let completion = if let Some(snippet_cap) = ctx.snippet_cap() { | ||
76 | completion.insert_snippet(snippet_cap, pat) | ||
77 | } else { | ||
78 | completion.insert_text(pat) | ||
79 | }; | ||
80 | completion.build() | ||
81 | } | ||
82 | |||
83 | fn render_pat( | ||
84 | ctx: &RenderContext<'_>, | ||
85 | name: &str, | ||
86 | kind: StructKind, | ||
87 | fields: &[hir::Field], | ||
88 | fields_omitted: bool, | ||
89 | ) -> Option<String> { | ||
90 | let mut pat = match kind { | ||
91 | StructKind::Tuple if ctx.snippet_cap().is_some() => { | ||
92 | render_tuple_as_pat(&fields, &name, fields_omitted) | ||
93 | } | ||
94 | StructKind::Record => { | ||
95 | render_record_as_pat(ctx.db(), ctx.snippet_cap(), &fields, &name, fields_omitted) | ||
96 | } | ||
97 | _ => return None, | ||
98 | }; | ||
99 | |||
100 | if ctx.completion.is_param { | ||
101 | pat.push(':'); | ||
102 | pat.push(' '); | ||
103 | pat.push_str(&name); | ||
104 | } | ||
105 | if ctx.snippet_cap().is_some() { | ||
106 | pat.push_str("$0"); | ||
107 | } | ||
108 | Some(pat) | ||
109 | } | ||
110 | |||
111 | fn render_record_as_pat( | ||
112 | db: &dyn HirDatabase, | ||
113 | snippet_cap: Option<SnippetCap>, | ||
114 | fields: &[hir::Field], | ||
115 | name: &str, | ||
116 | fields_omitted: bool, | ||
117 | ) -> String { | ||
118 | let fields = fields.iter(); | ||
119 | if snippet_cap.is_some() { | ||
120 | format!( | ||
121 | "{name} {{ {}{} }}", | ||
122 | fields | ||
123 | .enumerate() | ||
124 | .map(|(idx, field)| format!("{}${}", field.name(db), idx + 1)) | ||
125 | .format(", "), | ||
126 | if fields_omitted { ", .." } else { "" }, | ||
127 | name = name | ||
128 | ) | ||
129 | } else { | ||
130 | format!( | ||
131 | "{name} {{ {}{} }}", | ||
132 | fields.map(|field| field.name(db)).format(", "), | ||
133 | if fields_omitted { ", .." } else { "" }, | ||
134 | name = name | ||
135 | ) | ||
136 | } | ||
137 | } | ||
138 | |||
139 | fn render_tuple_as_pat(fields: &[hir::Field], name: &str, fields_omitted: bool) -> String { | ||
140 | format!( | ||
141 | "{name}({}{})", | ||
142 | fields.iter().enumerate().map(|(idx, _)| format!("${}", idx + 1)).format(", "), | ||
143 | if fields_omitted { ", .." } else { "" }, | ||
144 | name = name | ||
145 | ) | ||
146 | } | ||