owl-ms-language-server 0.1.0

An incremental analysis assistant for writing ontologies with the OWL Manchester Syntax
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

use crate::position::Position;

#[derive(Clone, Copy)]
pub struct Range {
    pub start: Position,
    pub end: Position,
}

impl From<tower_lsp::lsp_types::Range> for Range {
    fn from(value: tower_lsp::lsp_types::Range) -> Self {
        Range {
            start: value.start.into(),
            end: value.end.into(),
        }
    }
}

impl From<Range> for tower_lsp::lsp_types::Range {
    fn from(value: Range) -> tower_lsp::lsp_types::Range {
        tower_lsp::lsp_types::Range {
            start: value.start.into(),
            end: value.end.into(),
        }
    }
}

impl From<tree_sitter::Range> for Range {
    fn from(value: tree_sitter::Range) -> Self {
        Range {
            start: value.start_point.into(),
            end: value.end_point.into(),
        }
    }
}

impl From<Range> for std::ops::Range<tree_sitter::Point> {
    fn from(value: Range) -> std::ops::Range<tree_sitter::Point> {
        value.start.into()..value.end.into()
    }
}

/// only looks at the lines
pub fn range_overlaps(a: &Range, b: &Range) -> bool {
    !(a.start.line > b.end.line || a.end.line < b.start.line)
        || (b.start.line <= a.end.line && b.end.line >= a.start.line)
}

/// is one range "inner" inside the range "outer"
pub fn range_exclusive_inside(inner: &Range, outer: &Range) -> bool {
    inner.start.line > outer.start.line && inner.end.line < outer.end.line
}