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
|
local buildName = require 'core.hover.name'
local buildArg = require 'core.hover.arg'
local buildReturn = require 'core.hover.return'
local buildTable = require 'core.hover.table'
local vm = require 'vm'
local util = require 'utility'
local guide = require 'parser.guide'
local function asFunction(source, oop)
local name = buildName(source, oop)
local arg = buildArg(source, oop)
local rtn = buildReturn(source)
local lines = {}
lines[1] = ('function %s(%s)'):format(name, arg)
lines[2] = rtn
return table.concat(lines, '\n')
end
local function asValue(source, title)
local name = buildName(source)
local infers = vm.getInfers(source)
local type = vm.getInferType(source)
local class = vm.getClass(source)
local literal = vm.getInferLiteral(source)
local cont
if vm.hasInferType(source, 'table') then
cont = buildTable(source)
end
local pack = {}
pack[#pack+1] = title
pack[#pack+1] = name .. ':'
if cont then
type = nil
end
if class then
pack[#pack+1] = class
else
pack[#pack+1] = type
end
if literal then
pack[#pack+1] = '='
pack[#pack+1] = literal
end
if cont then
pack[#pack+1] = cont
end
return table.concat(pack, ' ')
end
local function asLocal(source)
return asValue(source, 'local')
end
local function asGlobal(source)
return asValue(source, 'global')
end
local function isGlobalField(source)
if source.type == 'field'
or source.type == 'method' then
source = source.parent
end
if source.type == 'setfield'
or source.type == 'getfield'
or source.type == 'setmethod'
or source.type == 'getmethod' then
local node = source.node
if node.type == 'setglobal'
or node.type == 'getglobal' then
return true
end
return isGlobalField(node)
elseif source.type == 'tablefield' then
local parent = source.parent
if parent.type == 'setglobal'
or parent.type == 'getglobal' then
return true
end
return isGlobalField(parent)
else
return false
end
end
local function asField(source)
if isGlobalField(source) then
return asGlobal(source)
end
return asValue(source, 'field')
end
local function asLibrary(source)
local lib = source.library
if lib.type == 'function' then
return asFunction(source)
end
end
local function asString(source)
local str = source[1]
if type(str) ~= 'string' then
return ''
end
local len = #str
local charLen = utf8.len(str, 1, -1, true)
-- TODO 翻译
if len == charLen then
return ('%d 个字节'):format(len)
else
return ('%d 个字节，%d 个字符'):format(len, charLen)
end
end
return function (source, oop)
if source.type == 'function' then
return asFunction(source, oop)
elseif source.type == 'local'
or source.type == 'getlocal'
or source.type == 'setlocal' then
return asLocal(source)
elseif source.type == 'setglobal'
or source.type == 'getglobal' then
return asGlobal(source)
elseif source.type == 'getfield'
or source.type == 'setfield'
or source.type == 'getmethod'
or source.type == 'setmethod'
or source.type == 'tablefield'
or source.type == 'field'
or source.type == 'method' then
return asField(source)
elseif source.type == 'string' then
return asString(source)
end
end
|
