blob: 35900bc3f9d990e566c7e445d2f94104278b0679 (
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
|
local files = require 'files'
local guide = require 'parser.guide'
local config = require 'config'
local catch = require 'catch'
local vm = require 'vm'
rawset(_G, 'TEST', true)
local function getSource(pos)
local state = files.getState(TESTURI)
if not state then
return
end
local result
guide.eachSourceContain(state.ast, pos, function (source)
if source.type == 'local'
or source.type == 'getlocal'
or source.type == 'setlocal'
or source.type == 'setglobal'
or source.type == 'getglobal'
or source.type == 'field'
or source.type == 'method'
or source.type == 'function'
or source.type == 'table'
or source.type == 'doc.type.name' then
result = source
end
end)
return result
end
function TEST(wanted)
return function (script)
local newScript, catched = catch(script, '?')
files.setText(TESTURI, newScript)
local source = getSource(catched['?'][1][1])
assert(source)
local result = vm.getInfer(source):view(TESTURI)
if wanted ~= result then
vm.getInfer(source):view(TESTURI)
end
assert(wanted == result)
files.remove(TESTURI)
end
end
require 'type_inference.common'
require 'type_inference.param_match'
|
