Skip to main content

ide/
doc_links.rs

1//! Extracts, resolves and rewrites links and intra-doc links in markdown documentation.
2
3#[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/// Web and local links to an item's documentation.
39#[derive(Default, Debug, Clone, PartialEq, Eq)]
40pub struct DocumentationLinks {
41    /// The URL to the documentation on docs.rs.
42    /// May not lead anywhere.
43    pub web_url: Option<String>,
44    /// The URL to the documentation in the local file system.
45    /// May not lead anywhere.
46    pub local_url: Option<String>,
47}
48
49const MARKDOWN_OPTIONS: Options =
50    Options::ENABLE_FOOTNOTES.union(Options::ENABLE_TABLES).union(Options::ENABLE_TASKLISTS);
51
52/// Rewrite documentation links in markdown to point to an online host (e.g. docs.rs)
53pub(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        // This check is imperfect, there's some overlap between valid intra-doc links
65        // and valid URLs so we choose to be too eager to try to resolve what might be
66        // a URL.
67        if target.contains("://") {
68            (Some(LinkType::Inline), target.to_owned(), title.to_owned())
69        } else {
70            // Two possibilities:
71            // * path-based links: `../../module/struct.MyStruct.html`
72            // * module-based links (AKA intra-doc links): `super::super::module::MyStruct`
73            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
101/// Remove all links in markdown documentation.
102pub(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
136// Feature: Open Docs
137//
138// Retrieve a links to documentation for the given symbol.
139//
140// The simplest way to use this feature is via the context menu. Right-click on
141// the selected item. The context menu opens. Select **Open Docs**.
142//
143// | Editor  | Action Name |
144// |---------|-------------|
145// | VS Code | **rust-analyzer: Open Docs** |
146pub(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
185/// Extracts all links from a given markdown text returning the definition text range, link-text
186/// and the namespace if known.
187pub(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            // ast::Use(it) => sema.to_def(&it).map(|def| (Box::new(it) as _, def.attrs(sema.db))),
269            _ => 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        // Definition, CommentOwner, range of intra doc link in original file
310        mut cb: impl FnMut(Definition<'db>, SyntaxNode, TextRange) -> Option<T>,
311    ) -> Option<T> {
312        let DocCommentToken { prefix_len, doc_token } = self;
313        // offset relative to the comments contents
314        let original_start = doc_token.text_range().start();
315        // If the cursor points inside the comment like `///` or to the first quote in `#[doc = "..."]`
316        // (i.e. relative_comment_offset is None) then we return w/o definition.
317        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            // get the relative range to the doc/attribute in the expansion
344            let in_expansion_relative_range = in_expansion_range - descended_prefix_len - token_start;
345            // Apply relative range to the original input comment
346            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    /// When we hover a inner doc item, this find a attached definition.
353    /// ```
354    /// // node == ITEM_LIST
355    /// // node.parent == EXPR_BLOCK
356    /// // node.parent().parent() == FN
357    /// fn f() {
358    ///    //! [`S$0`]
359    /// }
360    /// ```
361    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((/*url*/ link.reference.clone(), /*title*/ link.reference))
377}
378
379// FIXME:
380// BUG: For Option::Some
381// Returns https://doc.rust-lang.org/nightly/core/prelude/v1/enum.Option.html#variant.Some
382// Instead of https://doc.rust-lang.org/nightly/core/option/enum.Option.html
383//
384// This should cease to be a problem if RFC2988 (Stable Rustdoc URLs) is implemented
385// https://github.com/rust-lang/rfcs/pull/2988
386fn 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    // We want to strip the keyword prefix from the title, but only if the target is implicitly the same
453    // as the title.
454    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
469/// Try to resolve path to local documentation via path-based links (i.e. `../gateway/struct.Shard.html`).
470fn 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
495/// Rewrites a markdown document, applying 'callback' to each link.
496fn 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    // holds the origin link target on start event and the rewritten one on end event
502    let mut end_link_target: Option<CowStr<'_>> = None;
503    // normally link's type is determined by the type of link tag in the end event,
504    // however in some cases we want to change the link type, for example,
505    // `Shortcut` type parsed from Start/End tags doesn't make sense for url links
506    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
545/// Get the root URL for the documentation of a definition.
546///
547/// ```ignore
548/// https://doc.rust-lang.org/std/iter/trait.Iterator.html#tymethod.next
549/// ^^^^^^^^^^^^^^^^^^^^^^^^^^
550/// file:///project/root/target/doc/std/iter/trait.Iterator.html#tymethod.next
551/// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
552/// ```
553fn 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    // special case base url of `BuiltinType` to core
572    // https://github.com/rust-lang/rust-analyzer/issues/12250
573    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        // std and co do not specify `html_root_url` any longer so we gotta handwrite this ourself.
583        // FIXME: Use the toolchains channel instead of nightly
584        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            // FIXME: These should not attempt to link to docs.rs!
601            let weblink = krate.get_html_root_url(db).or_else(|| {
602                let version = krate.version(db);
603                // Fallback to docs.rs. This uses `display_name` and can never be
604                // correct, but that's what fallbacks are about.
605                //
606                // FIXME: clicking on the link should just open the file in the editor,
607                // instead of falling back to external urls.
608                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                // Fallback to docs.rs. This uses `display_name` and can never be
620                // correct, but that's what fallbacks are about.
621                //
622                // FIXME: clicking on the link should just open the file in the editor,
623                // instead of falling back to external urls.
624                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
641/// Get the filename and extension generated for a symbol by rustdoc.
642///
643/// ```ignore
644/// https://doc.rust-lang.org/std/iter/trait.Iterator.html#tymethod.next
645///                                    ^^^^^^^^^^^^^^^^^^^
646/// ```
647fn 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            // `#[doc(keyword = "...")]` is internal used only by rust compiler
672            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            // FIXME(trait-alias): url should be traitalias. for aliases
682            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            // FIXME fragment numbering
729            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
749/// Get the fragment required to link to a specific field, method, associated type, or associated constant.
750///
751/// ```ignore
752/// https://doc.rust-lang.org/std/iter/trait.Iterator.html#tymethod.next
753///                                                       ^^^^^^^^^^^^^^
754/// ```
755fn 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            // This distinction may get more complicated when specialization is available.
761            // Rustdoc makes this decision based on whether a method 'has defaultness'.
762            // Currently this is only the case for provided trait methods.
763            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}