Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'helix-lsp/src/client.rs')
| -rw-r--r-- | helix-lsp/src/client.rs | 713 |
1 files changed, 233 insertions, 480 deletions
diff --git a/helix-lsp/src/client.rs b/helix-lsp/src/client.rs index 22a8dd89..93e822c4 100644 --- a/helix-lsp/src/client.rs +++ b/helix-lsp/src/client.rs @@ -1,31 +1,26 @@ use crate::{ - file_operations::FileOperationsInterest, find_lsp_workspace, jsonrpc, transport::{Payload, Transport}, - Call, Error, LanguageServerId, OffsetEncoding, Result, + Call, Error, OffsetEncoding, Result, }; -use crate::lsp::{ - self, notification::DidChangeWorkspaceFolders, CodeActionCapabilityResolveSupport, - DidChangeWorkspaceFoldersParams, OneOf, PositionEncodingKind, SignatureHelp, Url, - WorkspaceFolder, WorkspaceFoldersChangeEvent, +use helix_core::{find_workspace, path, ChangeSet, Rope}; +use helix_loader::{self, VERSION_AND_GIT_HASH}; +use lsp::{ + notification::DidChangeWorkspaceFolders, DidChangeWorkspaceFoldersParams, OneOf, + PositionEncodingKind, WorkspaceFolder, WorkspaceFoldersChangeEvent, }; -use helix_core::{find_workspace, syntax::config::LanguageServerFeature, ChangeSet, Rope}; -use helix_loader::VERSION_AND_GIT_HASH; -use helix_stdx::path; +use lsp_types as lsp; use parking_lot::Mutex; use serde::Deserialize; use serde_json::Value; -use std::{collections::HashMap, path::PathBuf}; -use std::{ - ffi::OsStr, - sync::{ - atomic::{AtomicU64, Ordering}, - Arc, - }, +use std::future::Future; +use std::process::Stdio; +use std::sync::{ + atomic::{AtomicU64, Ordering}, + Arc, }; -use std::{future::Future, sync::OnceLock}; -use std::{path::Path, process::Stdio}; +use std::{collections::HashMap, path::PathBuf}; use tokio::{ io::{BufReader, BufWriter}, process::{Child, Command}, @@ -39,7 +34,7 @@ fn workspace_for_uri(uri: lsp::Url) -> WorkspaceFolder { lsp::WorkspaceFolder { name: uri .path_segments() - .and_then(|mut segments| segments.next_back()) + .and_then(|segments| segments.last()) .map(|basename| basename.to_string()) .unwrap_or_default(), uri, @@ -48,13 +43,11 @@ fn workspace_for_uri(uri: lsp::Url) -> WorkspaceFolder { #[derive(Debug)] pub struct Client { - id: LanguageServerId, - name: String, + id: usize, _process: Child, server_tx: UnboundedSender<Payload>, request_counter: AtomicU64, pub(crate) capabilities: OnceCell<lsp::ServerCapabilities>, - pub(crate) file_operation_interest: OnceLock<FileOperationsInterest>, config: Option<Value>, root_path: std::path::PathBuf, root_uri: Option<lsp::Url>, @@ -73,7 +66,7 @@ impl Client { may_support_workspace: bool, ) -> bool { let (workspace, workspace_is_cwd) = find_workspace(); - let workspace = path::normalize(workspace); + let workspace = path::get_normalized_path(&workspace); let root = find_lsp_workspace( doc_path .and_then(|x| x.parent().and_then(|x| x.to_str())) @@ -88,7 +81,7 @@ impl Client { .and_then(|root| lsp::Url::from_file_path(root).ok()); if self.root_path == root.unwrap_or(workspace) - || root_uri.as_ref().is_some_and(|root_uri| { + || root_uri.as_ref().map_or(false, |root_uri| { self.workspace_folders .lock() .iter() @@ -125,7 +118,7 @@ impl Client { { client.add_workspace_folder( root_uri, - workspace_folders_caps.change_notifications.as_ref(), + &workspace_folders_caps.change_notifications, ); } }); @@ -138,10 +131,7 @@ impl Client { .and_then(|cap| cap.workspace_folders.as_ref()) .filter(|cap| cap.supported.unwrap_or(false)) { - self.add_workspace_folder( - root_uri, - workspace_folders_caps.change_notifications.as_ref(), - ); + self.add_workspace_folder(root_uri, &workspace_folders_caps.change_notifications); true } else { // the server doesn't support multi workspaces, we need a new client @@ -152,7 +142,7 @@ impl Client { fn add_workspace_folder( &self, root_uri: Option<lsp::Url>, - change_notifications: Option<&OneOf<bool, String>>, + change_notifications: &Option<OneOf<bool, String>>, ) { // root_uri is None just means that there isn't really any LSP workspace // associated with this file. For servers that support multiple workspaces @@ -167,56 +157,30 @@ impl Client { self.workspace_folders .lock() .push(workspace_for_uri(root_uri.clone())); - if Some(&OneOf::Left(false)) == change_notifications { + if &Some(OneOf::Left(false)) == change_notifications { // server specifically opted out of DidWorkspaceChange notifications // let's assume the server will request the workspace folders itself // and that we can therefore reuse the client (but are done now) return; } - self.did_change_workspace(vec![workspace_for_uri(root_uri)], Vec::new()) - } - - /// Merge FormattingOptions with 'config.format' and return it - fn get_merged_formatting_options( - &self, - options: lsp::FormattingOptions, - ) -> lsp::FormattingOptions { - let config_format = self - .config - .as_ref() - .and_then(|cfg| cfg.get("format")) - .and_then(|fmt| HashMap::<String, lsp::FormattingProperty>::deserialize(fmt).ok()); - - if let Some(mut properties) = config_format { - // passed in options take precedence over 'config.format' - properties.extend(options.properties); - lsp::FormattingOptions { - properties, - ..options - } - } else { - options - } + tokio::spawn(self.did_change_workspace(vec![workspace_for_uri(root_uri)], Vec::new())); } - #[allow(clippy::type_complexity, clippy::too_many_arguments)] + #[allow(clippy::type_complexity)] + #[allow(clippy::too_many_arguments)] pub fn start( cmd: &str, args: &[String], config: Option<Value>, - server_environment: impl IntoIterator<Item = (impl AsRef<OsStr>, impl AsRef<OsStr>)>, - root_path: PathBuf, - root_uri: Option<lsp::Url>, - id: LanguageServerId, - name: String, + server_environment: HashMap<String, String>, + root_markers: &[String], + manual_roots: &[PathBuf], + id: usize, req_timeout: u64, - ) -> Result<( - Self, - UnboundedReceiver<(LanguageServerId, Call)>, - Arc<Notify>, - )> { + doc_path: Option<&std::path::PathBuf>, + ) -> Result<(Self, UnboundedReceiver<(usize, Call)>, Arc<Notify>)> { // Resolve path to the binary - let cmd = helix_stdx::env::which(cmd)?; + let cmd = which::which(cmd).map_err(|err| anyhow::anyhow!(err))?; let process = Command::new(cmd) .envs(server_environment) @@ -224,7 +188,6 @@ impl Client { .stdin(Stdio::piped()) .stdout(Stdio::piped()) .stderr(Stdio::piped()) - .current_dir(&root_path) // make sure the process is reaped on drop .kill_on_drop(true) .spawn(); @@ -237,7 +200,23 @@ impl Client { let stderr = BufReader::new(process.stderr.take().expect("Failed to open stderr")); let (server_rx, server_tx, initialize_notify) = - Transport::start(reader, writer, stderr, id, name.clone()); + Transport::start(reader, writer, stderr, id); + let (workspace, workspace_is_cwd) = find_workspace(); + let workspace = path::get_normalized_path(&workspace); + let root = find_lsp_workspace( + doc_path + .and_then(|x| x.parent().and_then(|x| x.to_str())) + .unwrap_or("."), + root_markers, + manual_roots, + &workspace, + workspace_is_cwd, + ); + + // `root_uri` and `workspace_folder` can be empty in case there is no workspace + // `root_url` can not, use `workspace` as a fallback + let root_path = root.clone().unwrap_or_else(|| workspace.clone()); + let root_uri = root.and_then(|root| lsp::Url::from_file_path(root).ok()); let workspace_folders = root_uri .clone() @@ -246,12 +225,10 @@ impl Client { let client = Self { id, - name, _process: process, server_tx, request_counter: AtomicU64::new(0), capabilities: OnceCell::new(), - file_operation_interest: OnceLock::new(), config, req_timeout, root_path, @@ -263,11 +240,7 @@ impl Client { Ok((client, server_rx, initialize_notify)) } - pub fn name(&self) -> &str { - &self.name - } - - pub fn id(&self) -> LanguageServerId { + pub fn id(&self) -> usize { self.id } @@ -297,101 +270,6 @@ impl Client { .expect("language server not yet initialized!") } - pub(crate) fn file_operations_intests(&self) -> &FileOperationsInterest { - self.file_operation_interest - .get_or_init(|| FileOperationsInterest::new(self.capabilities())) - } - - /// Client has to be initialized otherwise this function panics - #[inline] - pub fn supports_feature(&self, feature: LanguageServerFeature) -> bool { - let capabilities = self.capabilities(); - - use lsp::*; - match feature { - LanguageServerFeature::Format => matches!( - capabilities.document_formatting_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::GotoDeclaration => matches!( - capabilities.declaration_provider, - Some( - DeclarationCapability::Simple(true) - | DeclarationCapability::RegistrationOptions(_) - | DeclarationCapability::Options(_), - ) - ), - LanguageServerFeature::GotoDefinition => matches!( - capabilities.definition_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::GotoTypeDefinition => matches!( - capabilities.type_definition_provider, - Some( - TypeDefinitionProviderCapability::Simple(true) - | TypeDefinitionProviderCapability::Options(_), - ) - ), - LanguageServerFeature::GotoReference => matches!( - capabilities.references_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::GotoImplementation => matches!( - capabilities.implementation_provider, - Some( - ImplementationProviderCapability::Simple(true) - | ImplementationProviderCapability::Options(_), - ) - ), - LanguageServerFeature::SignatureHelp => capabilities.signature_help_provider.is_some(), - LanguageServerFeature::Hover => matches!( - capabilities.hover_provider, - Some(HoverProviderCapability::Simple(true) | HoverProviderCapability::Options(_),) - ), - LanguageServerFeature::DocumentHighlight => matches!( - capabilities.document_highlight_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::Completion => capabilities.completion_provider.is_some(), - LanguageServerFeature::CodeAction => matches!( - capabilities.code_action_provider, - Some( - CodeActionProviderCapability::Simple(true) - | CodeActionProviderCapability::Options(_), - ) - ), - LanguageServerFeature::WorkspaceCommand => { - capabilities.execute_command_provider.is_some() - } - LanguageServerFeature::DocumentSymbols => matches!( - capabilities.document_symbol_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::WorkspaceSymbols => matches!( - capabilities.workspace_symbol_provider, - Some(OneOf::Left(true) | OneOf::Right(_)) - ), - LanguageServerFeature::Diagnostics => true, // there's no extra server capability - LanguageServerFeature::PullDiagnostics => capabilities.diagnostic_provider.is_some(), - LanguageServerFeature::RenameSymbol => matches!( - capabilities.rename_provider, - Some(OneOf::Left(true)) | Some(OneOf::Right(_)) - ), - LanguageServerFeature::InlayHints => matches!( - capabilities.inlay_hint_provider, - Some(OneOf::Left(true) | OneOf::Right(InlayHintServerCapabilities::Options(_))) - ), - LanguageServerFeature::DocumentColors => matches!( - capabilities.color_provider, - Some( - ColorProviderCapability::Simple(true) - | ColorProviderCapability::ColorProvider(_) - | ColorProviderCapability::Options(_) - ) - ), - } - } - pub fn offset_encoding(&self) -> OffsetEncoding { self.capabilities() .position_encoding @@ -419,101 +297,83 @@ impl Client { } /// Execute a RPC request on the language server. - fn call<R: lsp::request::Request>( - &self, - params: R::Params, - ) -> impl Future<Output = Result<R::Result>> - where - R::Params: serde::Serialize, - { - self.call_with_ref::<R>(¶ms) - } - - fn call_with_ref<R: lsp::request::Request>( - &self, - params: &R::Params, - ) -> impl Future<Output = Result<R::Result>> + async fn request<R: lsp::request::Request>(&self, params: R::Params) -> Result<R::Result> where R::Params: serde::Serialize, + R::Result: core::fmt::Debug, // TODO: temporary { - self.call_with_timeout::<R>(params, self.req_timeout) + // a future that resolves into the response + let json = self.call::<R>(params).await?; + let response = serde_json::from_value(json)?; + Ok(response) } - fn call_with_timeout<R: lsp::request::Request>( + /// Execute a RPC request on the language server. + fn call<R: lsp::request::Request>( &self, - params: &R::Params, - timeout_secs: u64, - ) -> impl Future<Output = Result<R::Result>> + params: R::Params, + ) -> impl Future<Output = Result<Value>> where R::Params: serde::Serialize, { let server_tx = self.server_tx.clone(); let id = self.next_request_id(); - - // It's important that this is not part of the future so that it gets executed right away - // and the request order stays consistent. - let rx = serde_json::to_value(params) - .map_err(Error::from) - .and_then(|params| { - let request = jsonrpc::MethodCall { - jsonrpc: Some(jsonrpc::Version::V2), - id: id.clone(), - method: R::METHOD.to_string(), - params: Self::value_into_params(params), - }; - let (tx, rx) = channel::<Result<Value>>(1); - server_tx - .send(Payload::Request { - chan: tx, - value: request, - }) - .map_err(|e| Error::Other(e.into()))?; - Ok(rx) - }); + let timeout_secs = self.req_timeout; async move { use std::time::Duration; use tokio::time::timeout; + + let params = serde_json::to_value(params)?; + + let request = jsonrpc::MethodCall { + jsonrpc: Some(jsonrpc::Version::V2), + id: id.clone(), + method: R::METHOD.to_string(), + params: Self::value_into_params(params), + }; + + let (tx, mut rx) = channel::<Result<Value>>(1); + + server_tx + .send(Payload::Request { + chan: tx, + value: request, + }) + .map_err(|e| Error::Other(e.into()))?; + // TODO: delay other calls until initialize success - timeout(Duration::from_secs(timeout_secs), rx?.recv()) + timeout(Duration::from_secs(timeout_secs), rx.recv()) .await .map_err(|_| Error::Timeout(id))? // return Timeout .ok_or(Error::StreamClosed)? - .and_then(|value| serde_json::from_value(value).map_err(Into::into)) } } /// Send a RPC notification to the language server. - pub fn notify<R: lsp::notification::Notification>(&self, params: R::Params) + pub fn notify<R: lsp::notification::Notification>( + &self, + params: R::Params, + ) -> impl Future<Output = Result<()>> where R::Params: serde::Serialize, { let server_tx = self.server_tx.clone(); - let params = match serde_json::to_value(params) { - Ok(params) => params, - Err(err) => { - log::error!( - "Failed to serialize params for notification '{}' for server '{}': {err}", - R::METHOD, - self.name, - ); - return; - } - }; + async move { + let params = serde_json::to_value(params)?; - let notification = jsonrpc::Notification { - jsonrpc: Some(jsonrpc::Version::V2), - method: R::METHOD.to_string(), - params: Self::value_into_params(params), - }; + let notification = jsonrpc::Notification { + jsonrpc: Some(jsonrpc::Version::V2), + method: R::METHOD.to_string(), + params: Self::value_into_params(params), + }; + + server_tx + .send(Payload::Notification(notification)) + .map_err(|e| Error::Other(e.into()))?; - if let Err(err) = server_tx.send(Payload::Notification(notification)) { - log::error!( - "Failed to send notification '{}' to server '{}': {err}", - R::METHOD, - self.name - ); + Ok(()) } } @@ -522,29 +382,31 @@ impl Client { &self, id: jsonrpc::Id, result: core::result::Result<Value, jsonrpc::Error>, - ) -> Result<()> { + ) -> impl Future<Output = Result<()>> { use jsonrpc::{Failure, Output, Success, Version}; let server_tx = self.server_tx.clone(); - let output = match result { - Ok(result) => Output::Success(Success { - jsonrpc: Some(Version::V2), - id, - result, - }), - Err(error) => Output::Failure(Failure { - jsonrpc: Some(Version::V2), - id, - error, - }), - }; + async move { + let output = match result { + Ok(result) => Output::Success(Success { + jsonrpc: Some(Version::V2), + id, + result: serde_json::to_value(result)?, + }), + Err(error) => Output::Failure(Failure { + jsonrpc: Some(Version::V2), + id, + error, + }), + }; - server_tx - .send(Payload::Response(output)) - .map_err(|e| Error::Other(e.into()))?; + server_tx + .send(Payload::Response(output)) + .map_err(|e| Error::Other(e.into()))?; - Ok(()) + Ok(()) + } } // ------------------------------------------------------------------------------------------- @@ -594,18 +456,6 @@ impl Client { normalizes_line_endings: Some(false), change_annotation_support: None, }), - did_change_watched_files: Some(lsp::DidChangeWatchedFilesClientCapabilities { - dynamic_registration: Some(true), - relative_pattern_support: Some(false), - }), - file_operations: Some(lsp::WorkspaceFileOperationsClientCapabilities { - will_rename: Some(true), - did_rename: Some(true), - ..Default::default() - }), - diagnostic: Some(lsp::DiagnosticWorkspaceClientCapabilities { - refresh_support: Some(true), - }), ..Default::default() }), text_document: Some(lsp::TextDocumentClientCapabilities { @@ -654,9 +504,6 @@ impl Client { prepare_support_default_behavior: None, honors_change_annotations: Some(false), }), - formatting: Some(lsp::DocumentFormattingClientCapabilities { - dynamic_registration: Some(false), - }), code_action: Some(lsp::CodeActionClientCapabilities { code_action_literal_support: Some(lsp::CodeActionLiteralSupport { code_action_kind: lsp::CodeActionKindLiteralSupport { @@ -675,26 +522,10 @@ impl Client { .collect(), }, }), - is_preferred_support: Some(true), - disabled_support: Some(true), - data_support: Some(true), - resolve_support: Some(CodeActionCapabilityResolveSupport { - properties: vec!["edit".to_owned(), "command".to_owned()], - }), ..Default::default() }), - diagnostic: Some(lsp::DiagnosticClientCapabilities { - dynamic_registration: Some(false), - related_document_support: Some(true), - }), publish_diagnostics: Some(lsp::PublishDiagnosticsClientCapabilities { version_support: Some(true), - tag_support: Some(lsp::TagSupport { - value_set: vec![ - lsp::DiagnosticTag::UNNECESSARY, - lsp::DiagnosticTag::DEPRECATED, - ], - }), ..Default::default() }), inlay_hint: Some(lsp::InlayHintClientCapabilities { @@ -723,17 +554,16 @@ impl Client { version: Some(String::from(VERSION_AND_GIT_HASH)), }), locale: None, // TODO - work_done_progress_params: lsp::WorkDoneProgressParams::default(), }; - self.call::<lsp::request::Initialize>(params).await + self.request::<lsp::request::Initialize>(params).await } pub async fn shutdown(&self) -> Result<()> { - self.call::<lsp::request::Shutdown>(()).await + self.request::<lsp::request::Shutdown>(()).await } - pub fn exit(&self) { + pub fn exit(&self) -> impl Future<Output = Result<()>> { self.notify::<lsp::notification::Exit>(()) } @@ -741,8 +571,7 @@ impl Client { /// early if server responds with an error. pub async fn shutdown_and_exit(&self) -> Result<()> { self.shutdown().await?; - self.exit(); - Ok(()) + self.exit().await } /// Forcefully shuts down the language server ignoring any errors. @@ -750,76 +579,29 @@ impl Client { if let Err(e) = self.shutdown().await { log::warn!("language server failed to terminate gracefully - {}", e); } - self.exit(); - Ok(()) + self.exit().await } // ------------------------------------------------------------------------------------------- // Workspace // ------------------------------------------------------------------------------------------- - pub fn did_change_configuration(&self, settings: Value) { + pub fn did_change_configuration(&self, settings: Value) -> impl Future<Output = Result<()>> { self.notify::<lsp::notification::DidChangeConfiguration>( lsp::DidChangeConfigurationParams { settings }, ) } - pub fn did_change_workspace(&self, added: Vec<WorkspaceFolder>, removed: Vec<WorkspaceFolder>) { + pub fn did_change_workspace( + &self, + added: Vec<WorkspaceFolder>, + removed: Vec<WorkspaceFolder>, + ) -> impl Future<Output = Result<()>> { self.notify::<DidChangeWorkspaceFolders>(DidChangeWorkspaceFoldersParams { event: WorkspaceFoldersChangeEvent { added, removed }, }) } - pub fn will_rename( - &self, - old_path: &Path, - new_path: &Path, - is_dir: bool, - ) -> Option<impl Future<Output = Result<Option<lsp::WorkspaceEdit>>>> { - let capabilities = self.file_operations_intests(); - if !capabilities.will_rename.has_interest(old_path, is_dir) { - return None; - } - let url_from_path = |path| { - let url = if is_dir { - Url::from_directory_path(path) - } else { - Url::from_file_path(path) - }; - Some(url.ok()?.to_string()) - }; - let files = vec![lsp::FileRename { - old_uri: url_from_path(old_path)?, - new_uri: url_from_path(new_path)?, - }]; - Some(self.call_with_timeout::<lsp::request::WillRenameFiles>( - &lsp::RenameFilesParams { files }, - 5, - )) - } - - pub fn did_rename(&self, old_path: &Path, new_path: &Path, is_dir: bool) -> Option<()> { - let capabilities = self.file_operations_intests(); - if !capabilities.did_rename.has_interest(new_path, is_dir) { - return None; - } - let url_from_path = |path| { - let url = if is_dir { - Url::from_directory_path(path) - } else { - Url::from_file_path(path) - }; - Some(url.ok()?.to_string()) - }; - - let files = vec![lsp::FileRename { - old_uri: url_from_path(old_path)?, - new_uri: url_from_path(new_path)?, - }]; - self.notify::<lsp::notification::DidRenameFiles>(lsp::RenameFilesParams { files }); - Some(()) - } - // ------------------------------------------------------------------------------------------- // Text document // ------------------------------------------------------------------------------------------- @@ -830,7 +612,7 @@ impl Client { version: i32, doc: &Rope, language_id: String, - ) { + ) -> impl Future<Output = Result<()>> { self.notify::<lsp::notification::DidOpenTextDocument>(lsp::DidOpenTextDocumentParams { text_document: lsp::TextDocumentItem { uri, @@ -863,11 +645,7 @@ impl Client { // Calculation is therefore a bunch trickier. use helix_core::RopeSlice; - fn traverse( - pos: lsp::Position, - text: RopeSlice, - offset_encoding: OffsetEncoding, - ) -> lsp::Position { + fn traverse(pos: lsp::Position, text: RopeSlice) -> lsp::Position { let lsp::Position { mut line, mut character, @@ -884,11 +662,7 @@ impl Client { line += 1; character = 0; } else { - character += match offset_encoding { - OffsetEncoding::Utf8 => ch.len_utf8() as u32, - OffsetEncoding::Utf16 => ch.len_utf16() as u32, - OffsetEncoding::Utf32 => 1, - }; + character += ch.len_utf16() as u32; } } lsp::Position { line, character } @@ -909,7 +683,7 @@ impl Client { } Delete(_) => { let start = pos_to_lsp_pos(new_text, new_pos, offset_encoding); - let end = traverse(start, old_text.slice(old_pos..old_end), offset_encoding); + let end = traverse(start, old_text.slice(old_pos..old_end)); // deletion changes.push(lsp::TextDocumentContentChangeEvent { @@ -926,8 +700,7 @@ impl Client { // a subsequent delete means a replace, consume it let end = if let Some(Delete(len)) = iter.peek() { old_end = old_pos + len; - let end = - traverse(start, old_text.slice(old_pos..old_end), offset_encoding); + let end = traverse(start, old_text.slice(old_pos..old_end)); iter.next(); @@ -957,7 +730,7 @@ impl Client { old_text: &Rope, new_text: &Rope, changes: &ChangeSet, - ) -> Option<()> { + ) -> Option<impl Future<Output = Result<()>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support document sync. @@ -989,14 +762,18 @@ impl Client { kind => unimplemented!("{:?}", kind), }; - self.notify::<lsp::notification::DidChangeTextDocument>(lsp::DidChangeTextDocumentParams { - text_document, - content_changes: changes, - }); - Some(()) + Some(self.notify::<lsp::notification::DidChangeTextDocument>( + lsp::DidChangeTextDocumentParams { + text_document, + content_changes: changes, + }, + )) } - pub fn text_document_did_close(&self, text_document: lsp::TextDocumentIdentifier) { + pub fn text_document_did_close( + &self, + text_document: lsp::TextDocumentIdentifier, + ) -> impl Future<Output = Result<()>> { self.notify::<lsp::notification::DidCloseTextDocument>(lsp::DidCloseTextDocumentParams { text_document, }) @@ -1008,29 +785,31 @@ impl Client { &self, text_document: lsp::TextDocumentIdentifier, text: &Rope, - ) -> Option<()> { + ) -> Option<impl Future<Output = Result<()>>> { let capabilities = self.capabilities.get().unwrap(); - let include_text = match &capabilities.text_document_sync.as_ref()? { - lsp::TextDocumentSyncCapability::Options(lsp::TextDocumentSyncOptions { - save: options, + let include_text = match &capabilities.text_document_sync { + Some(lsp::TextDocumentSyncCapability::Options(lsp::TextDocumentSyncOptions { + save: Some(options), .. - }) => match options.as_ref()? { + })) => match options { lsp::TextDocumentSyncSaveOptions::Supported(true) => false, - lsp::TextDocumentSyncSaveOptions::SaveOptions(lsp::SaveOptions { + lsp::TextDocumentSyncSaveOptions::SaveOptions(lsp_types::SaveOptions { include_text, }) => include_text.unwrap_or(false), - lsp::TextDocumentSyncSaveOptions::Supported(false) => return None, + // Supported(false) + _ => return None, }, - // see: https://github.com/microsoft/language-server-protocol/issues/288 - lsp::TextDocumentSyncCapability::Kind(..) => false, + // unsupported + _ => return None, }; - self.notify::<lsp::notification::DidSaveTextDocument>(lsp::DidSaveTextDocumentParams { - text_document, - text: include_text.then_some(text.into()), - }); - Some(()) + Some(self.notify::<lsp::notification::DidSaveTextDocument>( + lsp::DidSaveTextDocumentParams { + text_document, + text: include_text.then_some(text.into()), + }, + )) } pub fn completion( @@ -1038,8 +817,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - context: lsp::CompletionContext, - ) -> Option<impl Future<Output = Result<Option<lsp::CompletionResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support completion. @@ -1050,12 +828,13 @@ impl Client { text_document, position, }, - context: Some(context), // TODO: support these tokens by async receiving and updating the choice list work_done_progress_params: lsp::WorkDoneProgressParams { work_done_token }, partial_result_params: lsp::PartialResultParams { partial_result_token: None, }, + context: None, + // lsp::CompletionContext { trigger_kind: , trigger_character: Some(), } }; Some(self.call::<lsp::request::Completion>(params)) @@ -1063,27 +842,20 @@ impl Client { pub fn resolve_completion_item( &self, - completion_item: &lsp::CompletionItem, - ) -> impl Future<Output = Result<lsp::CompletionItem>> { - self.call_with_ref::<lsp::request::ResolveCompletionItem>(completion_item) - } - - pub fn resolve_code_action( - &self, - code_action: &lsp::CodeAction, - ) -> Option<impl Future<Output = Result<lsp::CodeAction>>> { + completion_item: lsp::CompletionItem, + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); - // Return early if the server does not support resolving code actions. - match capabilities.code_action_provider { - Some(lsp::CodeActionProviderCapability::Options(lsp::CodeActionOptions { + // Return early if the server does not support resolving completion items. + match capabilities.completion_provider { + Some(lsp::CompletionOptions { resolve_provider: Some(true), .. - })) => (), + }) => (), _ => return None, } - Some(self.call_with_ref::<lsp::request::CodeActionResolveRequest>(code_action)) + Some(self.call::<lsp::request::ResolveCompletionItem>(completion_item)) } pub fn text_document_signature_help( @@ -1091,7 +863,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<SignatureHelp>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support signature help. @@ -1115,7 +887,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, range: lsp::Range, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::InlayHint>>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); match capabilities.inlay_hint_provider { @@ -1135,31 +907,12 @@ impl Client { Some(self.call::<lsp::request::InlayHintRequest>(params)) } - pub fn text_document_document_color( - &self, - text_document: lsp::TextDocumentIdentifier, - work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Vec<lsp::ColorInformation>>>> { - self.capabilities.get().unwrap().color_provider.as_ref()?; - let params = lsp::DocumentColorParams { - text_document, - work_done_progress_params: lsp::WorkDoneProgressParams { - work_done_token: work_done_token.clone(), - }, - partial_result_params: helix_lsp_types::PartialResultParams { - partial_result_token: work_done_token, - }, - }; - - Some(self.call::<lsp::request::DocumentColor>(params)) - } - pub fn text_document_hover( &self, text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<lsp::Hover>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support hover. @@ -1190,7 +943,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, options: lsp::FormattingOptions, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::TextEdit>>>>> { + ) -> Option<impl Future<Output = Result<Vec<lsp::TextEdit>>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support formatting. @@ -1199,7 +952,23 @@ impl Client { _ => return None, }; - let options = self.get_merged_formatting_options(options); + // merge FormattingOptions with 'config.format' + let config_format = self + .config + .as_ref() + .and_then(|cfg| cfg.get("format")) + .and_then(|fmt| HashMap::<String, lsp::FormattingProperty>::deserialize(fmt).ok()); + + let options = if let Some(mut properties) = config_format { + // passed in options take precedence over 'config.format' + properties.extend(options.properties); + lsp::FormattingOptions { + properties, + ..options + } + } else { + options + }; let params = lsp::DocumentFormattingParams { text_document, @@ -1207,7 +976,13 @@ impl Client { work_done_progress_params: lsp::WorkDoneProgressParams { work_done_token }, }; - Some(self.call::<lsp::request::Formatting>(params)) + let request = self.call::<lsp::request::Formatting>(params); + + Some(async move { + let json = request.await?; + let response: Option<Vec<lsp::TextEdit>> = serde_json::from_value(json)?; + Ok(response.unwrap_or_default()) + }) } pub fn text_document_range_formatting( @@ -1216,7 +991,7 @@ impl Client { range: lsp::Range, options: lsp::FormattingOptions, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::TextEdit>>>>> { + ) -> Option<impl Future<Output = Result<Vec<lsp::TextEdit>>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support range formatting. @@ -1225,8 +1000,6 @@ impl Client { _ => return None, }; - let options = self.get_merged_formatting_options(options); - let params = lsp::DocumentRangeFormattingParams { text_document, range, @@ -1234,33 +1007,13 @@ impl Client { work_done_progress_params: lsp::WorkDoneProgressParams { work_done_token }, }; - Some(self.call::<lsp::request::RangeFormatting>(params)) - } + let request = self.call::<lsp::request::RangeFormatting>(params); - pub fn text_document_diagnostic( - &self, - text_document: lsp::TextDocumentIdentifier, - previous_result_id: Option<String>, - ) -> Option<impl Future<Output = Result<lsp::DocumentDiagnosticReportResult>>> { - let capabilities = self.capabilities(); - - // Return early if the server does not support pull diagnostic. - let identifier = match capabilities.diagnostic_provider.as_ref()? { - lsp::DiagnosticServerCapabilities::Options(cap) => cap.identifier.clone(), - lsp::DiagnosticServerCapabilities::RegistrationOptions(cap) => { - cap.diagnostic_options.identifier.clone() - } - }; - - let params = lsp::DocumentDiagnosticParams { - text_document, - identifier, - previous_result_id, - work_done_progress_params: lsp::WorkDoneProgressParams::default(), - partial_result_params: lsp::PartialResultParams::default(), - }; - - Some(self.call::<lsp::request::DocumentDiagnosticRequest>(params)) + Some(async move { + let json = request.await?; + let response: Option<Vec<lsp::TextEdit>> = serde_json::from_value(json)?; + Ok(response.unwrap_or_default()) + }) } pub fn text_document_document_highlight( @@ -1268,7 +1021,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::DocumentHighlight>>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support document highlight. @@ -1301,7 +1054,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> impl Future<Output = Result<T::Result>> { + ) -> impl Future<Output = Result<Value>> { let params = lsp::GotoDefinitionParams { text_document_position_params: lsp::TextDocumentPositionParams { text_document, @@ -1321,7 +1074,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<lsp::GotoDefinitionResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support goto-definition. @@ -1342,7 +1095,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<lsp::GotoDefinitionResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support goto-declaration. @@ -1367,7 +1120,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<lsp::GotoDefinitionResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support goto-type-definition. @@ -1391,7 +1144,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, position: lsp::Position, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<lsp::GotoDefinitionResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support goto-definition. @@ -1414,9 +1167,8 @@ impl Client { &self, text_document: lsp::TextDocumentIdentifier, position: lsp::Position, - include_declaration: bool, work_done_token: Option<lsp::ProgressToken>, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::Location>>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support goto-reference. @@ -1431,7 +1183,7 @@ impl Client { position, }, context: lsp::ReferenceContext { - include_declaration, + include_declaration: true, }, work_done_progress_params: lsp::WorkDoneProgressParams { work_done_token }, partial_result_params: lsp::PartialResultParams { @@ -1445,7 +1197,7 @@ impl Client { pub fn document_symbols( &self, text_document: lsp::TextDocumentIdentifier, - ) -> Option<impl Future<Output = Result<Option<lsp::DocumentSymbolResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support document symbols. @@ -1467,7 +1219,7 @@ impl Client { &self, text_document: lsp::TextDocumentIdentifier, position: lsp::Position, - ) -> Option<impl Future<Output = Result<Option<lsp::PrepareRenameResponse>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); match capabilities.rename_provider { @@ -1487,10 +1239,7 @@ impl Client { } // empty string to get all symbols - pub fn workspace_symbols( - &self, - query: String, - ) -> Option<impl Future<Output = Result<Option<lsp::WorkspaceSymbolResponse>>>> { + pub fn workspace_symbols(&self, query: String) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support workspace symbols. @@ -1503,7 +1252,6 @@ impl Client { query, work_done_progress_params: lsp::WorkDoneProgressParams::default(), partial_result_params: lsp::PartialResultParams::default(), - ..Default::default() }; Some(self.call::<lsp::request::WorkspaceSymbolRequest>(params)) @@ -1514,7 +1262,7 @@ impl Client { text_document: lsp::TextDocumentIdentifier, range: lsp::Range, context: lsp::CodeActionContext, - ) -> Option<impl Future<Output = Result<Option<Vec<lsp::CodeActionOrCommand>>>>> { + ) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the server does not support code actions. @@ -1537,13 +1285,21 @@ impl Client { Some(self.call::<lsp::request::CodeActionRequest>(params)) } + pub fn supports_rename(&self) -> bool { + let capabilities = self.capabilities.get().unwrap(); + matches!( + capabilities.rename_provider, + Some(lsp::OneOf::Left(true) | lsp::OneOf::Right(_)) + ) + } + pub fn rename_symbol( &self, text_document: lsp::TextDocumentIdentifier, position: lsp::Position, new_name: String, - ) -> Option<impl Future<Output = Result<Option<lsp::WorkspaceEdit>>>> { - if !self.supports_feature(LanguageServerFeature::RenameSymbol) { + ) -> Option<impl Future<Output = Result<lsp::WorkspaceEdit>>> { + if !self.supports_rename() { return None; } @@ -1558,13 +1314,16 @@ impl Client { }, }; - Some(self.call::<lsp::request::Rename>(params)) + let request = self.call::<lsp::request::Rename>(params); + + Some(async move { + let json = request.await?; + let response: Option<lsp::WorkspaceEdit> = serde_json::from_value(json)?; + Ok(response.unwrap_or_default()) + }) } - pub fn command( - &self, - command: lsp::Command, - ) -> Option<impl Future<Output = Result<Option<Value>>>> { + pub fn command(&self, command: lsp::Command) -> Option<impl Future<Output = Result<Value>>> { let capabilities = self.capabilities.get().unwrap(); // Return early if the language server does not support executing commands. @@ -1580,10 +1339,4 @@ impl Client { Some(self.call::<lsp::request::ExecuteCommand>(params)) } - - pub fn did_change_watched_files(&self, changes: Vec<lsp::FileEvent>) { - self.notify::<lsp::notification::DidChangeWatchedFiles>(lsp::DidChangeWatchedFilesParams { - changes, - }) - } } |