Uri

 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
use "files"

primitive Uris
  fun to_path(uri: String): String =>
    """
    Ensure an LSP uri (https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#uri)
    is converted to a path, so the `schema://` needs to be dropped, if present.
    """
    let result = uri.split_by("://", 2)
    try
      result(result.size() - 1)?
    else
      // shouldn't happen, given that split_by never returns an empty array
      uri
    end

  fun from_path(path: String): String =>
    """
    Convert a local path to an LSP uri
    """
    if path.contains("://") then
      path
    else
      // TODO: lets do something more sophisticated here
      "file://" + path
    end