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_resume_with_options};
12use stdx::format_to;
13use url::Url;
14
15use hir::{
16 Adt, AsAssocItem, AssocItem, AssocItemContainer, AttrsWithOwner, HasAttrs, db::HirDatabase, sym,
17};
18use ide_db::{
19 RootDatabase,
20 base_db::{CrateOrigin, LangCrateOrigin, ReleaseChannel, RootQueryDb},
21 defs::{Definition, NameClass, NameRefClass},
22 documentation::{DocsRangeMap, Documentation, HasDocs, docs_with_rangemap},
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<DocsRangeMap>,
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.map(text_range))
78 .map(|(_, attr_id)| attr_id.is_inner_attr())
79 .unwrap_or(false);
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_resume_with_options(
93 doc,
94 &mut out,
95 None,
96 CMarkOptions { code_block_token_count: 3, ..Default::default() },
97 )
98 .ok();
99 out
100}
101
102pub(crate) fn remove_links(markdown: &str) -> String {
104 let mut drop_link = false;
105
106 let mut cb = |_: BrokenLink<'_>| {
107 let empty = InlineStr::try_from("").unwrap();
108 Some((CowStr::Inlined(empty), CowStr::Inlined(empty)))
109 };
110 let doc = Parser::new_with_broken_link_callback(markdown, MARKDOWN_OPTIONS, Some(&mut cb));
111 let doc = doc.filter_map(move |evt| match evt {
112 Event::Start(Tag::Link(link_type, target, title)) => {
113 if link_type == LinkType::Inline && target.contains("://") {
114 Some(Event::Start(Tag::Link(link_type, target, title)))
115 } else {
116 drop_link = true;
117 None
118 }
119 }
120 Event::End(_) if drop_link => {
121 drop_link = false;
122 None
123 }
124 _ => Some(evt),
125 });
126
127 let mut out = String::new();
128 cmark_resume_with_options(
129 doc,
130 &mut out,
131 None,
132 CMarkOptions { code_block_token_count: 3, ..Default::default() },
133 )
134 .ok();
135 out
136}
137
138pub(crate) fn external_docs(
149 db: &RootDatabase,
150 FilePosition { file_id, offset }: FilePosition,
151 target_dir: Option<&str>,
152 sysroot: Option<&str>,
153) -> Option<DocumentationLinks> {
154 let sema = &Semantics::new(db);
155 let file = sema.parse_guess_edition(file_id).syntax().clone();
156 let token = pick_best_token(file.token_at_offset(offset), |kind| match kind {
157 IDENT | INT_NUMBER | T![self] => 3,
158 T!['('] | T![')'] => 2,
159 kind if kind.is_trivia() => 0,
160 _ => 1,
161 })?;
162 let token = sema.descend_into_macros_single_exact(token);
163
164 let node = token.parent()?;
165 let definition = match_ast! {
166 match node {
167 ast::NameRef(name_ref) => match NameRefClass::classify(sema, &name_ref)? {
168 NameRefClass::Definition(def, _) => def,
169 NameRefClass::FieldShorthand { local_ref: _, field_ref, adt_subst: _ } => {
170 Definition::Field(field_ref)
171 }
172 NameRefClass::ExternCrateShorthand { decl, .. } => {
173 Definition::ExternCrateDecl(decl)
174 }
175 },
176 ast::Name(name) => match NameClass::classify(sema, &name)? {
177 NameClass::Definition(it) | NameClass::ConstReference(it) => it,
178 NameClass::PatFieldShorthand { local_def: _, field_ref, adt_subst: _ } => Definition::Field(field_ref),
179 },
180 _ => return None
181 }
182 };
183
184 Some(get_doc_links(db, definition, target_dir, sysroot))
185}
186
187pub(crate) fn extract_definitions_from_docs(
190 docs: &Documentation,
191) -> Vec<(TextRange, String, Option<hir::Namespace>)> {
192 Parser::new_with_broken_link_callback(
193 docs.as_str(),
194 MARKDOWN_OPTIONS,
195 Some(&mut broken_link_clone_cb),
196 )
197 .into_offset_iter()
198 .filter_map(|(event, range)| match event {
199 Event::Start(Tag::Link(_, target, _)) => {
200 let (link, ns) = parse_intra_doc_link(&target);
201 Some((
202 TextRange::new(range.start.try_into().ok()?, range.end.try_into().ok()?),
203 link.to_owned(),
204 ns,
205 ))
206 }
207 _ => None,
208 })
209 .collect()
210}
211
212pub(crate) fn resolve_doc_path_for_def(
213 db: &dyn HirDatabase,
214 def: Definition,
215 link: &str,
216 ns: Option<hir::Namespace>,
217 is_inner_doc: bool,
218) -> Option<Definition> {
219 match def {
220 Definition::Module(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
221 Definition::Crate(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
222 Definition::Function(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
223 Definition::Adt(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
224 Definition::Variant(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
225 Definition::Const(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
226 Definition::Static(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
227 Definition::Trait(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
228 Definition::TraitAlias(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
229 Definition::TypeAlias(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
230 Definition::Macro(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
231 Definition::Field(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
232 Definition::SelfType(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
233 Definition::ExternCrateDecl(it) => it.resolve_doc_path(db, link, ns, is_inner_doc),
234 Definition::BuiltinAttr(_)
235 | Definition::BuiltinType(_)
236 | Definition::BuiltinLifetime(_)
237 | Definition::ToolModule(_)
238 | Definition::TupleField(_)
239 | Definition::Local(_)
240 | Definition::GenericParam(_)
241 | Definition::Label(_)
242 | Definition::DeriveHelper(_)
243 | Definition::InlineAsmRegOrRegClass(_)
244 | Definition::InlineAsmOperand(_) => None,
245 }
246 .map(Definition::from)
247}
248
249pub(crate) fn doc_attributes(
250 sema: &Semantics<'_, RootDatabase>,
251 node: &SyntaxNode,
252) -> Option<(hir::AttrsWithOwner, Definition)> {
253 match_ast! {
254 match node {
255 ast::SourceFile(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
256 ast::Module(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
257 ast::Fn(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
258 ast::Struct(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Struct(def)))),
259 ast::Union(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Union(def)))),
260 ast::Enum(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(hir::Adt::Enum(def)))),
261 ast::Variant(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
262 ast::Trait(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
263 ast::Static(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
264 ast::Const(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
265 ast::TypeAlias(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
266 ast::Impl(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
267 ast::RecordField(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
268 ast::TupleField(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
269 ast::Macro(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
270 ast::ExternCrate(it) => sema.to_def(&it).map(|def| (def.attrs(sema.db), Definition::from(def))),
271 _ => None
273 }
274 }
275}
276
277pub(crate) struct DocCommentToken {
278 doc_token: SyntaxToken,
279 prefix_len: TextSize,
280}
281
282pub(crate) fn token_as_doc_comment(doc_token: &SyntaxToken) -> Option<DocCommentToken> {
283 (match_ast! {
284 match doc_token {
285 ast::Comment(comment) => TextSize::try_from(comment.prefix().len()).ok(),
286 ast::String(string) => {
287 doc_token.parent_ancestors().find_map(ast::Attr::cast).filter(|attr| attr.simple_name().as_deref() == Some("doc"))?;
288 if doc_token.parent_ancestors().find_map(ast::MacroCall::cast).filter(|mac| mac.path().and_then(|p| p.segment()?.name_ref()).as_ref().map(|n| n.text()).as_deref() == Some("include_str")).is_some() {
289 return None;
290 }
291 string.open_quote_text_range().map(|it| it.len())
292 },
293 _ => None,
294 }
295 }).map(|prefix_len| DocCommentToken { prefix_len, doc_token: doc_token.clone() })
296}
297
298impl DocCommentToken {
299 pub(crate) fn get_definition_with_descend_at<T>(
300 self,
301 sema: &Semantics<'_, RootDatabase>,
302 offset: TextSize,
303 mut cb: impl FnMut(Definition, SyntaxNode, TextRange) -> Option<T>,
305 ) -> Option<T> {
306 let DocCommentToken { prefix_len, doc_token } = self;
307 let original_start = doc_token.text_range().start();
309 let relative_comment_offset = offset - original_start - prefix_len;
310
311 sema.descend_into_macros(doc_token).into_iter().find_map(|t| {
312 let (node, descended_prefix_len, is_inner) = match_ast!{
313 match t {
314 ast::Comment(comment) => {
315 (t.parent()?, TextSize::try_from(comment.prefix().len()).ok()?, comment.is_inner())
316 },
317 ast::String(string) => {
318 let attr = t.parent_ancestors().find_map(ast::Attr::cast)?;
319 let attr_is_inner = attr.excl_token().map(|excl| excl.kind() == BANG).unwrap_or(false);
320 (attr.syntax().parent()?, string.open_quote_text_range()?.len(), attr_is_inner)
321 },
322 _ => return None,
323 }
324 };
325 let token_start = t.text_range().start();
326 let abs_in_expansion_offset = token_start + relative_comment_offset + descended_prefix_len;
327 let (attributes, def) = Self::doc_attributes(sema, &node, is_inner)?;
328 let (docs, doc_mapping) = docs_with_rangemap(sema.db, &attributes)?;
329 let (in_expansion_range, link, ns, is_inner) =
330 extract_definitions_from_docs(&docs).into_iter().find_map(|(range, link, ns)| {
331 let (mapped, idx) = doc_mapping.map(range)?;
332 (mapped.value.contains(abs_in_expansion_offset)).then_some((mapped.value, link, ns, idx.is_inner_attr()))
333 })?;
334 let in_expansion_relative_range = in_expansion_range - descended_prefix_len - token_start;
336 let absolute_range = in_expansion_relative_range + original_start + prefix_len;
338 let def = resolve_doc_path_for_def(sema.db, def, &link, ns, is_inner)?;
339 cb(def, node, absolute_range)
340 })
341 }
342
343 fn doc_attributes(
353 sema: &Semantics<'_, RootDatabase>,
354 node: &SyntaxNode,
355 is_inner_doc: bool,
356 ) -> Option<(AttrsWithOwner, Definition)> {
357 if is_inner_doc && node.kind() != SOURCE_FILE {
358 let parent = node.parent()?;
359 doc_attributes(sema, &parent).or(doc_attributes(sema, &parent.parent()?))
360 } else {
361 doc_attributes(sema, node)
362 }
363 }
364}
365
366fn broken_link_clone_cb(link: BrokenLink<'_>) -> Option<(CowStr<'_>, CowStr<'_>)> {
367 Some((link.reference.clone(), link.reference))
368}
369
370fn get_doc_links(
378 db: &RootDatabase,
379 def: Definition,
380 target_dir: Option<&str>,
381 sysroot: Option<&str>,
382) -> DocumentationLinks {
383 let join_url = |base_url: Option<Url>, path: &str| -> Option<Url> {
384 base_url.and_then(|url| url.join(path).ok())
385 };
386
387 let Some((target, file, frag)) = filename_and_frag_for_def(db, def) else {
388 return Default::default();
389 };
390
391 let (mut web_url, mut local_url) = get_doc_base_urls(db, target, target_dir, sysroot);
392
393 let append_mod = !matches!(def, Definition::Macro(m) if m.is_macro_export(db));
394 if append_mod && let Some(path) = mod_path_of_def(db, target) {
395 web_url = join_url(web_url, &path);
396 local_url = join_url(local_url, &path);
397 }
398
399 web_url = join_url(web_url, &file);
400 local_url = join_url(local_url, &file);
401
402 if let Some(url) = web_url.as_mut() {
403 url.set_fragment(frag.as_deref())
404 }
405 if let Some(url) = local_url.as_mut() {
406 url.set_fragment(frag.as_deref())
407 }
408
409 DocumentationLinks {
410 web_url: web_url.map(|it| it.into()),
411 local_url: local_url.map(|it| it.into()),
412 }
413}
414
415fn rewrite_intra_doc_link(
416 db: &RootDatabase,
417 def: Definition,
418 target: &str,
419 title: &str,
420 is_inner_doc: bool,
421 link_type: LinkType,
422) -> Option<(String, String)> {
423 let (link, ns) = parse_intra_doc_link(target);
424
425 let (link, anchor) = match link.split_once('#') {
426 Some((new_link, anchor)) => (new_link, Some(anchor)),
427 None => (link, None),
428 };
429
430 let resolved = resolve_doc_path_for_def(db, def, link, ns, is_inner_doc)?;
431 let mut url = get_doc_base_urls(db, resolved, None, None).0?;
432
433 let (_, file, frag) = filename_and_frag_for_def(db, resolved)?;
434 if let Some(path) = mod_path_of_def(db, resolved) {
435 url = url.join(&path).ok()?;
436 }
437
438 let frag = anchor.or(frag.as_deref());
439
440 url = url.join(&file).ok()?;
441 url.set_fragment(frag);
442
443 let title = match link_type {
446 LinkType::Email
447 | LinkType::Autolink
448 | LinkType::Shortcut
449 | LinkType::Collapsed
450 | LinkType::Reference
451 | LinkType::Inline => title.to_owned(),
452 LinkType::ShortcutUnknown | LinkType::CollapsedUnknown | LinkType::ReferenceUnknown => {
453 strip_prefixes_suffixes(title).to_owned()
454 }
455 };
456
457 Some((url.into(), title))
458}
459
460fn rewrite_url_link(db: &RootDatabase, def: Definition, target: &str) -> Option<String> {
462 if !(target.contains('#') || target.contains(".html")) {
463 return None;
464 }
465
466 let mut url = get_doc_base_urls(db, def, None, None).0?;
467 let (def, file, frag) = filename_and_frag_for_def(db, def)?;
468
469 if let Some(path) = mod_path_of_def(db, def) {
470 url = url.join(&path).ok()?;
471 }
472
473 url = url.join(&file).ok()?;
474 url.set_fragment(frag.as_deref());
475 url.join(target).ok().map(Into::into)
476}
477
478fn mod_path_of_def(db: &RootDatabase, def: Definition) -> Option<String> {
479 def.canonical_module_path(db).map(|it| {
480 let mut path = String::new();
481 it.flat_map(|it| it.name(db)).for_each(|name| format_to!(path, "{}/", name.as_str()));
482 path
483 })
484}
485
486fn map_links<'e>(
488 events: impl Iterator<Item = (Event<'e>, Range<usize>)>,
489 callback: impl Fn(&str, &str, Range<usize>, LinkType) -> (Option<LinkType>, String, String),
490) -> impl Iterator<Item = Event<'e>> {
491 let mut in_link = false;
492 let mut end_link_target: Option<CowStr<'_>> = None;
494 let mut end_link_type: Option<LinkType> = None;
498
499 events.map(move |(evt, range)| match evt {
500 Event::Start(Tag::Link(link_type, ref target, _)) => {
501 in_link = true;
502 end_link_target = Some(target.clone());
503 end_link_type = Some(link_type);
504 evt
505 }
506 Event::End(Tag::Link(link_type, target, _)) => {
507 in_link = false;
508 Event::End(Tag::Link(
509 end_link_type.take().unwrap_or(link_type),
510 end_link_target.take().unwrap_or(target),
511 CowStr::Borrowed(""),
512 ))
513 }
514 Event::Text(s) if in_link => {
515 let (link_type, link_target_s, link_name) =
516 callback(&end_link_target.take().unwrap(), &s, range, end_link_type.unwrap());
517 end_link_target = Some(CowStr::Boxed(link_target_s.into()));
518 if !matches!(end_link_type, Some(LinkType::Autolink)) && link_type.is_some() {
519 end_link_type = link_type;
520 }
521 Event::Text(CowStr::Boxed(link_name.into()))
522 }
523 Event::Code(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::Code(CowStr::Boxed(link_name.into()))
531 }
532 _ => evt,
533 })
534}
535
536fn get_doc_base_urls(
545 db: &RootDatabase,
546 def: Definition,
547 target_dir: Option<&str>,
548 sysroot: Option<&str>,
549) -> (Option<Url>, Option<Url>) {
550 let local_doc = target_dir
551 .and_then(|path| Url::parse(&format!("file:///{path}/")).ok())
552 .and_then(|it| it.join("doc/").ok());
553 let system_doc = sysroot
554 .map(|sysroot| format!("file:///{sysroot}/share/doc/rust/html/"))
555 .and_then(|it| Url::parse(&it).ok());
556 let krate = def.krate(db);
557 let channel = krate
558 .and_then(|krate| db.toolchain_channel(krate.into()))
559 .unwrap_or(ReleaseChannel::Nightly)
560 .as_str();
561
562 if let Definition::BuiltinType(..) = def {
565 let web_link = Url::parse(&format!("https://doc.rust-lang.org/{channel}/core/")).ok();
566 let system_link = system_doc.and_then(|it| it.join("core/").ok());
567 return (web_link, system_link);
568 };
569
570 let Some(krate) = krate else { return Default::default() };
571 let Some(display_name) = krate.display_name(db) else { return Default::default() };
572 let (web_base, local_base) = match krate.origin(db) {
573 CrateOrigin::Lang(
576 origin @ (LangCrateOrigin::Alloc
577 | LangCrateOrigin::Core
578 | LangCrateOrigin::ProcMacro
579 | LangCrateOrigin::Std
580 | LangCrateOrigin::Test),
581 ) => {
582 let system_url = system_doc.and_then(|it| it.join(&format!("{origin}")).ok());
583 let web_url = format!("https://doc.rust-lang.org/{channel}/{origin}");
584 (Some(web_url), system_url)
585 }
586 CrateOrigin::Lang(_) => return (None, None),
587 CrateOrigin::Rustc { name: _ } => {
588 (Some(format!("https://doc.rust-lang.org/{channel}/nightly-rustc/")), None)
589 }
590 CrateOrigin::Local { repo: _, name: _ } => {
591 let weblink = krate.get_html_root_url(db).or_else(|| {
593 let version = krate.version(db);
594 Some(format!(
600 "https://docs.rs/{krate}/{version}/",
601 krate = display_name,
602 version = version.as_deref().unwrap_or("*")
603 ))
604 });
605 (weblink, local_doc)
606 }
607 CrateOrigin::Library { repo: _, name } => {
608 let weblink = krate.get_html_root_url(db).or_else(|| {
609 let version = krate.version(db);
610 Some(format!(
616 "https://docs.rs/{krate}/{version}/",
617 krate = name,
618 version = version.as_deref().unwrap_or("*")
619 ))
620 });
621 (weblink, local_doc)
622 }
623 };
624 let web_base = web_base
625 .and_then(|it| Url::parse(&it).ok())
626 .and_then(|it| it.join(&format!("{display_name}/")).ok());
627 let local_base = local_base.and_then(|it| it.join(&format!("{display_name}/")).ok());
628
629 (web_base, local_base)
630}
631
632fn filename_and_frag_for_def(
639 db: &dyn HirDatabase,
640 def: Definition,
641) -> Option<(Definition, String, Option<String>)> {
642 if let Some(assoc_item) = def.as_assoc_item(db) {
643 let def = match assoc_item.container(db) {
644 AssocItemContainer::Trait(t) => t.into(),
645 AssocItemContainer::Impl(i) => i.self_ty(db).as_adt()?.into(),
646 };
647 let (_, file, _) = filename_and_frag_for_def(db, def)?;
648 let frag = get_assoc_item_fragment(db, assoc_item)?;
649 return Some((def, file, Some(frag)));
650 }
651
652 let res = match def {
653 Definition::Adt(adt) => match adt {
654 Adt::Struct(s) => {
655 format!("struct.{}.html", s.name(db).as_str())
656 }
657 Adt::Enum(e) => format!("enum.{}.html", e.name(db).as_str()),
658 Adt::Union(u) => format!("union.{}.html", u.name(db).as_str()),
659 },
660 Definition::Crate(_) => String::from("index.html"),
661 Definition::Module(m) => match m.name(db) {
662 Some(name) => {
664 match m.attrs(db).by_key(sym::doc).find_string_value_in_tt(sym::keyword) {
665 Some(kw) => {
666 format!("keyword.{kw}.html")
667 }
668 None => format!("{}/index.html", name.as_str()),
669 }
670 }
671 None => String::from("index.html"),
672 },
673 Definition::Trait(t) => {
674 format!("trait.{}.html", t.name(db).as_str())
675 }
676 Definition::TraitAlias(t) => {
677 format!("traitalias.{}.html", t.name(db).as_str())
678 }
679 Definition::TypeAlias(t) => {
680 format!("type.{}.html", t.name(db).as_str())
681 }
682 Definition::BuiltinType(t) => {
683 format!("primitive.{}.html", t.name().as_str())
684 }
685 Definition::Function(f) => {
686 format!("fn.{}.html", f.name(db).as_str())
687 }
688 Definition::Variant(ev) => {
689 let def = Definition::Adt(ev.parent_enum(db).into());
690 let (_, file, _) = filename_and_frag_for_def(db, def)?;
691 return Some((def, file, Some(format!("variant.{}", ev.name(db).as_str()))));
692 }
693 Definition::Const(c) => {
694 format!("constant.{}.html", c.name(db)?.as_str())
695 }
696 Definition::Static(s) => {
697 format!("static.{}.html", s.name(db).as_str())
698 }
699 Definition::Macro(mac) => match mac.kind(db) {
700 hir::MacroKind::Declarative
701 | hir::MacroKind::AttrBuiltIn
702 | hir::MacroKind::DeclarativeBuiltIn
703 | hir::MacroKind::Attr
704 | hir::MacroKind::ProcMacro => {
705 format!("macro.{}.html", mac.name(db).as_str())
706 }
707 hir::MacroKind::Derive | hir::MacroKind::DeriveBuiltIn => {
708 format!("derive.{}.html", mac.name(db).as_str())
709 }
710 },
711 Definition::Field(field) => {
712 let def = match field.parent_def(db) {
713 hir::VariantDef::Struct(it) => Definition::Adt(it.into()),
714 hir::VariantDef::Union(it) => Definition::Adt(it.into()),
715 hir::VariantDef::Variant(it) => Definition::Variant(it),
716 };
717 let (_, file, _) = filename_and_frag_for_def(db, def)?;
718 return Some((def, file, Some(format!("structfield.{}", field.name(db).as_str()))));
719 }
720 Definition::SelfType(impl_) => {
721 let adt = impl_.self_ty(db).as_adt()?.into();
722 let (_, file, _) = filename_and_frag_for_def(db, adt)?;
723 return Some((adt, file, Some(String::from("impl"))));
725 }
726 Definition::ExternCrateDecl(it) => {
727 format!("{}/index.html", it.name(db).as_str())
728 }
729 Definition::Local(_)
730 | Definition::GenericParam(_)
731 | Definition::TupleField(_)
732 | Definition::Label(_)
733 | Definition::BuiltinAttr(_)
734 | Definition::BuiltinLifetime(_)
735 | Definition::ToolModule(_)
736 | Definition::DeriveHelper(_)
737 | Definition::InlineAsmRegOrRegClass(_)
738 | Definition::InlineAsmOperand(_) => return None,
739 };
740
741 Some((def, res, None))
742}
743
744fn get_assoc_item_fragment(db: &dyn HirDatabase, assoc_item: hir::AssocItem) -> Option<String> {
751 Some(match assoc_item {
752 AssocItem::Function(function) => {
753 let is_trait_method =
754 function.as_assoc_item(db).and_then(|assoc| assoc.container_trait(db)).is_some();
755 if is_trait_method && !function.has_body(db) {
759 format!("tymethod.{}", function.name(db).as_str())
760 } else {
761 format!("method.{}", function.name(db).as_str())
762 }
763 }
764 AssocItem::Const(constant) => {
765 format!("associatedconstant.{}", constant.name(db)?.as_str())
766 }
767 AssocItem::TypeAlias(ty) => {
768 format!("associatedtype.{}", ty.name(db).as_str())
769 }
770 })
771}