blob: 6d22597b1994798be44ad78295821cec8890345a (
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
33
34
35
36
37
38
39
40
41
|
local files = require 'files'
local converter = require 'proto.converter'
local log = require 'log'
local pformatting = require 'provider.formatting'
---@async
return function(uri, callback)
local state = files.getState(uri)
if not state then
return
end
local text = state.originText
local suc, codeFormat = pcall(require, 'code_format')
if not suc then
return
end
pformatting.updateConfig(uri)
local status, diagnosticInfos = codeFormat.diagnose_file(uri, text)
if not status then
if diagnosticInfos ~= nil then
log.error(diagnosticInfos)
end
return
end
if diagnosticInfos then
for _, diagnosticInfo in ipairs(diagnosticInfos) do
callback {
start = converter.unpackPosition(state, diagnosticInfo.range.start),
finish = converter.unpackPosition(state, diagnosticInfo.range["end"]),
message = diagnosticInfo.message
}
end
end
end
|