crates/rust-analyzer/src/caps.rs

   1 //! Advertizes the capabilities of the LSP Server.
   2 use std::env;
   3
   4 use lsp_types::{
   5     CallHierarchyServerCapability, ClientCapabilities, CodeActionKind, CodeActionOptions,
   6     CodeActionProviderCapability, CodeLensOptions, CompletionOptions,
   7     DocumentOnTypeFormattingOptions, FileOperationFilter, FileOperationPattern,
   8     FileOperationPatternKind, FileOperationRegistrationOptions, FoldingRangeProviderCapability,
   9     HoverProviderCapability, ImplementationProviderCapability, OneOf, RenameOptions, SaveOptions,
  10     SelectionRangeProviderCapability, SemanticTokensFullOptions, SemanticTokensLegend,
  11     SemanticTokensOptions, ServerCapabilities, SignatureHelpOptions, TextDocumentSyncCapability,
  12     TextDocumentSyncKind, TextDocumentSyncOptions, TypeDefinitionProviderCapability,
  13     WorkDoneProgressOptions, WorkspaceFileOperationsServerCapabilities,
  14     WorkspaceServerCapabilities,
  15 };
  16 use serde_json::json;
  17
  18 use crate::semantic_tokens;
  19
  20 pub fn server_capabilities(client_caps: &ClientCapabilities) -> ServerCapabilities {
  21     ServerCapabilities {
  22         text_document_sync: Some(TextDocumentSyncCapability::Options(TextDocumentSyncOptions {
  23             open_close: Some(true),
  24             change: Some(if env::var("RA_NO_INCREMENTAL_SYNC").is_ok() {
  25                 TextDocumentSyncKind::Full
  26             } else {
  27                 TextDocumentSyncKind::Incremental
  28             }),
  29             will_save: None,
  30             will_save_wait_until: None,
  31             save: Some(SaveOptions::default().into()),
  32         })),
  33         hover_provider: Some(HoverProviderCapability::Simple(true)),
  34         completion_provider: Some(CompletionOptions {
  35             resolve_provider: completions_resolve_provider(client_caps),
  36             trigger_characters: Some(vec![":".to_string(), ".".to_string()]),
  37             work_done_progress_options: WorkDoneProgressOptions { work_done_progress: None },
  38         }),
  39         signature_help_provider: Some(SignatureHelpOptions {
  40             trigger_characters: Some(vec!["(".to_string(), ",".to_string()]),
  41             retrigger_characters: None,
  42             work_done_progress_options: WorkDoneProgressOptions { work_done_progress: None },
  43         }),
  44         declaration_provider: None,
  45         definition_provider: Some(OneOf::Left(true)),
  46         type_definition_provider: Some(TypeDefinitionProviderCapability::Simple(true)),
  47         implementation_provider: Some(ImplementationProviderCapability::Simple(true)),
  48         references_provider: Some(OneOf::Left(true)),
  49         document_highlight_provider: Some(OneOf::Left(true)),
  50         document_symbol_provider: Some(OneOf::Left(true)),
  51         workspace_symbol_provider: Some(OneOf::Left(true)),
  52         code_action_provider: Some(code_action_capabilities(client_caps)),
  53         code_lens_provider: Some(CodeLensOptions { resolve_provider: Some(true) }),
  54         document_formatting_provider: Some(OneOf::Left(true)),
  55         document_range_formatting_provider: None,
  56         document_on_type_formatting_provider: Some(DocumentOnTypeFormattingOptions {
  57             first_trigger_character: "=".to_string(),
  58             more_trigger_character: Some(vec![".".to_string(), ">".to_string()]),
  59         }),
  60         selection_range_provider: Some(SelectionRangeProviderCapability::Simple(true)),
  61         semantic_highlighting: None,
  62         folding_range_provider: Some(FoldingRangeProviderCapability::Simple(true)),
  63         rename_provider: Some(OneOf::Right(RenameOptions {
  64             prepare_provider: Some(true),
  65             work_done_progress_options: WorkDoneProgressOptions { work_done_progress: None },
  66         })),
  67         linked_editing_range_provider: None,
  68         document_link_provider: None,
  69         color_provider: None,
  70         execute_command_provider: None,
  71         workspace: Some(WorkspaceServerCapabilities {
  72             workspace_folders: None,
  73             file_operations: Some(WorkspaceFileOperationsServerCapabilities {
  74                 did_create: None,
  75                 will_create: None,
  76                 did_rename: None,
  77                 will_rename: Some(FileOperationRegistrationOptions {
  78                     filters: vec![FileOperationFilter {
  79                         scheme: Some(String::from("file")),
  80                         pattern: FileOperationPattern {
  81                             glob: String::from("**/*.rs"),
  82                             matches: Some(FileOperationPatternKind::File),
  83                             options: None,
  84                         },
  85                     }],
  86                 }),
  87                 did_delete: None,
  88                 will_delete: None,
  89             }),
  90         }),
  91         call_hierarchy_provider: Some(CallHierarchyServerCapability::Simple(true)),
  92         semantic_tokens_provider: Some(
  93             SemanticTokensOptions {
  94                 legend: SemanticTokensLegend {
  95                     token_types: semantic_tokens::SUPPORTED_TYPES.to_vec(),
  96                     token_modifiers: semantic_tokens::SUPPORTED_MODIFIERS.to_vec(),
  97                 },
  98
  99                 full: Some(SemanticTokensFullOptions::Delta { delta: Some(true) }),
 100                 range: Some(true),
 101                 work_done_progress_options: Default::default(),
 102             }
 103             .into(),
 104         ),
 105         moniker_provider: None,
 106         experimental: Some(json!({
 107             "joinLines": true,
 108             "ssr": true,
 109             "onEnter": true,
 110             "parentModule": true,
 111             "runnables": {
 112                 "kinds": [ "cargo" ],
 113             },
 114         })),
 115     }
 116 }
 117
 118 fn completions_resolve_provider(client_caps: &ClientCapabilities) -> Option<bool> {
 119     if completion_item_edit_resolve(client_caps) {
 120         Some(true)
 121     } else {
 122         log::info!("No `additionalTextEdits` completion resolve capability was found in the client capabilities, autoimport completion is disabled");
 123         None
 124     }
 125 }
 126
 127 /// Parses client capabilities and returns all completion resolve capabilities rust-analyzer supports.
 128 pub(crate) fn completion_item_edit_resolve(caps: &ClientCapabilities) -> bool {
 129     (|| {
 130         Some(
 131             caps.text_document
 132                 .as_ref()?
 133                 .completion
 134                 .as_ref()?
 135                 .completion_item
 136                 .as_ref()?
 137                 .resolve_support
 138                 .as_ref()?
 139                 .properties
 140                 .iter()
 141                 .any(|cap_string| cap_string.as_str() == "additionalTextEdits"),
 142         )
 143     })() == Some(true)
 144 }
 145
 146 fn code_action_capabilities(client_caps: &ClientCapabilities) -> CodeActionProviderCapability {
 147     client_caps
 148         .text_document
 149         .as_ref()
 150         .and_then(|it| it.code_action.as_ref())
 151         .and_then(|it| it.code_action_literal_support.as_ref())
 152         .map_or(CodeActionProviderCapability::Simple(true), |_| {
 153             CodeActionProviderCapability::Options(CodeActionOptions {
 154                 // Advertise support for all built-in CodeActionKinds.
 155                 // Ideally we would base this off of the client capabilities
 156                 // but the client is supposed to fall back gracefully for unknown values.
 157                 code_action_kinds: Some(vec![
 158                     CodeActionKind::EMPTY,
 159                     CodeActionKind::QUICKFIX,
 160                     CodeActionKind::REFACTOR,
 161                     CodeActionKind::REFACTOR_EXTRACT,
 162                     CodeActionKind::REFACTOR_INLINE,
 163                     CodeActionKind::REFACTOR_REWRITE,
 164                 ]),
 165                 resolve_provider: Some(true),
 166                 work_done_progress_options: Default::default(),
 167             })
 168         })
 169 }