1use ::serde::{Deserialize, Serialize};
 2use gpui::{PromptLevel, WeakEntity};
 3use lsp::LanguageServer;
 4
 5use crate::{LanguageServerPromptRequest, LspStore, LspStoreEvent};
 6
 7pub const RUST_ANALYZER_NAME: &str = "rust-analyzer";
 8
 9/// Experimental: Informs the end user about the state of the server
10///
11/// [Rust Analyzer Specification](https://rust-analyzer.github.io/book/contributing/lsp-extensions.html#server-status)
12#[derive(Debug)]
13enum ServerStatus {}
14
15/// Other(String) variant to handle unknown values due to this still being experimental
16#[derive(Debug, PartialEq, Deserialize, Serialize, Clone)]
17#[serde(rename_all = "camelCase")]
18enum ServerHealthStatus {
19    Ok,
20    Warning,
21    Error,
22    Other(String),
23}
24
25#[derive(Debug, PartialEq, Deserialize, Serialize, Clone)]
26#[serde(rename_all = "camelCase")]
27struct ServerStatusParams {
28    pub health: ServerHealthStatus,
29    pub message: Option<String>,
30}
31
32impl lsp::notification::Notification for ServerStatus {
33    type Params = ServerStatusParams;
34    const METHOD: &'static str = "experimental/serverStatus";
35}
36
37pub fn register_notifications(lsp_store: WeakEntity<LspStore>, language_server: &LanguageServer) {
38    let name = language_server.name();
39    let server_id = language_server.server_id();
40
41    language_server
42        .on_notification::<ServerStatus, _>({
43            let name = name.to_string();
44            move |params, cx| {
45                let name = name.to_string();
46                if let Some(ref message) = params.message {
47                    let message = message.trim();
48                    if !message.is_empty() {
49                        let formatted_message = format!(
50                            "Language server {name} (id {server_id}) status update: {message}"
51                        );
52                        match params.health {
53                            ServerHealthStatus::Ok => log::info!("{formatted_message}"),
54                            ServerHealthStatus::Warning => log::warn!("{formatted_message}"),
55                            ServerHealthStatus::Error => {
56                                log::error!("{formatted_message}");
57                                let (tx, _rx) = smol::channel::bounded(1);
58                                let request = LanguageServerPromptRequest {
59                                    level: PromptLevel::Critical,
60                                    message: params.message.unwrap_or_default(),
61                                    actions: Vec::new(),
62                                    response_channel: tx,
63                                    lsp_name: name.clone(),
64                                };
65                                lsp_store
66                                    .update(cx, |_, cx| {
67                                        cx.emit(LspStoreEvent::LanguageServerPrompt(request));
68                                    })
69                                    .ok();
70                            }
71                            ServerHealthStatus::Other(status) => {
72                                log::info!("Unknown server health: {status}\n{formatted_message}")
73                            }
74                        }
75                    }
76                }
77            }
78        })
79        .detach();
80}