Position

 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
use "immutable-json"
use "ast"

class val LspPositionRange
    """
    See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#range
    """
    let _start: LspPosition
        """
        Inclusive start position
        """
    let _end: LspPosition
        """
        Exclusive end position
        """

    new val from_single_pos(pos: LspPosition) =>
        _start = pos
        _end = pos

    new val create(start_pos: LspPosition, end_pos: LspPosition) =>
        _start = start_pos
        _end = end_pos

    fun to_json(): JsonType =>
        Obj("start", this._start.to_json())(
            "end", this._start.to_json()
        ).build()

class val LspPosition
    """
    See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#position
    """
    let _line: USize
      """
      Line position in a document (zero-based).
      """
    let _character: USize

    new val create(line': USize, character': USize) =>
        _line = line'
        _character = character'

    new val from_ast_pos(position: Position) =>
        _line = (position.line() - 1).max(0)
        _character = (position.column() - 1).max(0)

    fun to_json(): JsonType =>
        Obj("line", this._line.i64())(
            "character", this._character.i64()).build()

class val LspLocation
    """
    See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#location
    """
    let uri: String
    let range: LspPositionRange

    new val create(uri': String, range': LspPositionRange) =>
        uri = uri'
        range = range'

    fun to_json(): JsonType =>
        Obj("uri", uri)("range", this.range.to_json()).build()