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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#!/usr/bin/env python
from __future__ import absolute_import
import argparse
import logging
import sys
import os
import pyGHDL.libghdl as libghdl
from . import version
from . import lsp
from . import vhdl_ls
logger = logging.getLogger("ghdl-ls")
class LSPConnTrace(object):
"""Wrapper class to save in and out packets"""
def __init__(self, basename, conn):
self.conn = conn
self.trace_in = open(basename + ".in", "w")
self.trace_out = open(basename + ".out", "w")
def readline(self):
res = self.conn.readline()
self.trace_in.write(res)
return res
def read(self, size):
res = self.conn.read(size)
self.trace_in.write(res)
self.trace_in.flush()
return res
def write(self, out):
self.conn.write(out)
self.trace_out.write(out)
self.trace_out.flush()
def rotate_log_files(basename, num):
for i in range(num, 0, -1):
oldfile = "{}.{}".format(basename, i - 1)
if os.path.isfile(oldfile):
os.rename(oldfile, "{}.{}".format(basename, i))
if os.path.isfile(basename):
os.rename(basename, "{}.0".format(basename))
def main():
parser = argparse.ArgumentParser(description="VHDL Language Protocol Server")
parser.add_argument(
"--version", "-V", action="version", version="%(prog)s " + version.__version__
)
parser.add_argument(
"--verbose", "-v", action="count", default=0, help="Show debug output"
)
parser.add_argument(
"--log-file", help="Redirect logs to the given file instead of stderr"
)
parser.add_argument("--trace-file", help="Save rpc data to FILE.in and FILE.out")
parser.add_argument("--input", "-i", help="Read request from file")
parser.add_argument(
"--disp-config",
action="store_true",
help="Disp installation configuration and exit",
)
args = parser.parse_args()
if args.disp_config:
libghdl.errorout_console.Install_Handler()
libghdl.disp_config()
return
# Setup logging
if args.verbose >= 2:
loglevel = logging.DEBUG
elif args.verbose >= 1:
loglevel = logging.INFO
else:
loglevel = logging.ERROR
if args.log_file:
rotate_log_files(args.log_file, 5)
logstream = open(args.log_file, "w")
else:
logstream = sys.stderr
logging.basicConfig(
format="%(asctime)-15s [%(levelname)s] %(message)s",
stream=logstream,
level=loglevel,
)
if args.verbose != 0:
sys.stderr.write("Args: {}\n".format(sys.argv))
sys.stderr.write("Current directory: {}\n".format(os.getcwd()))
logger.info("Args: %s", sys.argv)
logger.info("Current directory is %s", os.getcwd())
# Connection
instream = sys.stdin.buffer
if args.input is not None:
instream = open(args.input, "rb")
conn = lsp.LSPConn(instream, sys.stdout.buffer)
trace_file = args.trace_file
if trace_file is None:
trace_file = os.environ.get("GHDL_LS_TRACE")
if trace_file is not None:
if args.input is None:
rotate_log_files(trace_file + ".in", 5)
rotate_log_files(trace_file + ".out", 5)
conn = LSPConnTrace(trace_file, conn)
else:
logger.info("Traces disabled when -i/--input")
handler = vhdl_ls.VhdlLanguageServer()
try:
server = lsp.LanguageProtocolServer(handler, conn)
server.run()
except Exception:
logger.exception("Uncaught error")
sys.exit(1)
|
