lsp-max 26.7.1

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
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

//! Handlers for formatting and linked editing range LSP request methods.

use crate::jsonrpc::Result;
use lsp_types_max::{
    DocumentFormattingParams, DocumentOnTypeFormattingParams, DocumentRangeFormattingParams,
    LinkedEditingRangeParams, LinkedEditingRanges, TextEdit,
};

/// Default: UNSUPPORTED — no materialized view backs this method; override in concrete servers.
pub async fn formatting(params: DocumentFormattingParams) -> Result<Option<Vec<TextEdit>>> {
    let _uri = &params.text_document.uri;
    let _options = params.options;

    // Following the pattern in text_document.rs but prepared for integration
    // with the runtime's materialized views once formatting lookups are implemented.
    Ok(None)
}

/// Default: UNSUPPORTED — no materialized view backs this method; override in concrete servers.
pub async fn range_formatting(
    params: DocumentRangeFormattingParams,
) -> Result<Option<Vec<TextEdit>>> {
    let _uri = &params.text_document.uri;
    let _range = params.range;
    let _options = params.options;

    // Range formatting would typically query the runtime for specific edits
    // within the provided range.
    Ok(None)
}

/// Default: UNSUPPORTED — no materialized view backs this method; override in concrete servers.
pub async fn on_type_formatting(
    params: DocumentOnTypeFormattingParams,
) -> Result<Option<Vec<TextEdit>>> {
    let _uri = &params.text_document_position.text_document.uri;
    let _pos = params.text_document_position.position;
    let _ch = params.ch;
    let _options = params.options;

    Ok(None)
}

/// Default: UNSUPPORTED — no materialized view backs this method; override in concrete servers.
pub async fn linked_editing_range(
    params: LinkedEditingRangeParams,
) -> Result<Option<LinkedEditingRanges>> {
    let _uri = &params.text_document_position_params.text_document.uri;
    let _pos = params.text_document_position_params.position;

    // Linked editing ranges allow for simultaneous editing of related ranges (e.g. HTML tags).
    Ok(None)
}