fichu 0.1.16

A formatter for SPARQL queries
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

use log::info;

use crate::server::{
    lsp::{InitializeRequest, InitializeResonse, ProgressNotification},
    Server,
};

pub(super) fn handle_initialize_request(
    server: &Server,
    initialize_request: InitializeRequest,
) -> InitializeResonse {
    info!(
        "Connected to: {} {}",
        initialize_request.params.client_info.name,
        initialize_request
            .params
            .client_info
            .version
            .unwrap_or("no version specified".to_string())
    );
    if let Some(work_done_token) = initialize_request.params.progress_params.work_done_token {
        let init_progress_begin_notification = ProgressNotification::begin_notification(
            work_done_token.clone(),
            &format!("setup fichu-ls v{}", server.get_version()),
            Some(false),
            Some("init"),
            Some(0),
        );
        server.send_message(serde_json::to_string(&init_progress_begin_notification).unwrap());

        // TODO: implement server side requests
        let progress_report_1 = ProgressNotification::report_notification(
            work_done_token.clone(),
            Some(false),
            Some("testing availibility of endpoint"),
            Some(30),
        );
        server.send_message(serde_json::to_string(&progress_report_1).unwrap());

        let progress_report_2 = ProgressNotification::report_notification(
            work_done_token.clone(),
            Some(false),
            Some("request prefixes from endpoint"),
            Some(60),
        );
        server.send_message(serde_json::to_string(&progress_report_2).unwrap());

        let init_progress_end_notification = ProgressNotification::end_notification(
            work_done_token.clone(),
            Some("fichu initialized"),
        );

        server.send_message(serde_json::to_string(&init_progress_end_notification).unwrap());
    }
    InitializeResonse::new(initialize_request.base.id, server)
}