xref: /vim-8.2.3635/src/testdir/test_expr.vim (revision cb03397a)
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_true(0, '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('%d', 123))
135  call assert_equal('123', printf('%i', 123))
136  call assert_equal('123', printf('%D', 123))
137  call assert_equal('123', printf('%U', 123))
138  call assert_equal('173', printf('%o', 123))
139  call assert_equal('173', printf('%O', 123))
140  call assert_equal('7b', printf('%x', 123))
141  call assert_equal('7B', printf('%X', 123))
142  if has('ebcdic')
143    call assert_equal('#', printf('%c', 123))
144  else
145    call assert_equal('{', printf('%c', 123))
146  endif
147  call assert_equal('abc', printf('%s', 'abc'))
148  call assert_equal('abc', printf('%S', 'abc'))
149
150  call assert_equal('+123', printf('%+d', 123))
151  call assert_equal('-123', printf('%+d', -123))
152  call assert_equal('+123', printf('%+ d', 123))
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
157  call assert_equal('123', printf('%2d', 123))
158  call assert_equal('   123', printf('%6d', 123))
159  call assert_equal('000123', printf('%06d', 123))
160  call assert_equal('+00123', printf('%+06d', 123))
161  call assert_equal(' 00123', printf('% 06d', 123))
162  call assert_equal('  +123', printf('%+6d', 123))
163  call assert_equal('   123', printf('% 6d', 123))
164  call assert_equal('  -123', printf('% 6d', -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  call assert_equal('00123', printf('%.*d', 5, 123))
170  call assert_equal('  123', printf('% *d', 5, 123))
171  call assert_equal(' +123', printf('%+ *d', 5, 123))
172
173  call assert_equal('123  ', printf('%-5d', 123))
174  call assert_equal('0x7b', printf('%#x', 123))
175  call assert_equal('0X7B', printf('%#X', 123))
176  call assert_equal('0173', printf('%#o', 123))
177  call assert_equal('0173', printf('%#O', 123))
178  call assert_equal('abc', printf('%#s', 'abc'))
179  call assert_equal('abc', printf('%#S', 'abc'))
180
181  call assert_equal(' 00123', printf('%6.5d', 123))
182  call assert_equal(' 0007b', printf('%6.5x', 123))
183
184  call assert_equal('abc', printf('%2s', 'abc'))
185  call assert_equal('abc', printf('%2S', 'abc'))
186  call assert_equal('abc', printf('%.4s', 'abc'))
187  call assert_equal('abc', printf('%.4S', 'abc'))
188  call assert_equal('ab', printf('%.2s', 'abc'))
189  call assert_equal('ab', printf('%.2S', 'abc'))
190  call assert_equal('', printf('%.0s', 'abc'))
191  call assert_equal('', printf('%.s', 'abc'))
192  call assert_equal(' abc', printf('%4s', 'abc'))
193  call assert_equal(' abc', printf('%4S', 'abc'))
194  call assert_equal('0abc', printf('%04s', 'abc'))
195  call assert_equal('0abc', printf('%04S', 'abc'))
196  call assert_equal('abc ', printf('%-4s', 'abc'))
197  call assert_equal('abc ', printf('%-4S', 'abc'))
198
199  call assert_equal('1%', printf('%d%%', 1))
200endfunc
201
202function Test_printf_float()
203  if has('float')
204    call assert_equal('1.230000', printf('%f', 1.23))
205    call assert_equal('1.230000', printf('%F', 1.23))
206    call assert_equal('9999999.9', printf('%g', 9999999.9))
207    call assert_equal('9999999.9', printf('%G', 9999999.9))
208    call assert_equal('1.00000001e7', printf('%.8g', 10000000.1))
209    call assert_equal('1.00000001E7', printf('%.8G', 10000000.1))
210    call assert_equal('1.230000e+00', printf('%e', 1.23))
211    call assert_equal('1.230000E+00', printf('%E', 1.23))
212    call assert_equal('1.200000e-02', printf('%e', 0.012))
213    call assert_equal('-1.200000e-02', printf('%e', -0.012))
214    call assert_equal('0.33', printf('%.2f', 1.0/3.0))
215    call assert_equal('  0.33', printf('%6.2f', 1.0/3.0))
216    call assert_equal(' -0.33', printf('%6.2f', -1.0/3.0))
217    call assert_equal('000.33', printf('%06.2f', 1.0/3.0))
218    " FIXME: call assert_equal('-00.33', printf('%06.2f', -1.0/3.0))
219    " FIXME: call assert_equal('-00.33', printf('%+06.2f', -1.0/3.0))
220    " FIXME: call assert_equal('+00.33', printf('%+06.2f', 1.0/3.0))
221    " FIXME: call assert_equal(' 00.33', printf('% 06.2f', 1.0/3.0))
222
223    " Float infinity can be signed.
224    call assert_equal('inf', printf('%f', 1.0/0.0))
225    call assert_equal('-inf', printf('%f', -1.0/0.0))
226    call assert_equal('inf', printf('%g', 1.0/0.0))
227    call assert_equal('-inf', printf('%g', -1.0/0.0))
228    call assert_equal('inf', printf('%e', 1.0/0.0))
229    call assert_equal('-inf', printf('%e', -1.0/0.0))
230    call assert_equal('INF', printf('%E', 1.0/0.0))
231    call assert_equal('-INF', printf('%E', -1.0/0.0))
232    call assert_equal('INF', printf('%E', 1.0/0.0))
233    call assert_equal('-INF', printf('%G', -1.0/0.0))
234    call assert_equal('+inf', printf('%+f', 1.0/0.0))
235    call assert_equal('-inf', printf('%+f', -1.0/0.0))
236    call assert_equal(' inf', printf('% f',  1.0/0.0))
237    call assert_equal('   inf', printf('%6f', 1.0/0.0))
238    call assert_equal('  -inf', printf('%6f', -1.0/0.0))
239    call assert_equal('   inf', printf('%6g', 1.0/0.0))
240    call assert_equal('  -inf', printf('%6g', -1.0/0.0))
241    call assert_equal('  +inf', printf('%+6f', 1.0/0.0))
242    call assert_equal('   inf', printf('% 6f', 1.0/0.0))
243    call assert_equal('  +inf', printf('%+06f', 1.0/0.0))
244    call assert_equal('inf   ', printf('%-6f', 1.0/0.0))
245    call assert_equal('-inf  ', printf('%-6f', -1.0/0.0))
246    call assert_equal('+inf  ', printf('%-+6f', 1.0/0.0))
247    call assert_equal(' inf  ', printf('%- 6f', 1.0/0.0))
248    call assert_equal('INF   ', printf('%-6G', 1.0/0.0))
249    call assert_equal('-INF  ', printf('%-6G', -1.0/0.0))
250    call assert_equal('INF   ', printf('%-6E', 1.0/0.0))
251    call assert_equal('-INF  ', printf('%-6E', -1.0/0.0))
252    call assert_equal('inf', printf('%s', 1.0/0.0))
253    call assert_equal('-inf', printf('%s', -1.0/0.0))
254
255    " Float zero can be signed.
256    call assert_equal('0.000000', printf('%f', 1.0/(1.0/0.0)))
257    call assert_equal('-0.000000', printf('%f', 1.0/(-1.0/0.0)))
258    call assert_equal('0.0', printf('%s', 1.0/(1.0/0.0)))
259    call assert_equal('-0.0', printf('%s', 1.0/(-1.0/0.0)))
260    call assert_equal('0.0', printf('%S', 1.0/(1.0/0.0)))
261    call assert_equal('-0.0', printf('%S', 1.0/(-1.0/0.0)))
262
263    " Float nan (not a number) has no sign.
264    call assert_equal('nan', printf('%f', sqrt(-1.0)))
265    call assert_equal('nan', printf('%f', 0.0/0.0))
266    call assert_equal('nan', printf('%f', -0.0/0.0))
267    call assert_equal('nan', printf('%g', 0.0/0.0))
268    call assert_equal('nan', printf('%e', 0.0/0.0))
269    call assert_equal('NAN', printf('%G', 0.0/0.0))
270    call assert_equal('NAN', printf('%E', 0.0/0.0))
271    call assert_equal('NAN', printf('%G', -0.0/0.0))
272    call assert_equal('NAN', printf('%E', -0.0/0.0))
273    call assert_equal('   nan', printf('%6f', 0.0/0.0))
274    call assert_equal('   nan', printf('%06f', 0.0/0.0))
275    call assert_equal('nan   ', printf('%-6f', 0.0/0.0))
276    call assert_equal('nan   ', printf('%- 6f', 0.0/0.0))
277    call assert_equal('nan', printf('%s', 0.0/0.0))
278    call assert_equal('nan', printf('%s', -0.0/0.0))
279    call assert_equal('nan', printf('%S', 0.0/0.0))
280    call assert_equal('nan', printf('%S', -0.0/0.0))
281
282    call assert_fails('echo printf("%f", "a")', 'E807:')
283  endif
284endfunc
285
286function Test_printf_errors()
287  call assert_fails('echo printf("%d", {})', 'E728:')
288  call assert_fails('echo printf("%d", [])', 'E745:')
289  call assert_fails('echo printf("%d", 1, 2)', 'E767:')
290  call assert_fails('echo printf("%*d", 1)', 'E766:')
291  call assert_fails('echo printf("%d", 1.2)', 'E805:')
292endfunc
293
294function Test_printf_64bit()
295  if has('num64')
296    call assert_equal("123456789012345", printf('%d', 123456789012345))
297  endif
298endfunc
299
300function Test_printf_spec_s()
301  " number
302  call assert_equal("1234567890", printf('%s', 1234567890))
303
304  " string
305  call assert_equal("abcdefgi", printf('%s', "abcdefgi"))
306
307  " float
308  if has('float')
309    call assert_equal("1.23", printf('%s', 1.23))
310  endif
311
312  " list
313  let value = [1, 'two', ['three', 4]]
314  call assert_equal(string(value), printf('%s', value))
315
316  " dict
317  let value = {'key1' : 'value1', 'key2' : ['list', 'value'], 'key3' : {'dict' : 'value'}}
318  call assert_equal(string(value), printf('%s', value))
319
320  " funcref
321  call assert_equal('printf', printf('%s', function('printf')))
322
323  " partial
324  call assert_equal(string(function('printf', ['%s'])), printf('%s', function('printf', ['%s'])))
325endfunc
326
327function Test_printf_spec_b()
328  call assert_equal("0", printf('%b', 0))
329  call assert_equal("00001100", printf('%08b', 12))
330  call assert_equal("11111111", printf('%08b', 0xff))
331  call assert_equal("   1111011", printf('%10b', 123))
332  call assert_equal("0001111011", printf('%010b', 123))
333  call assert_equal(" 0b1111011", printf('%#10b', 123))
334  call assert_equal("0B01111011", printf('%#010B', 123))
335  call assert_equal("1001001100101100000001011010010", printf('%b', 1234567890))
336  if has('num64')
337    call assert_equal("11100000100100010000110000011011101111101111001", printf('%b', 123456789012345))
338    call assert_equal("1111111111111111111111111111111111111111111111111111111111111111", printf('%b', -1))
339  else
340    call assert_equal("11111111111111111111111111111111", printf('%b', -1))
341  endif
342endfunc
343
344func Test_substitute_expr()
345  let g:val = 'XXX'
346  call assert_equal('XXX', substitute('yyy', 'y*', '\=g:val', ''))
347  call assert_equal('XXX', substitute('yyy', 'y*', {-> g:val}, ''))
348  call assert_equal("-\u1b \uf2-", substitute("-%1b %f2-", '%\(\x\x\)',
349			   \ '\=nr2char("0x" . submatch(1))', 'g'))
350  call assert_equal("-\u1b \uf2-", substitute("-%1b %f2-", '%\(\x\x\)',
351			   \ {-> nr2char("0x" . submatch(1))}, 'g'))
352
353  call assert_equal('231', substitute('123', '\(.\)\(.\)\(.\)',
354	\ {-> submatch(2) . submatch(3) . submatch(1)}, ''))
355
356  func Recurse()
357    return substitute('yyy', 'y*', {-> g:val}, '')
358  endfunc
359  call assert_equal('--', substitute('xxx', 'x*', {-> '-' . Recurse() . '-'}, ''))
360endfunc
361
362func Test_invalid_submatch()
363  " This was causing invalid memory access in Vim-7.4.2232 and older
364  call assert_fails("call substitute('x', '.', {-> submatch(10)}, '')", 'E935:')
365endfunc
366
367func Test_substitute_expr_arg()
368  call assert_equal('123456789-123456789=', substitute('123456789',
369	\ '\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)',
370	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
371
372  call assert_equal('123456-123456=789', substitute('123456789',
373	\ '\(.\)\(.\)\(.\)\(a*\)\(n*\)\(.\)\(.\)\(.\)\(x*\)',
374	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
375
376  call assert_equal('123456789-123456789x=', substitute('123456789',
377	\ '\(.\)\(.\)\(.*\)',
378	\ {m -> m[0] . '-' . m[1] . m[2] . m[3] . 'x' . m[4] . m[5] . m[6] . m[7] . m[8] . m[9] . '='}, ''))
379
380  call assert_fails("call substitute('xxx', '.', {m -> string(add(m, 'x'))}, '')", 'E742:')
381  call assert_fails("call substitute('xxx', '.', {m -> string(insert(m, 'x'))}, '')", 'E742:')
382  call assert_fails("call substitute('xxx', '.', {m -> string(extend(m, ['x']))}, '')", 'E742:')
383  call assert_fails("call substitute('xxx', '.', {m -> string(remove(m, 1))}, '')", 'E742:')
384endfunc
385
386func Test_function_with_funcref()
387  let s:f = function('type')
388  let s:fref = function(s:f)
389  call assert_equal(v:t_string, s:fref('x'))
390  call assert_fails("call function('s:f')", 'E700:')
391endfunc
392
393func Test_funcref()
394  func! One()
395    return 1
396  endfunc
397  let OneByName = function('One')
398  let OneByRef = funcref('One')
399  func! One()
400    return 2
401  endfunc
402  call assert_equal(2, OneByName())
403  call assert_equal(1, OneByRef())
404  let OneByRef = funcref('One')
405  call assert_equal(2, OneByRef())
406  call assert_fails('echo funcref("{")', 'E475:')
407endfunc
408
409func Test_setmatches()
410  hi def link 1 Comment
411  hi def link 2 PreProc
412  let set = [{"group": 1, "pattern": 2, "id": 3, "priority": 4}]
413  let exp = [{"group": '1', "pattern": '2', "id": 3, "priority": 4}]
414  if has('conceal')
415    let set[0]['conceal'] = 5
416    let exp[0]['conceal'] = '5'
417  endif
418  call setmatches(set)
419  call assert_equal(exp, getmatches())
420endfunc
421