logicaffeine-lsp 0.9.16

Language Server Protocol implementation for LogicAffeine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

use dashmap::DashMap;
use tower_lsp::lsp_types::Url;

use crate::document::DocumentState;

/// Global server state, shared across all requests.
///
/// Uses `DashMap` for concurrent access without external locking.
pub struct ServerState {
    pub documents: DashMap<Url, DocumentState>,
}

impl ServerState {
    pub fn new() -> Self {
        ServerState {
            documents: DashMap::new(),
        }
    }

    pub fn open_document(&self, uri: Url, source: String, version: i32) {
        let doc = DocumentState::with_uri(source, version, Some(&uri));
        self.documents.insert(uri, doc);
    }

    pub fn update_document(&self, uri: &Url, source: String, version: i32) {
        if let Some(mut doc) = self.documents.get_mut(uri) {
            doc.update_with_uri(source, version, Some(uri));
        }
    }

    pub fn close_document(&self, uri: &Url) {
        self.documents.remove(uri);
    }
}