blob: 11ca288dde6894777914a27a6a6d47e4944a5bde [file] [log] [blame]
Bram Moolenaarf0e86a02016-03-19 19:38:12 +01001" 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
Bram Moolenaar819821c2016-03-26 21:24:14 +010024
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
Bram Moolenaar0921ecf2016-04-03 22:44:36 +020039
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
Bram Moolenaar58de0e22016-04-14 15:13:46 +020053
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))
Bram Moolenaar58de0e22016-04-14 15:13:46 +020062endfunc
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))
Bram Moolenaar58de0e22016-04-14 15:13:46 +020076endfunc
Bram Moolenaar517ffbe2016-04-20 14:59:29 +020077
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
Bram Moolenaard8585ed2016-05-01 23:05:53 +020086
87func Test_loop_over_null_list()
Bram Moolenaar574860b2016-05-24 17:33:34 +020088 let null_list = test_null_list()
Bram Moolenaard8585ed2016-05-01 23:05:53 +020089 for i in null_list
90 call assert_true(0, 'should not get here')
91 endfor
92endfunc
Bram Moolenaar13ddc5c2016-05-25 22:51:17 +020093
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
Bram Moolenaar1d90a5a2016-07-01 11:59:47 +0200104
105func Test_special_char()
106 " The failure is only visible using valgrind.
107 call assert_fails('echo "\<C-">')
108endfunc
Bram Moolenaar2acfbed2016-07-01 23:14:02 +0200109
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
Bram Moolenaar38ee6b02016-07-12 21:11:33 +0200132
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200133function 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
Bram Moolenaare9997822016-08-28 16:03:38 +0200157 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
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200169 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
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200173 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))
Bram Moolenaare9997822016-08-28 16:03:38 +0200206 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))
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200210 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))
Bram Moolenaare9997822016-08-28 16:03:38 +0200214 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))
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200222
Bram Moolenaare9997822016-08-28 16:03:38 +0200223 " Float infinity can be signed.
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200224 call assert_equal('inf', printf('%f', 1.0/0.0))
Bram Moolenaare9997822016-08-28 16:03:38 +0200225 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))
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200254
Bram Moolenaare9997822016-08-28 16:03:38 +0200255 " 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)))
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200262
Bram Moolenaare9997822016-08-28 16:03:38 +0200263 " 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))
Bram Moolenaar76efafb2016-08-27 14:21:21 +0200281
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
Bram Moolenaar38ee6b02016-07-12 21:11:33 +0200294function Test_printf_64bit()
295 if has('num64')
296 call assert_equal("123456789012345", printf('%d', 123456789012345))
297 endif
298endfunc
Bram Moolenaar72ab7292016-07-19 19:10:51 +0200299
Bram Moolenaare5a8f352016-08-16 21:30:54 +0200300function 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
Bram Moolenaar91984b92016-08-16 21:58:41 +0200327function 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
Bram Moolenaar72ab7292016-07-19 19:10:51 +0200344func 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
Bram Moolenaardf48fb42016-07-22 21:50:18 +0200361
Bram Moolenaar989f5922016-08-21 15:26:54 +0200362func 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
Bram Moolenaardf48fb42016-07-22 21:50:18 +0200367func 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
Bram Moolenaarb54c3ff2016-07-31 14:11:58 +0200385
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
Bram Moolenaar437bafe2016-08-01 15:40:54 +0200392
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())
Bram Moolenaar843b8842016-08-21 14:36:15 +0200406 call assert_fails('echo funcref("{")', 'E475:')
Bram Moolenaar437bafe2016-08-01 15:40:54 +0200407endfunc
Bram Moolenaar7dc5e2e2016-08-05 22:22:06 +0200408
409func Test_setmatches()
410 hi def link 1 Comment
411 hi def link 2 PreProc
Bram Moolenaar7ab6def2016-08-05 22:51:13 +0200412 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
Bram Moolenaar7dc5e2e2016-08-05 22:22:06 +0200418 call setmatches(set)
419 call assert_equal(exp, getmatches())
420endfunc