-
Notifications
You must be signed in to change notification settings - Fork 1
/
lsp.py
73 lines (58 loc) · 2.59 KB
/
lsp.py
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
from pygls.features import TEXT_DOCUMENT_DID_OPEN, TEXT_DOCUMENT_DID_SAVE, TEXT_DOCUMENT_DID_CHANGE
from pygls import features
from pygls.server import LanguageServer
from pygls.types import Range, Position, Diagnostic, SignatureHelp, SignatureInformation, Hover
from checker import check
import logging
server = LanguageServer()
logging.basicConfig(level=logging.DEBUG)
class Checker:
def validate(self, source):
self.itpr = check(source)
diagnostics = []
logging.debug(f'itpr errors: {self.itpr.errors}')
for item in self.itpr.errors:
l1 = item['lineno'] - 1
c1 = item['col_offset']
l2 = item['end_lineno'] - 1
c2 = item['end_col_offset']
msg = item['error'].message
diagnostics.append(Diagnostic(
range=Range(Position(l1, c1), Position(l2, c2)),
message=msg,
source="PDChecker"))
return diagnostics
def help(self, pos):
def inside(node):
if not hasattr(node, 'lineno') or not hasattr(node, 'col_offset'):
return False
row_matched = pos.line >= (node.lineno-1)
if hasattr(node, 'end_lineno'):
row_matched = (node.end_lineno-1) >= pos.line and row_matched
col_matched = pos.character >= node.col_offset
if hasattr(node, 'end_col_offset'):
col_matched = (node.end_col_offset) >= pos.character and col_matched
return row_matched and col_matched
candidates = [(n, t) for n, t in self.itpr.srcmap.items() if inside(n)]
return candidates
checker = Checker()
@server.feature(TEXT_DOCUMENT_DID_CHANGE)
@server.feature(TEXT_DOCUMENT_DID_OPEN)
@server.feature(TEXT_DOCUMENT_DID_SAVE)
async def handle_feature(ls, params):
text_doc = ls.workspace.get_document(params.textDocument.uri)
diagnostics = checker.validate(text_doc.source)
logging.debug(f'sending diagnostics: {diagnostics!r}')
ls.publish_diagnostics(params.textDocument.uri, diagnostics)
@server.feature(features.SIGNATURE_HELP)
async def handle_sighelp(ls: LanguageServer, params):
text_doc = ls.workspace.get_document(params.textDocument.uri)
pos = params.position
candidates = checker.help(pos)
return SignatureHelp(signatures=[SignatureInformation(f'{t!r}') for t in candidates])
@server.feature(features.HOVER)
async def handle_hover(ls, params):
text_doc = ls.workspace.get_document(params.textDocument.uri)
pos = params.position
return Hover(contents=repr(checker.help(pos)[0][1]))
server.start_tcp('localhost', 8080)