blob: 7c12e4d30483c629192bbf356b40b0d008806d97 (
plain)
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
|
local files = require 'files'
local guide = require 'parser.guide'
local lang = require 'language'
local vm = require 'vm'
local await = require 'await'
---@async
return function (uri, callback)
local state = files.getState(uri)
if not state then
return
end
if not state.ast.docs then
return
end
for _, doc in ipairs(state.ast.docs) do
if doc.type == 'doc.cast' and doc.name then
await.delay()
local defs = vm.getDefs(doc.name)
local loc = defs[1]
if not loc then
callback {
start = doc.name.start,
finish = doc.name.finish,
message = lang.script('DIAG_UNKNOWN_CAST_VARIABLE', doc.name[1])
}
end
end
end
end
|
