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
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
|
local function getDefaultSource()
return {
start = 0,
finish = 0,
uri = '',
}
end
local mt = {}
mt.__index = mt
mt.type = 'value'
function mt:setValue(value)
self._value = value
end
function mt:getValue()
return self._value
end
function mt:setType(tp, rate)
if type(tp) == 'table' then
for _, ctp in ipairs(tp) do
self:setType(ctp, rate)
end
return
end
if tp == '...' then
error('Value type cant be ...')
end
if not tp then
tp = 'nil'
end
if tp == 'any' or tp == 'nil' then
rate = 0.0
end
local current = self._type[tp] or 0.0
self._type[tp] = current + (1 - current) * rate
end
function mt:getType()
if not self._type then
return 'nil'
end
local mRate = 0.0
local mType
for tp, rate in pairs(self._type) do
if rate > mRate then
mRate = rate
mType = tp
end
end
return mType or 'any'
end
function mt:rawSet(index, value)
if not self._child then
self._child = {}
end
if self._child[index] then
self._child[index]:mergeValue(value)
else
self._child[index] = value
end
end
function mt:rawGet(index)
if not self._child then
return nil
end
return self._child[index]
end
function mt:setChild(index, value)
self:setType('table', 0.5)
self:rawSet(index, value)
return value
end
function mt:getChild(index, mark)
self:setType('table', 0.5)
local value = self:rawGet(index)
if value then
return value
end
local method = self:getMetaMethod('__index')
if not method then
return nil
end
if not mark then
mark = {}
end
if mark[method] then
return nil
end
mark[method] = true
return method:getChild(index, mark)
end
function mt:setMetaTable(metatable)
self._meta = metatable
end
function mt:getMetaTable()
return self._meta
end
function mt:getMetaMethod(name)
local meta = self:getMetaTable()
if not meta then
return nil
end
return meta:rawGet(name)
end
function mt:rawEach(callback, foundIndex)
if not self._child then
return nil
end
for index, value in pairs(self._child) do
if foundIndex then
if foundIndex[index] then
goto CONTINUE
end
foundIndex[index] = true
end
local res = callback(index, value)
if res ~= nil then
return res
end
::CONTINUE::
end
return nil
end
function mt:eachChild(callback, mark, foundIndex)
if not foundIndex then
foundIndex = {}
end
local res = self:rawEach(callback, foundIndex)
if res ~= nil then
return res
end
local method = self:getMetaMethod('__index')
if not method then
return nil
end
if not mark then
mark = {}
end
if mark[method] then
return nil
end
mark[method] = true
return method:eachChild(callback, mark, foundIndex)
end
function mt:mergeValue(value)
if value._type then
for tp, rate in pairs(value._type) do
self:setType(tp, rate)
end
end
if value._child then
if not self._child then
self._child = {}
end
for k, v in pairs(value._child) do
self._child[k] = v
end
end
local hasSource = {}
for _, info in ipairs(self) do
hasSource[info.source] = true
end
for _, info in ipairs(value) do
if not hasSource[info.source] then
self[#self+1] = info
end
end
if value._meta then
self._meta = value._meta
end
if value._func then
self._func = value._func
end
if value._lib then
self._lib = value._lib
end
end
function mt:addInfo(tp, source)
if source and not source.start then
error('Miss start: ' .. table.dump(source))
end
self[#self+1] = {
type = tp,
source = source or getDefaultSource(),
}
end
function mt:eachInfo(callback)
for _, info in ipairs(self) do
local res = callback(info)
if res ~= nil then
return res
end
end
return nil
end
function mt:setFunction(func)
self._func = func
self:setType('function', 1.0)
end
function mt:getFunction()
self:setType('function', 0.5)
return self._func
end
function mt:setLib(lib)
self._lib = lib
end
function mt:getLib()
return self._lib
end
function mt:getLiteral()
return self._literal
end
return function (tp, source, literal)
if tp == '...' then
error('Value type cant be ...')
end
local self = setmetatable({
source = source or getDefaultSource(),
_type = {},
_literal = literal,
}, mt)
if type(tp) == 'table' then
for i = 1, #tp do
self:setType(tp[i], 1.0 / #tp)
end
else
self:setType(tp, 1.0)
end
return self
end
|
