xref: /vim-8.2.3635/src/testdir/test_expr.vim (revision d85fccdf)
1" Tests for expressions.
2
3source check.vim
4
5func Test_equal()
6  let base = {}
7  func base.method()
8    return 1
9  endfunc
10  func base.other() dict
11    return 1
12  endfunc
13  let instance = copy(base)
14  call assert_true(base.method == instance.method)
15  call assert_true([base.method] == [instance.method])
16  call assert_true(base.other == instance.other)
17  call assert_true([base.other] == [instance.other])
18
19  call assert_false(base.method == base.other)
20  call assert_false([base.method] == [base.other])
21  call assert_false(base.method == instance.other)
22  call assert_false([base.method] == [instance.other])
23
24  call assert_fails('echo base.method > instance.method')
25  call assert_equal(0, test_null_function() == function('min'))
26  call assert_equal(1, test_null_function() == test_null_function())
27  call assert_fails('eval 10 == test_unknown()', 'E685:')
28endfunc
29
30func Test_version()
31  call assert_true(has('patch-7.4.001'))
32  call assert_true(has('patch-7.4.01'))
33  call assert_true(has('patch-7.4.1'))
34  call assert_true(has('patch-6.9.999'))
35  call assert_true(has('patch-7.1.999'))
36  call assert_true(has('patch-7.4.123'))
37
38  call assert_false(has('patch-7'))
39  call assert_false(has('patch-7.4'))
40  call assert_false(has('patch-7.4.'))
41  call assert_false(has('patch-9.1.0'))
42  call assert_false(has('patch-9.9.1'))
43endfunc
44
45func Test_op_trinary()
46  call assert_equal('yes', 1 ? 'yes' : 'no')
47  call assert_equal('no', 0 ? 'yes' : 'no')
48  call assert_equal('no', 'x' ? 'yes' : 'no')
49  call assert_equal('yes', '1x' ? 'yes' : 'no')
50
51  call assert_fails('echo [1] ? "yes" : "no"', 'E745:')
52  call assert_fails('echo {} ? "yes" : "no"', 'E728:')
53endfunc
54
55func Test_op_falsy()
56  call assert_equal(v:true, v:true ?? 456)
57  call assert_equal(123, 123 ?? 456)
58  call assert_equal('yes', 'yes' ?? 456)
59  call assert_equal(0z00, 0z00 ?? 456)
60  call assert_equal([1], [1] ?? 456)
61  call assert_equal(#{one: 1}, #{one: 1} ?? 456)
62  if has('float')
63    call assert_equal(0.1, 0.1 ?? 456)
64  endif
65
66  call assert_equal(456, v:false ?? 456)
67  call assert_equal(456, 0 ?? 456)
68  call assert_equal(456, '' ?? 456)
69  call assert_equal(456, 0z ?? 456)
70  call assert_equal(456, [] ?? 456)
71  call assert_equal(456, {} ?? 456)
72  if has('float')
73    call assert_equal(456, 0.0 ?? 456)
74  endif
75endfunc
76
77func Test_dict()
78  let d = {'': 'empty', 'a': 'a', 0: 'zero'}
79  call assert_equal('empty', d[''])
80  call assert_equal('a', d['a'])
81  call assert_equal('zero', d[0])
82  call assert_true(has_key(d, ''))
83  call assert_true(has_key(d, 'a'))
84  call assert_fails("let i = has_key([], 'a')", 'E715:')
85
86  let d[''] = 'none'
87  let d['a'] = 'aaa'
88  call assert_equal('none', d[''])
89  call assert_equal('aaa', d['a'])
90
91  let d[ 'b' ] = 'bbb'
92  call assert_equal('bbb', d[ 'b' ])
93endfunc
94
95func Test_strgetchar()
96  call assert_equal(char2nr('a'), strgetchar('axb', 0))
97  call assert_equal(char2nr('x'), 'axb'->strgetchar(1))
98  call assert_equal(char2nr('b'), strgetchar('axb', 2))
99
100  call assert_equal(-1, strgetchar('axb', -1))
101  call assert_equal(-1, strgetchar('axb', 3))
102  call assert_equal(-1, strgetchar('', 0))
103  call assert_fails("let c=strgetchar([], 1)", 'E730:')
104  call assert_fails("let c=strgetchar('axb', [])", 'E745:')
105endfunc
106
107func Test_strcharpart()
108  call assert_equal('a', strcharpart('axb', 0, 1))
109  call assert_equal('x', 'axb'->strcharpart(1, 1))
110  call assert_equal('b', strcharpart('axb', 2, 1))
111  call assert_equal('xb', strcharpart('axb', 1))
112
113  call assert_equal('', strcharpart('axb', 1, 0))
114  call assert_equal('', strcharpart('axb', 1, -1))
115  call assert_equal('', strcharpart('axb', -1, 1))
116  call assert_equal('', strcharpart('axb', -2, 2))
117
118  call assert_equal('a', strcharpart('axb', -1, 2))
119
120  call assert_equal('edit', "editor"[-10:3])
121endfunc
122
123func Test_getreg_empty_list()
124  call assert_equal('', getreg('x'))
125  call assert_equal([], getreg('x', 1, 1))
126  let x = getreg('x', 1, 1)
127  let y = x
128  call add(x, 'foo')
129  call assert_equal(['foo'], y)
130  call assert_fails('call getreg([])', 'E730:')
131endfunc
132
133func Test_loop_over_null_list()
134  let null_list = test_null_list()
135  for i in null_list
136    call assert_report('should not get here')
137  endfor
138endfunc
139
140func Test_setreg_null_list()
141  call setreg('x', test_null_list())
142endfunc
143
144func Test_special_char()
145  " The failure is only visible using valgrind.
146  call assert_fails('echo "\<C-">')
147endfunc
148
149func Test_method_with_prefix()
150  call assert_equal(1, !range(5)->empty())
151  call assert_equal([0, 1, 2], --3->range())
152  call assert_equal(0, !-3)
153  call assert_equal(1, !+-+0)
154endfunc
155
156func Test_option_value()
157  " boolean
158  set bri
159  call assert_equal(1, &bri)
160  set nobri
161  call assert_equal(0, &bri)
162
163  " number
164  set ts=1
165  call assert_equal(1, &ts)
166  set ts=8
167  call assert_equal(8, &ts)
168
169  " string
170  exe "set cedit=\<Esc>"
171  call assert_equal("\<Esc>", &cedit)
172  set cpo=
173  call assert_equal("", &cpo)
174  set cpo=abcdefgi
175  call assert_equal("abcdefgi", &cpo)
176  set cpo&vim
177endfunc
178
179function Test_printf_misc()
180  call assert_equal('123', printf('123'))
181  call assert_fails("call printf('123', 3)", "E767:")
182
183  call assert_equal('123', printf('%d', 123))
184  call assert_equal('123', printf('%i', 123))
185  call assert_equal('123', printf('%D', 123))
186  call assert_equal('123', printf('%U', 123))
187  call assert_equal('173', printf('%o', 123))
188  call assert_equal('173', printf('%O', 123))
189  call assert_equal('7b', printf('%x', 123))
190  call assert_equal('7B', printf('%X', 123))
191
192  call assert_equal('123', printf('%hd', 123))
193  call assert_equal('-123', printf('%hd', -123))
194  call assert_equal('-1', printf('%hd', 0xFFFF))
195  call assert_equal('-1', printf('%hd', 0x1FFFFF))
196
197  call assert_equal('123', printf('%hu', 123))
198  call assert_equal('65413', printf('%hu', -123))
199  call assert_equal('65535', printf('%hu', 0xFFFF))
200  call assert_equal('65535', printf('%hu', 0x1FFFFF))
201
202  call assert_equal('123', printf('%ld', 123))
203  call assert_equal('-123', printf('%ld', -123))
204  call assert_equal('65535', printf('%ld', 0xFFFF))
205  call assert_equal('131071', printf('%ld', 0x1FFFF))
206
207  if has('ebcdic')
208    call assert_equal('#', printf('%c', 123))
209  else
210    call assert_equal('{', printf('%c', 123))
211  endif
212  call assert_equal('abc', printf('%s', 'abc'))
213  call assert_equal('abc', printf('%S', 'abc'))
214
215  call assert_equal('+123', printf('%+d', 123))
216  call assert_equal('-123', printf('%+d', -123))
217  call assert_equal('+123', printf('%+ d', 123))
218  call assert_equal(' 123', printf('% d', 123))
219  call assert_equal(' 123', printf('%  d', 123))
220  call assert_equal('-123', printf('% d', -123))
221
222  call assert_equal('123', printf('%2d', 123))
223  call assert_equal('   123', printf('%6d', 123))
224  call assert_equal('000123', printf('%06d', 123))
225  call assert_equal('+00123', printf('%+06d', 123))
226  call assert_equal(' 00123', printf('% 06d', 123))
227  call assert_equal('  +123', printf('%+6d', 123))
228  call assert_equal('   123', printf('% 6d', 123))
229  call assert_equal('  -123', printf('% 6d', -123))
230
231  " Test left adjusted.
232  call assert_equal('123   ', printf('%-6d', 123))
233  call assert_equal('+123  ', printf('%-+6d', 123))
234  call assert_equal(' 123  ', printf('%- 6d', 123))
235  call assert_equal('-123  ', printf('%- 6d', -123))
236
237  call assert_equal('  00123', printf('%7.5d', 123))
238  call assert_equal(' -00123', printf('%7.5d', -123))
239  call assert_equal(' +00123', printf('%+7.5d', 123))
240  " Precision field should not be used when combined with %0
241  call assert_equal('  00123', printf('%07.5d', 123))
242  call assert_equal(' -00123', printf('%07.5d', -123))
243
244  call assert_equal('  123', printf('%*d', 5, 123))
245  call assert_equal('123  ', printf('%*d', -5, 123))
246  call assert_equal('00123', printf('%.*d', 5, 123))
247  call assert_equal('  123', printf('% *d', 5, 123))
248  call assert_equal(' +123', printf('%+ *d', 5, 123))
249
250  call assert_equal('foobar', printf('%.*s',  9, 'foobar'))
251  call assert_equal('foo',    printf('%.*s',  3, 'foobar'))
252  call assert_equal('',       printf('%.*s',  0, 'foobar'))
253  call assert_equal('foobar', printf('%.*s', -1, 'foobar'))
254
255  " Simple quote (thousand grouping char) is ignored.
256  call assert_equal('+00123456', printf("%+'09d", 123456))
257
258  " Unrecognized format specifier kept as-is.
259  call assert_equal('_123', printf("%_%d", 123))
260
261  " Test alternate forms.
262  call assert_equal('0x7b', printf('%#x', 123))
263  call assert_equal('0X7B', printf('%#X', 123))
264  call assert_equal('0173', printf('%#o', 123))
265  call assert_equal('0173', printf('%#O', 123))
266  call assert_equal('abc', printf('%#s', 'abc'))
267  call assert_equal('abc', printf('%#S', 'abc'))
268  call assert_equal('  0173', printf('%#6o', 123))
269  call assert_equal(' 00173', printf('%#6.5o', 123))
270  call assert_equal('  0173', printf('%#6.2o', 123))
271  call assert_equal('  0173', printf('%#6.2o', 123))
272  call assert_equal('0173', printf('%#2.2o', 123))
273
274  call assert_equal(' 00123', printf('%6.5d', 123))
275  call assert_equal(' 0007b', printf('%6.5x', 123))
276
277  call assert_equal('123', printf('%.2d', 123))
278  call assert_equal('0123', printf('%.4d', 123))
279  call assert_equal('0000000123', printf('%.10d', 123))
280  call assert_equal('123', printf('%.0d', 123))
281
282  call assert_equal('abc', printf('%2s', 'abc'))
283  call assert_equal('abc', printf('%2S', 'abc'))
284  call assert_equal('abc', printf('%.4s', 'abc'))
285  call assert_equal('abc', printf('%.4S', 'abc'))
286  call assert_equal('ab', printf('%.2s', 'abc'))
287  call assert_equal('ab', printf('%.2S', 'abc'))
288  call assert_equal('', printf('%.0s', 'abc'))
289  call assert_equal('', printf('%.s', 'abc'))
290  call assert_equal(' abc', printf('%4s', 'abc'))
291  call assert_equal(' abc', printf('%4S', 'abc'))
292  call assert_equal('0abc', printf('%04s', 'abc'))
293  call assert_equal('0abc', printf('%04S', 'abc'))
294  call assert_equal('abc ', printf('%-4s', 'abc'))
295  call assert_equal('abc ', printf('%-4S', 'abc'))
296
297  call assert_equal('��', printf('%.2S', '����'))
298  call assert_equal('', printf('%.1S', '����'))
299
300  call assert_equal('[    あいう]', printf('[%10.6S]', 'あいうえお'))
301  call assert_equal('[  あいうえ]', printf('[%10.8S]', 'あいうえお'))
302  call assert_equal('[あいうえお]', printf('[%10.10S]', 'あいうえお'))
303  call assert_equal('[あいうえお]', printf('[%10.12S]', 'あいうえお'))
304
305  call assert_equal('1%', printf('%d%%', 1))
306endfunc
307
308function Test_printf_float()
309  if has('float')
310    call assert_equal('1.000000', printf('%f', 1))
311    call assert_equal('1.230000', printf('%f', 1.23))
312    call assert_equal('1.230000', printf('%F', 1.23))
313    call assert_equal('9999999.9', printf('%g', 9999999.9))
314    call assert_equal('9999999.9', printf('%G', 9999999.9))
315    call assert_equal('1.00000001e7', printf('%.8g', 10000000.1))
316    call assert_equal('1.00000001E7', printf('%.8G', 10000000.1))
317    call assert_equal('1.230000e+00', printf('%e', 1.23))
318    call assert_equal('1.230000E+00', printf('%E', 1.23))
319    call assert_equal('1.200000e-02', printf('%e', 0.012))
320    call assert_equal('-1.200000e-02', printf('%e', -0.012))
321    call assert_equal('0.33', printf('%.2f', 1.0/3.0))
322    call assert_equal('  0.33', printf('%6.2f', 1.0/3.0))
323    call assert_equal(' -0.33', printf('%6.2f', -1.0/3.0))
324    call assert_equal('000.33', printf('%06.2f', 1.0/3.0))
325    call assert_equal('-00.33', printf('%06.2f', -1.0/3.0))
326    call assert_equal('-00.33', printf('%+06.2f', -1.0/3.0))
327    call assert_equal('+00.33', printf('%+06.2f', 1.0/3.0))
328    call assert_equal(' 00.33', printf('% 06.2f', 1.0/3.0))
329    call assert_equal('000.33', printf('%06.2g', 1.0/3.0))
330    call assert_equal('-00.33', printf('%06.2g', -1.0/3.0))
331    call assert_equal('0.33', printf('%3.2f', 1.0/3.0))
332    call assert_equal('003.33e-01', printf('%010.2e', 1.0/3.0))
333    call assert_equal(' 03.33e-01', printf('% 010.2e', 1.0/3.0))
334    call assert_equal('+03.33e-01', printf('%+010.2e', 1.0/3.0))
335    call assert_equal('-03.33e-01', printf('%010.2e', -1.0/3.0))
336
337    " When precision is 0, the dot should be omitted.
338    call assert_equal('  2', printf('%3.f', 7.0/3.0))
339    call assert_equal('  2', printf('%3.g', 7.0/3.0))
340    call assert_equal('  2e+00', printf('%7.e', 7.0/3.0))
341
342    " Float zero can be signed.
343    call assert_equal('+0.000000', printf('%+f', 0.0))
344    call assert_equal('0.000000', printf('%f', 1.0/(1.0/0.0)))
345    call assert_equal('-0.000000', printf('%f', 1.0/(-1.0/0.0)))
346    call assert_equal('0.0', printf('%s', 1.0/(1.0/0.0)))
347    call assert_equal('-0.0', printf('%s', 1.0/(-1.0/0.0)))
348    call assert_equal('0.0', printf('%S', 1.0/(1.0/0.0)))
349    call assert_equal('-0.0', printf('%S', 1.0/(-1.0/0.0)))
350
351    " Float infinity can be signed.
352    call assert_equal('inf', printf('%f', 1.0/0.0))
353    call assert_equal('-inf', printf('%f', -1.0/0.0))
354    call assert_equal('inf', printf('%g', 1.0/0.0))
355    call assert_equal('-inf', printf('%g', -1.0/0.0))
356    call assert_equal('inf', printf('%e', 1.0/0.0))
357    call assert_equal('-inf', printf('%e', -1.0/0.0))
358    call assert_equal('INF', printf('%F', 1.0/0.0))
359    call assert_equal('-INF', printf('%F', -1.0/0.0))
360    call assert_equal('INF', printf('%E', 1.0/0.0))
361    call assert_equal('-INF', printf('%E', -1.0/0.0))
362    call assert_equal('INF', printf('%E', 1.0/0.0))
363    call assert_equal('-INF', printf('%G', -1.0/0.0))
364    call assert_equal('+inf', printf('%+f', 1.0/0.0))
365    call assert_equal('-inf', printf('%+f', -1.0/0.0))
366    call assert_equal(' inf', printf('% f',  1.0/0.0))
367    call assert_equal('   inf', printf('%6f', 1.0/0.0))
368    call assert_equal('  -inf', printf('%6f', -1.0/0.0))
369    call assert_equal('   inf', printf('%6g', 1.0/0.0))
370    call assert_equal('  -inf', printf('%6g', -1.0/0.0))
371    call assert_equal('  +inf', printf('%+6f', 1.0/0.0))
372    call assert_equal('   inf', printf('% 6f', 1.0/0.0))
373    call assert_equal('  +inf', printf('%+06f', 1.0/0.0))
374    call assert_equal('inf   ', printf('%-6f', 1.0/0.0))
375    call assert_equal('-inf  ', printf('%-6f', -1.0/0.0))
376    call assert_equal('+inf  ', printf('%-+6f', 1.0/0.0))
377    call assert_equal(' inf  ', printf('%- 6f', 1.0/0.0))
378    call assert_equal('-INF  ', printf('%-6F', -1.0/0.0))
379    call assert_equal('+INF  ', printf('%-+6F', 1.0/0.0))
380    call assert_equal(' INF  ', printf('%- 6F', 1.0/0.0))
381    call assert_equal('INF   ', printf('%-6G', 1.0/0.0))
382    call assert_equal('-INF  ', printf('%-6G', -1.0/0.0))
383    call assert_equal('INF   ', printf('%-6E', 1.0/0.0))
384    call assert_equal('-INF  ', printf('%-6E', -1.0/0.0))
385    call assert_equal('inf', printf('%s', 1.0/0.0))
386    call assert_equal('-inf', printf('%s', -1.0/0.0))
387
388    " Test special case where max precision is truncated at 340.
389    call assert_equal('1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000', printf('%.330f', 1.0))
390    call assert_equal('1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000', printf('%.340f', 1.0))
391    call assert_equal('1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000', printf('%.350f', 1.0))
392
393    " Float nan (not a number) has no sign.
394    call assert_equal('nan', printf('%f', sqrt(-1.0)))
395    call assert_equal('nan', printf('%f', 0.0/0.0))
396    call assert_equal('nan', printf('%f', -0.0/0.0))
397    call assert_equal('nan', printf('%g', 0.0/0.0))
398    call assert_equal('nan', printf('%e', 0.0/0.0))
399    call assert_equal('NAN', printf('%F', 0.0/0.0))
400    call assert_equal('NAN', printf('%G', 0.0/0.0))
401    call assert_equal('NAN', printf('%E', 0.0/0.0))
402    call assert_equal('NAN', printf('%F', -0.0/0.0))
403    call assert_equal('NAN', printf('%G', -0.0/0.0))
404    call assert_equal('NAN', printf('%E', -0.0/0.0))
405    call assert_equal('   nan', printf('%6f', 0.0/0.0))
406    call assert_equal('   nan', printf('%06f', 0.0/0.0))
407    call assert_equal('nan   ', printf('%-6f', 0.0/0.0))
408    call assert_equal('nan   ', printf('%- 6f', 0.0/0.0))
409    call assert_equal('nan', printf('%s', 0.0/0.0))
410    call assert_equal('nan', printf('%s', -0.0/0.0))
411    call assert_equal('nan', printf('%S', 0.0/0.0))
412    call assert_equal('nan', printf('%S', -0.0/0.0))
413
414    call assert_fails('echo printf("%f", "a")', 'E807:')
415  endif
416endfunc
417
418function Test_printf_errors()
419  call assert_fails('echo printf("%d", {})', 'E728:')
420  call assert_fails('echo printf("%d", [])', 'E745:')
421  call assert_fails('echo printf("%d", 1, 2)', 'E767:')
422  call assert_fails('echo printf("%*d", 1)', 'E766:')
423  call assert_fails('echo printf("%s")', 'E766:')
424  if has('float')
425    call assert_fails('echo printf("%d", 1.2)', 'E805:')
426    call assert_fails('echo printf("%f")')
427  endif
428endfunc
429
430function Test_max_min_errors()
431  call assert_fails('call max(v:true)', 'E712:')
432  call assert_fails('call max(v:true)', 'max()')
433  call assert_fails('call min(v:true)', 'E712:')
434  call assert_fails('call min(v:true)', 'min()')
435endfunc
436
437function Test_printf_64bit()
438  call assert_equal("123456789012345", printf('%d', 123456789012345))
439endfunc
440
441function Test_printf_spec_s()
442  " number
443  call assert_equal("1234567890", printf('%s', 1234567890))
444
445  " string
446  call assert_equal("abcdefgi", printf('%s', "abcdefgi"))
447
448  " float
449  if has('float')
450    call assert_equal("1.23", printf('%s', 1.23))
451  endif
452
453  " list
454  let value = [1, 'two', ['three', 4]]
455  call assert_equal(string(value), printf('%s', value))
456
457  " dict
458  let value = {'key1' : 'value1', 'key2' : ['list', 'value'], 'key3' : {'dict' : 'value'}}
459  call assert_equal(string(value), printf('%s', value))
460
461  " funcref
462  call assert_equal('printf', printf('%s', 'printf'->function()))
463
464  " partial
465  call assert_equal(string(function('printf', ['%s'])), printf('%s', function('printf', ['%s'])))
466endfunc
467
468function Test_printf_spec_b()
469  call assert_equal("0", printf('%b', 0))
470  call assert_equal("00001100", printf('%08b', 12))
471  call assert_equal("11111111", printf('%08b', 0xff))
472  call assert_equal("   1111011", printf('%10b', 123))
473  call assert_equal("0001111011", printf('%010b', 123))
474  call assert_equal(" 0b1111011", printf('%#10b', 123))
475  call assert_equal("0B01111011", printf('%#010B', 123))
476  call assert_equal("1001001100101100000001011010010", printf('%b', 1234567890))
477  call assert_equal("11100000100100010000110000011011101111101111001", printf('%b', 123456789012345))
478  call assert_equal("1111111111111111111111111111111111111111111111111111111111111111", printf('%b', -1))
479endfunc
480
481func Test_function_with_funcref()
482  let s:f = function('type')
483  let s:fref = function(s:f)
484  call assert_equal(v:t_string, s:fref('x'))
485  call assert_fails("call function('s:f')", 'E700:')
486
487  call assert_fails("call function('foo()')", 'E475:')
488  call assert_fails("call function('foo()')", 'foo()')
489  call assert_fails("function('')", 'E129:')
490endfunc
491
492func Test_funcref()
493  func! One()
494    return 1
495  endfunc
496  let OneByName = function('One')
497  let OneByRef = funcref('One')
498  func! One()
499    return 2
500  endfunc
501  call assert_equal(2, OneByName())
502  call assert_equal(1, OneByRef())
503  let OneByRef = 'One'->funcref()
504  call assert_equal(2, OneByRef())
505  call assert_fails('echo funcref("{")', 'E475:')
506  let OneByRef = funcref("One", repeat(["foo"], 20))
507  call assert_fails('let OneByRef = funcref("One", repeat(["foo"], 21))', 'E118:')
508  call assert_fails('echo function("min") =~ function("min")', 'E694:')
509  call assert_fails('echo test_null_function()->funcref()', 'E475: Invalid argument: NULL')
510endfunc
511
512func Test_setmatches()
513  hi def link 1 Comment
514  hi def link 2 PreProc
515  let set = [{"group": 1, "pattern": 2, "id": 3, "priority": 4}]
516  let exp = [{"group": '1', "pattern": '2', "id": 3, "priority": 4}]
517  if has('conceal')
518    let set[0]['conceal'] = 5
519    let exp[0]['conceal'] = '5'
520  endif
521  eval set->setmatches()
522  call assert_equal(exp, getmatches())
523  call assert_fails('let m = setmatches([], [])', 'E745:')
524endfunc
525
526func Test_empty_concatenate()
527  call assert_equal('b', 'a'[4:0] . 'b')
528  call assert_equal('b', 'b' . 'a'[4:0])
529endfunc
530
531func Test_broken_number()
532  let X = 'bad'
533  call assert_fails('echo 1X', 'E15:')
534  call assert_fails('echo 0b1X', 'E15:')
535  call assert_fails('echo 0b12', 'E15:')
536  call assert_fails('echo 0x1X', 'E15:')
537  call assert_fails('echo 011X', 'E15:')
538  call assert_equal(2, str2nr('2a'))
539  call assert_fails('inoremap <Char-0b1z> b', 'E474:')
540endfunc
541
542func Test_eval_after_if()
543  let s:val = ''
544  func SetVal(x)
545    let s:val ..= a:x
546  endfunc
547  if 0 | eval SetVal('a') | endif | call SetVal('b')
548  call assert_equal('b', s:val)
549endfunc
550
551" Test for command-line completion of expressions
552func Test_expr_completion()
553  CheckFeature cmdline_compl
554  for cmd in [
555	\ 'let a = ',
556	\ 'const a = ',
557	\ 'if',
558	\ 'elseif',
559	\ 'while',
560	\ 'for',
561	\ 'echo',
562	\ 'echon',
563	\ 'execute',
564	\ 'echomsg',
565	\ 'echoerr',
566	\ 'call',
567	\ 'return',
568	\ 'cexpr',
569	\ 'caddexpr',
570	\ 'cgetexpr',
571	\ 'lexpr',
572	\ 'laddexpr',
573	\ 'lgetexpr']
574    call feedkeys(":" . cmd . " getl\<Tab>\<Home>\"\<CR>", 'xt')
575    call assert_equal('"' . cmd . ' getline(', getreg(':'))
576  endfor
577
578  " completion for the expression register
579  call feedkeys(":\"\<C-R>=float2\t\"\<C-B>\"\<CR>", 'xt')
580  call assert_equal('"float2nr("', @=)
581
582  " completion for window local variables
583  let w:wvar1 = 10
584  let w:wvar2 = 10
585  call feedkeys(":echo w:wvar\<C-A>\<C-B>\"\<CR>", 'xt')
586  call assert_equal('"echo w:wvar1 w:wvar2', @:)
587  unlet w:wvar1 w:wvar2
588
589  " completion for tab local variables
590  let t:tvar1 = 10
591  let t:tvar2 = 10
592  call feedkeys(":echo t:tvar\<C-A>\<C-B>\"\<CR>", 'xt')
593  call assert_equal('"echo t:tvar1 t:tvar2', @:)
594  unlet t:tvar1 t:tvar2
595
596  " completion for variables
597  let g:tvar1 = 1
598  let g:tvar2 = 2
599  call feedkeys(":let g:tv\<C-A>\<C-B>\"\<CR>", 'xt')
600  call assert_equal('"let g:tvar1 g:tvar2', @:)
601  " completion for variables after a ||
602  call feedkeys(":echo 1 || g:tv\<C-A>\<C-B>\"\<CR>", 'xt')
603  call assert_equal('"echo 1 || g:tvar1 g:tvar2', @:)
604
605  " completion for options
606  call feedkeys(":echo &compat\<C-A>\<C-B>\"\<CR>", 'xt')
607  call assert_equal('"echo &compatible', @:)
608  call feedkeys(":echo 1 && &compat\<C-A>\<C-B>\"\<CR>", 'xt')
609  call assert_equal('"echo 1 && &compatible', @:)
610  call feedkeys(":echo &g:equala\<C-A>\<C-B>\"\<CR>", 'xt')
611  call assert_equal('"echo &g:equalalways', @:)
612
613  " completion for string
614  call feedkeys(":echo \"Hello\\ World\"\<C-A>\<C-B>\"\<CR>", 'xt')
615  call assert_equal("\"echo \"Hello\\ World\"\<C-A>", @:)
616  call feedkeys(":echo 'Hello World'\<C-A>\<C-B>\"\<CR>", 'xt')
617  call assert_equal("\"echo 'Hello World'\<C-A>", @:)
618
619  " completion for command after a |
620  call feedkeys(":echo 'Hello' | cwin\<C-A>\<C-B>\"\<CR>", 'xt')
621  call assert_equal("\"echo 'Hello' | cwindow", @:)
622
623  " completion for environment variable
624  let $X_VIM_TEST_COMPLETE_ENV = 'foo'
625  call feedkeys(":let $X_VIM_TEST_COMPLETE_E\<C-A>\<C-B>\"\<CR>", 'tx')
626  call assert_match('"let $X_VIM_TEST_COMPLETE_ENV', @:)
627  unlet $X_VIM_TEST_COMPLETE_ENV
628endfunc
629
630" Test for errors in expression evaluation
631func Test_expr_eval_error()
632  call assert_fails("let i = 'abc' . []", 'E730:')
633  call assert_fails("let l = [] + 10", 'E745:')
634  call assert_fails("let v = 10 + []", 'E745:')
635  call assert_fails("let v = 10 / []", 'E745:')
636  call assert_fails("let v = -{}", 'E728:')
637endfunc
638
639func Test_white_in_function_call()
640  let text = substitute ( 'some text' , 't' , 'T' , 'g' )
641  call assert_equal('some TexT', text)
642endfunc
643
644" Test for float value comparison
645func Test_float_compare()
646  CheckFeature float
647  call assert_true(1.2 == 1.2)
648  call assert_true(1.0 != 1.2)
649  call assert_true(1.2 > 1.0)
650  call assert_true(1.2 >= 1.2)
651  call assert_true(1.0 < 1.2)
652  call assert_true(1.2 <= 1.2)
653  call assert_true(+0.0 == -0.0)
654  " two NaNs (not a number) are not equal
655  call assert_true(sqrt(-4.01) != (0.0 / 0.0))
656  " two inf (infinity) are equal
657  call assert_true((1.0 / 0) == (2.0 / 0))
658  " two -inf (infinity) are equal
659  call assert_true(-(1.0 / 0) == -(2.0 / 0))
660  " +infinity != -infinity
661  call assert_true((1.0 / 0) != -(2.0 / 0))
662endfunc
663
664" vim: shiftwidth=2 sts=2 expandtab
665