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