text_document_sync_options.pony

 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
use json = "../../../../json"

use ".."

primitive TextDocumentSyncNone
primitive TextDocumentSyncFull
primitive TextDocumentSyncIncremental

type TextDocumentSyncKind is
  (TextDocumentSyncNone | TextDocumentSyncFull | TextDocumentSyncIncremental)

primitive TextDocumentSyncKindJson
  fun apply(tdsk: (TextDocumentSyncKind | None)): json.Item =>
    match tdsk
    | TextDocumentSyncNone =>
      I128(0)
    | TextDocumentSyncFull =>
      I128(1)
    | TextDocumentSyncIncremental =>
      I128(2)
    | None =>
      json.Null
    end

interface val TextDocumentSyncOptions is SendData
  fun val openClose(): (Bool | None) => None
  fun val change(): (TextDocumentSyncKind | None) => None

  fun val get_json(): json.Item =>
    let props = Array[(String, json.Item)]
    match openClose()
    | let oc: Bool =>
      props.push(("openClose", oc))
    end
    match change()
    | let tdsk: TextDocumentSyncKind =>
      props.push(("change", TextDocumentSyncKindJson(tdsk)))
    end
    if props.size() > 0 then
      json.Object(props)
    else
      json.Null
    end