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
130
131
132
133
134
135
136
137
138
139
140
141
|
#!/usr/bin/env python
# =============================================================================
# ____ _ _ ____ _ _ _
# _ __ _ _ / ___| | | | _ \| | ___| (_)
# | '_ \| | | | | _| |_| | | | | | / __| | |
# | |_) | |_| | |_| | _ | |_| | |___ | (__| | |
# | .__/ \__, |\____|_| |_|____/|_____(_)___|_|_|
# |_| |___/
# =============================================================================
# Authors: Tristan Gingold
#
# Package module: GHDLs Language Server implementing LSP for VHDL.
#
# License:
# ============================================================================
# Copyright (C) 2019-2020 Tristan Gingold
#
# GHDL is free software; you can redistribute it and/or modify it under
# the terms of the GNU General Public License as published by the Free
# Software Foundation; either version 2, or (at your option) any later
# version.
#
# GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
# for more details.
#
# You should have received a copy of the GNU General Public License
# along with GHDL; see the file COPYING. If not, write to the Free
# Software Foundation, 59 Temple Place - Suite 330, Boston, MA
# 02111-1307, USA.
#
# SPDX-License-Identifier: GPL-2.0-or-later
# ============================================================================
#
from __future__ import absolute_import
import argparse
import logging
import sys
import os
import pyGHDL.libghdl as libghdl
from pyGHDL.libghdl import version, errorout_console
from pyGHDL.lsp import LSPConnTrace
from pyGHDL.lsp.lsp import LSPConn, LanguageProtocolServer
from pyGHDL.lsp.vhdl_ls import VhdlLanguageServer
logger = logging.getLogger("ghdl-ls")
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 (overrides GHDL_LS_TRACE)")
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:
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 = 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 = VhdlLanguageServer()
try:
server = LanguageProtocolServer(handler, conn)
server.run()
except Exception:
logger.exception("Uncaught error")
sys.exit(1)
if __name__ == '__main__':
main()
|
