mun_language_server 0.4.0

Provides a language server protocol server for the Mun language
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

//! This modules contains several helper functions to convert from types defined in the Language
//! Server Protocol to our own datatypes.

use crate::state::LanguageServerSnapshot;
use crate::FilePosition;
use lsp_types::Url;
use mun_hir::line_index::LineIndex;
use mun_paths::AbsPathBuf;
use mun_syntax::{TextRange, TextSize};
use std::convert::TryFrom;

/// Converts the specified `uri` to an absolute path. Returns an error if the url could not be
/// converted to an absolute path.
pub(crate) fn abs_path(uri: &Url) -> anyhow::Result<AbsPathBuf> {
    uri.to_file_path()
        .ok()
        .and_then(|path| AbsPathBuf::try_from(path).ok())
        .ok_or_else(|| anyhow::anyhow!("invalid uri: {}", uri))
}

/// Returns the `mun_hir::FileId` associated with the given `Url`.
pub(crate) fn file_id(
    snapshot: &LanguageServerSnapshot,
    url: &lsp_types::Url,
) -> anyhow::Result<mun_hir::FileId> {
    abs_path(url).and_then(|path| {
        snapshot
            .vfs
            .read()
            .file_id(&path)
            .ok_or_else(|| anyhow::anyhow!("url does not refer to a file: {}", url))
            .map(|id| mun_hir::FileId(id.0))
    })
}

/// Converts the specified offset to our own `TextSize` structure
pub(crate) fn offset(line_index: &LineIndex, position: lsp_types::Position) -> TextSize {
    let line_col = mun_hir::line_index::LineCol {
        line: position.line as u32,
        col_utf16: position.character as u32,
    };
    line_index.offset(line_col)
}

/// Converts the given lsp range to a `TextRange`. This requires a `LineIndex` to convert lines to
/// offsets.
pub(crate) fn text_range(line_index: &LineIndex, range: lsp_types::Range) -> TextRange {
    let start = offset(line_index, range.start);
    let end = offset(line_index, range.end);
    TextRange::new(start, end)
}

/// Converts the specified lsp `text_document_position` to a `TextPosition`.
pub(crate) fn file_position(
    snapshot: &LanguageServerSnapshot,
    text_document_position: lsp_types::TextDocumentPositionParams,
) -> anyhow::Result<FilePosition> {
    let file_id = file_id(snapshot, &text_document_position.text_document.uri)?;
    let line_index = snapshot.analysis.file_line_index(file_id)?;
    let offset = offset(&line_index, text_document_position.position);
    Ok(FilePosition { file_id, offset })
}