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
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
|
local error = error
local type = type
_ENV = nil
local m = {}
local blockTypes = {
['while'] = true,
['in'] = true,
['loop'] = true,
['repeat'] = true,
['do'] = true,
['function'] = true,
['ifblock'] = true,
['elseblock'] = true,
['elseifblock'] = true,
['main'] = true,
}
local breakBlockTypes = {
['while'] = true,
['in'] = true,
['loop'] = true,
['repeat'] = true,
}
--- 寻找所在函数
function m.getParentFunction(root, obj)
for _ = 1, 1000 do
obj = root[obj.parent]
if not obj then
break
end
local tp = obj.type
if tp == 'function' then
return obj
end
end
return nil
end
--- 寻找所在区块
function m.getBlock(root, obj)
for _ = 1, 1000 do
if not obj then
return nil
end
local tp = obj.type
if blockTypes[tp] then
return obj
end
obj = root[obj.parent]
end
error('guide.getBlock overstack')
end
--- 寻找所在父区块
function m.getParentBlock(root, obj)
for _ = 1, 1000 do
obj = root[obj.parent]
if not obj then
return nil
end
local tp = obj.type
if blockTypes[tp] then
return obj
end
end
error('guide.getParentBlock overstack')
end
--- 寻找所在可break的父区块
function m.getBreakBlock(root, obj)
for _ = 1, 1000 do
obj = root[obj.parent]
if not obj then
return nil
end
local tp = obj.type
if breakBlockTypes[tp] then
return obj
end
if tp == 'function' then
return nil
end
end
error('guide.getBreakBlock overstack')
end
--- 寻找函数的不定参数,返回不定参在第几个参数上,以及该参数对象。
--- 如果函数是主函数,则返回`0, nil`。
---@return table
---@return integer
function m.getFunctionVarArgs(root, func)
if func.type == 'main' then
return 0, nil
end
if func.type ~= 'function' then
return nil, nil
end
local args = root[func.args]
if not args then
return nil, nil
end
for i = 1, #args do
local arg = root[args[i]]
if arg.type == '...' then
return i, arg
end
end
return nil, nil
end
--- 获取指定区块中可见的局部变量
---@param root table
---@param block table
---@param name string {comment = '变量名'}
---@param pos integer {comment = '可见位置'}
function m.getLocal(root, block, name, pos)
block = m.getBlock(root, block)
for _ = 1, 1000 do
if not block then
return nil
end
local locals = block.locals
local res
if not locals then
goto CONTINUE
end
for i = 1, #locals do
local loc = root[locals[i]]
if loc.effect > pos then
break
end
if loc[1] == name then
if not res or res.effect < loc.effect then
res = loc
end
end
end
if res then
return res
end
::CONTINUE::
block = m.getParentBlock(root, block)
end
error('guide.getLocal overstack')
end
--- 获取指定区块中可见的标签
---@param root table
---@param block table
---@param name string {comment = '标签名'}
function m.getLabel(root, block, name)
block = m.getBlock(root, block)
for _ = 1, 1000 do
if not block then
return nil
end
local labels = block.labels
if labels then
local label = labels[name]
if label then
return root[label]
end
end
if block.type == 'function' then
return nil
end
block = m.getParentBlock(root, block)
end
error('guide.getLocal overstack')
end
--- 判断source是否包含offset
function m.isContain(source, offset)
if not source.start then
return false
end
return source.start <= offset and source.finish >= offset - 1
end
--- 遍历所有包含offset的source
function m.eachSource(root, offset, callback)
for i = 1, #root do
local source = root[i]
if m.isContain(source, offset) then
local res = callback(source)
if res ~= nil then
return res
end
end
end
end
--- 遍历所有某种类型的source
function m.eachSourceOf(root, types, callback)
if type(types) == 'string' then
types = {[types] = callback}
elseif type(types) == 'table' then
for i = 1, #types do
types[types[i]] = callback
end
else
return
end
for i = 1, #root do
local source = root[i]
local f = types[source.type]
if f then
f(source)
end
end
end
--- 获取偏移对应的坐标(row从0开始,col为光标位置)
---@param lines table
---@return integer {name = 'row'}
---@return integer {name = 'col'}
function m.positionOf(lines, offset)
if offset < 1 then
return 0, 0
end
local lastLine = lines[#lines]
if offset > lastLine.finish then
return #lines - 1, lastLine.finish - lastLine.start
end
local min = 1
local max = #lines
for _ = 1, 100 do
if max <= min then
local line = lines[min]
return min - 1, offset - line.start
end
local row = (max - min) // 2 + min
local line = lines[row]
if offset < line.start then
max = row - 1
elseif offset >= line.finish then
min = row + 1
else
return row - 1, offset - line.start
end
end
error('Stack overflow!')
end
--- 获取坐标对应的偏移(row从0开始,col为光标位置)
---@param lines table
---@param row integer
---@param col integer
---@return integer {name = 'offset'}
function m.offsetOf(lines, row, col)
if row < 0 then
return 0
end
if row > #lines - 1 then
local lastLine = lines[#lines]
return lastLine.finish
end
local line = lines[row + 1]
local len = line.finish - line.start
if col < 0 then
return line.start
elseif col > len then
return line.finish
else
return line.start + col
end
end
function m.lineContent(lines, text, row)
local line = lines[row + 1]
if not line then
return ''
end
return text:sub(line.start + 1, line.finish)
end
function m.lineRange(lines, row)
local line = lines[row + 1]
if not line then
return 0, 0
end
return line.start + 1, line.finish
end
return m
|