diff options
Diffstat (limited to 'crates/hir_def/src')
-rw-r--r-- | crates/hir_def/src/attr.rs | 25 | ||||
-rw-r--r-- | crates/hir_def/src/docs.rs | 79 | ||||
-rw-r--r-- | crates/hir_def/src/lib.rs | 1 |
3 files changed, 22 insertions, 83 deletions
diff --git a/crates/hir_def/src/attr.rs b/crates/hir_def/src/attr.rs index 7825290e6..98293aad3 100644 --- a/crates/hir_def/src/attr.rs +++ b/crates/hir_def/src/attr.rs | |||
@@ -15,7 +15,6 @@ use tt::Subtree; | |||
15 | 15 | ||
16 | use crate::{ | 16 | use crate::{ |
17 | db::DefDatabase, | 17 | db::DefDatabase, |
18 | docs::Documentation, | ||
19 | item_tree::{ItemTreeId, ItemTreeNode}, | 18 | item_tree::{ItemTreeId, ItemTreeNode}, |
20 | nameres::ModuleSource, | 19 | nameres::ModuleSource, |
21 | path::ModPath, | 20 | path::ModPath, |
@@ -23,6 +22,22 @@ use crate::{ | |||
23 | AdtId, AttrDefId, Lookup, | 22 | AdtId, AttrDefId, Lookup, |
24 | }; | 23 | }; |
25 | 24 | ||
25 | /// Holds documentation | ||
26 | #[derive(Debug, Clone, PartialEq, Eq)] | ||
27 | pub struct Documentation(Arc<str>); | ||
28 | |||
29 | impl Documentation { | ||
30 | pub fn as_str(&self) -> &str { | ||
31 | &self.0 | ||
32 | } | ||
33 | } | ||
34 | |||
35 | impl Into<String> for Documentation { | ||
36 | fn into(self) -> String { | ||
37 | self.as_str().to_owned() | ||
38 | } | ||
39 | } | ||
40 | |||
26 | #[derive(Default, Debug, Clone, PartialEq, Eq)] | 41 | #[derive(Default, Debug, Clone, PartialEq, Eq)] |
27 | pub struct Attrs { | 42 | pub struct Attrs { |
28 | entries: Option<Arc<[Attr]>>, | 43 | entries: Option<Arc<[Attr]>>, |
@@ -102,7 +117,7 @@ impl Attrs { | |||
102 | }, | 117 | }, |
103 | ); | 118 | ); |
104 | let mut attrs = owner.attrs().peekable(); | 119 | let mut attrs = owner.attrs().peekable(); |
105 | let entries = if attrs.peek().is_none() { | 120 | let entries = if attrs.peek().is_none() && docs.is_none() { |
106 | // Avoid heap allocation | 121 | // Avoid heap allocation |
107 | None | 122 | None |
108 | } else { | 123 | } else { |
@@ -154,7 +169,11 @@ impl Attrs { | |||
154 | .intersperse(&SmolStr::new_inline("\n")) | 169 | .intersperse(&SmolStr::new_inline("\n")) |
155 | // No FromIterator<SmolStr> for String | 170 | // No FromIterator<SmolStr> for String |
156 | .for_each(|s| docs.push_str(s.as_str())); | 171 | .for_each(|s| docs.push_str(s.as_str())); |
157 | if docs.is_empty() { None } else { Some(docs) }.map(|it| Documentation::new(&it)) | 172 | if docs.is_empty() { |
173 | None | ||
174 | } else { | ||
175 | Some(Documentation(docs.into())) | ||
176 | } | ||
158 | } | 177 | } |
159 | } | 178 | } |
160 | 179 | ||
diff --git a/crates/hir_def/src/docs.rs b/crates/hir_def/src/docs.rs deleted file mode 100644 index 6a27effef..000000000 --- a/crates/hir_def/src/docs.rs +++ /dev/null | |||
@@ -1,79 +0,0 @@ | |||
1 | //! Defines hir documentation. | ||
2 | //! | ||
3 | //! This really shouldn't exist, instead, we should deshugar doc comments into attributes, see | ||
4 | //! https://github.com/rust-analyzer/rust-analyzer/issues/2148#issuecomment-550519102 | ||
5 | |||
6 | use std::sync::Arc; | ||
7 | |||
8 | use itertools::Itertools; | ||
9 | use syntax::{ast, SmolStr}; | ||
10 | |||
11 | /// Holds documentation | ||
12 | #[derive(Debug, Clone, PartialEq, Eq)] | ||
13 | pub struct Documentation(Arc<str>); | ||
14 | |||
15 | impl Into<String> for Documentation { | ||
16 | fn into(self) -> String { | ||
17 | self.as_str().to_owned() | ||
18 | } | ||
19 | } | ||
20 | |||
21 | impl Documentation { | ||
22 | pub fn new(s: &str) -> Documentation { | ||
23 | Documentation(s.into()) | ||
24 | } | ||
25 | |||
26 | pub fn from_ast<N>(node: &N) -> Option<Documentation> | ||
27 | where | ||
28 | N: ast::DocCommentsOwner + ast::AttrsOwner, | ||
29 | { | ||
30 | docs_from_ast(node) | ||
31 | } | ||
32 | |||
33 | pub fn as_str(&self) -> &str { | ||
34 | &*self.0 | ||
35 | } | ||
36 | } | ||
37 | |||
38 | pub(crate) fn docs_from_ast<N>(node: &N) -> Option<Documentation> | ||
39 | where | ||
40 | N: ast::DocCommentsOwner + ast::AttrsOwner, | ||
41 | { | ||
42 | let doc_comment_text = node.doc_comment_text(); | ||
43 | let doc_attr_text = expand_doc_attrs(node); | ||
44 | let docs = merge_doc_comments_and_attrs(doc_comment_text, doc_attr_text); | ||
45 | docs.map(|it| Documentation::new(&it)) | ||
46 | } | ||
47 | |||
48 | fn merge_doc_comments_and_attrs( | ||
49 | doc_comment_text: Option<String>, | ||
50 | doc_attr_text: Option<String>, | ||
51 | ) -> Option<String> { | ||
52 | match (doc_comment_text, doc_attr_text) { | ||
53 | (Some(mut comment_text), Some(attr_text)) => { | ||
54 | comment_text.reserve(attr_text.len() + 1); | ||
55 | comment_text.push('\n'); | ||
56 | comment_text.push_str(&attr_text); | ||
57 | Some(comment_text) | ||
58 | } | ||
59 | (Some(comment_text), None) => Some(comment_text), | ||
60 | (None, Some(attr_text)) => Some(attr_text), | ||
61 | (None, None) => None, | ||
62 | } | ||
63 | } | ||
64 | |||
65 | fn expand_doc_attrs(owner: &dyn ast::AttrsOwner) -> Option<String> { | ||
66 | let mut docs = String::new(); | ||
67 | owner | ||
68 | .attrs() | ||
69 | .filter_map(|attr| attr.as_simple_key_value().filter(|(key, _)| key == "doc")) | ||
70 | .map(|(_, value)| value) | ||
71 | .intersperse(SmolStr::new_inline("\n")) | ||
72 | // No FromIterator<SmolStr> for String | ||
73 | .for_each(|s| docs.push_str(s.as_str())); | ||
74 | if docs.is_empty() { | ||
75 | None | ||
76 | } else { | ||
77 | Some(docs) | ||
78 | } | ||
79 | } | ||
diff --git a/crates/hir_def/src/lib.rs b/crates/hir_def/src/lib.rs index b41c5acb2..02ed30e4d 100644 --- a/crates/hir_def/src/lib.rs +++ b/crates/hir_def/src/lib.rs | |||
@@ -31,7 +31,6 @@ pub mod adt; | |||
31 | pub mod data; | 31 | pub mod data; |
32 | pub mod generics; | 32 | pub mod generics; |
33 | pub mod lang_item; | 33 | pub mod lang_item; |
34 | pub mod docs; | ||
35 | 34 | ||
36 | pub mod expr; | 35 | pub mod expr; |
37 | pub mod body; | 36 | pub mod body; |