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
|
local guide = require 'parser.guide'
local checkSMT = require 'core.setmetatable'
local m = {}
function m:def(source, callback)
-- _ENV
local key = guide.getKeyName(source)
self:eachField(source.node, key, function (src, mode)
if mode == 'set' then
callback(src, mode)
end
end)
self:eachSpecial(function (name, src)
if name == '_G' then
local parent = src.parent
if guide.getKeyName(parent) == key then
callback(parent, 'set')
end
elseif name == 'rawset' then
local t, k = self:callArgOf(src.parent)
if self:getSpecialName(t) == '_G'
and guide.getKeyName(k) == key then
callback(src.parent, 'set')
end
end
end)
end
function m:ref(source, callback)
-- _ENV
local key = guide.getKeyName(source)
self:eachField(source.node, key, function (src, mode)
if mode == 'set' or mode == 'get' then
callback(src, mode)
end
end)
self:eachSpecial(function (name, src)
if name == '_G' then
local parent = src.parent
if guide.getKeyName(parent) == key then
if parent.type:sub(1, 3) == 'set' then
callback(parent, 'set')
else
callback(parent, 'get')
end
end
elseif name == 'rawset' then
local t, k = self:callArgOf(src.parent)
if self:getSpecialName(t) == '_G'
and guide.getKeyName(k) == key then
callback(src.parent, 'set')
end
elseif name == 'rawget' then
local t, k = self:callArgOf(src.parent)
if self:getSpecialName(t) == '_G'
and guide.getKeyName(k) == key then
callback(src.parent, 'get')
end
end
end)
end
function m:field(source, key, callback)
local used = {}
local found = false
used[source] = true
local node = source.node
local myKey = guide.getKeyName(node)
if myKey == key then
callback(source)
end
self:eachDef(node, function (src)
if myKey ~= key then
return
end
used[src] = true
if node.type == 'setfield'
or node.type == 'setindex'
or node.type == 'setmethod' then
callback(src, 'set')
elseif node.type == 'getfield'
or node.type == 'getindex'
or node.type == 'getmethod' then
callback(src, 'get')
end
end)
self:eachValue(node, function (src)
self:eachField(src, key, function (src, mode)
if used[src] then
return
end
used[src] = true
if mode == 'set' then
callback(src, mode)
found = true
end
end)
end)
checkSMT(self, key, used, found, callback)
end
function m:value(source, callback)
if source.value then
self:eachValue(source.value, callback)
end
end
return m
|
