xref: /vim-8.2.3635/src/testdir/test_expr.vim (revision b1c9198a)
1" Tests for expressions.
2
3func Test_equal()
4  let base = {}
5  func base.method()
6    return 1
7  endfunc
8  func base.other() dict
9    return 1
10  endfunc
11  let instance = copy(base)
12  call assert_true(base.method == instance.method)
13  call assert_true([base.method] == [instance.method])
14  call assert_true(base.other == instance.other)
15  call assert_true([base.other] == [instance.other])
16
17  call assert_false(base.method == base.other)
18  call assert_false([base.method] == [base.other])
19  call assert_false(base.method == instance.other)
20  call assert_false([base.method] == [instance.other])
21
22  call assert_fails('echo base.method > instance.method')
23endfunc
24
25func Test_version()
26  call assert_true(has('patch-7.4.001'))
27  call assert_true(has('patch-7.4.01'))
28  call assert_true(has('patch-7.4.1'))
29  call assert_true(has('patch-6.9.999'))
30  call assert_true(has('patch-7.1.999'))
31  call assert_true(has('patch-7.4.123'))
32
33  call assert_false(has('patch-7'))
34  call assert_false(has('patch-7.4'))
35  call assert_false(has('patch-7.4.'))
36  call assert_false(has('patch-9.1.0'))
37  call assert_false(has('patch-9.9.1'))
38endfunc
39
40func Test_dict()
41  let d = {'': 'empty', 'a': 'a', 0: 'zero'}
42  call assert_equal('empty', d[''])
43  call assert_equal('a', d['a'])
44  call assert_equal('zero', d[0])
45  call assert_true(has_key(d, ''))
46  call assert_true(has_key(d, 'a'))
47
48  let d[''] = 'none'
49  let d['a'] = 'aaa'
50  call assert_equal('none', d[''])
51  call assert_equal('aaa', d['a'])
52endfunc
53
54func Test_strgetchar()
55  call assert_equal(char2nr('a'), strgetchar('axb', 0))
56  call assert_equal(char2nr('x'), strgetchar('axb', 1))
57  call assert_equal(char2nr('b'), strgetchar('axb', 2))
58
59  call assert_equal(-1, strgetchar('axb', -1))
60  call assert_equal(-1, strgetchar('axb', 3))
61  call assert_equal(-1, strgetchar('', 0))
62endfunc
63
64func Test_strcharpart()
65  call assert_equal('a', strcharpart('axb', 0, 1))
66  call assert_equal('x', strcharpart('axb', 1, 1))
67  call assert_equal('b', strcharpart('axb', 2, 1))
68  call assert_equal('xb', strcharpart('axb', 1))
69
70  call assert_equal('', strcharpart('axb', 1, 0))
71  call assert_equal('', strcharpart('axb', 1, -1))
72  call assert_equal('', strcharpart('axb', -1, 1))
73  call assert_equal('', strcharpart('axb', -2, 2))
74
75  call assert_equal('a', strcharpart('axb', -1, 2))
76endfunc
77
78func Test_getreg_empty_list()
79  call assert_equal('', getreg('x'))
80  call assert_equal([], getreg('x', 1, 1))
81  let x = getreg('x', 1, 1)
82  let y = x
83  call add(x, 'foo')
84  call assert_equal(['foo'], y)
85endfunc
86
87func Test_loop_over_null_list()
88  let null_list = test_null_list()
89  for i in null_list
90    call assert_report('should not get here')
91  endfor
92endfunc
93
94func Test_compare_null_dict()
95  call assert_fails('let x = test_null_dict()[10]')
96  call assert_equal({}, {})
97  call assert_equal(test_null_dict(), test_null_dict())
98  call assert_notequal({}, test_null_dict())
99endfunc
100
101func Test_set_reg_null_list()
102  call setreg('x', test_null_list())
103endfunc
104
105func Test_special_char()
106  " The failure is only visible using valgrind.
107  call assert_fails('echo "\<C-">')
108endfunc
109
110func Test_option_value()
111  " boolean
112  set bri
113  call assert_equal(1, &bri)
114  set nobri
115  call assert_equal(0, &bri)
116
117  " number
118  set ts=1
119  call assert_equal(1, &ts)
120  set ts=8
121  call assert_equal(8, &ts)
122
123  " string
124  exe "set cedit=\<Esc>"
125  call assert_equal("\<Esc>", &cedit)
126  set cpo=
127  call assert_equal("", &cpo)
128  set cpo=abcdefgi
129  call assert_equal("abcdefgi", &cpo)
130  set cpo&vim
131endfunc
132
133function Test_printf_misc()
134  call assert_equal('123', printf('123'))
135  call assert_fails("call printf('123', 3)", "E767:")
136
137  call assert_equal('123', printf('%d', 123))
138  call assert_equal('123', printf('%i', 123))
139  call assert_equal('123', printf('%D', 123))
140  call assert_equal('123', printf('%U', 123))
141  call assert_equal('173', printf('%o', 123))
142  call assert_equal('173', printf('%O', 123))
143  call assert_equal('7b', printf('%x', 123))
144  call assert_equal('7B', printf('%X', 123))
145  if has('ebcdic')
146    call assert_equal('#', printf('%c', 123))
147  else
148    call assert_equal('{', printf('%c', 123))
149  endif
150  call assert_equal('abc', printf('%s', 'abc'))
151  call assert_equal('abc', printf('%S', 'abc'))
152
153  call assert_equal('+123', printf('%+d', 123))
154  call assert_equal('-123', printf('%+d', -123))
155  call assert_equal('+123', printf('%+ d', 123))
156  call assert_equal(' 123', printf('% d', 123))
157  call assert_equal(' 123', printf('%  d', 123))
158  call assert_equal('-123', printf('% d', -123))
159
160  call assert_equal('123', printf('%2d', 123))
161  call assert_equal('   123', printf('%6d', 123))
162  call assert_equal('000123', printf('%06d', 123))
163  call assert_equal('+00123', printf('%+06d', 123))
164  call assert_equal(' 00123', printf('% 06d', 123))
165  call assert_equal('  +123', printf('%+6d', 123))
166  call assert_equal('   123', printf('% 6d', 123))
167  call assert_equal('  -123', printf('% 6d', -123))
168
169  " Test left adjusted.
170  call assert_equal('123   ', printf('%-6d', 123))
171  call assert_equal('+123  ', printf('%-+6d', 123))
172  call assert_equal(' 123  ', printf('%- 6d', 123))
173  call assert_equal('-123  ', printf('%- 6d', -123))
174
175  call assert_equal('  00123', printf('%7.5d', 123))
176  call assert_equal(' -00123', printf('%7.5d', -123))
177  call assert_equal(' +00123', printf('%+7.5d', 123))
178  " Precision field should not be used when combined with %0
179  call assert_equal('  00123', printf('%07.5d', 123))
180  call assert_equal(' -00123', printf('%07.5d', -123))
181
182  call assert_equal('  123', printf('%*d', 5, 123))
183  call assert_equal('123  ', printf('%*d', -5, 123))
184  call assert_equal('00123', printf('%.*d', 5, 123))
185  call assert_equal('  123', printf('% *d', 5, 123))
186  call assert_equal(' +123', printf('%+ *d', 5, 123))
187
188  " Simple quote (thousand grouping char) is ignored.
189  call assert_equal('+00123456', printf("%+'09d", 123456))
190
191  " Unrecognized format specifier kept as-is.
192  call assert_equal('_123', printf("%_%d", 123))
193
194  " Test alternate forms.
195  call assert_equal('0x7b', printf('%#x', 123))
196  call assert_equal('0X7B', printf('%#X', 123))
197  call assert_equal('0173', printf('%#o', 123))
198  call assert_equal('0173', printf('%#O', 123))
199  call assert_equal('abc', printf('%#s', 'abc'))
200  call assert_equal('abc', printf('%#S', 'abc'))
201  call assert_equal('  0173', printf('%#6o', 123))
202  call assert_equal(' 00173', printf('%#6.5o', 123))
203  call assert_equal('  0173', printf('%#6.2o', 123))
204  call assert_equal('  0173', printf('%#6.2o', 123))
205  call assert_equal('0173', printf('%#2.2o', 123))
206
207  call assert_equal(' 00123', printf('%6.5d', 123))
208  call assert_equal(' 0007b', printf('%6.5x', 123))
209
210  call assert_equal('abc', printf('%2s', 'abc'))
211  call assert_equal('abc', printf('%2S', 'abc'))
212  call assert_equal('abc', printf('%.4s', 'abc'))
213  call assert_equal('abc', printf('%.4S', 'abc'))
214  call assert_equal('ab', printf('%.2s', 'abc'))
215  call assert_equal('ab', printf('%.2S', 'abc'))
216  call assert_equal('', printf('%.0s', 'abc'))
217  call assert_equal('', printf('%.s', 'abc'))
218  call assert_equal(' abc', printf('%4s', 'abc'))
219  call assert_equal(' abc', printf('%4S', 'abc'))
220  call assert_equal('0abc', printf('%04s', 'abc'))
221  call assert_equal('0abc', printf('%04S', 'abc'))
222  call assert_equal('abc ', printf('%-4s', 'abc'))
223  call assert_equal('abc ', printf('%-4S', 'abc'))
224
225  call assert_equal('1%', printf('%d%%', 1))
226endfunc
227
228function Test_printf_float()
229  if has('float')
230    call assert_equal('1.000000', printf('%f', 1))
231    call assert_equal('1.230000', printf('%f', 1.23))
232    call assert_equal('1.230000', printf('%F', 1.23))
233    call assert_equal('9999999.9', printf('%g', 9999999.9))
234    call assert_equal('9999999.9', printf('%G', 9999999.9))
235    call assert_equal('1.00000001e7', printf('%.8g', 10000000.1))
236    call assert_equal('1.00000001E7', printf('%.8G', 10000000.1))
237    call assert_equal('1.230000e+00', printf('%e', 1.23))
238    call assert_equal('1.230000E+00', printf('%E', 1.23))
239    call assert_equal('1.200000e-02', printf('%e', 0.012))
240    call assert_equal('-1.200000e-02', printf('%e', -0.012))
241    call assert_equal('0.33', printf('%.2f', 1.0/3.0))
242    call assert_equal('  0.33', printf('%6.2f', 1.0/3.0))
243    call assert_equal(' -0.33', printf('%6.2f', -1.0/3.0))
244    call assert_equal('000.33', printf('%06.2f', 1.0/3.0))
245    call assert_equal('-00.33', printf('%06.2f', -1.0/3.0))
246    call assert_equal('-00.33', printf('%+06.2f', -1.0/3.0))
247    call assert_equal('+00.33', printf('%+06.2f', 1.0/3.0))
248    call assert_equal(' 00.33', printf('% 06.2f', 1.0/3.0))
249    call assert_equal('000.33', printf('%06.2g', 1.0/3.0))
250    call assert_equal('-00.33', printf('%06.2g', -1.0/3.0))
251    call assert_equal('0.33', printf('%3.2f', 1.0/3.0))
252    call assert_equal('003.33e-01', printf('%010.2e', 1.0/3.0))
253    call assert_equal(' 03.33e-01', printf('% 010.2e', 1.0/3.0))
254    call assert_equal('+03.33e-01', printf('%+010.2e', 1.0/3.0))
255    call assert_equal('-03.33e-01', printf('%010.2e', -1.0/3.0))
256
257    " When precision is 0, the dot should be omitted.
258    call assert_equal('  2', printf('%3.f', 7.0/3.0))
259    call assert_equal('  2', printf('%3.g', 7.0/3.0))
260    call assert_equal('  2e+00', printf('%7.e', 7.0/3.0))
261
262    " Float zero can be signed.
263    call assert_equal('+0.000000', printf('%+f', 0.0))
264    call assert_equal('0.000000', printf('%f', 1.0/(1.0/0.0)))
265    call assert_equal('-0.000000', printf('%f', 1.0/(-1.0/0.0)))
266    call assert_equal('0.0', printf('%s', 1.0/(1.0/0.0)))
267    call assert_equal('-0.0', printf('%s', 1.0/(-1.0/0.0)))
268    call assert_equal('0.0', printf('%S', 1.0/(1.0/0.0)))
269    call assert_equal('-0.0', printf('%S', 1.0/(-1.0/0.0)))
270
271    " Float infinity can be signed.
272    call assert_equal('inf', printf('%f', 1.0/0.0))
273    call assert_equal('-inf', printf('%f', -1.0/0.0))
274    call assert_equal('inf', printf('%g', 1.0/0.0))
275    call assert_equal('-inf', printf('%g', -1.0/0.0))
276    call assert_equal('inf', printf('%e', 1.0/0.0))
277    call assert_equal('-inf', printf('%e', -1.0/0.0))
278    call assert_equal('INF', printf('%F', 1.0/0.0))
279    call assert_equal('-INF', printf('%F', -1.0/0.0))
280    call assert_equal('INF', printf('%E', 1.0/0.0))
281    call assert_equal('-INF', printf('%E', -1.0/0.0))
282    call assert_equal('INF', printf('%E', 1.0/0.0))
283    call assert_equal('-INF', printf('%G', -1.0/0.0))
284    call assert_equal('+inf', printf('%+f', 1.0/0.0))
285    call assert_equal('-inf', printf('%+f', -1.0/0.0))
286    call assert_equal(' inf', printf('% f',  1.0/0.0))
287    call assert_equal('   inf', printf('%6f', 1.0/0.0))
288    call assert_equal('  -inf', printf('%6f', -1.0/0.0))
289    call assert_equal('   inf', printf('%6g', 1.0/0.0))
290    call assert_equal('  -inf', printf('%6g', -1.0/0.0))
291    call assert_equal('  +inf', printf('%+6f', 1.0/0.0))
292    call assert_equal('   inf', printf('% 6f', 1.0/0.0))
293    call assert_equal('  +inf', printf('%+06f', 1.0/0.0))
294    call assert_equal('inf   ', printf('%-6f', 1.0/0.0))
295    call assert_equal('-inf  ', printf('%-6f', -1.0/0.0))
296    call assert_equal('+inf  ', printf('%-+6f', 1.0/0.0))
297    call assert_equal(' inf  ', printf('%- 6f', 1.0/0.0))
298    call assert_equal('-INF  ', printf('%-6F', -1.0/0.0))
299    call assert_equal('+INF  ', printf('%-+6F', 1.0/0.0))
300    call assert_equal(' INF  ', printf('%- 6F', 1.0/0.0))
301    call assert_equal('INF   ', printf('%-6G', 1.0/0.0))
302    call assert_equal('-INF  ', printf('%-6G', -1.0/0.0))
303    call assert_equal('INF   ', printf('%-6E', 1.0/0.0))
304    call assert_equal('-INF  ', printf('%-6E', -1.0/0.0))
305    call assert_equal('inf', printf('%s', 1.0/0.0))
306    call assert_equal('-inf', printf('%s', -1.0/0.0))
307
308    " Float nan (not a number) has no sign.
309    call assert_equal('nan', printf('%f', sqrt(-1.0)))
310    call assert_equal('nan', printf('%f', 0.0/0.0))
311    call assert_equal('nan', printf('%f', -0.0/0.0))
312    call assert_equal('nan', printf('%g', 0.0/0.0))
313    call assert_equal('nan', printf('%e', 0.0/0.0))
314    call assert_equal('NAN', printf('%F', 0.0/0.0))
315    call assert_equal('NAN', printf('%G', 0.0/0.0))
316    call assert_equal('NAN', printf('%E', 0.0/0.0))
317    call assert_equal('NAN', printf('%F', -0.0/0.0))
318    call assert_equal('NAN', printf('%G', -0.0/0.0))
319    call assert_equal('NAN', printf('%E', -0.0/0.0))
320    call assert_equal('   nan', printf('%6f', 0.0/0.0))
321    call assert_equal('   nan', printf('%06f', 0.0/0.0))
322    call assert_equal('nan   ', printf('%-6f', 0.0/0.0))
323    call assert_equal('nan   ', printf('%- 6f', 0.0/0.0))
324    call assert_equal('nan', printf('%s', 0.0/0.0))
325    call assert_equal('nan', printf('%s', -0.0/0.0))
326    call assert_equal('nan', printf('%S', 0.0/0.0))
327    call assert_equal('nan', printf('%S', -0.0/0.0))
328
329    call assert_fails('echo printf("%f", "a")', 'E807:')
330  endif
331endfunc
332
333function Test_printf_errors()
334  call assert_fails('echo printf("%d", {})', 'E728:')
335  call assert_fails('echo printf("%d", [])', 'E745:')
336  call assert_fails('echo printf("%d", 1, 2)', 'E767:')
337  call assert_fails('echo printf("%*d", 1)', 'E766:')
338  call assert_fails('echo printf("%d", 1.2)', 'E805:')
339endfunc
340
341function Test_max_min_errors()
342  call assert_fails('call max(v:true)', 'E712:')
343  call assert_fails('call max(v:true)', 'max()')
344  call assert_fails('call min(v:true)', 'E712:')
345  call assert_fails('call min(v:true)', 'min()')
346endfunc
347
348function Test_printf_64bit()
349  if has('num64')
350    call assert_equal("123456789012345", printf('%d', 123456789012345))
351  endif
352endfunc
353
354function Test_printf_spec_s()
355  " number
356  call assert_equal("1234567890", printf('%s', 1234567890))
357
358  " string
359  call assert_equal("abcdefgi", printf('%s', "abcdefgi"))
360
361  " float
362  if has('float')
363    call assert_equal("1.23", printf('%s', 1.23))
364  endif
365
366  " list
367  let value = [1, 'two', ['three', 4]]
368  call assert_equal(string(value), printf('%s', value))
369
370  " dict
371  let value = {'key1' : 'value1', 'key2' : ['list', 'value'], 'key3' : {'dict' : 'value'}}
372  call assert_equal(string(value), printf('%s', value))
373
374  " funcref
375  call assert_equal('printf', printf('%s', function('printf')))
376
377  " partial
378  call assert_equal(string(function('printf', ['%s'])), printf('%s', function('printf', ['%s'])))
379endfunc
380
381function Test_printf_spec_b()
382  call assert_equal("0", printf('%b', 0))
383  call assert_equal("00001100", printf('%08b', 12))
384  call assert_equal("11111111", printf('%08b', 0xff))
385  call assert_equal("   1111011", printf('%10b', 123))
386  call assert_equal("0001111011", printf('%010b', 123))
387  call assert_equal(" 0b1111011", printf('%#10b', 123))
388  call assert_equal("0B01111011", printf('%#010B', 123))
389  call assert_equal("1001001100101100000001011010010", printf('%b', 1234567890))
390  if has('num64')
391    call assert_equal("11100000100100010000110000011011101111101111001", printf('%b', 123456789012345))
392    call assert_equal("1111111111111111111111111111111111111111111111111111111111111111", printf('%b', -1))
393  else
394    call assert_equal("11111111111111111111111111111111", printf('%b', -1))
395  endif
396endfunc
397
398func Test_substitute_expr()
399  let g:val = 'XXX'
400  call assert_equal('XXX', substitute('yyy', 'y*', '\=g:val', ''))
401  call assert_equal('XXX', substitute('yyy', 'y*', {-> g:val}, ''))
402  call assert_equal("-\u1b \uf2-", substitute("-%1b %f2-", '%\(\x\x\)',
403			   \ '\=nr2char("0x" . submatch(1))', 'g'))
404  call assert_equal("-\u1b \uf2-", substitute("-%1b %f2-", '%\(\x\x\)',
405			   \ {-> nr2char("0x" . submatch(1))}, 'g'))
406
407  call assert_equal('231', substitute('123', '\(.\)\(.\)\(.\)',
408	\ {-> submatch(2) . submatch(3) . submatch(1)}, ''))
409
410  func Recurse()
411    return substitute('yyy', 'y\(.\)y', {-> submatch(1)}, '')
412  endfunc
413  " recursive call works
414  call assert_equal('-y-x-', substitute('xxx', 'x\(.\)x', {-> '-' . Recurse() . '-' . submatch(1) . '-'}, ''))
415endfunc
416
417func Test_invalid_submatch()
418  " This was causing invalid memory access in Vim-7.4.2232 and older
419  call assert_fails("call substitute('x', '.', {-> submatch(10)}, '')", 'E935:')
420endfunc
421
422func Test_substitute_expr_arg()
423  call assert_equal('123456789-123456789=', substitute('123456789',
424	\ '\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)',
425	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
426
427  call assert_equal('123456-123456=789', substitute('123456789',
428	\ '\(.\)\(.\)\(.\)\(a*\)\(n*\)\(.\)\(.\)\(.\)\(x*\)',
429	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
430
431  call assert_equal('123456789-123456789x=', substitute('123456789',
432	\ '\(.\)\(.\)\(.*\)',
433	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . 'x' . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
434
435  call assert_fails("call substitute('xxx', '.', {m -> string(add(m, 'x'))}, '')", 'E742:')
436  call assert_fails("call substitute('xxx', '.', {m -> string(insert(m, 'x'))}, '')", 'E742:')
437  call assert_fails("call substitute('xxx', '.', {m -> string(extend(m, ['x']))}, '')", 'E742:')
438  call assert_fails("call substitute('xxx', '.', {m -> string(remove(m, 1))}, '')", 'E742:')
439endfunc
440
441func Test_function_with_funcref()
442  let s:f = function('type')
443  let s:fref = function(s:f)
444  call assert_equal(v:t_string, s:fref('x'))
445  call assert_fails("call function('s:f')", 'E700:')
446
447  call assert_fails("call function('foo()')", 'E475:')
448  call assert_fails("call function('foo()')", 'foo()')
449endfunc
450
451func Test_funcref()
452  func! One()
453    return 1
454  endfunc
455  let OneByName = function('One')
456  let OneByRef = funcref('One')
457  func! One()
458    return 2
459  endfunc
460  call assert_equal(2, OneByName())
461  call assert_equal(1, OneByRef())
462  let OneByRef = funcref('One')
463  call assert_equal(2, OneByRef())
464  call assert_fails('echo funcref("{")', 'E475:')
465endfunc
466
467func Test_setmatches()
468  hi def link 1 Comment
469  hi def link 2 PreProc
470  let set = [{"group": 1, "pattern": 2, "id": 3, "priority": 4}]
471  let exp = [{"group": '1', "pattern": '2', "id": 3, "priority": 4}]
472  if has('conceal')
473    let set[0]['conceal'] = 5
474    let exp[0]['conceal'] = '5'
475  endif
476  call setmatches(set)
477  call assert_equal(exp, getmatches())
478endfunc
479
480func Test_empty_concatenate()
481  call assert_equal('b', 'a'[4:0] . 'b')
482  call assert_equal('b', 'b' . 'a'[4:0])
483endfunc
484