summaryrefslogtreecommitdiff
path: root/script/core/diagnostics/invisible.lua
blob: 7172c4a5b19f18a7ddf01a3ad81afe649f2aeb4b (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
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
local files    = require 'files'
local guide    = require 'parser.guide'
local lang     = require 'language'
local vm       = require 'vm.vm'
local await    = require 'await'

local checkTypes = {'getfield', 'setfield', 'getmethod', 'setmethod', 'getindex', 'setindex'}

---@async
return function (uri, callback)
    local state = files.getState(uri)
    if not state then
        return
    end

    ---@async
    guide.eachSourceTypes(state.ast, checkTypes, function (src)
        local child = src.field or src.method or src.index
        if not child then
            return
        end
        local key = guide.getKeyName(src)
        if not key then
            return
        end
        await.delay()
        local defs = vm.getDefs(src)
        for _, def in ipairs(defs) do
            if not vm.isVisible(src.node, def) then
                if vm.getVisibleType(def) == 'private' then
                    callback {
                        start   = child.start,
                        finish  = child.finish,
                        uri     = uri,
                        message = lang.script('DIAG_INVISIBLE_PRIVATE', {
                            field = key,
                            class = vm.getParentClass(def):getName(),
                        }),
                    }
                elseif vm.getVisibleType(def) == 'protected' then
                    callback {
                        start   = child.start,
                        finish  = child.finish,
                        uri     = uri,
                        message = lang.script('DIAG_INVISIBLE_PROTECTED', {
                            field = key,
                            class = vm.getParentClass(def):getName(),
                        }),
                    }
                elseif vm.getVisibleType(def) == 'package' then
                    callback {
                        start   = child.start,
                        finish  = child.finish,
                        uri     = uri,
                        message = lang.script('DIAG_INVISIBLE_PACKAGE', {
                            field = key,
                            uri   = guide.getUri(def),
                        }),
                    }
                else
                    error('Unknown visible type: ' .. vm.getVisibleType(def))
                end
                break
            end
        end
    end)
end