1use std::{borrow::Cow, sync::Arc};
2
3use ::serde::{Deserialize, Serialize};
4use gpui::WeakEntity;
5use language::{CachedLspAdapter, Diagnostic, DiagnosticSourceKind};
6use lsp::{LanguageServer, LanguageServerName};
7use util::ResultExt as _;
8
9use crate::{LspStore, lsp_store::DocumentDiagnosticsUpdate};
10
11pub const CLANGD_SERVER_NAME: LanguageServerName = LanguageServerName::new_static("clangd");
12const INACTIVE_REGION_MESSAGE: &str = "inactive region";
13const INACTIVE_DIAGNOSTIC_SEVERITY: lsp::DiagnosticSeverity = lsp::DiagnosticSeverity::INFORMATION;
14
15#[derive(Debug, Eq, PartialEq, Clone, Deserialize, Serialize)]
16#[serde(rename_all = "camelCase")]
17pub struct InactiveRegionsParams {
18 pub text_document: lsp::OptionalVersionedTextDocumentIdentifier,
19 pub regions: Vec<lsp::Range>,
20}
21
22/// InactiveRegions is a clangd extension that marks regions of inactive code.
23pub struct InactiveRegions;
24
25impl lsp::notification::Notification for InactiveRegions {
26 type Params = InactiveRegionsParams;
27 const METHOD: &'static str = "textDocument/inactiveRegions";
28}
29
30pub fn is_inactive_region(diag: &Diagnostic) -> bool {
31 diag.is_unnecessary
32 && diag.severity == INACTIVE_DIAGNOSTIC_SEVERITY
33 && diag.message == INACTIVE_REGION_MESSAGE
34 && diag
35 .source
36 .as_ref()
37 .is_some_and(|v| v == &CLANGD_SERVER_NAME.0)
38}
39
40pub fn is_lsp_inactive_region(diag: &lsp::Diagnostic) -> bool {
41 diag.severity == Some(INACTIVE_DIAGNOSTIC_SEVERITY)
42 && diag.message == INACTIVE_REGION_MESSAGE
43 && diag
44 .source
45 .as_ref()
46 .is_some_and(|v| v == &CLANGD_SERVER_NAME.0)
47}
48
49pub fn register_notifications(
50 lsp_store: WeakEntity<LspStore>,
51 language_server: &LanguageServer,
52 adapter: Arc<CachedLspAdapter>,
53) {
54 if language_server.name() != CLANGD_SERVER_NAME {
55 return;
56 }
57 let server_id = language_server.server_id();
58
59 language_server
60 .on_notification::<InactiveRegions, _>({
61 let adapter = adapter;
62 let this = lsp_store;
63
64 move |params: InactiveRegionsParams, cx| {
65 let adapter = adapter.clone();
66 this.update(cx, |this, cx| {
67 let diagnostics = params
68 .regions
69 .into_iter()
70 .map(|range| lsp::Diagnostic {
71 range,
72 severity: Some(INACTIVE_DIAGNOSTIC_SEVERITY),
73 source: Some(CLANGD_SERVER_NAME.to_string()),
74 message: INACTIVE_REGION_MESSAGE.to_string(),
75 tags: Some(vec![lsp::DiagnosticTag::UNNECESSARY]),
76 ..lsp::Diagnostic::default()
77 })
78 .collect();
79 let mapped_diagnostics = lsp::PublishDiagnosticsParams {
80 uri: params.text_document.uri,
81 version: params.text_document.version,
82 diagnostics,
83 };
84 this.merge_lsp_diagnostics(
85 DiagnosticSourceKind::Pushed,
86 vec![DocumentDiagnosticsUpdate {
87 server_id,
88 diagnostics: mapped_diagnostics,
89 result_id: None,
90 disk_based_sources: Cow::Borrowed(
91 &adapter.disk_based_diagnostic_sources,
92 ),
93 }],
94 |_, diag, _| !is_inactive_region(diag),
95 cx,
96 )
97 .log_err();
98 })
99 .ok();
100 }
101 })
102 .detach();
103}