blob: a6ba84a7b63291987ba6bccaa10e382ca09c1ddf [file] [log] [blame]
Bram Moolenaar1735bc92016-03-14 23:05:14 +01001" Test binding arguments to a Funcref.
Bram Moolenaar31440a12016-07-30 23:14:28 +02002
Bram Moolenaar1735bc92016-03-14 23:05:14 +01003func MyFunc(arg1, arg2, arg3)
4 return a:arg1 . '/' . a:arg2 . '/' . a:arg3
5endfunc
6
7func MySort(up, one, two)
8 if a:one == a:two
9 return 0
10 endif
11 if a:up
Bram Moolenaar790500a2016-03-15 11:05:45 +010012 return a:one > a:two ? 1 : -1
Bram Moolenaar1735bc92016-03-14 23:05:14 +010013 endif
Bram Moolenaar790500a2016-03-15 11:05:45 +010014 return a:one < a:two ? 1 : -1
Bram Moolenaar1735bc92016-03-14 23:05:14 +010015endfunc
16
Bram Moolenaarb33c7eb2016-07-04 22:29:49 +020017func MyMap(sub, index, val)
18 return a:val - a:sub
19endfunc
20
21func MyFilter(threshold, index, val)
22 return a:val > a:threshold
23endfunc
24
Bram Moolenaar1735bc92016-03-14 23:05:14 +010025func Test_partial_args()
26 let Cb = function('MyFunc', ["foo", "bar"])
Bram Moolenaar65639032016-03-16 21:40:30 +010027
28 call Cb("zzz")
Bram Moolenaar1735bc92016-03-14 23:05:14 +010029 call assert_equal("foo/bar/xxx", Cb("xxx"))
30 call assert_equal("foo/bar/yyy", call(Cb, ["yyy"]))
Bram Moolenaar8a1bb042016-03-17 21:11:53 +010031 let Cb2 = function(Cb)
32 call assert_equal("foo/bar/zzz", Cb2("zzz"))
33 let Cb3 = function(Cb, ["www"])
34 call assert_equal("foo/bar/www", Cb3())
Bram Moolenaar1735bc92016-03-14 23:05:14 +010035
Bram Moolenaar346418c2016-03-15 12:36:08 +010036 let Cb = function('MyFunc', [])
37 call assert_equal("a/b/c", Cb("a", "b", "c"))
Bram Moolenaar8a1bb042016-03-17 21:11:53 +010038 let Cb2 = function(Cb, [])
39 call assert_equal("a/b/d", Cb2("a", "b", "d"))
40 let Cb3 = function(Cb, ["a", "b"])
41 call assert_equal("a/b/e", Cb3("e"))
Bram Moolenaar346418c2016-03-15 12:36:08 +010042
Bram Moolenaar1735bc92016-03-14 23:05:14 +010043 let Sort = function('MySort', [1])
44 call assert_equal([1, 2, 3], sort([3, 1, 2], Sort))
45 let Sort = function('MySort', [0])
46 call assert_equal([3, 2, 1], sort([3, 1, 2], Sort))
Bram Moolenaarb33c7eb2016-07-04 22:29:49 +020047
48 let Map = function('MyMap', [2])
49 call assert_equal([-1, 0, 1], map([1, 2, 3], Map))
50 let Map = function('MyMap', [3])
51 call assert_equal([-2, -1, 0], map([1, 2, 3], Map))
52
53 let Filter = function('MyFilter', [1])
54 call assert_equal([2, 3], filter([1, 2, 3], Filter))
55 let Filter = function('MyFilter', [2])
56 call assert_equal([3], filter([1, 2, 3], Filter))
Bram Moolenaar1735bc92016-03-14 23:05:14 +010057endfunc
58
59func MyDictFunc(arg1, arg2) dict
60 return self.name . '/' . a:arg1 . '/' . a:arg2
61endfunc
62
63func Test_partial_dict()
64 let dict = {'name': 'hello'}
65 let Cb = function('MyDictFunc', ["foo", "bar"], dict)
Bram Moolenaar9d8d0b52020-04-24 22:47:31 +020066 call test_garbagecollect_now()
Bram Moolenaar1735bc92016-03-14 23:05:14 +010067 call assert_equal("hello/foo/bar", Cb())
68 call assert_fails('Cb("xxx")', 'E492:')
Bram Moolenaar346418c2016-03-15 12:36:08 +010069
Bram Moolenaar1735bc92016-03-14 23:05:14 +010070 let Cb = function('MyDictFunc', ["foo"], dict)
71 call assert_equal("hello/foo/xxx", Cb("xxx"))
72 call assert_fails('Cb()', 'E492:')
Bram Moolenaar346418c2016-03-15 12:36:08 +010073
74 let Cb = function('MyDictFunc', [], dict)
75 call assert_equal("hello/ttt/xxx", Cb("ttt", "xxx"))
76 call assert_fails('Cb("yyy")', 'E492:')
77
Bram Moolenaar1735bc92016-03-14 23:05:14 +010078 let Cb = function('MyDictFunc', dict)
79 call assert_equal("hello/xxx/yyy", Cb("xxx", "yyy"))
Bram Moolenaar346418c2016-03-15 12:36:08 +010080 call assert_fails('Cb("fff")', 'E492:')
Bram Moolenaar65639032016-03-16 21:40:30 +010081
Bram Moolenaarb33c7eb2016-07-04 22:29:49 +020082 let Cb = function('MyDictFunc', dict)
83 call assert_equal({"foo": "hello/foo/1", "bar": "hello/bar/2"}, map({"foo": 1, "bar": 2}, Cb))
84
Bram Moolenaar65639032016-03-16 21:40:30 +010085 let dict = {"tr": function('tr', ['hello', 'h', 'H'])}
86 call assert_equal("Hello", dict.tr())
Bram Moolenaar0e05de42020-03-25 22:23:46 +010087
88 call assert_fails("let F=function('setloclist', 10)", "E923:")
Yegappan Lakshmanan04c4c572022-08-30 19:48:24 +010089 call assert_fails("let F=function('setloclist', [], [])", "E1206:")
Bram Moolenaar1735bc92016-03-14 23:05:14 +010090endfunc
Bram Moolenaarab1fa392016-03-15 19:33:34 +010091
92func Test_partial_implicit()
93 let dict = {'name': 'foo'}
94 func dict.MyFunc(arg) dict
95 return self.name . '/' . a:arg
96 endfunc
97
98 call assert_equal('foo/bar', dict.MyFunc('bar'))
99
100 call assert_fails('let func = dict.MyFunc', 'E704:')
101 let Func = dict.MyFunc
102 call assert_equal('foo/aaa', Func('aaa'))
103
104 let Func = function(dict.MyFunc, ['bbb'])
105 call assert_equal('foo/bbb', Func())
Bram Moolenaarab1fa392016-03-15 19:33:34 +0100106endfunc
Bram Moolenaar7a5c46a2016-03-16 20:41:21 +0100107
108fun InnerCall(funcref)
109 return a:funcref
110endfu
111
112fun OuterCall()
Bram Moolenaar5feabe02020-01-30 18:24:53 +0100113 let opt = { 'func' : function('max') }
Bram Moolenaar7a5c46a2016-03-16 20:41:21 +0100114 call InnerCall(opt.func)
115endfu
116
117func Test_function_in_dict()
118 call OuterCall()
119endfunc
120
Bram Moolenaar1e115362019-01-09 23:01:02 +0100121func s:cache_clear() dict
Bram Moolenaar6f2e4b32016-03-16 22:52:12 +0100122 return self.name
Bram Moolenaar1e115362019-01-09 23:01:02 +0100123endfunc
Bram Moolenaar6f2e4b32016-03-16 22:52:12 +0100124
125func Test_script_function_in_dict()
126 let s:obj = {'name': 'foo'}
127 let s:obj2 = {'name': 'bar'}
128
129 let s:obj['clear'] = function('s:cache_clear')
130
131 call assert_equal('foo', s:obj.clear())
132 let F = s:obj.clear
133 call assert_equal('foo', F())
134 call assert_equal('foo', call(s:obj.clear, [], s:obj))
135 call assert_equal('bar', call(s:obj.clear, [], s:obj2))
136
137 let s:obj2['clear'] = function('s:cache_clear')
138 call assert_equal('bar', s:obj2.clear())
139 let B = s:obj2.clear
140 call assert_equal('bar', B())
141endfunc
Bram Moolenaard22a1892016-03-17 20:50:47 +0100142
Bram Moolenaar1e115362019-01-09 23:01:02 +0100143func s:cache_arg(arg) dict
Bram Moolenaar9e63f612016-03-17 23:13:28 +0100144 let s:result = self.name . '/' . a:arg
145 return s:result
Bram Moolenaar1e115362019-01-09 23:01:02 +0100146endfunc
Bram Moolenaar9e63f612016-03-17 23:13:28 +0100147
148func Test_script_function_in_dict_arg()
149 let s:obj = {'name': 'foo'}
150 let s:obj['clear'] = function('s:cache_arg')
151
152 call assert_equal('foo/bar', s:obj.clear('bar'))
153 let F = s:obj.clear
154 let s:result = ''
155 call assert_equal('foo/bar', F('bar'))
156 call assert_equal('foo/bar', s:result)
157
158 let s:obj['clear'] = function('s:cache_arg', ['bar'])
159 call assert_equal('foo/bar', s:obj.clear())
160 let s:result = ''
161 call s:obj.clear()
162 call assert_equal('foo/bar', s:result)
163
164 let F = s:obj.clear
165 call assert_equal('foo/bar', F())
166 let s:result = ''
167 call F()
168 call assert_equal('foo/bar', s:result)
169
170 call assert_equal('foo/bar', call(s:obj.clear, [], s:obj))
171endfunc
172
Bram Moolenaard22a1892016-03-17 20:50:47 +0100173func Test_partial_exists()
174 let F = function('MyFunc')
175 call assert_true(exists('*F'))
176 let lF = [F]
177 call assert_true(exists('*lF[0]'))
178
179 let F = function('MyFunc', ['arg'])
180 call assert_true(exists('*F'))
181 let lF = [F]
182 call assert_true(exists('*lF[0]'))
183endfunc
Bram Moolenaar5c291542016-03-19 20:05:45 +0100184
185func Test_partial_string()
186 let F = function('MyFunc')
187 call assert_equal("function('MyFunc')", string(F))
188 let F = function('MyFunc', ['foo'])
189 call assert_equal("function('MyFunc', ['foo'])", string(F))
190 let F = function('MyFunc', ['foo', 'bar'])
191 call assert_equal("function('MyFunc', ['foo', 'bar'])", string(F))
192 let d = {'one': 1}
193 let F = function('MyFunc', d)
194 call assert_equal("function('MyFunc', {'one': 1})", string(F))
195 let F = function('MyFunc', ['foo'], d)
196 call assert_equal("function('MyFunc', ['foo'], {'one': 1})", string(F))
Bram Moolenaar92b83cc2020-04-25 15:24:44 +0200197 call assert_equal("function('')", string(test_null_function()))
198 call assert_equal("function('')", string(test_null_partial()))
Bram Moolenaar5c291542016-03-19 20:05:45 +0100199endfunc
Bram Moolenaare4eb6ff2016-03-22 21:00:09 +0100200
201func Test_func_unref()
202 let obj = {}
203 function! obj.func() abort
204 endfunction
205 let funcnumber = matchstr(string(obj.func), '^function(''\zs.\{-}\ze''')
206 call assert_true(exists('*{' . funcnumber . '}'))
207 unlet obj
208 call assert_false(exists('*{' . funcnumber . '}'))
209endfunc
Bram Moolenaar24c77a12016-03-24 21:23:06 +0100210
211func Test_tostring()
212 let d = {}
213 let d.d = d
214 function d.test3()
215 echo 42
216 endfunction
217 try
218 call string(d.test3)
219 catch
220 call assert_true(v:false, v:exception)
221 endtry
222endfunc
Bram Moolenaarc5fbe8a2016-03-24 21:42:09 +0100223
224func Test_redefine_dict_func()
225 let d = {}
226 function d.test4()
227 endfunction
228 let d.test4 = d.test4
229 try
230 function! d.test4(name)
231 endfunction
232 catch
233 call assert_true(v:errmsg, v:exception)
234 endtry
235endfunc
Bram Moolenaar4c908612016-03-24 21:58:12 +0100236
237func Test_bind_in_python()
Bram Moolenaar6d91bcb2020-08-12 18:50:36 +0200238 CheckFeature python
239 let g:d = {}
240 function g:d.test2()
241 endfunction
242 python import vim
243 try
244 call assert_equal(pyeval('vim.bindeval("g:d.test2")'), g:d.test2)
245 catch
246 call assert_true(v:false, v:exception)
247 endtry
Bram Moolenaar4c908612016-03-24 21:58:12 +0100248endfunc
Bram Moolenaarddecc252016-04-06 22:59:37 +0200249
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200250" This caused double free on exit if EXITFREE is defined.
Bram Moolenaarddecc252016-04-06 22:59:37 +0200251func Test_cyclic_list_arg()
252 let l = []
253 let Pt = function('string', [l])
254 call add(l, Pt)
255 unlet l
256 unlet Pt
257endfunc
258
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200259" This caused double free on exit if EXITFREE is defined.
Bram Moolenaarddecc252016-04-06 22:59:37 +0200260func Test_cyclic_dict_arg()
261 let d = {}
262 let Pt = function('string', [d])
263 let d.Pt = Pt
264 unlet d
265 unlet Pt
266endfunc
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200267
Bram Moolenaar0e5d3a22016-08-11 22:52:42 +0200268func Ignored3(job1, job2, status)
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200269endfunc
270
271func Test_cycle_partial_job()
Bram Moolenaar6d91bcb2020-08-12 18:50:36 +0200272 CheckFeature job
273 let job = job_start('echo')
274 call job_setoptions(job, {'exit_cb': function('Ignored3', [job])})
275 unlet job
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200276endfunc
277
Bram Moolenaar0e5d3a22016-08-11 22:52:42 +0200278func Ignored2(job, status)
279endfunc
280
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200281func Test_ref_job_partial_dict()
Bram Moolenaar6d91bcb2020-08-12 18:50:36 +0200282 CheckFeature job
283 let g:ref_job = job_start('echo')
284 let d = {'a': 'b'}
285 call job_setoptions(g:ref_job, {'exit_cb': function('Ignored2', [], d)})
286 call test_garbagecollect_now()
Bram Moolenaar107e1ee2016-04-08 17:07:19 +0200287endfunc
Bram Moolenaar1d429612016-05-24 15:44:17 +0200288
289func Test_auto_partial_rebind()
290 let dict1 = {'name': 'dict1'}
291 func! dict1.f1()
292 return self.name
293 endfunc
294 let dict1.f2 = function(dict1.f1, dict1)
295
296 call assert_equal('dict1', dict1.f1())
297 call assert_equal('dict1', dict1['f1']())
298 call assert_equal('dict1', dict1.f2())
299 call assert_equal('dict1', dict1['f2']())
300
301 let dict2 = {'name': 'dict2'}
302 let dict2.f1 = dict1.f1
303 let dict2.f2 = dict1.f2
304
305 call assert_equal('dict2', dict2.f1())
306 call assert_equal('dict2', dict2['f1']())
307 call assert_equal('dict1', dict2.f2())
308 call assert_equal('dict1', dict2['f2']())
309endfunc
Bram Moolenaar2bbf8ef2016-05-24 18:37:12 +0200310
311func Test_get_partial_items()
LemonBoy48b7d052024-07-09 18:24:59 +0200312 func s:Qux(x, y, z=3, w=1, ...)
313 endfunc
314 func s:Qux1(x, y)
315 endfunc
316
Bram Moolenaar2bbf8ef2016-05-24 18:37:12 +0200317 let dict = {'name': 'hello'}
Bram Moolenaar03e19a02016-05-24 22:29:49 +0200318 let args = ["foo", "bar"]
319 let Func = function('MyDictFunc')
320 let Cb = function('MyDictFunc', args, dict)
321
322 call assert_equal(Func, get(Cb, 'func'))
323 call assert_equal('MyDictFunc', get(Cb, 'name'))
324 call assert_equal(args, get(Cb, 'args'))
Bram Moolenaar2bbf8ef2016-05-24 18:37:12 +0200325 call assert_equal(dict, get(Cb, 'dict'))
326 call assert_fails('call get(Cb, "xxx")', 'E475:')
Bram Moolenaar03e19a02016-05-24 22:29:49 +0200327
328 call assert_equal(Func, get(Func, 'func'))
329 call assert_equal('MyDictFunc', get(Func, 'name'))
330 call assert_equal([], get(Func, 'args'))
331 call assert_true(empty( get(Func, 'dict')))
Bram Moolenaarf91aac52019-07-28 13:21:01 +0200332
333 let P = function('substitute', ['hello there', 'there'])
334 let dict = {'partial has': 'no dict'}
335 call assert_equal(dict, get(P, 'dict', dict))
336 call assert_equal(0, get(l:P, 'dict'))
LemonBoy48b7d052024-07-09 18:24:59 +0200337
338 call assert_equal({'required': 2, 'optional': 2, 'varargs': v:true},
339 \ get(funcref('s:Qux', []), 'arity'))
340 call assert_equal({'required': 1, 'optional': 2, 'varargs': v:true},
341 \ get(funcref('s:Qux', [1]), 'arity'))
342 call assert_equal({'required': 0, 'optional': 2, 'varargs': v:true},
343 \ get(funcref('s:Qux', [1, 2]), 'arity'))
344 call assert_equal({'required': 0, 'optional': 1, 'varargs': v:true},
345 \ get(funcref('s:Qux', [1, 2, 3]), 'arity'))
346 call assert_equal({'required': 0, 'optional': 0, 'varargs': v:true},
347 \ get(funcref('s:Qux', [1, 2, 3, 4]), 'arity'))
348 " More args than expected is not an error
349 call assert_equal({'required': 0, 'optional': 0, 'varargs': v:false},
350 \ get(funcref('s:Qux1', [1, 2, 3, 4]), 'arity'))
351
352 delfunc s:Qux
353 delfunc s:Qux1
Bram Moolenaar2bbf8ef2016-05-24 18:37:12 +0200354endfunc
Bram Moolenaar8e759ba2016-06-02 17:46:20 +0200355
356func Test_compare_partials()
357 let d1 = {}
358 let d2 = {}
359
360 function d1.f1() dict
361 endfunction
362
363 function d1.f2() dict
364 endfunction
365
366 let F1 = get(d1, 'f1')
367 let F2 = get(d1, 'f2')
368
369 let F1d1 = function(F1, d1)
370 let F2d1 = function(F2, d2)
371 let F1d1a1 = function(F1d1, [1])
372 let F1d1a12 = function(F1d1, [1, 2])
373 let F1a1 = function(F1, [1])
374 let F1a2 = function(F1, [2])
375 let F1d2 = function(F1, d2)
376 let d3 = {'f1': F1, 'f2': F2}
377 let F1d3 = function(F1, d3)
378 let F1ad1 = function(F1, [d1])
379 let F1ad3 = function(F1, [d3])
380
381 call assert_match('^function(''\d\+'')$', string(F1)) " Not a partial
382 call assert_match('^function(''\d\+'')$', string(F2)) " Not a partial
383 call assert_match('^function(''\d\+'', {.*})$', string(F1d1)) " A partial
384 call assert_match('^function(''\d\+'', {.*})$', string(F2d1)) " A partial
385 call assert_match('^function(''\d\+'', \[.*\])$', string(F1a1)) " No dict
386
387 " !=
388 let X = F1
389 call assert_false(F1 != X) " same function
390 let X = F1d1
391 call assert_false(F1d1 != X) " same partial
392 let X = F1d1a1
393 call assert_false(F1d1a1 != X) " same partial
394 let X = F1a1
395 call assert_false(F1a1 != X) " same partial
396
397 call assert_true(F1 != F2) " Different functions
398 call assert_true(F1 != F1d1) " Partial /= non-partial
399 call assert_true(F1d1a1 != F1d1a12) " Different number of arguments
400 call assert_true(F1a1 != F1d1a12) " One has no dict
401 call assert_true(F1a1 != F1a2) " Different arguments
402 call assert_true(F1d2 != F1d1) " Different dictionaries
403 call assert_false(F1d1 != F1d3) " Equal dictionaries, even though d1 isnot d3
404
405 " isnot, option 1
406 call assert_true(F1 isnot# F2) " Different functions
407 call assert_true(F1 isnot# F1d1) " Partial /= non-partial
408 call assert_true(F1d1 isnot# F1d3) " d1 isnot d3, even though d1 == d3
409 call assert_true(F1a1 isnot# F1d1a12) " One has no dict
410 call assert_true(F1a1 isnot# F1a2) " Different number of arguments
411 call assert_true(F1ad1 isnot# F1ad3) " In arguments d1 isnot d3
412
413 " isnot, option 2
414 call assert_true(F1 isnot# F2) " Different functions
415 call assert_true(F1 isnot# F1d1) " Partial /= non-partial
416 call assert_true(d1.f1 isnot# d1.f1) " handle_subscript creates new partial each time
Bram Moolenaar9d8d0b52020-04-24 22:47:31 +0200417
418 " compare two null partials
419 let N1 = test_null_partial()
420 let N2 = N1
421 call assert_true(N1 is N2)
422 call assert_true(N1 == N2)
423
424 " compare a partial and a null partial
425 call assert_false(N1 == F1)
426 call assert_false(F1 is N1)
Bram Moolenaar8e759ba2016-06-02 17:46:20 +0200427endfunc
Bram Moolenaar0e05de42020-03-25 22:23:46 +0100428
Yegappan Lakshmananfe424d12024-05-17 18:20:43 +0200429func Test_partial_method()
430 func Foo(x, y, z)
431 return x + y + z
432 endfunc
433 let d = {"Fn": function('Foo', [10, 20])}
434 call assert_fails('echo 30->d.Fn()', 'E1265: Cannot use a partial here')
435 delfunc Foo
436endfunc
437
438func Test_non_callable_type_as_method()
439 let d = {"Fn": 10}
440 call assert_fails('echo 30->d.Fn()', 'E1085: Not a callable type: d.Fn')
441endfunc
442
Bram Moolenaar0e05de42020-03-25 22:23:46 +0100443" vim: shiftwidth=2 sts=2 expandtab