client_data.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
use rpc_data = "rpc/data"
use c_caps = "rpc/data/client_capabilities"

class ClientData
  var capabilities: (c_caps.ClientCapabilities | None) = None

  var workspaceFolders: (Array[rpc_data.WorkspaceFolder] val | None) = None
  var rootUri: (rpc_data.DocumentUri | None) = None
  var rootPath: (String | None) = None

  fun text_document_publish_diagnostics(): Bool =>
    match capabilities
    | let caps: c_caps.ClientCapabilities =>
      match caps.textDocument()
      | let td: c_caps.TextDocumentClientCapabilities =>
        match td.publishDiagnostics()
        | let pd: c_caps.PublishDiagnosticsClientCapabilities =>
          return true
        end
      end
    end
    false