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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
---@class vm
local vm = require 'vm.vm'
local guide = require 'parser.guide'
local config = require 'config'
local glob = require 'glob'
---@class parser.object
---@field package _visibleType? parser.visibleType
---@param source parser.object
---@return parser.visibleType
function vm.getVisibleType(source)
if source._visibleType then
return source._visibleType
end
if source.type == 'doc.field' then
if source.visible then
source._visibleType = source.visible
return source.visible
end
end
if source.bindDocs then
for _, doc in ipairs(source.bindDocs) do
if doc.type == 'doc.private' then
source._visibleType = 'private'
return 'private'
end
if doc.type == 'doc.protected' then
source._visibleType = 'protected'
return 'protected'
end
end
end
local fieldName = guide.getKeyName(source)
if type(fieldName) == 'string' then
local uri = guide.getUri(source)
local privateNames = config.get(uri, 'Lua.doc.privateName')
if #privateNames > 0 and glob.glob(privateNames)(fieldName) then
source._visibleType = 'private'
return 'private'
end
local protectedNames = config.get(uri, 'Lua.doc.protectedName')
if #protectedNames > 0 and glob.glob(protectedNames)(fieldName) then
source._visibleType = 'protected'
return 'protected'
end
end
source._visibleType = 'public'
return 'public'
end
---@param source parser.object
---@return vm.global?
function vm.getParentClass(source)
if source.type == 'doc.field' then
return vm.getGlobalNode(source.class)
end
if source.type == 'setfield'
or source.type == 'setindex'
or source.type == 'setmethod'
or source.type == 'tablefield'
or source.type == 'tableindex' then
return vm.getDefinedClass(guide.getUri(source), source.node)
end
return nil
end
---@param suri uri
---@param source parser.object
---@return vm.global?
function vm.getDefinedClass(suri, source)
source = guide.getSelfNode(source) or source
local sets = vm.getVariableSets(source)
if sets then
for _, set in ipairs(sets) do
if set.bindDocs then
for _, doc in ipairs(set.bindDocs) do
if doc.type == 'doc.class' then
return vm.getGlobalNode(doc)
end
end
end
end
end
local global = vm.getGlobalNode(source)
if global then
for _, set in ipairs(global:getSets(suri)) do
if set.bindDocs then
for _, doc in ipairs(set.bindDocs) do
if doc.type == 'doc.class' then
return vm.getGlobalNode(doc)
end
end
end
end
end
return nil
end
---@param source parser.object
---@return vm.global?
local function getEnvClass(source)
local func = guide.getParentFunction(source)
if not func or func.type ~= 'function' then
return nil
end
local parent = func.parent
if parent.type == 'setfield'
or parent.type == 'setmethod' then
local node = parent.node
return vm.getDefinedClass(guide.getUri(source), node)
end
return nil
end
---@param parent parser.object
---@param field parser.object
function vm.isVisible(parent, field)
local visible = vm.getVisibleType(field)
if visible == 'public' then
return true
end
if visible == 'package' then
return guide.getUri(parent) == guide.getUri(field)
end
local class = vm.getParentClass(field)
if not class then
return true
end
local suri = guide.getUri(parent)
-- check <?obj?>.x
local myClass = vm.getDefinedClass(suri, parent)
if not myClass then
-- check function <?mt?>:X() ... end
myClass = getEnvClass(parent)
if not myClass then
return false
end
end
if myClass == class then
return true
end
if visible == 'protected' then
if vm.isSubType(suri, myClass, class) then
return true
end
end
return false
end
|
