blob: 4bca51955be0a871ff0984445d46e2a0702f83cd (
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
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
|
TEST [[
---@class Foo
---@field field1 integer
local mt = {}
function mt:Constructor()
self.field2 = 1
end
function mt:method1() return 1 end
function mt.method2() return 2 end
---@class Bar: Foo
---@field field4 integer
local mt2 = {}
---@type Foo
local v
print(v.field1 + 1)
print(v.field2 + 1)
print(v.<!field3!> + 1)
print(v:method1())
print(v.method2())
print(v:<!method3!>())
---@type Bar
local v2
print(v2.field1 + 1)
print(v2.field2 + 1)
print(v2.<!field3!> + 1)
print(v2.field4 + 1)
print(v2:method1())
print(v2.method2())
print(v2:<!method3!>())
local v3 = {}
print(v3.abc)
---@class Bar2
local mt3
function mt3:method() return 1 end
print(mt3:method())
]]
-- checkUndefinedField 通过type找到class
TEST [[
---@class Foo
local Foo
function Foo:method1() end
---@type Foo
local v
v:method1()
v:<!method2!>() -- doc.class.name
]]
-- checkUndefinedField 通过type找到class,涉及到 class 继承版
TEST [[
---@class Foo
local Foo
function Foo:method1() end
---@class Bar: Foo
local Bar
function Bar:method3() end
---@type Bar
local v
v:method1()
v:<!method2!>() -- doc.class.name
v:method3()
]]
-- checkUndefinedField 类名和类变量同名,类变量被直接使用
TEST [[
---@class Foo
local Foo
function Foo:method1() end
Foo:<!method2!>() -- doc.class
Foo:<!method2!>() -- doc.class
]]
-- checkUndefinedField 没有@class的不检测
TEST [[
local Foo
function Foo:method1()
return Foo:method2() -- table
end
]]
-- checkUndefinedField 类名和类变量不同名,类变量被直接使用、使用self
TEST [[
---@class Foo
local mt
function mt:method1()
mt.<!method2!>() -- doc.class
self:method1()
return self.<!method2!>() -- doc.class.name
end
]]
-- checkUndefinedField 当会推导成多个class类型时
TEST [[
---@class Foo
local mt
function mt:method1() end
---@class Bar
local mt2
function mt2:method2() end
---@type Foo
local v
---@type Bar
local v2
v2 = v
v2:method1()
v2:<!method2!>()
]]
TEST [[
---@type table
T1 = {}
print(T1.f1)
---@type tablelib
T2 = {}
print(T2.<!f2!>)
]]
TEST [[
---@type string|table
local n
print(n.x)
]]
|