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
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
|
---@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
local function getVisibleType(source)
if guide.isLiteral(source) then
return 'public'
end
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
---@class vm.node
---@field package _visibleType parser.visibleType
---@param source parser.object
---@return parser.visibleType
function vm.getVisibleType(source)
local node = vm.compileNode(source)
if node._visibleType then
return node._visibleType
end
for _, def in ipairs(vm.getDefs(source)) do
local visible = getVisibleType(def)
if visible ~= 'public' then
node._visibleType = visible
return visible
end
end
node._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
|
