merman-lsp 0.8.0-alpha.3

Language server for Merman diagnostics and completion foundations.
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

use crate::document_store::{DocumentStore, SnapshotBuildRequest, SnapshotContext};
use crate::snapshot::DocumentSnapshot;
use std::sync::Arc;
use tokio::sync::Mutex;
use tower_lsp::jsonrpc::Result;
use tower_lsp::lsp_types::Url;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(crate) enum SnapshotContextKind {
    SemanticTokens,
    Structure,
    WorkspaceSymbols,
}

impl SnapshotContextKind {
    pub(crate) fn stale_error(self) -> tower_lsp::jsonrpc::Error {
        let mut error = tower_lsp::jsonrpc::Error::content_modified();
        error.message = match self {
            Self::SemanticTokens => "semantic tokens document changed while computing",
            Self::Structure => "structure document changed while computing",
            Self::WorkspaceSymbols => "workspace symbol documents changed while computing",
        }
        .into();
        error
    }
}

pub(crate) async fn snapshot_context_for_uri(
    store: &Arc<Mutex<DocumentStore>>,
    uri: &Url,
    kind: SnapshotContextKind,
) -> Result<Option<SnapshotContext>> {
    let request = {
        let mut store = store.lock().await;
        if store.has_snapshot(uri) {
            return Ok(store.snapshot_context(uri));
        }
        store.snapshot_build_request(uri)
    };
    let Some(request) = request else {
        return Ok(None);
    };

    let snapshot = request.build();
    commit_snapshot_context(store, &request, snapshot, kind).await
}

pub(crate) async fn commit_snapshot_context(
    store: &Arc<Mutex<DocumentStore>>,
    request: &SnapshotBuildRequest,
    snapshot: Arc<DocumentSnapshot>,
    kind: SnapshotContextKind,
) -> Result<Option<SnapshotContext>> {
    let mut store = store.lock().await;
    match store.insert_built_snapshot(request, snapshot) {
        Some(context) => Ok(Some(context)),
        None if store.get(request.uri()).is_some() => Err(kind.stale_error()),
        None => Ok(None),
    }
}

pub(crate) async fn snapshot_result<T>(
    store: &Arc<Mutex<DocumentStore>>,
    uri: &Url,
    kind: SnapshotContextKind,
    compute: impl FnOnce(&DocumentSnapshot) -> Result<Option<T>>,
) -> Result<Option<T>> {
    let Some(context) = snapshot_context_for_uri(store, uri, kind).await? else {
        return Ok(None);
    };

    let result = compute(&context.snapshot);
    ensure_snapshot_current(store, &context, kind).await?;
    result
}

pub(crate) async fn ensure_snapshot_current(
    store: &Arc<Mutex<DocumentStore>>,
    context: &SnapshotContext,
    kind: SnapshotContextKind,
) -> Result<()> {
    let store = store.lock().await;
    if store.is_snapshot_context_current(context) {
        Ok(())
    } else {
        Err(kind.stale_error())
    }
}