File: lsptools.py

package info (click to toggle)
ghdl 5.0.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 86,000 kB
  • sloc: ada: 309,826; vhdl: 209,727; ansic: 31,072; python: 19,213; sh: 14,214; cpp: 2,345; makefile: 1,542; pascal: 585; asm: 45; exp: 40; fortran: 33
file content (41 lines) | stat: -rw-r--r-- 1,147 bytes parent folder | download | duplicates (2)
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
import sys
import argparse
import json
from . import lsp


def lsp2json():
    """Utility that transforms lsp log file to a JSON list."""
    conn = lsp.LSPConn(sys.stdin.buffer, sys.stdout.buffer)
    ls = lsp.LanguageProtocolServer(None, conn)
    res = []
    while True:
        req = ls.read_request()
        if req is None:
            break
        res.append(json.loads(req))
    print(json.dumps(res, indent=2))


def json2lsp():
    """Utility that transform a JSON list to an lsp file."""
    res = json.load(sys.stdin)
    conn = lsp.LSPConn(sys.stdin.buffer, sys.stdout.buffer)
    ls = lsp.LanguageProtocolServer(None, conn)
    for req in res:
        ls.write_output(req)


def main():
    parser = argparse.ArgumentParser()
    subparsers = parser.add_subparsers(help="sub-command help")
    parser_l2j = subparsers.add_parser("lsp2json", help="convert lsp dump to JSON")
    parser_l2j.set_defaults(func=lsp2json)
    parser_j2l = subparsers.add_parser("json2lsp", help="convert JSON to lsp dump")
    parser_j2l.set_defaults(func=json2lsp)
    args = parser.parse_args()
    args.func()


if __name__ == "__main__":
    main()