1#[cfg(test)]
4mod tests;
5
6mod intra_doc_links;
7
8use std::ops::Range;
9
10use pulldown_cmark::{BrokenLink, CowStr, Event, InlineStr, LinkType, Options, Parser, Tag};
11use pulldown_cmark_to_cmark::{Options as CMarkOptions, cmark_with_options};
12use stdx::format_to;
13use url::Url;
14
15use hir::{
16 Adt, AsAssocItem, AssocItem, AssocItemContainer, AttrsWithOwner, HasAttrs, db::HirDatabase,
17};
18use ide_db::{
19 RootDatabase,
20 base_db::{CrateOrigin, LangCrateOrigin, ReleaseChannel, toolchain_channel},
21 defs::{Definition, NameClass, NameRefClass},
22 documentation::{Documentation, HasDocs},
23 helpers::pick_best_token,
24};
25use syntax::{
26 AstNode, AstToken,
27 SyntaxKind::*,
28 SyntaxNode, SyntaxToken, T, TextRange, TextSize,
29 ast::{self, IsString},
30 match_ast,
31};
32
33use crate::{
34 FilePosition, Semantics,
35 doc_links::intra_doc_links::{parse_intra_doc_link, strip_prefixes_suffixes},
36};
37
38#[derive(Default, Debug, Clone, PartialEq, Eq)]
40pub struct DocumentationLinks {
41 pub web_url: Option<String>,
44 pub local_url: Option<String>,
47}
48
49const MARKDOWN_OPTIONS: Options =
50 Options::ENABLE_FOOTNOTES.union(Options::ENABLE_TABLES).union(Options::ENABLE_TASKLISTS);
51
52pub(crate) fn rewrite_links(
54 db: &RootDatabase,
55 markdown: &str,
56 definition: Definition<'_>,
57 range_map: Option<&hir::Docs>,
58) -> String {
59 let mut cb = broken_link_clone_cb;
60 let doc = Parser::new_with_broken_link_callback(markdown, MARKDOWN_OPTIONS, Some(&mut cb))
61 .into_offset_iter();
62
63 let doc = map_links(doc, |target, title, range, link_type| {
64 if target.contains("://") {
68 (Some(LinkType::Inline), target.to_owned(), title.to_owned())
69 } else {
70 let text_range =
74 TextRange::new(range.start.try_into().unwrap(), range.end.try_into().unwrap());
75 let is_inner_doc = range_map
76 .as_ref()
77 .and_then(|range_map| range_map.find_ast_range(text_range))
78 .map(|(_, is_inner)| is_inner)
79 .unwrap_or(hir::IsInnerDoc::No);
80 if let Some((target, title)) =
81 rewrite_intra_doc_link(db, definition, target, title, is_inner_doc, link_type)
82 {
83 (None, target, title)
84 } else if let Some(target) = rewrite_url_link(db, definition, target) {
85 (Some(LinkType::Inline), target, title.to_owned())
86 } else {
87 (None, target.to_owned(), title.to_owned())
88 }
89 }
90 });
91 let mut out = String::new();
92 cmark_with_options(
93 doc,
94 &mut out,
95 CMarkOptions { code_block_token_count: 3, ..Default::default() },
96 )
97 .ok();
98 out
99}
100
101pub(crate) fn remove_links(markdown: &str) -> String {
103 let mut drop_link = false;
104
105 let mut cb = |_: BrokenLink<'_>| {
106 let empty = InlineStr::try_from("").unwrap();
107 Some((CowStr::Inlined(empty), CowStr::Inlined(empty)))
108 };
109 let doc = Parser::new_with_broken_link_callback(markdown, MARKDOWN_OPTIONS, Some(&mut cb));
110 let doc = doc.filter_map(move |evt| match evt {
111 Event::Start(Tag::Link(link_type, target, title)) => {
112 if link_type == LinkType::Inline && target.contains("://") {
113 Some(Event::Start(Tag::Link(link_type, target, title)))
114 } else {
115 drop_link = true;
116 None
117 }
118 }
119 Event::End(_) if drop_link => {
120 drop_link = false;
121 None
122 }
123 _ => Some(evt),
124 });
125
126 let mut out = String::new();
127 cmark_with_options(
128 doc,
129 &mut out,
130 CMarkOptions { code_block_token_count: 3, ..Default::default() },
131 )
132 .ok();
133 out
134}
135
136pub(crate) fn external_docs(
147 db: &RootDatabase,
148 FilePosition { file_id, offset }: FilePosition,
149 target_dir: Option<&str>,
150 sysroot: Option<&str>,
151) -> Option<DocumentationLinks> {
152 let sema = &Semantics::new(db);
153 let file = sema.parse_guess_edition(file_id).syntax().clone();
154 let token = pick_best_token(file.token_at_offset(offset), |kind| match kind {
155 IDENT | INT_NUMBER | T![self] => 3,
156 T!['('] | T![')'] => 2,
157 kind if kind.is_trivia() => 0,
158 _ => 1,
159 })?;
160 let token = sema.descend_into_macros_single_exact(token);
161
162 let node = token.parent()?;
163 let definition = match_ast! {
164 match node {
165 ast::NameRef(name_ref) => match NameRefClass::classify(sema, &name_ref)? {
166 NameRefClass::Definition(def, _) => def,
167 NameRefClass::FieldShorthand { local_ref: _, field_ref, adt_subst: _ } => {
168 Definition::Field(field_ref)
169 }
170 NameRefClass::ExternCrateShorthand { decl, .. } => {
171 Definition::ExternCrateDecl(decl)
172 }
173 },
174 ast::Name(name) => match NameClass::classify(sema, &name)? {
175 NameClass::Definition(it) | NameClass::ConstReference(it) => it,
176 NameClass::PatFieldShorthand { local_def: _, field_ref, adt_subst: _ } => Definition::Field(field_ref),
177 },
178 _ => return None
179 }
180 };
181
182 Some(get_doc_links(db, definition, target_dir, sysroot))
183}
184
185pub(crate) fn extract_definitions_from_docs(
188 docs: &Documentation<'_>,
189) -> Vec<(TextRange, String, Option<hir::Namespace>)> {
190 Parser::new_with_broken_link_callback(
191 docs.as_str(),
192 MARKDOWN_OPTIONS,
193 Some(&mut broken_link_clone_cb),
194 )
195 .into_offset_iter()
196 .filter_map(|(event, range)| match event {
197 Event::Start(Tag::Link(_, target, _)) => {
198 let (link, ns) = parse_intra_doc_link(&target);
199 Some((
200 TextRange::new(range.start.try_into().ok()?, range.end.try_into().ok()?),
201 link.to_owned(),
202 ns,
203 ))
204 }
205 _ => None,
206 })
207 .collect()
208}
209
210pub(crate) fn resolve_doc_path_for_def<'db>(
211 db: &dyn HirDatabase,
212 def: Definition<'db>,
213 link: &str,
214 ns: Option<hir::Namespace>,
215 is_inner_doc: hir::IsInnerDoc,
216) -> Option<Definition<'db>> {
217 match def {
218 Definition::Module(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
219 Definition::Crate(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
220 Definition::Function(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
221 Definition::Adt(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
222 Definition::EnumVariant(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
223 Definition::Const(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
224 Definition::Static(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
225 Definition::Trait(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
226 Definition::TypeAlias(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
227 Definition::Macro(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
228 Definition::Field(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
229 Definition::SelfType(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
230 Definition::ExternCrateDecl(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
231 Definition::BuiltinAttr(_)
232 | Definition::BuiltinType(_)
233 | Definition::BuiltinLifetime(_)
234 | Definition::ToolModule(_)
235 | Definition::TupleField(_)
236 | Definition::Local(_)
237 | Definition::GenericParam(_)
238 | Definition::Label(_)
239 | Definition::DeriveHelper(_)
240 | Definition::InlineAsmRegOrRegClass(_)
241 | Definition::InlineAsmOperand(_) => None,
242 }
243 .map(Definition::from)
244}
245
246pub(crate) fn doc_attributes<'db>(
247 sema: &Semantics<'db, RootDatabase>,
248 node: &SyntaxNode,
249) -> Option<(hir::AttrsWithOwner, Definition<'db>)> {
250 match_ast! {
251 match node {
252 ast::SourceFile(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
253 ast::Module(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
254 ast::Fn(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
255 ast::Struct(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Struct(def)))),
256 ast::Union(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Union(def)))),
257 ast::Enum(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Enum(def)))),
258 ast::Variant(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
259 ast::Trait(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
260 ast::Static(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
261 ast::Const(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
262 ast::TypeAlias(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
263 ast::Impl(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
264 ast::RecordField(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
265 ast::TupleField(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
266 ast::Macro(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
267 ast::ExternCrate(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
268 _ => None
270 }
271 }
272}
273
274pub(crate) struct DocCommentToken {
275 doc_token: SyntaxToken,
276 prefix_len: TextSize,
277}
278
279pub(crate) fn token_as_doc_comment(doc_token: &SyntaxToken) -> Option<DocCommentToken> {
280 let prefix_len = if matches!(doc_token.kind(), INNER_DOC_COMMENT | OUTER_DOC_COMMENT) {
281 ast::DocComment::PREFIX_LEN
282 } else {
283 let string = ast::String::cast(doc_token.clone())?;
284 doc_token
285 .parent_ancestors()
286 .find_map(ast::Attr::cast)
287 .filter(|attr| attr.simple_name().as_deref() == Some("doc"))?;
288 if doc_token
289 .parent_ancestors()
290 .find_map(ast::MacroCall::cast)
291 .filter(|mac| {
292 mac.path().and_then(|p| p.segment()?.name_ref()).as_ref().map(|n| n.text())
293 == Some("include_str")
294 })
295 .is_some()
296 {
297 return None;
298 }
299 string.open_quote_text_range()?.len()
300 };
301 Some(DocCommentToken { prefix_len, doc_token: doc_token.clone() })
302}
303
304impl DocCommentToken {
305 pub(crate) fn get_definition_with_descend_at<'db, T>(
306 self,
307 sema: &Semantics<'db, RootDatabase>,
308 offset: TextSize,
309 mut cb: impl FnMut(Definition<'db>, SyntaxNode, TextRange) -> Option<T>,
311 ) -> Option<T> {
312 let DocCommentToken { prefix_len, doc_token } = self;
313 let original_start = doc_token.text_range().start();
315 let relative_comment_offset =
318 offset.checked_sub(original_start)?.checked_sub(prefix_len)?;
319
320 sema.descend_into_macros(doc_token).into_iter().find_map(|t| {
321 let (node, descended_prefix_len, is_inner) = match_ast!{
322 match t {
323 ast::AnyComment(comment) => {
324 (t.parent()?.parent()?, TextSize::try_from(comment.prefix().len()).ok()?, comment.is_inner())
325 },
326 ast::String(string) => {
327 let attr = t.parent_ancestors().find_map(ast::Attr::cast)?;
328 let attr_is_inner = attr.excl_token().map(|excl| excl.kind() == BANG).unwrap_or(false);
329 (attr.syntax().parent()?, string.open_quote_text_range()?.len(), attr_is_inner)
330 },
331 _ => return None,
332 }
333 };
334 let token_start = t.text_range().start();
335 let abs_in_expansion_offset = token_start + relative_comment_offset + descended_prefix_len;
336 let (attributes, def) = Self::doc_attributes(sema, &node, is_inner)?;
337 let doc_mapping = attributes.hir_docs(sema.db)?;
338 let (in_expansion_range, link, ns, is_inner) =
339 extract_definitions_from_docs(&Documentation::new_borrowed(doc_mapping.docs())).into_iter().find_map(|(range, link, ns)| {
340 let (mapped, is_inner) = doc_mapping.find_ast_range(range)?;
341 (mapped.value.contains(abs_in_expansion_offset)).then_some((mapped.value, link, ns, is_inner))
342 })?;
343 let in_expansion_relative_range = in_expansion_range - descended_prefix_len - token_start;
345 let absolute_range = in_expansion_relative_range + original_start + prefix_len;
347 let def = resolve_doc_path_for_def(sema.db, def, &link, ns, is_inner)?;
348 cb(def, node, absolute_range)
349 })
350 }
351
352 fn doc_attributes<'db>(
362 sema: &Semantics<'db, RootDatabase>,
363 node: &SyntaxNode,
364 is_inner_doc: bool,
365 ) -> Option<(AttrsWithOwner, Definition<'db>)> {
366 if is_inner_doc && node.kind() != SOURCE_FILE {
367 let parent = node.parent()?;
368 doc_attributes(sema, &parent).or(doc_attributes(sema, &parent.parent()?))
369 } else {
370 doc_attributes(sema, node)
371 }
372 }
373}
374
375fn broken_link_clone_cb(link: BrokenLink<'_>) -> Option<(CowStr<'_>, CowStr<'_>)> {
376 Some((link.reference.clone(), link.reference))
377}
378
379fn get_doc_links(
387 db: &RootDatabase,
388 def: Definition<'_>,
389 target_dir: Option<&str>,
390 sysroot: Option<&str>,
391) -> DocumentationLinks {
392 let join_url = |base_url: Option<Url>, path: &str| -> Option<Url> {
393 base_url.and_then(|url| url.join(path).ok())
394 };
395
396 let Some((target, file, frag)) = filename_and_frag_for_def(db, def) else {
397 return Default::default();
398 };
399
400 let (mut web_url, mut local_url) = get_doc_base_urls(db, target, target_dir, sysroot);
401
402 let append_mod = !matches!(def, Definition::Macro(m) if m.attrs(db).is_macro_export());
403 if append_mod && let Some(path) = mod_path_of_def(db, target) {
404 web_url = join_url(web_url, &path);
405 local_url = join_url(local_url, &path);
406 }
407
408 web_url = join_url(web_url, &file);
409 local_url = join_url(local_url, &file);
410
411 if let Some(url) = web_url.as_mut() {
412 url.set_fragment(frag.as_deref())
413 }
414 if let Some(url) = local_url.as_mut() {
415 url.set_fragment(frag.as_deref())
416 }
417
418 DocumentationLinks {
419 web_url: web_url.map(|it| it.into()),
420 local_url: local_url.map(|it| it.into()),
421 }
422}
423
424fn rewrite_intra_doc_link(
425 db: &RootDatabase,
426 def: Definition<'_>,
427 target: &str,
428 title: &str,
429 is_inner_doc: hir::IsInnerDoc,
430 link_type: LinkType,
431) -> Option<(String, String)> {
432 let (link, ns) = parse_intra_doc_link(target);
433
434 let (link, anchor) = match link.split_once('#') {
435 Some((new_link, anchor)) => (new_link, Some(anchor)),
436 None => (link, None),
437 };
438
439 let resolved = resolve_doc_path_for_def(db, def, link, ns, is_inner_doc)?;
440 let mut url = get_doc_base_urls(db, resolved, None, None).0?;
441
442 let (_, file, frag) = filename_and_frag_for_def(db, resolved)?;
443 if let Some(path) = mod_path_of_def(db, resolved) {
444 url = url.join(&path).ok()?;
445 }
446
447 let frag = anchor.or(frag.as_deref());
448
449 url = url.join(&file).ok()?;
450 url.set_fragment(frag);
451
452 let title = match link_type {
455 LinkType::Email
456 | LinkType::Autolink
457 | LinkType::Shortcut
458 | LinkType::Collapsed
459 | LinkType::Reference
460 | LinkType::Inline => title.to_owned(),
461 LinkType::ShortcutUnknown | LinkType::CollapsedUnknown | LinkType::ReferenceUnknown => {
462 strip_prefixes_suffixes(title).to_owned()
463 }
464 };
465
466 Some((url.into(), title))
467}
468
469fn rewrite_url_link(db: &RootDatabase, def: Definition<'_>, target: &str) -> Option<String> {
471 if !(target.contains('#') || target.contains(".html")) {
472 return None;
473 }
474
475 let mut url = get_doc_base_urls(db, def, None, None).0?;
476 let (def, file, frag) = filename_and_frag_for_def(db, def)?;
477
478 if let Some(path) = mod_path_of_def(db, def) {
479 url = url.join(&path).ok()?;
480 }
481
482 url = url.join(&file).ok()?;
483 url.set_fragment(frag.as_deref());
484 url.join(target).ok().map(Into::into)
485}
486
487fn mod_path_of_def(db: &RootDatabase, def: Definition<'_>) -> Option<String> {
488 def.canonical_module_path(db).map(|it| {
489 let mut path = String::new();
490 it.flat_map(|it| it.name(db)).for_each(|name| format_to!(path, "{}/", name.as_str()));
491 path
492 })
493}
494
495fn map_links<'e>(
497 events: impl Iterator<Item = (Event<'e>, Range<usize>)>,
498 callback: impl Fn(&str, &str, Range<usize>, LinkType) -> (Option<LinkType>, String, String),
499) -> impl Iterator<Item = Event<'e>> {
500 let mut in_link = false;
501 let mut end_link_target: Option<CowStr<'_>> = None;
503 let mut end_link_type: Option<LinkType> = None;
507
508 events.map(move |(evt, range)| match evt {
509 Event::Start(Tag::Link(link_type, ref target, _)) => {
510 in_link = true;
511 end_link_target = Some(target.clone());
512 end_link_type = Some(link_type);
513 evt
514 }
515 Event::End(Tag::Link(link_type, target, _)) => {
516 in_link = false;
517 Event::End(Tag::Link(
518 end_link_type.take().unwrap_or(link_type),
519 end_link_target.take().unwrap_or(target),
520 CowStr::Borrowed(""),
521 ))
522 }
523 Event::Text(s) if in_link => {
524 let (link_type, link_target_s, link_name) =
525 callback(&end_link_target.take().unwrap(), &s, range, end_link_type.unwrap());
526 end_link_target = Some(CowStr::Boxed(link_target_s.into()));
527 if !matches!(end_link_type, Some(LinkType::Autolink)) && link_type.is_some() {
528 end_link_type = link_type;
529 }
530 Event::Text(CowStr::Boxed(link_name.into()))
531 }
532 Event::Code(s) if in_link => {
533 let (link_type, link_target_s, link_name) =
534 callback(&end_link_target.take().unwrap(), &s, range, end_link_type.unwrap());
535 end_link_target = Some(CowStr::Boxed(link_target_s.into()));
536 if !matches!(end_link_type, Some(LinkType::Autolink)) && link_type.is_some() {
537 end_link_type = link_type;
538 }
539 Event::Code(CowStr::Boxed(link_name.into()))
540 }
541 _ => evt,
542 })
543}
544
545fn get_doc_base_urls(
554 db: &RootDatabase,
555 def: Definition<'_>,
556 target_dir: Option<&str>,
557 sysroot: Option<&str>,
558) -> (Option<Url>, Option<Url>) {
559 let local_doc = target_dir
560 .and_then(|path| Url::parse(&format!("file:///{path}/")).ok())
561 .and_then(|it| it.join("doc/").ok());
562 let system_doc = sysroot
563 .map(|sysroot| format!("file:///{sysroot}/share/doc/rust/html/"))
564 .and_then(|it| Url::parse(&it).ok());
565 let krate = def.krate(db);
566 let channel = krate
567 .and_then(|krate| toolchain_channel(db, krate.into()))
568 .unwrap_or(ReleaseChannel::Nightly)
569 .as_str();
570
571 if let Definition::BuiltinType(..) = def {
574 let web_link = Url::parse(&format!("https://doc.rust-lang.org/{channel}/core/")).ok();
575 let system_link = system_doc.and_then(|it| it.join("core/").ok());
576 return (web_link, system_link);
577 };
578
579 let Some(krate) = krate else { return Default::default() };
580 let Some(display_name) = krate.display_name(db) else { return Default::default() };
581 let (web_base, local_base) = match krate.origin(db) {
582 CrateOrigin::Lang(
585 origin @ (LangCrateOrigin::Alloc
586 | LangCrateOrigin::Core
587 | LangCrateOrigin::ProcMacro
588 | LangCrateOrigin::Std
589 | LangCrateOrigin::Test),
590 ) => {
591 let system_url = system_doc.and_then(|it| it.join(&format!("{origin}")).ok());
592 let web_url = format!("https://doc.rust-lang.org/{channel}/{origin}");
593 (Some(web_url), system_url)
594 }
595 CrateOrigin::Lang(_) => return (None, None),
596 CrateOrigin::Rustc { name: _ } => {
597 (Some(format!("https://doc.rust-lang.org/{channel}/nightly-rustc/")), None)
598 }
599 CrateOrigin::Local { repo: _, name: _ } => {
600 let weblink = krate.get_html_root_url(db).or_else(|| {
602 let version = krate.version(db);
603 Some(format!(
609 "https://docs.rs/{krate}/{version}/",
610 krate = display_name,
611 version = version.as_deref().unwrap_or("*")
612 ))
613 });
614 (weblink, local_doc)
615 }
616 CrateOrigin::Library { repo: _, name } => {
617 let weblink = krate.get_html_root_url(db).or_else(|| {
618 let version = krate.version(db);
619 Some(format!(
625 "https://docs.rs/{krate}/{version}/",
626 krate = name,
627 version = version.as_deref().unwrap_or("*")
628 ))
629 });
630 (weblink, local_doc)
631 }
632 };
633 let web_base = web_base
634 .and_then(|it| Url::parse(&it).ok())
635 .and_then(|it| it.join(&format!("{display_name}/")).ok());
636 let local_base = local_base.and_then(|it| it.join(&format!("{display_name}/")).ok());
637
638 (web_base, local_base)
639}
640
641fn filename_and_frag_for_def<'db>(
648 db: &dyn HirDatabase,
649 def: Definition<'db>,
650) -> Option<(Definition<'db>, String, Option<String>)> {
651 if let Some(assoc_item) = def.as_assoc_item(db) {
652 let def = match assoc_item.container(db) {
653 AssocItemContainer::Trait(t) => t.into(),
654 AssocItemContainer::Impl(i) => i.self_ty(db).as_adt()?.into(),
655 };
656 let (_, file, _) = filename_and_frag_for_def(db, def)?;
657 let frag = get_assoc_item_fragment(db, assoc_item)?;
658 return Some((def, file, Some(frag)));
659 }
660
661 let res = match def {
662 Definition::Adt(adt) => match adt {
663 Adt::Struct(s) => {
664 format!("struct.{}.html", s.name(db).as_str())
665 }
666 Adt::Enum(e) => format!("enum.{}.html", e.name(db).as_str()),
667 Adt::Union(u) => format!("union.{}.html", u.name(db).as_str()),
668 },
669 Definition::Crate(_) => String::from("index.html"),
670 Definition::Module(m) => match m.name(db) {
671 Some(name) => match m.doc_keyword(db) {
673 Some(kw) => {
674 format!("keyword.{kw}.html")
675 }
676 None => format!("{}/index.html", name.as_str()),
677 },
678 None => String::from("index.html"),
679 },
680 Definition::Trait(t) => {
681 format!("trait.{}.html", t.name(db).as_str())
683 }
684 Definition::TypeAlias(t) => {
685 format!("type.{}.html", t.name(db).as_str())
686 }
687 Definition::BuiltinType(t) => {
688 format!("primitive.{}.html", t.name().as_str())
689 }
690 Definition::Function(f) => {
691 format!("fn.{}.html", f.name(db).as_str())
692 }
693 Definition::EnumVariant(ev) => {
694 let def = Definition::Adt(ev.parent_enum(db).into());
695 let (_, file, _) = filename_and_frag_for_def(db, def)?;
696 return Some((def, file, Some(format!("variant.{}", ev.name(db).as_str()))));
697 }
698 Definition::Const(c) => {
699 format!("constant.{}.html", c.name(db)?.as_str())
700 }
701 Definition::Static(s) => {
702 format!("static.{}.html", s.name(db).as_str())
703 }
704 Definition::Macro(mac) => match mac.kind(db) {
705 hir::MacroKind::Declarative
706 | hir::MacroKind::AttrBuiltIn
707 | hir::MacroKind::DeclarativeBuiltIn
708 | hir::MacroKind::Attr
709 | hir::MacroKind::ProcMacro => {
710 format!("macro.{}.html", mac.name(db).as_str())
711 }
712 hir::MacroKind::Derive | hir::MacroKind::DeriveBuiltIn => {
713 format!("derive.{}.html", mac.name(db).as_str())
714 }
715 },
716 Definition::Field(field) => {
717 let def = match field.parent_def(db) {
718 hir::Variant::Struct(it) => Definition::Adt(it.into()),
719 hir::Variant::Union(it) => Definition::Adt(it.into()),
720 hir::Variant::EnumVariant(it) => Definition::EnumVariant(it),
721 };
722 let (_, file, _) = filename_and_frag_for_def(db, def)?;
723 return Some((def, file, Some(format!("structfield.{}", field.name(db).as_str()))));
724 }
725 Definition::SelfType(impl_) => {
726 let adt = impl_.self_ty(db).as_adt()?.into();
727 let (_, file, _) = filename_and_frag_for_def(db, adt)?;
728 return Some((adt, file, Some(String::from("impl"))));
730 }
731 Definition::ExternCrateDecl(it) => {
732 format!("{}/index.html", it.name(db).as_str())
733 }
734 Definition::Local(_)
735 | Definition::GenericParam(_)
736 | Definition::TupleField(_)
737 | Definition::Label(_)
738 | Definition::BuiltinAttr(_)
739 | Definition::BuiltinLifetime(_)
740 | Definition::ToolModule(_)
741 | Definition::DeriveHelper(_)
742 | Definition::InlineAsmRegOrRegClass(_)
743 | Definition::InlineAsmOperand(_) => return None,
744 };
745
746 Some((def, res, None))
747}
748
749fn get_assoc_item_fragment(db: &dyn HirDatabase, assoc_item: hir::AssocItem) -> Option<String> {
756 Some(match assoc_item {
757 AssocItem::Function(function) => {
758 let is_trait_method =
759 function.as_assoc_item(db).and_then(|assoc| assoc.container_trait(db)).is_some();
760 if is_trait_method && !function.has_body(db) {
764 format!("tymethod.{}", function.name(db).as_str())
765 } else {
766 format!("method.{}", function.name(db).as_str())
767 }
768 }
769 AssocItem::Const(constant) => {
770 format!("associatedconstant.{}", constant.name(db)?.as_str())
771 }
772 AssocItem::TypeAlias(ty) => {
773 format!("associatedtype.{}", ty.name(db).as_str())
774 }
775 })
776}