lspf 0.6.0

A Rust framework for building extensible LSP language servers
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

//! Code Lens server.
//! Lens commands are resolved lazily and apply the computed sum through the client.

mod example_support;

use std::collections::HashMap;
use std::sync::Arc;

use lspf::types::{
    ApplyWorkspaceEditParams, CodeLens, CodeLensOptions, CodeLensParams, Command, TextEdit,
    WorkspaceEdit,
};
use lspf::{CancellationToken, Context, LspError, Server};
use serde::{Deserialize, Serialize};
use serde_json::{Value, json};

struct State;

#[derive(Deserialize, Serialize)]
struct EvaluateSumArgs {
    uri: lspf::types::Uri,
    left: u64,
    right: u64,
    line: u32,
}

async fn code_lens(
    _: Arc<State>,
    ctx: Context,
    params: CodeLensParams,
    _: CancellationToken,
) -> Result<Option<Vec<CodeLens>>, LspError> {
    let text = example_support::text(&ctx, &params.text_document.uri)?;
    Ok(Some(
        text.lines()
            .enumerate()
            .filter_map(|(line_number, line)| {
                let (left, right) = example_support::parse_incomplete_sum(line)?;
                Some(CodeLens {
                    range: example_support::line_range(line_number as u32, line),
                    command: None,
                    data: Some(json!({
                        "uri": params.text_document.uri,
                        "left": left,
                        "right": right,
                    })),
                })
            })
            .collect(),
    ))
}

async fn resolve(
    _: Arc<State>,
    _: Context,
    mut lens: CodeLens,
    _: CancellationToken,
) -> Result<CodeLens, LspError> {
    let data = lens
        .data
        .take()
        .ok_or_else(|| LspError::invalid_params("code lens has no data"))?;
    let uri = data
        .get("uri")
        .cloned()
        .ok_or_else(|| LspError::invalid_params("missing uri"))?;
    let args = EvaluateSumArgs {
        uri: serde_json::from_value(uri).map_err(|_| LspError::invalid_params("invalid uri"))?,
        left: data
            .get("left")
            .and_then(Value::as_u64)
            .ok_or_else(|| LspError::invalid_params("missing left operand"))?,
        right: data
            .get("right")
            .and_then(Value::as_u64)
            .ok_or_else(|| LspError::invalid_params("missing right operand"))?,
        line: lens.range.start.line,
    };
    lens.command = Some(Command::new(
        format!("Evaluate {} + {}", args.left, args.right),
        "codeLens.evaluateSum".to_string(),
        Some(vec![json!(args)]),
    ));
    Ok(lens)
}

async fn evaluate_sum(
    _: Arc<State>,
    ctx: Context,
    (args,): (EvaluateSumArgs,),
    _: CancellationToken,
) -> Result<(), LspError> {
    let text = example_support::text(&ctx, &args.uri)?;
    let line = text.lines().nth(args.line as usize).unwrap_or_default();
    let edit = WorkspaceEdit {
        changes: Some(HashMap::from([(
            args.uri,
            vec![TextEdit {
                range: example_support::line_range(args.line, line),
                new_text: format!("{} {}", line.trim(), args.left + args.right),
            }],
        )])),
        ..WorkspaceEdit::default()
    };
    ctx.client()
        .apply_edit(ApplyWorkspaceEditParams { label: None, edit })
        .await
        .map_err(|error| LspError::internal(error.to_string()))?;
    Ok(())
}

#[tokio::main]
async fn main() -> lspf::Result<()> {
    let server = Server::builder(State)
        .feature(
            lspf::features::code_lens(CodeLensOptions {
                resolve_provider: None,
            }),
            code_lens,
        )
        .feature(lspf::features::code_lens_resolve(), resolve)
        .command::<(EvaluateSumArgs,), (), _, _>("codeLens.evaluateSum", evaluate_sum)
        .build()
        .expect("code-lens registrations are valid");
    example_support::serve(server).await
}