language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

save workspace

Browse source
This commit is contained in:
hatoo 2023-09-20 14:28:22 +09:00
parent 53a84ea686
commit 085360f052
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/main.rs
View file

@ -1,6 +1,7 @@
use std::process::Stdio;
use dashmap::DashMap;
use tokio::sync::RwLock;
use tower_lsp::jsonrpc::{Error, Result};
use tower_lsp::lsp_types::*;
use tower_lsp::{Client, LanguageServer, LspService, Server};
@ -40,6 +41,7 @@ const TS_HIGHLIGHT_NAMES: &[&str] = &[
#[derive(Debug)]
struct Backend {
client: Client,
workspace: RwLock<Option<Url>>,
document_map: DashMap<Url, SrcTree>,
}
@ -84,7 +86,11 @@ impl Backend {
#[tower_lsp::async_trait]
impl LanguageServer for Backend {
async fn initialize(&self, _: InitializeParams) -> Result<InitializeResult> {
async fn initialize(&self, params: InitializeParams) -> Result<InitializeResult> {
*self.workspace.write().await = params
.workspace_folders
.and_then(|v| v.get(0).map(|w| w.uri.clone()));
Ok(InitializeResult {
capabilities: ServerCapabilities {
text_document_sync: Some(TextDocumentSyncCapability::Kind(
@ -441,6 +447,7 @@ async fn main() {
let (service, socket) = LspService::new(|client| Backend {
client,
workspace: RwLock::new(None),
document_map: DashMap::new(),
});
Server::new(stdin, stdout, socket).serve(service).await;