lspf 0.5.2

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
127
128

//! Server features that span several LSP methods.
//!
//! This server demonstrates typed commands, progress, client configuration,
//! async handlers, and dynamic client registration. TCP and WebSocket hosting
//! are covered by the adjacent `native_tcp` and `native_websocket` examples.

mod example_support;

use std::sync::Arc;

use lspf::types::request::Completion;
use lspf::types::{
    CompletionItem, CompletionParams, CompletionResponse, ConfigurationItem, ConfigurationParams,
    Registration, RegistrationParams, Unregistration, UnregistrationParams,
};
use lspf::{CancellationToken, Context, LspError, ProgressOptions, Server};
use serde_json::{Value, json};

struct State;

async fn completions(
    _: Arc<State>,
    _: Context,
    _: CompletionParams,
    _: CancellationToken,
) -> Result<Option<CompletionResponse>, LspError> {
    tokio::task::yield_now().await;
    Ok(Some(CompletionResponse::Array(
        ["null", "true", "false"]
            .into_iter()
            .map(|label| CompletionItem {
                label: label.to_string(),
                ..CompletionItem::default()
            })
            .collect(),
    )))
}

async fn progress(
    _: Arc<State>,
    ctx: Context,
    _: (),
    _: CancellationToken,
) -> Result<(), LspError> {
    let handle = ctx
        .client()
        .begin_progress(ProgressOptions::new("JSON server progress").percentage(0))
        .await
        .map_err(LspError::internal)?;
    for percentage in [25, 50, 75, 100] {
        tokio::task::yield_now().await;
        handle
            .report(Some(format!("{percentage}%")), Some(percentage))
            .map_err(LspError::internal)?;
    }
    handle
        .end(Some("done".to_string()))
        .map_err(LspError::internal)
}

async fn configuration(
    _: Arc<State>,
    ctx: Context,
    _: (),
    _: CancellationToken,
) -> Result<Value, LspError> {
    let values = ctx
        .client()
        .configuration(ConfigurationParams {
            items: vec![ConfigurationItem {
                scope_uri: None,
                section: Some("lspf.jsonServer".to_string()),
            }],
        })
        .await
        .map_err(LspError::internal)?;
    Ok(values.into_iter().next().unwrap_or(Value::Null))
}

async fn register_completions(
    _: Arc<State>,
    ctx: Context,
    _: (),
    _: CancellationToken,
) -> Result<(), LspError> {
    ctx.client()
        .register_capability(RegistrationParams {
            registrations: vec![Registration {
                id: "json-completions".to_string(),
                method: "textDocument/completion".to_string(),
                register_options: Some(json!({ "triggerCharacters": ["\""] })),
            }],
        })
        .await
        .map_err(LspError::internal)
}

async fn unregister_completions(
    _: Arc<State>,
    ctx: Context,
    _: (),
    _: CancellationToken,
) -> Result<(), LspError> {
    ctx.client()
        .unregister_capability(UnregistrationParams {
            unregisterations: vec![Unregistration {
                id: "json-completions".to_string(),
                method: "textDocument/completion".to_string(),
            }],
        })
        .await
        .map_err(LspError::internal)
}

#[tokio::main]
async fn main() -> lspf::Result<()> {
    let server = Server::builder(State)
        // A typed standard request route without a static capability lets the
        // commands below advertise and withdraw it dynamically at the client.
        .request::<Completion, _, _>(completions)
        .command::<(), (), _, _>("progress", progress)
        .command::<(), Value, _, _>("showConfigurationAsync", configuration)
        .command::<(), (), _, _>("registerCompletions", register_completions)
        .command::<(), (), _, _>("unregisterCompletions", unregister_completions)
        .build()
        .expect("JSON-server registrations are valid");
    example_support::serve(server).await
}