blob: 7369a235211c38fbb6a26f90fd93ea97d76abcb5 (
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
|
local files = require 'files'
local converter = require 'proto.converter'
local log = require 'log'
local spell = require 'provider.spell'
---@async
return function(uri, callback)
local text = files.getOriginText(uri)
if not text then
return
end
local status, diagnosticInfos = spell.spellCheck(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(uri, diagnosticInfo.range.start),
finish = converter.unpackPosition(uri, diagnosticInfo.range["end"]),
message = diagnosticInfo.message,
data = diagnosticInfo.data
}
end
end
end
|