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
|
local files = require 'files'
local define = require 'proto.define'
local config = require 'config'
local await = require 'await'
local vm = require "vm.vm"
-- 把耗时最长的诊断放到最后面
local diagSort = {
['deprecated'] = 98,
['undefined-field'] = 99,
['redundant-parameter'] = 100,
}
local diagList = {}
for k in pairs(define.DiagnosticDefaultSeverity) do
diagList[#diagList+1] = k
end
table.sort(diagList, function (a, b)
return (diagSort[a] or 0) < (diagSort[b] or 0)
end)
local function check(uri, name, results)
if config.get 'Lua.diagnostics.disable'[name] then
return
end
local level = config.get 'Lua.diagnostics.severity'[name]
or define.DiagnosticDefaultSeverity[name]
local neededFileStatus = config.get 'Lua.diagnostics.neededFileStatus'[name]
or define.DiagnosticDefaultNeededFileStatus[name]
if neededFileStatus == 'None' then
return
end
if neededFileStatus == 'Opened' and not files.isOpen(uri) then
return
end
local severity = define.DiagnosticSeverity[level]
local clock = os.clock()
local mark = {}
require('core.diagnostics.' .. name)(uri, function (result)
if vm.isDiagDisabledAt(uri, result.start, name) then
return
end
if result.start == 0 then
return
end
if mark[result.start] then
return
end
mark[result.start] = true
result.level = severity or result.level
result.code = name
results[#results+1] = result
end, name)
local passed = os.clock() - clock
if passed >= 0.5 then
log.warn(('Diagnostics [%s] @ [%s] takes [%.3f] sec!'):format(name, files.getOriginUri(uri), passed))
end
if DIAGTIMES then
DIAGTIMES[name] = (DIAGTIMES[name] or 0) + passed
end
end
return function (uri, response)
local ast = files.getState(uri)
if not ast then
return nil
end
if TEST then
log.debug('do diagnostic @', uri)
end
for _, name in ipairs(diagList) do
await.delay()
local results = {}
check(uri, name, results)
response(results)
end
end
|
