laburnum 1.17.0

An LSP framework for building language servers and compilers, powered by an incremental query tree with content-addressed storage, task-based dataflow, and parallel 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
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

// Copyright Two Neutron Stars Incorporated and contributors
// SPDX-License-Identifier: BlueOak-1.0.0

//! `file_diagnostics` and `workspace_diagnostics`.

use {
  crate::{
    connect::lsp::{
      LspClient,
      request::{
        DocumentDiagnosticRequest,
        WorkspaceDiagnosticRequest,
      },
    },
    connect::mcp::{
      schema,
      tool::{
        Tool,
        ToolError,
        ToolRegistry,
      },
    },
    protocol::lsp::{
      DocumentDiagnosticParams,
      DocumentDiagnosticReportResult,
      WorkspaceDiagnosticParams,
      WorkspaceDiagnosticReportResult,
    },
  },
  serde_json::json,
};

pub fn register(registry: &mut ToolRegistry) {
  registry.register::<FileDiagnostics>();
  registry.register::<WorkspaceDiagnostics>();
}

pub enum FileDiagnostics {}

impl Tool for FileDiagnostics {
  type Input = DocumentDiagnosticParams;
  type Output = DocumentDiagnosticReportResult;

  const NAME: &'static str = "file_diagnostics";
  const DESCRIPTION: &'static str =
    "Return the diagnostics (errors, warnings, hints) for a single file. \
     Pull-model — wraps LSP `textDocument/diagnostic`.";

  fn input_schema() -> serde_json::Value {
    json!({
      "type": "object",
      "properties": {
        "textDocument": schema::text_document_identifier(),
        "identifier":         { "type": "string" },
        "previousResultId":   { "type": "string" }
      },
      "required": ["textDocument"]
    })
  }

  async fn call(
    client: &LspClient,
    input: Self::Input,
  ) -> Result<Self::Output, ToolError> {
    Ok(client.send_request::<DocumentDiagnosticRequest>(input).await?)
  }
}

pub enum WorkspaceDiagnostics {}

impl Tool for WorkspaceDiagnostics {
  type Input = WorkspaceDiagnosticParams;
  type Output = WorkspaceDiagnosticReportResult;

  const NAME: &'static str = "workspace_diagnostics";
  const DESCRIPTION: &'static str =
    "Return all known diagnostics across the workspace, grouped by file. \
     Wraps LSP `workspace/diagnostic`.";

  fn input_schema() -> serde_json::Value {
    json!({
      "type": "object",
      "properties": {
        "identifier":        { "type": "string" },
        "previousResultIds": { "type": "array" }
      },
      "required": ["previousResultIds"]
    })
  }

  async fn call(
    client: &LspClient,
    input: Self::Input,
  ) -> Result<Self::Output, ToolError> {
    Ok(client.send_request::<WorkspaceDiagnosticRequest>(input).await?)
  }
}