feat(completions): add completions to lsp (#164)

Author: juleswritescode

Cargo.lock

@@ -16,6 +16,8 @@ async-std = "1.12.0"
 
 text-size.workspace = true
 
+serde                     = { workspace = true, features = ["derive"] }
+serde_json                = { workspace = true }
 pg_schema_cache.workspace = true
 tree-sitter.workspace     = true
 tree_sitter_sql.workspace = true

crates/pg_completions/Cargo.toml

@@ -1,3 +1,4 @@
+use serde::{Deserialize, Serialize};
 use text_size::TextSize;
 
 use crate::{
@@ -17,9 +18,9 @@ pub struct CompletionParams<'a> {
     pub tree: Option<&'a tree_sitter::Tree>,
 }
 
-#[derive(Debug, Default)]
+#[derive(Debug, Default, Serialize, Deserialize)]
 pub struct CompletionResult {
-    pub items: Vec<CompletionItem>,
+    pub(crate) items: Vec<CompletionItem>,
 }
 
 impl IntoIterator for CompletionResult {

crates/pg_completions/src/complete.rs

@@ -1,10 +1,12 @@
-#[derive(Debug, PartialEq, Eq)]
+use serde::{Deserialize, Serialize};
+
+#[derive(Debug, PartialEq, Eq, Serialize, Deserialize)]
 pub enum CompletionItemKind {
     Table,
     Function,
 }
 
-#[derive(Debug)]
+#[derive(Debug, Serialize, Deserialize)]
 pub struct CompletionItem {
     pub label: String,
     pub(crate) score: i32,

crates/pg_completions/src/item.rs

@@ -19,6 +19,7 @@ pg_analyse          = { workspace = true }
 pg_configuration    = { workspace = true }
 pg_console          = { workspace = true }
 pg_diagnostics      = { workspace = true }
+pg_completions      = { workspace = true }
 pg_fs               = { workspace = true }
 pg_lsp_converters   = { workspace = true }
 pg_text_edit        = { workspace = true }

crates/pg_lsp_new/Cargo.toml

@@ -1,8 +1,8 @@
 use pg_lsp_converters::{negotiated_encoding, PositionEncoding, WideEncoding};
 use tower_lsp::lsp_types::{
-    ClientCapabilities, PositionEncodingKind, SaveOptions, ServerCapabilities,
+    ClientCapabilities, CompletionOptions, PositionEncodingKind, SaveOptions, ServerCapabilities,
     TextDocumentSyncCapability, TextDocumentSyncKind, TextDocumentSyncOptions,
-    TextDocumentSyncSaveOptions,
+    TextDocumentSyncSaveOptions, WorkDoneProgressOptions,
 };
 
 /// The capabilities to send from server as part of [`InitializeResult`]
@@ -28,6 +28,24 @@ pub(crate) fn server_capabilities(capabilities: &ClientCapabilities) -> ServerCa
                 })),
             },
         )),
+        completion_provider: Some(CompletionOptions {
+            // currently not supporting the completionItem/resolve request.
+            // The request is used to get more information about a simple CompletionItem.
+            resolve_provider: None,
+
+            trigger_characters: Some(vec![".".to_owned(), ",".to_owned(), " ".to_owned()]),
+
+            // No character will lead to automatically inserting the selected completion-item
+            all_commit_characters: None,
+
+            // No special support for completionItem/resolve requests
+            completion_item: None,
+
+            // We do not report the progress of the completion process
+            work_done_progress_options: WorkDoneProgressOptions {
+                work_done_progress: None,
+            },
+        }),
         document_formatting_provider: None,
         document_range_formatting_provider: None,
         document_on_type_formatting_provider: None,

crates/pg_lsp_new/src/capabilities.rs

@@ -1 +1,2 @@
+pub(crate) mod completions;
 pub(crate) mod text_document;

crates/pg_lsp_new/src/handlers.rs

@@ -0,0 +1,60 @@
+use crate::session::Session;
+use anyhow::Result;
+use pg_workspace_new::workspace;
+use tower_lsp::lsp_types::{self, CompletionItem, CompletionItemLabelDetails};
+
+#[tracing::instrument(level = "trace", skip_all)]
+pub fn get_completions(
+    session: &Session,
+    params: lsp_types::CompletionParams,
+) -> Result<lsp_types::CompletionResponse> {
+    let url = params.text_document_position.text_document.uri;
+    let path = session.file_path(&url)?;
+
+    let client_capabilities = session
+        .client_capabilities()
+        .expect("Client capabilities not established for current session.");
+
+    let line_index = session
+        .document(&url)
+        .map(|doc| doc.line_index)
+        .map_err(|_| anyhow::anyhow!("Document not found."))?;
+
+    let offset = pg_lsp_converters::from_proto::offset(
+        &line_index,
+        params.text_document_position.position,
+        pg_lsp_converters::negotiated_encoding(client_capabilities),
+    )?;
+
+    let completion_result = session
+        .workspace
+        .get_completions(workspace::CompletionParams {
+            path,
+            position: offset,
+        })?;
+
+    let items: Vec<CompletionItem> = completion_result
+        .into_iter()
+        .map(|i| CompletionItem {
+            label: i.label,
+            label_details: Some(CompletionItemLabelDetails {
+                description: Some(i.description),
+                detail: None,
+            }),
+            preselect: Some(i.preselected),
+            kind: Some(to_lsp_types_completion_item_kind(i.kind)),
+            ..CompletionItem::default()
+        })
+        .collect();
+
+    Ok(lsp_types::CompletionResponse::Array(items))
+}
+
+fn to_lsp_types_completion_item_kind(
+    pg_comp_kind: pg_completions::CompletionItemKind,
+) -> lsp_types::CompletionItemKind {
+    match pg_comp_kind {
+        pg_completions::CompletionItemKind::Function
+        | pg_completions::CompletionItemKind::Table => lsp_types::CompletionItemKind::CLASS,
+    }
+}

crates/pg_lsp_new/src/handlers/completions.rs

@@ -5,7 +5,7 @@ use pg_workspace_new::workspace::{
     ChangeFileParams, ChangeParams, CloseFileParams, GetFileContentParams, OpenFileParams,
 };
 use tower_lsp::lsp_types;
-use tracing::{error, field};
+use tracing::{error, field, info};
 
 /// Handler for `textDocument/didOpen` LSP notification
 #[tracing::instrument(
@@ -24,11 +24,11 @@ pub(crate) async fn did_open(
     let version = params.text_document.version;
     let content = params.text_document.text;
 
-    let biome_path = session.file_path(&url)?;
+    let path = session.file_path(&url)?;
     let doc = Document::new(version, &content);
 
     session.workspace.open_file(OpenFileParams {
-        path: biome_path,
+        path,
         version,
         content,
     })?;

crates/pg_lsp_new/src/handlers/text_document.rs

@@ -106,7 +106,7 @@ impl LSPServer {
 impl LanguageServer for LSPServer {
     #[allow(deprecated)]
     #[tracing::instrument(
-        level = "trace",
+        level = "info",
         skip_all,
         fields(
             root_uri = params.root_uri.as_ref().map(display),
@@ -143,7 +143,7 @@ impl LanguageServer for LSPServer {
         Ok(init)
     }
 
-    #[tracing::instrument(level = "trace", skip(self))]
+    #[tracing::instrument(level = "info", skip_all)]
     async fn initialized(&self, params: InitializedParams) {
         let _ = params;
 
@@ -163,11 +163,12 @@ impl LanguageServer for LSPServer {
         self.session.update_all_diagnostics().await;
     }
 
+    #[tracing::instrument(level = "info", skip_all)]
     async fn shutdown(&self) -> LspResult<()> {
         Ok(())
     }
 
-    #[tracing::instrument(level = "trace", skip(self))]
+    #[tracing::instrument(level = "info", skip_all)]
     async fn did_change_configuration(&self, params: DidChangeConfigurationParams) {
         let _ = params;
         self.session.load_workspace_settings().await;
@@ -209,29 +210,41 @@ impl LanguageServer for LSPServer {
         }
     }
 
+    #[tracing::instrument(level = "trace", skip(self))]
     async fn did_open(&self, params: DidOpenTextDocumentParams) {
         handlers::text_document::did_open(&self.session, params)
             .await
             .ok();
     }
 
+    #[tracing::instrument(level = "trace", skip(self, params))]
     async fn did_change(&self, params: DidChangeTextDocumentParams) {
-        handlers::text_document::did_change(&self.session, params)
-            .await
-            .ok();
+        if let Err(e) = handlers::text_document::did_change(&self.session, params).await {
+            error!("{}", e);
+        };
     }
 
+    #[tracing::instrument(level = "trace", skip(self))]
     async fn did_save(&self, params: DidSaveTextDocumentParams) {
         // handlers::text_document::did_save(&self.session, params)
         //     .await
         //     .ok();
     }
 
+    #[tracing::instrument(level = "trace", skip(self))]
     async fn did_close(&self, params: DidCloseTextDocumentParams) {
         handlers::text_document::did_close(&self.session, params)
             .await
             .ok();
     }
+
+    #[tracing::instrument(level = "trace", skip(self))]
+    async fn completion(&self, params: CompletionParams) -> LspResult<Option<CompletionResponse>> {
+        match handlers::completions::get_completions(&self.session, params) {
+            Ok(result) => LspResult::Ok(Some(result)),
+            Err(e) => LspResult::Err(into_lsp_error(e)),
+        }
+    }
 }
 
 impl Drop for LSPServer {
@@ -379,6 +392,7 @@ impl ServerFactory {
         workspace_method!(builder, change_file);
         workspace_method!(builder, close_file);
         workspace_method!(builder, pull_diagnostics);
+        workspace_method!(builder, get_completions);
 
         let (service, socket) = builder.finish();
         ServerConnection { socket, service }