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
|
local guide = require 'parser.guide'
local m = {}
--- 获取 position 对应的光标位置
---@param lines table
---@param text string
---@param position position
---@return integer
function m.offset(lines, text, position)
local row = position.line + 1
local start = guide.lineRange(lines, row)
local offset = utf8.offset(text, position.character + 1, start)
if offset > #text
or text:sub(offset-1, offset):match '[%w_][^%w_]' then
offset = offset - 1
end
return offset
end
--- 将光标位置转化为 position
---@alias position table
---@param lines table
---@param text string
---@param offset integer
---@return position
function m.position(lines, text, offset)
local row, col = guide.positionOf(lines, offset)
local start = guide.lineRange(lines, row)
if start < 1 then
start = 1
end
local ucol = utf8.len(text, start, start + col - 1, true)
if row < 1 then
row = 1
end
return {
line = row - 1,
character = ucol,
}
end
--- 将起点与终点位置转化为 range
---@alias range table
---@param lines table
---@param text string
---@param offset1 integer
---@param offset2 integer
function m.range(lines, text, offset1, offset2)
local range = {
start = m.position(lines, text, offset1),
['end'] = m.position(lines, text, offset2),
}
if range.start.character > 0 then
range.start.character = range.start.character - 1
end
return range
end
---@alias location table
---@param uri string
---@param range range
---@return location
function m.location(uri, range)
return {
uri = uri,
range = range,
}
end
---@alias locationLink table
---@param uri string
---@param range range
---@param selection range
---@param origin range
function m.locationLink(uri, range, selection, origin)
return {
targetUri = uri,
targetRange = range,
targetSelectionRange = selection,
originSelectionRange = origin,
}
end
function m.textEdit(range, newtext)
return {
range = range,
newText = newtext,
}
end
--- 诊断等级
m.DiagnosticSeverity = {
Error = 1,
Warning = 2,
Information = 3,
Hint = 4,
}
--- 诊断类型与默认等级
m.DiagnosticDefaultSeverity = {
['unused-local'] = 'Hint',
['unused-function'] = 'Hint',
['undefined-global'] = 'Warning',
['global-in-nil-env'] = 'Warning',
['unused-label'] = 'Hint',
['unused-vararg'] = 'Hint',
['trailing-space'] = 'Hint',
['redefined-local'] = 'Hint',
['newline-call'] = 'Information',
['newfield-call'] = 'Warning',
['redundant-parameter'] = 'Hint',
['ambiguity-1'] = 'Warning',
['lowercase-global'] = 'Information',
['undefined-env-child'] = 'Information',
['duplicate-index'] = 'Warning',
['empty-block'] = 'Hint',
['redundant-value'] = 'Hint',
['emmy-lua'] = 'Warning',
}
--- 诊断报告标签
m.DiagnosticTag = {
Unnecessary = 1,
Deprecated = 2,
}
m.DocumentHighlightKind = {
Text = 1,
Read = 2,
Write = 3,
}
m.MessageType = {
Error = 1,
Warning = 2,
Info = 3,
Log = 4,
}
return m
|
