54 lines
1.9 KiB
Rust
Raw Normal View History

2018-08-10 21:13:39 +03:00
use languageserver_types::{
ServerCapabilities,
2018-09-23 11:10:57 -04:00
CodeActionProviderCapability,
FoldingRangeProviderCapability,
2018-08-10 21:13:39 +03:00
TextDocumentSyncCapability,
TextDocumentSyncOptions,
TextDocumentSyncKind,
2018-08-13 02:38:34 +03:00
ExecuteCommandOptions,
2018-08-26 12:51:45 +03:00
CompletionOptions,
2018-08-28 11:12:42 +03:00
DocumentOnTypeFormattingOptions,
2018-08-10 21:13:39 +03:00
};
2018-08-10 15:07:43 +03:00
2018-08-13 02:38:34 +03:00
pub fn server_capabilities() -> ServerCapabilities {
ServerCapabilities {
text_document_sync: Some(TextDocumentSyncCapability::Options(
TextDocumentSyncOptions {
open_close: Some(true),
change: Some(TextDocumentSyncKind::Full),
will_save: None,
will_save_wait_until: None,
save: None,
}
)),
hover_provider: None,
2018-08-26 12:51:45 +03:00
completion_provider: Some(CompletionOptions {
resolve_provider: None,
trigger_characters: None,
}),
2018-08-13 02:38:34 +03:00
signature_help_provider: None,
2018-08-13 16:35:17 +03:00
definition_provider: Some(true),
2018-08-13 02:38:34 +03:00
type_definition_provider: None,
implementation_provider: None,
references_provider: None,
document_highlight_provider: None,
document_symbol_provider: Some(true),
2018-08-13 15:35:53 +03:00
workspace_symbol_provider: Some(true),
2018-09-23 11:10:57 -04:00
code_action_provider: Some(CodeActionProviderCapability::Simple(true)),
2018-08-13 02:38:34 +03:00
code_lens_provider: None,
document_formatting_provider: None,
document_range_formatting_provider: None,
2018-08-28 11:12:42 +03:00
document_on_type_formatting_provider: Some(DocumentOnTypeFormattingOptions {
first_trigger_character: "=".to_string(),
more_trigger_character: None,
}),
2018-09-23 11:10:57 -04:00
folding_range_provider: Some(FoldingRangeProviderCapability::Simple(true)),
2018-08-13 02:38:34 +03:00
rename_provider: None,
color_provider: None,
execute_command_provider: Some(ExecuteCommandOptions {
commands: vec!["apply_code_action".to_string()],
}),
2018-09-23 11:10:57 -04:00
workspace: None,
2018-08-13 02:38:34 +03:00
}
}