blob: b16b05b02c9f10afe29bf94a0c546e48404143ed [file] [log] [blame]
Bram Moolenaar5d7ead32018-02-27 17:17:42 +01001" Test various aspects of the Vim script language.
Bram Moolenaar4119cf82016-01-17 14:59:01 +01002" Most of this was formerly in test49.
Bram Moolenaarf49e2402015-12-30 15:59:25 +01003
Bram Moolenaar8c5a2782019-08-07 23:07:07 +02004source check.vim
Bram Moolenaar93344c22019-08-14 21:12:05 +02005source shared.vim
Bram Moolenaar8c5a2782019-08-07 23:07:07 +02006
Bram Moolenaarf49e2402015-12-30 15:59:25 +01007"-------------------------------------------------------------------------------
8" Test environment {{{1
9"-------------------------------------------------------------------------------
10
Bram Moolenaar1e115362019-01-09 23:01:02 +010011com! XpathINIT let g:Xpath = ''
Bram Moolenaarf49e2402015-12-30 15:59:25 +010012com! -nargs=1 -bar Xpath let g:Xpath = g:Xpath . <args>
13
14" Append a message to the "messages" file
Bram Moolenaar1e115362019-01-09 23:01:02 +010015func Xout(text)
Bram Moolenaarf49e2402015-12-30 15:59:25 +010016 split messages
17 $put =a:text
18 wq
19endfunc
20
21com! -nargs=1 Xout call Xout(<args>)
22
23" MakeScript() - Make a script file from a function. {{{2
24"
25" Create a script that consists of the body of the function a:funcname.
26" Replace any ":return" by a ":finish", any argument variable by a global
Bram Moolenaare21c1582019-03-02 11:57:09 +010027" variable, and every ":call" by a ":source" for the next following argument
Bram Moolenaarf49e2402015-12-30 15:59:25 +010028" in the variable argument list. This function is useful if similar tests are
29" to be made for a ":return" from a function call or a ":finish" in a script
30" file.
Bram Moolenaar1e115362019-01-09 23:01:02 +010031func MakeScript(funcname, ...)
Bram Moolenaarf49e2402015-12-30 15:59:25 +010032 let script = tempname()
33 execute "redir! >" . script
34 execute "function" a:funcname
35 redir END
36 execute "edit" script
37 " Delete the "function" and the "endfunction" lines. Do not include the
38 " word "function" in the pattern since it might be translated if LANG is
39 " set. When MakeScript() is being debugged, this deletes also the debugging
40 " output of its line 3 and 4.
41 exec '1,/.*' . a:funcname . '(.*)/d'
42 /^\d*\s*endfunction\>/,$d
43 %s/^\d*//e
44 %s/return/finish/e
45 %s/\<a:\(\h\w*\)/g:\1/ge
46 normal gg0
47 let cnt = 0
48 while search('\<call\s*\%(\u\|s:\)\w*\s*(.*)', 'W') > 0
49 let cnt = cnt + 1
50 s/\<call\s*\%(\u\|s:\)\w*\s*(.*)/\='source ' . a:{cnt}/
51 endwhile
52 g/^\s*$/d
53 write
54 bwipeout
55 return script
Bram Moolenaar1e115362019-01-09 23:01:02 +010056endfunc
Bram Moolenaarf49e2402015-12-30 15:59:25 +010057
58" ExecAsScript - Source a temporary script made from a function. {{{2
59"
60" Make a temporary script file from the function a:funcname, ":source" it, and
Bram Moolenaarf4f79b82016-01-25 20:38:30 +010061" delete it afterwards. However, if an exception is thrown the file may remain,
62" the caller should call DeleteTheScript() afterwards.
63let s:script_name = ''
Bram Moolenaarf49e2402015-12-30 15:59:25 +010064function! ExecAsScript(funcname)
65 " Make a script from the function passed as argument.
Bram Moolenaarf4f79b82016-01-25 20:38:30 +010066 let s:script_name = MakeScript(a:funcname)
Bram Moolenaarf49e2402015-12-30 15:59:25 +010067
68 " Source and delete the script.
Bram Moolenaarf4f79b82016-01-25 20:38:30 +010069 exec "source" s:script_name
70 call delete(s:script_name)
71 let s:script_name = ''
Bram Moolenaarf49e2402015-12-30 15:59:25 +010072endfunction
73
Bram Moolenaarf4f79b82016-01-25 20:38:30 +010074function! DeleteTheScript()
75 if s:script_name
76 call delete(s:script_name)
77 let s:script_name = ''
78 endif
79endfunc
80
Bram Moolenaarf49e2402015-12-30 15:59:25 +010081com! -nargs=1 -bar ExecAsScript call ExecAsScript(<f-args>)
82
83
84"-------------------------------------------------------------------------------
85" Test 1: :endwhile in function {{{1
86"
87" Detect if a broken loop is (incorrectly) reactivated by the
88" :endwhile. Use a :return to prevent an endless loop, and make
89" this test first to get a meaningful result on an error before other
90" tests will hang.
91"-------------------------------------------------------------------------------
92
93function! T1_F()
94 Xpath 'a'
95 let first = 1
96 while 1
97 Xpath 'b'
98 if first
99 Xpath 'c'
100 let first = 0
101 break
102 else
103 Xpath 'd'
104 return
105 endif
106 endwhile
107endfunction
108
109function! T1_G()
110 Xpath 'h'
111 let first = 1
112 while 1
113 Xpath 'i'
114 if first
115 Xpath 'j'
116 let first = 0
117 break
118 else
119 Xpath 'k'
120 return
121 endif
122 if 1 " unmatched :if
123 endwhile
124endfunction
125
126func Test_endwhile_function()
127 XpathINIT
128 call T1_F()
129 Xpath 'F'
130
131 try
132 call T1_G()
133 catch
134 " Catch missing :endif
135 call assert_true(v:exception =~ 'E171')
136 Xpath 'x'
137 endtry
138 Xpath 'G'
139
140 call assert_equal('abcFhijxG', g:Xpath)
141endfunc
142
143"-------------------------------------------------------------------------------
144" Test 2: :endwhile in script {{{1
145"
146" Detect if a broken loop is (incorrectly) reactivated by the
147" :endwhile. Use a :finish to prevent an endless loop, and place
148" this test before others that might hang to get a meaningful result
149" on an error.
150"
151" This test executes the bodies of the functions T1_F and T1_G from
152" the previous test as script files (:return replaced by :finish).
153"-------------------------------------------------------------------------------
154
155func Test_endwhile_script()
156 XpathINIT
157 ExecAsScript T1_F
158 Xpath 'F'
Bram Moolenaarf4f79b82016-01-25 20:38:30 +0100159 call DeleteTheScript()
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100160
161 try
162 ExecAsScript T1_G
163 catch
164 " Catch missing :endif
165 call assert_true(v:exception =~ 'E171')
166 Xpath 'x'
167 endtry
168 Xpath 'G'
Bram Moolenaarf4f79b82016-01-25 20:38:30 +0100169 call DeleteTheScript()
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100170
171 call assert_equal('abcFhijxG', g:Xpath)
172endfunc
173
174"-------------------------------------------------------------------------------
175" Test 3: :if, :elseif, :while, :continue, :break {{{1
176"-------------------------------------------------------------------------------
177
178function Test_if_while()
179 XpathINIT
180 if 1
181 Xpath 'a'
182 let loops = 3
183 while loops > -1 " main loop: loops == 3, 2, 1 (which breaks)
184 if loops <= 0
185 let break_err = 1
186 let loops = -1
187 else
188 Xpath 'b' . loops
189 endif
190 if (loops == 2)
191 while loops == 2 " dummy loop
192 Xpath 'c' . loops
193 let loops = loops - 1
194 continue " stop dummy loop
195 Xpath 'd' . loops
196 endwhile
197 continue " continue main loop
198 Xpath 'e' . loops
199 elseif (loops == 1)
200 let p = 1
201 while p " dummy loop
202 Xpath 'f' . loops
203 let p = 0
204 break " break dummy loop
205 Xpath 'g' . loops
206 endwhile
207 Xpath 'h' . loops
208 unlet p
209 break " break main loop
210 Xpath 'i' . loops
211 endif
212 if (loops > 0)
213 Xpath 'j' . loops
214 endif
215 while loops == 3 " dummy loop
216 let loops = loops - 1
217 endwhile " end dummy loop
218 endwhile " end main loop
219 Xpath 'k'
220 else
221 Xpath 'l'
222 endif
223 Xpath 'm'
224 if exists("break_err")
225 Xpath 'm'
226 unlet break_err
227 endif
228
229 unlet loops
230
231 call assert_equal('ab3j3b2c2b1f1h1km', g:Xpath)
232endfunc
233
234"-------------------------------------------------------------------------------
235" Test 4: :return {{{1
236"-------------------------------------------------------------------------------
237
238function! T4_F()
239 if 1
240 Xpath 'a'
241 let loops = 3
242 while loops > 0 " 3: 2: 1:
243 Xpath 'b' . loops
244 if (loops == 2)
245 Xpath 'c' . loops
246 return
247 Xpath 'd' . loops
248 endif
249 Xpath 'e' . loops
250 let loops = loops - 1
251 endwhile
252 Xpath 'f'
253 else
254 Xpath 'g'
255 endif
256endfunction
257
258function Test_return()
259 XpathINIT
260 call T4_F()
261 Xpath '4'
262
263 call assert_equal('ab3e3b2c24', g:Xpath)
264endfunction
265
266
267"-------------------------------------------------------------------------------
268" Test 5: :finish {{{1
269"
270" This test executes the body of the function T4_F from the previous
271" test as a script file (:return replaced by :finish).
272"-------------------------------------------------------------------------------
273
274function Test_finish()
275 XpathINIT
276 ExecAsScript T4_F
277 Xpath '5'
Bram Moolenaarf4f79b82016-01-25 20:38:30 +0100278 call DeleteTheScript()
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100279
280 call assert_equal('ab3e3b2c25', g:Xpath)
281endfunction
282
283
284
285"-------------------------------------------------------------------------------
286" Test 6: Defining functions in :while loops {{{1
287"
288" Functions can be defined inside other functions. An inner function
289" gets defined when the outer function is executed. Functions may
290" also be defined inside while loops. Expressions in braces for
291" defining the function name are allowed.
292"
293" The functions are defined when sourcing the script, only the
294" resulting path is checked in the test function.
295"-------------------------------------------------------------------------------
296
297XpathINIT
298
299" The command CALL collects the argument of all its invocations in "calls"
300" when used from a function (that is, when the global variable "calls" needs
301" the "g:" prefix). This is to check that the function code is skipped when
302" the function is defined. For inner functions, do so only if the outer
303" function is not being executed.
304"
305let calls = ""
306com! -nargs=1 CALL
Bram Moolenaar1e115362019-01-09 23:01:02 +0100307 \ if !exists("calls") && !exists("outer") |
308 \ let g:calls = g:calls . <args> |
309 \ endif
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100310
311let i = 0
312while i < 3
313 let i = i + 1
314 if i == 1
315 Xpath 'a'
316 function! F1(arg)
317 CALL a:arg
318 let outer = 1
319
320 let j = 0
321 while j < 1
322 Xpath 'b'
323 let j = j + 1
324 function! G1(arg)
325 CALL a:arg
326 endfunction
327 Xpath 'c'
328 endwhile
329 endfunction
330 Xpath 'd'
331
332 continue
333 endif
334
335 Xpath 'e' . i
336 function! F{i}(i, arg)
337 CALL a:arg
338 let outer = 1
339
340 if a:i == 3
341 Xpath 'f'
342 endif
343 let k = 0
344 while k < 3
345 Xpath 'g' . k
346 let k = k + 1
347 function! G{a:i}{k}(arg)
348 CALL a:arg
349 endfunction
350 Xpath 'h' . k
351 endwhile
352 endfunction
353 Xpath 'i'
354
355endwhile
356
357if exists("*G1")
358 Xpath 'j'
359endif
360if exists("*F1")
361 call F1("F1")
362 if exists("*G1")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100363 call G1("G1")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100364 endif
365endif
366
367if exists("G21") || exists("G22") || exists("G23")
368 Xpath 'k'
369endif
370if exists("*F2")
371 call F2(2, "F2")
372 if exists("*G21")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100373 call G21("G21")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100374 endif
375 if exists("*G22")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100376 call G22("G22")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100377 endif
378 if exists("*G23")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100379 call G23("G23")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100380 endif
381endif
382
383if exists("G31") || exists("G32") || exists("G33")
384 Xpath 'l'
385endif
386if exists("*F3")
387 call F3(3, "F3")
388 if exists("*G31")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100389 call G31("G31")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100390 endif
391 if exists("*G32")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100392 call G32("G32")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100393 endif
394 if exists("*G33")
Bram Moolenaar1e115362019-01-09 23:01:02 +0100395 call G33("G33")
Bram Moolenaarf49e2402015-12-30 15:59:25 +0100396 endif
397endif
398
399Xpath 'm'
400
401let g:test6_result = g:Xpath
402let g:test6_calls = calls
403
404unlet calls
405delfunction F1
406delfunction G1
407delfunction F2
408delfunction G21
409delfunction G22
410delfunction G23
411delfunction G31
412delfunction G32
413delfunction G33
414
415function Test_defining_functions()
416 call assert_equal('ade2ie3ibcg0h1g1h2g2h3fg0h1g1h2g2h3m', g:test6_result)
417 call assert_equal('F1G1F2G21G22G23F3G31G32G33', g:test6_calls)
418endfunc
419
420"-------------------------------------------------------------------------------
Bram Moolenaara2cce862016-01-02 19:50:04 +0100421" Test 7: Continuing on errors outside functions {{{1
422"
423" On an error outside a function, the script processing continues
424" at the line following the outermost :endif or :endwhile. When not
425" inside an :if or :while, the script processing continues at the next
426" line.
427"-------------------------------------------------------------------------------
428
429XpathINIT
430
431if 1
432 Xpath 'a'
433 while 1
434 Xpath 'b'
435 asdf
436 Xpath 'c'
437 break
438 endwhile | Xpath 'd'
439 Xpath 'e'
440endif | Xpath 'f'
441Xpath 'g'
442
443while 1
444 Xpath 'h'
445 if 1
446 Xpath 'i'
447 asdf
448 Xpath 'j'
449 endif | Xpath 'k'
450 Xpath 'l'
451 break
452endwhile | Xpath 'm'
453Xpath 'n'
454
455asdf
456Xpath 'o'
457
458asdf | Xpath 'p'
459Xpath 'q'
460
461let g:test7_result = g:Xpath
462
463func Test_error_in_script()
464 call assert_equal('abghinoq', g:test7_result)
465endfunc
466
467"-------------------------------------------------------------------------------
468" Test 8: Aborting and continuing on errors inside functions {{{1
469"
470" On an error inside a function without the "abort" attribute, the
471" script processing continues at the next line (unless the error was
472" in a :return command). On an error inside a function with the
473" "abort" attribute, the function is aborted and the script processing
474" continues after the function call; the value -1 is returned then.
475"-------------------------------------------------------------------------------
476
477XpathINIT
478
479function! T8_F()
480 if 1
481 Xpath 'a'
482 while 1
483 Xpath 'b'
484 asdf
485 Xpath 'c'
486 asdf | Xpath 'd'
487 Xpath 'e'
488 break
489 endwhile
490 Xpath 'f'
491 endif | Xpath 'g'
492 Xpath 'h'
493
494 while 1
495 Xpath 'i'
496 if 1
497 Xpath 'j'
498 asdf
499 Xpath 'k'
500 asdf | Xpath 'l'
501 Xpath 'm'
502 endif
503 Xpath 'n'
504 break
505 endwhile | Xpath 'o'
506 Xpath 'p'
507
508 return novar " returns (default return value 0)
509 Xpath 'q'
510 return 1 " not reached
511endfunction
512
513function! T8_G() abort
514 if 1
515 Xpath 'r'
516 while 1
517 Xpath 's'
518 asdf " returns -1
519 Xpath 't'
520 break
521 endwhile
522 Xpath 'v'
523 endif | Xpath 'w'
524 Xpath 'x'
525
526 return -4 " not reached
527endfunction
528
529function! T8_H() abort
530 while 1
531 Xpath 'A'
532 if 1
533 Xpath 'B'
534 asdf " returns -1
535 Xpath 'C'
536 endif
537 Xpath 'D'
538 break
539 endwhile | Xpath 'E'
540 Xpath 'F'
541
542 return -4 " not reached
543endfunction
544
545" Aborted functions (T8_G and T8_H) return -1.
546let g:test8_sum = (T8_F() + 1) - 4 * T8_G() - 8 * T8_H()
547Xpath 'X'
548let g:test8_result = g:Xpath
549
550func Test_error_in_function()
551 call assert_equal(13, g:test8_sum)
552 call assert_equal('abcefghijkmnoprsABX', g:test8_result)
553
554 delfunction T8_F
555 delfunction T8_G
556 delfunction T8_H
557endfunc
558
559
560"-------------------------------------------------------------------------------
561" Test 9: Continuing after aborted functions {{{1
562"
563" When a function with the "abort" attribute is aborted due to an
564" error, the next function back in the call hierarchy without an
565" "abort" attribute continues; the value -1 is returned then.
566"-------------------------------------------------------------------------------
567
568XpathINIT
569
570function! F() abort
571 Xpath 'a'
572 let result = G() " not aborted
573 Xpath 'b'
574 if result != 2
575 Xpath 'c'
576 endif
577 return 1
578endfunction
579
580function! G() " no abort attribute
581 Xpath 'd'
582 if H() != -1 " aborted
583 Xpath 'e'
584 endif
585 Xpath 'f'
586 return 2
587endfunction
588
589function! H() abort
590 Xpath 'g'
591 call I() " aborted
592 Xpath 'h'
593 return 4
594endfunction
595
596function! I() abort
597 Xpath 'i'
598 asdf " error
599 Xpath 'j'
600 return 8
601endfunction
602
603if F() != 1
604 Xpath 'k'
605endif
606
607let g:test9_result = g:Xpath
608
609delfunction F
610delfunction G
611delfunction H
612delfunction I
613
614func Test_func_abort()
615 call assert_equal('adgifb', g:test9_result)
616endfunc
617
618
619"-------------------------------------------------------------------------------
620" Test 10: :if, :elseif, :while argument parsing {{{1
621"
622" A '"' or '|' in an argument expression must not be mixed up with
623" a comment or a next command after a bar. Parsing errors should
624" be recognized.
625"-------------------------------------------------------------------------------
626
627XpathINIT
628
629function! MSG(enr, emsg)
630 let english = v:lang == "C" || v:lang =~ '^[Ee]n'
631 if a:enr == ""
632 Xout "TODO: Add message number for:" a:emsg
633 let v:errmsg = ":" . v:errmsg
634 endif
635 let match = 1
636 if v:errmsg !~ '^'.a:enr.':' || (english && v:errmsg !~ a:emsg)
637 let match = 0
638 if v:errmsg == ""
639 Xout "Message missing."
640 else
Bram Moolenaara4208962019-08-24 20:50:19 +0200641 let v:errmsg = v:errmsg->escape('"')
Bram Moolenaara2cce862016-01-02 19:50:04 +0100642 Xout "Unexpected message:" v:errmsg
643 endif
644 endif
645 return match
Bram Moolenaar1e115362019-01-09 23:01:02 +0100646endfunc
Bram Moolenaara2cce862016-01-02 19:50:04 +0100647
648if 1 || strlen("\"") | Xpath 'a'
649 Xpath 'b'
650endif
651Xpath 'c'
652
653if 0
654elseif 1 || strlen("\"") | Xpath 'd'
655 Xpath 'e'
656endif
657Xpath 'f'
658
659while 1 || strlen("\"") | Xpath 'g'
660 Xpath 'h'
661 break
662endwhile
663Xpath 'i'
664
665let v:errmsg = ""
666if 1 ||| strlen("\"") | Xpath 'j'
667 Xpath 'k'
668endif
669Xpath 'l'
670if !MSG('E15', "Invalid expression")
671 Xpath 'm'
672endif
673
674let v:errmsg = ""
675if 0
676elseif 1 ||| strlen("\"") | Xpath 'n'
677 Xpath 'o'
678endif
679Xpath 'p'
680if !MSG('E15', "Invalid expression")
681 Xpath 'q'
682endif
683
684let v:errmsg = ""
685while 1 ||| strlen("\"") | Xpath 'r'
686 Xpath 's'
687 break
688endwhile
689Xpath 't'
690if !MSG('E15', "Invalid expression")
691 Xpath 'u'
692endif
693
694let g:test10_result = g:Xpath
695delfunction MSG
696
697func Test_expr_parsing()
698 call assert_equal('abcdefghilpt', g:test10_result)
699endfunc
700
701
702"-------------------------------------------------------------------------------
703" Test 11: :if, :elseif, :while argument evaluation after abort {{{1
704"
705" When code is skipped over due to an error, the boolean argument to
706" an :if, :elseif, or :while must not be evaluated.
707"-------------------------------------------------------------------------------
708
709XpathINIT
710
711let calls = 0
712
713function! P(num)
714 let g:calls = g:calls + a:num " side effect on call
715 return 0
716endfunction
717
718if 1
719 Xpath 'a'
720 asdf " error
721 Xpath 'b'
722 if P(1) " should not be called
723 Xpath 'c'
724 elseif !P(2) " should not be called
725 Xpath 'd'
726 else
727 Xpath 'e'
728 endif
729 Xpath 'f'
730 while P(4) " should not be called
731 Xpath 'g'
732 endwhile
733 Xpath 'h'
734endif
735Xpath 'x'
736
737let g:test11_calls = calls
738let g:test11_result = g:Xpath
739
740unlet calls
741delfunction P
742
743func Test_arg_abort()
744 call assert_equal(0, g:test11_calls)
745 call assert_equal('ax', g:test11_result)
746endfunc
747
748
749"-------------------------------------------------------------------------------
750" Test 12: Expressions in braces in skipped code {{{1
751"
752" In code skipped over due to an error or inactive conditional,
753" an expression in braces as part of a variable or function name
754" should not be evaluated.
755"-------------------------------------------------------------------------------
756
757XpathINIT
758
759function! NULL()
760 Xpath 'a'
761 return 0
762endfunction
763
764function! ZERO()
765 Xpath 'b'
766 return 0
767endfunction
768
769function! F0()
770 Xpath 'c'
771endfunction
772
773function! F1(arg)
774 Xpath 'e'
775endfunction
776
777let V0 = 1
778
779Xpath 'f'
780echo 0 ? F{NULL() + V{ZERO()}}() : 1
781
782Xpath 'g'
783if 0
784 Xpath 'h'
785 call F{NULL() + V{ZERO()}}()
786endif
787
788Xpath 'i'
789if 1
790 asdf " error
791 Xpath 'j'
792 call F1(F{NULL() + V{ZERO()}}())
793endif
794
795Xpath 'k'
796if 1
797 asdf " error
798 Xpath 'l'
799 call F{NULL() + V{ZERO()}}()
800endif
801
802let g:test12_result = g:Xpath
803
804func Test_braces_skipped()
805 call assert_equal('fgik', g:test12_result)
806endfunc
807
808
809"-------------------------------------------------------------------------------
810" Test 13: Failure in argument evaluation for :while {{{1
811"
812" A failure in the expression evaluation for the condition of a :while
813" causes the whole :while loop until the matching :endwhile being
814" ignored. Continuation is at the next following line.
815"-------------------------------------------------------------------------------
816
817XpathINIT
818
819Xpath 'a'
820while asdf
821 Xpath 'b'
822 while 1
823 Xpath 'c'
824 break
825 endwhile
826 Xpath 'd'
827 break
828endwhile
829Xpath 'e'
830
831while asdf | Xpath 'f' | endwhile | Xpath 'g'
832Xpath 'h'
833let g:test13_result = g:Xpath
834
835func Test_while_fail()
836 call assert_equal('aeh', g:test13_result)
837endfunc
838
839
840"-------------------------------------------------------------------------------
841" Test 14: Failure in argument evaluation for :if {{{1
842"
843" A failure in the expression evaluation for the condition of an :if
844" does not cause the corresponding :else or :endif being matched to
845" a previous :if/:elseif. Neither of both branches of the failed :if
846" are executed.
847"-------------------------------------------------------------------------------
848
849XpathINIT
850
851function! F()
852 Xpath 'a'
853 let x = 0
854 if x " false
855 Xpath 'b'
856 elseif !x " always true
857 Xpath 'c'
858 let x = 1
859 if g:boolvar " possibly undefined
860 Xpath 'd'
861 else
862 Xpath 'e'
863 endif
864 Xpath 'f'
865 elseif x " never executed
866 Xpath 'g'
867 endif
868 Xpath 'h'
869endfunction
870
871let boolvar = 1
872call F()
873Xpath '-'
874
875unlet boolvar
876call F()
877let g:test14_result = g:Xpath
878
879delfunction F
880
881func Test_if_fail()
882 call assert_equal('acdfh-acfh', g:test14_result)
883endfunc
884
885
886"-------------------------------------------------------------------------------
887" Test 15: Failure in argument evaluation for :if (bar) {{{1
888"
889" Like previous test, except that the failing :if ... | ... | :endif
890" is in a single line.
891"-------------------------------------------------------------------------------
892
893XpathINIT
894
895function! F()
896 Xpath 'a'
897 let x = 0
898 if x " false
899 Xpath 'b'
900 elseif !x " always true
901 Xpath 'c'
902 let x = 1
903 if g:boolvar | Xpath 'd' | else | Xpath 'e' | endif
904 Xpath 'f'
905 elseif x " never executed
906 Xpath 'g'
907 endif
908 Xpath 'h'
909endfunction
910
911let boolvar = 1
912call F()
913Xpath '-'
914
915unlet boolvar
916call F()
917let g:test15_result = g:Xpath
918
919delfunction F
920
921func Test_if_bar_fail()
922 call assert_equal('acdfh-acfh', g:test15_result)
923endfunc
924
Bram Moolenaar4119cf82016-01-17 14:59:01 +0100925"-------------------------------------------------------------------------------
Bram Moolenaar1f068232019-11-03 16:17:26 +0100926" Test 16: Double :else or :elseif after :else {{{1
927"
928" Multiple :elses or an :elseif after an :else are forbidden.
929"-------------------------------------------------------------------------------
930
931func T16_F() abort
932 if 0
933 Xpath 'a'
934 else
935 Xpath 'b'
936 else " aborts function
937 Xpath 'c'
938 endif
939 Xpath 'd'
940endfunc
941
942func T16_G() abort
943 if 0
944 Xpath 'a'
945 else
946 Xpath 'b'
947 elseif 1 " aborts function
948 Xpath 'c'
949 else
950 Xpath 'd'
951 endif
952 Xpath 'e'
953endfunc
954
955func T16_H() abort
956 if 0
957 Xpath 'a'
958 elseif 0
959 Xpath 'b'
960 else
961 Xpath 'c'
962 else " aborts function
963 Xpath 'd'
964 endif
965 Xpath 'e'
966endfunc
967
968func T16_I() abort
969 if 0
970 Xpath 'a'
971 elseif 0
972 Xpath 'b'
973 else
974 Xpath 'c'
975 elseif 1 " aborts function
976 Xpath 'd'
977 else
978 Xpath 'e'
979 endif
980 Xpath 'f'
981endfunc
982
983func Test_Multi_Else()
984 XpathINIT
985 try
986 call T16_F()
987 catch /E583:/
988 Xpath 'e'
989 endtry
990 call assert_equal('be', g:Xpath)
991
992 XpathINIT
993 try
994 call T16_G()
995 catch /E584:/
996 Xpath 'f'
997 endtry
998 call assert_equal('bf', g:Xpath)
999
1000 XpathINIT
1001 try
1002 call T16_H()
1003 catch /E583:/
1004 Xpath 'f'
1005 endtry
1006 call assert_equal('cf', g:Xpath)
1007
1008 XpathINIT
1009 try
1010 call T16_I()
1011 catch /E584:/
1012 Xpath 'g'
1013 endtry
1014 call assert_equal('cg', g:Xpath)
1015endfunc
1016
1017"-------------------------------------------------------------------------------
1018" Test 17: Nesting of unmatched :if or :endif inside a :while {{{1
1019"
1020" The :while/:endwhile takes precedence in nesting over an unclosed
1021" :if or an unopened :endif.
1022"-------------------------------------------------------------------------------
1023
1024" While loops inside a function are continued on error.
1025func T17_F()
1026 let loops = 3
1027 while loops > 0
1028 let loops -= 1
1029 Xpath 'a' . loops
1030 if (loops == 1)
1031 Xpath 'b' . loops
1032 continue
1033 elseif (loops == 0)
1034 Xpath 'c' . loops
1035 break
1036 elseif 1
1037 Xpath 'd' . loops
1038 " endif missing!
1039 endwhile " :endwhile after :if 1
1040 Xpath 'e'
1041endfunc
1042
1043func T17_G()
1044 let loops = 2
1045 while loops > 0
1046 let loops -= 1
1047 Xpath 'a' . loops
1048 if 0
1049 Xpath 'b' . loops
1050 " endif missing
1051 endwhile " :endwhile after :if 0
1052endfunc
1053
1054func T17_H()
1055 let loops = 2
1056 while loops > 0
1057 let loops -= 1
1058 Xpath 'a' . loops
1059 " if missing!
1060 endif " :endif without :if in while
1061 Xpath 'b' . loops
1062 endwhile
1063endfunc
1064
1065" Error continuation outside a function is at the outermost :endwhile or :endif.
1066XpathINIT
1067let v:errmsg = ''
1068let loops = 2
1069while loops > 0
1070 let loops -= 1
1071 Xpath 'a' . loops
1072 if 0
1073 Xpath 'b' . loops
1074 " endif missing! Following :endwhile fails.
1075endwhile | Xpath 'c'
1076Xpath 'd'
1077call assert_match('E171:', v:errmsg)
1078call assert_equal('a1d', g:Xpath)
1079
1080func Test_unmatched_if_in_while()
1081 XpathINIT
1082 call assert_fails('call T17_F()', 'E171:')
1083 call assert_equal('a2d2a1b1a0c0e', g:Xpath)
1084
1085 XpathINIT
1086 call assert_fails('call T17_G()', 'E171:')
1087 call assert_equal('a1a0', g:Xpath)
1088
1089 XpathINIT
1090 call assert_fails('call T17_H()', 'E580:')
1091 call assert_equal('a1b1a0b0', g:Xpath)
1092endfunc
1093
1094"-------------------------------------------------------------------------------
1095"-------------------------------------------------------------------------------
1096"-------------------------------------------------------------------------------
1097" Test 87 using (expr) ? funcref : funcref {{{1
1098"
1099" Vim needs to correctly parse the funcref and even when it does
1100" not execute the funcref, it needs to consume the trailing ()
1101"-------------------------------------------------------------------------------
1102
1103func Add2(x1, x2)
1104 return a:x1 + a:x2
1105endfu
1106
1107func GetStr()
1108 return "abcdefghijklmnopqrstuvwxyp"
1109endfu
1110
1111func Test_funcref_with_condexpr()
1112 call assert_equal(5, function('Add2')(2,3))
1113
1114 call assert_equal(3, 1 ? function('Add2')(1,2) : function('Add2')(2,3))
1115 call assert_equal(5, 0 ? function('Add2')(1,2) : function('Add2')(2,3))
1116 " Make sure, GetStr() still works.
1117 call assert_equal('abcdefghijk', GetStr()[0:10])
1118endfunc
1119
Bram Moolenaar4119cf82016-01-17 14:59:01 +01001120" Test 90: Recognizing {} in variable name. {{{1
1121"-------------------------------------------------------------------------------
1122
1123func Test_curlies()
1124 let s:var = 66
1125 let ns = 's'
1126 call assert_equal(66, {ns}:var)
1127
1128 let g:a = {}
1129 let g:b = 't'
1130 let g:a[g:b] = 77
1131 call assert_equal(77, g:a['t'])
1132endfunc
Bram Moolenaara2cce862016-01-02 19:50:04 +01001133
1134"-------------------------------------------------------------------------------
Bram Moolenaarf95534c2016-01-23 21:59:52 +01001135" Test 91: using type(). {{{1
1136"-------------------------------------------------------------------------------
1137
1138func Test_type()
1139 call assert_equal(0, type(0))
1140 call assert_equal(1, type(""))
1141 call assert_equal(2, type(function("tr")))
Bram Moolenaar953cc7f2016-03-19 18:52:29 +01001142 call assert_equal(2, type(function("tr", [8])))
Bram Moolenaarf95534c2016-01-23 21:59:52 +01001143 call assert_equal(3, type([]))
1144 call assert_equal(4, type({}))
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001145 if has('float')
1146 call assert_equal(5, type(0.0))
1147 endif
Bram Moolenaarf95534c2016-01-23 21:59:52 +01001148 call assert_equal(6, type(v:false))
1149 call assert_equal(6, type(v:true))
1150 call assert_equal(7, type(v:none))
1151 call assert_equal(7, type(v:null))
Bram Moolenaarf562e722016-07-19 17:25:25 +02001152 call assert_equal(8, v:t_job)
1153 call assert_equal(9, v:t_channel)
1154 call assert_equal(v:t_number, type(0))
1155 call assert_equal(v:t_string, type(""))
1156 call assert_equal(v:t_func, type(function("tr")))
1157 call assert_equal(v:t_func, type(function("tr", [8])))
1158 call assert_equal(v:t_list, type([]))
1159 call assert_equal(v:t_dict, type({}))
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001160 if has('float')
1161 call assert_equal(v:t_float, type(0.0))
1162 endif
Bram Moolenaarf562e722016-07-19 17:25:25 +02001163 call assert_equal(v:t_bool, type(v:false))
1164 call assert_equal(v:t_bool, type(v:true))
1165 call assert_equal(v:t_none, type(v:none))
1166 call assert_equal(v:t_none, type(v:null))
1167
Bram Moolenaar17a13432016-01-24 14:22:10 +01001168
1169 call assert_equal(0, 0 + v:false)
1170 call assert_equal(1, 0 + v:true)
1171 call assert_equal(0, 0 + v:none)
1172 call assert_equal(0, 0 + v:null)
1173
Bram Moolenaarf48aa162016-01-24 17:54:24 +01001174 call assert_equal('v:false', '' . v:false)
1175 call assert_equal('v:true', '' . v:true)
1176 call assert_equal('v:none', '' . v:none)
1177 call assert_equal('v:null', '' . v:null)
Bram Moolenaar6039c7f2016-01-24 15:05:32 +01001178
1179 call assert_true(v:false == 0)
1180 call assert_false(v:false != 0)
1181 call assert_true(v:true == 1)
1182 call assert_false(v:true != 1)
1183 call assert_false(v:true == v:false)
1184 call assert_true(v:true != v:false)
1185
1186 call assert_true(v:null == 0)
1187 call assert_false(v:null != 0)
1188 call assert_true(v:none == 0)
1189 call assert_false(v:none != 0)
Bram Moolenaar04369222016-01-24 17:21:29 +01001190
1191 call assert_true(v:false is v:false)
1192 call assert_true(v:true is v:true)
1193 call assert_true(v:none is v:none)
1194 call assert_true(v:null is v:null)
1195
1196 call assert_false(v:false isnot v:false)
1197 call assert_false(v:true isnot v:true)
1198 call assert_false(v:none isnot v:none)
1199 call assert_false(v:null isnot v:null)
1200
1201 call assert_false(v:false is 0)
1202 call assert_false(v:true is 1)
1203 call assert_false(v:true is v:false)
1204 call assert_false(v:none is 0)
1205 call assert_false(v:null is 0)
1206 call assert_false(v:null is v:none)
1207
1208 call assert_true(v:false isnot 0)
1209 call assert_true(v:true isnot 1)
1210 call assert_true(v:true isnot v:false)
1211 call assert_true(v:none isnot 0)
1212 call assert_true(v:null isnot 0)
1213 call assert_true(v:null isnot v:none)
Bram Moolenaar65591002016-01-24 21:51:57 +01001214
1215 call assert_equal(v:false, eval(string(v:false)))
1216 call assert_equal(v:true, eval(string(v:true)))
1217 call assert_equal(v:none, eval(string(v:none)))
1218 call assert_equal(v:null, eval(string(v:null)))
Bram Moolenaar767d8c12016-01-25 20:22:54 +01001219
Bram Moolenaar15550002016-01-31 18:45:24 +01001220 call assert_equal(v:false, copy(v:false))
1221 call assert_equal(v:true, copy(v:true))
1222 call assert_equal(v:none, copy(v:none))
1223 call assert_equal(v:null, copy(v:null))
1224
1225 call assert_equal([v:false], deepcopy([v:false]))
1226 call assert_equal([v:true], deepcopy([v:true]))
1227 call assert_equal([v:none], deepcopy([v:none]))
1228 call assert_equal([v:null], deepcopy([v:null]))
1229
Bram Moolenaar767d8c12016-01-25 20:22:54 +01001230 call assert_true(empty(v:false))
1231 call assert_false(empty(v:true))
1232 call assert_true(empty(v:null))
1233 call assert_true(empty(v:none))
Bram Moolenaar6650a692016-01-26 19:59:10 +01001234
1235 func ChangeYourMind()
Bram Moolenaar1e115362019-01-09 23:01:02 +01001236 try
1237 return v:true
1238 finally
1239 return 'something else'
1240 endtry
Bram Moolenaar6650a692016-01-26 19:59:10 +01001241 endfunc
1242
1243 call ChangeYourMind()
Bram Moolenaarf95534c2016-01-23 21:59:52 +01001244endfunc
1245
1246"-------------------------------------------------------------------------------
Bram Moolenaarea8c2192016-02-07 19:27:53 +01001247" Test 92: skipping code {{{1
1248"-------------------------------------------------------------------------------
1249
1250func Test_skip()
1251 let Fn = function('Test_type')
1252 call assert_false(0 && Fn[1])
1253 call assert_false(0 && string(Fn))
1254 call assert_false(0 && len(Fn))
1255 let l = []
1256 call assert_false(0 && l[1])
1257 call assert_false(0 && string(l))
1258 call assert_false(0 && len(l))
1259 let f = 1.0
1260 call assert_false(0 && f[1])
1261 call assert_false(0 && string(f))
1262 call assert_false(0 && len(f))
1263 let sp = v:null
1264 call assert_false(0 && sp[1])
1265 call assert_false(0 && string(sp))
1266 call assert_false(0 && len(sp))
1267
1268endfunc
1269
1270"-------------------------------------------------------------------------------
Bram Moolenaar18dfb442016-05-31 22:31:23 +02001271" Test 93: :echo and string() {{{1
1272"-------------------------------------------------------------------------------
1273
1274func Test_echo_and_string()
1275 " String
1276 let a = 'foo bar'
1277 redir => result
1278 echo a
1279 echo string(a)
1280 redir END
1281 let l = split(result, "\n")
1282 call assert_equal(["foo bar",
1283 \ "'foo bar'"], l)
1284
1285 " Float
1286 if has('float')
1287 let a = -1.2e0
1288 redir => result
1289 echo a
1290 echo string(a)
1291 redir END
1292 let l = split(result, "\n")
1293 call assert_equal(["-1.2",
1294 \ "-1.2"], l)
1295 endif
1296
1297 " Funcref
1298 redir => result
1299 echo function('string')
1300 echo string(function('string'))
1301 redir END
1302 let l = split(result, "\n")
1303 call assert_equal(["string",
1304 \ "function('string')"], l)
1305
1306 " Recursive dictionary
1307 let a = {}
1308 let a["a"] = a
1309 redir => result
1310 echo a
1311 echo string(a)
1312 redir END
1313 let l = split(result, "\n")
1314 call assert_equal(["{'a': {...}}",
1315 \ "{'a': {...}}"], l)
1316
1317 " Recursive list
1318 let a = [0]
1319 let a[0] = a
1320 redir => result
1321 echo a
1322 echo string(a)
1323 redir END
1324 let l = split(result, "\n")
1325 call assert_equal(["[[...]]",
1326 \ "[[...]]"], l)
1327
1328 " Empty dictionaries in a list
1329 let a = {}
1330 redir => result
1331 echo [a, a, a]
1332 echo string([a, a, a])
1333 redir END
1334 let l = split(result, "\n")
1335 call assert_equal(["[{}, {}, {}]",
1336 \ "[{}, {}, {}]"], l)
1337
1338 " Empty dictionaries in a dictionary
1339 let a = {}
1340 let b = {"a": a, "b": a}
1341 redir => result
1342 echo b
1343 echo string(b)
1344 redir END
1345 let l = split(result, "\n")
1346 call assert_equal(["{'a': {}, 'b': {}}",
1347 \ "{'a': {}, 'b': {}}"], l)
1348
1349 " Empty lists in a list
1350 let a = []
1351 redir => result
1352 echo [a, a, a]
1353 echo string([a, a, a])
1354 redir END
1355 let l = split(result, "\n")
1356 call assert_equal(["[[], [], []]",
1357 \ "[[], [], []]"], l)
1358
1359 " Empty lists in a dictionary
1360 let a = []
1361 let b = {"a": a, "b": a}
1362 redir => result
1363 echo b
1364 echo string(b)
1365 redir END
1366 let l = split(result, "\n")
1367 call assert_equal(["{'a': [], 'b': []}",
1368 \ "{'a': [], 'b': []}"], l)
1369
1370 " Dictionaries in a list
1371 let a = {"one": "yes", "two": "yes", "three": "yes"}
1372 redir => result
1373 echo [a, a, a]
1374 echo string([a, a, a])
1375 redir END
1376 let l = split(result, "\n")
1377 call assert_equal(["[{'one': 'yes', 'two': 'yes', 'three': 'yes'}, {...}, {...}]",
1378 \ "[{'one': 'yes', 'two': 'yes', 'three': 'yes'}, {'one': 'yes', 'two': 'yes', 'three': 'yes'}, {'one': 'yes', 'two': 'yes', 'three': 'yes'}]"], l)
1379
1380 " Dictionaries in a dictionary
1381 let a = {"one": "yes", "two": "yes", "three": "yes"}
1382 let b = {"a": a, "b": a}
1383 redir => result
1384 echo b
1385 echo string(b)
1386 redir END
1387 let l = split(result, "\n")
1388 call assert_equal(["{'a': {'one': 'yes', 'two': 'yes', 'three': 'yes'}, 'b': {...}}",
1389 \ "{'a': {'one': 'yes', 'two': 'yes', 'three': 'yes'}, 'b': {'one': 'yes', 'two': 'yes', 'three': 'yes'}}"], l)
1390
1391 " Lists in a list
1392 let a = [1, 2, 3]
1393 redir => result
1394 echo [a, a, a]
1395 echo string([a, a, a])
1396 redir END
1397 let l = split(result, "\n")
1398 call assert_equal(["[[1, 2, 3], [...], [...]]",
1399 \ "[[1, 2, 3], [1, 2, 3], [1, 2, 3]]"], l)
1400
1401 " Lists in a dictionary
1402 let a = [1, 2, 3]
1403 let b = {"a": a, "b": a}
1404 redir => result
1405 echo b
1406 echo string(b)
1407 redir END
1408 let l = split(result, "\n")
1409 call assert_equal(["{'a': [1, 2, 3], 'b': [...]}",
1410 \ "{'a': [1, 2, 3], 'b': [1, 2, 3]}"], l)
1411
1412endfunc
1413
1414"-------------------------------------------------------------------------------
Bram Moolenaar22fcfad2016-07-01 18:17:26 +02001415" Test 94: 64-bit Numbers {{{1
1416"-------------------------------------------------------------------------------
1417
1418func Test_num64()
Bram Moolenaar22fcfad2016-07-01 18:17:26 +02001419 call assert_notequal( 4294967296, 0)
1420 call assert_notequal(-4294967296, 0)
1421 call assert_equal( 4294967296, 0xFFFFffff + 1)
1422 call assert_equal(-4294967296, -0xFFFFffff - 1)
1423
1424 call assert_equal( 9223372036854775807, 1 / 0)
1425 call assert_equal(-9223372036854775807, -1 / 0)
Bram Moolenaar7a40ea22017-01-22 18:34:57 +01001426 call assert_equal(-9223372036854775807 - 1, 0 / 0)
Bram Moolenaar22fcfad2016-07-01 18:17:26 +02001427
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001428 if has('float')
1429 call assert_equal( 0x7FFFffffFFFFffff, float2nr( 1.0e150))
1430 call assert_equal(-0x7FFFffffFFFFffff, float2nr(-1.0e150))
1431 endif
Bram Moolenaar22fcfad2016-07-01 18:17:26 +02001432
1433 let rng = range(0xFFFFffff, 0x100000001)
1434 call assert_equal([0xFFFFffff, 0x100000000, 0x100000001], rng)
1435 call assert_equal(0x100000001, max(rng))
1436 call assert_equal(0xFFFFffff, min(rng))
1437 call assert_equal(rng, sort(range(0x100000001, 0xFFFFffff, -1), 'N'))
1438endfunc
1439
1440"-------------------------------------------------------------------------------
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001441" Test 95: lines of :append, :change, :insert {{{1
1442"-------------------------------------------------------------------------------
1443
1444function! DefineFunction(name, body)
1445 let func = join(['function! ' . a:name . '()'] + a:body + ['endfunction'], "\n")
1446 exec func
1447endfunction
1448
1449func Test_script_lines()
1450 " :append
1451 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001452 call DefineFunction('T_Append', [
1453 \ 'append',
1454 \ 'py <<EOS',
1455 \ '.',
1456 \ ])
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001457 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001458 call assert_report("Can't define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001459 endtry
1460 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001461 call DefineFunction('T_Append', [
1462 \ 'append',
1463 \ 'abc',
1464 \ ])
1465 call assert_report("Shouldn't be able to define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001466 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001467 call assert_exception('Vim(function):E126: Missing :endfunction')
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001468 endtry
1469
1470 " :change
1471 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001472 call DefineFunction('T_Change', [
1473 \ 'change',
1474 \ 'py <<EOS',
1475 \ '.',
1476 \ ])
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001477 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001478 call assert_report("Can't define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001479 endtry
1480 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001481 call DefineFunction('T_Change', [
1482 \ 'change',
1483 \ 'abc',
1484 \ ])
1485 call assert_report("Shouldn't be able to define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001486 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001487 call assert_exception('Vim(function):E126: Missing :endfunction')
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001488 endtry
1489
1490 " :insert
1491 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001492 call DefineFunction('T_Insert', [
1493 \ 'insert',
1494 \ 'py <<EOS',
1495 \ '.',
1496 \ ])
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001497 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001498 call assert_report("Can't define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001499 endtry
1500 try
Bram Moolenaar1e115362019-01-09 23:01:02 +01001501 call DefineFunction('T_Insert', [
1502 \ 'insert',
1503 \ 'abc',
1504 \ ])
1505 call assert_report("Shouldn't be able to define function")
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001506 catch
Bram Moolenaar1e115362019-01-09 23:01:02 +01001507 call assert_exception('Vim(function):E126: Missing :endfunction')
Bram Moolenaar70bcd732017-01-12 22:20:54 +01001508 endtry
1509endfunc
1510
1511"-------------------------------------------------------------------------------
Bram Moolenaar478af672017-04-10 22:22:42 +02001512" Test 96: line continuation {{{1
1513"
Bram Moolenaar1e115362019-01-09 23:01:02 +01001514" Undefined behavior was detected by ubsan with line continuation
1515" after an empty line.
Bram Moolenaar478af672017-04-10 22:22:42 +02001516"-------------------------------------------------------------------------------
1517func Test_script_emty_line_continuation()
1518
1519 \
1520endfunc
1521
1522"-------------------------------------------------------------------------------
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001523" Test 97: bitwise functions {{{1
1524"-------------------------------------------------------------------------------
1525func Test_bitwise_functions()
1526 " and
1527 call assert_equal(127, and(127, 127))
1528 call assert_equal(16, and(127, 16))
Bram Moolenaar073e4b92019-08-18 23:01:56 +02001529 eval 127->and(16)->assert_equal(16)
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001530 call assert_equal(0, and(127, 128))
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001531 call assert_fails("call and([], 1)", 'E745:')
1532 call assert_fails("call and({}, 1)", 'E728:')
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001533 if has('float')
1534 call assert_fails("call and(1.0, 1)", 'E805:')
1535 call assert_fails("call and(1, 1.0)", 'E805:')
1536 endif
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001537 call assert_fails("call and(1, [])", 'E745:')
1538 call assert_fails("call and(1, {})", 'E728:')
1539 " or
1540 call assert_equal(23, or(16, 7))
1541 call assert_equal(15, or(8, 7))
Bram Moolenaar073e4b92019-08-18 23:01:56 +02001542 eval 8->or(7)->assert_equal(15)
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001543 call assert_equal(123, or(0, 123))
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001544 call assert_fails("call or([], 1)", 'E745:')
1545 call assert_fails("call or({}, 1)", 'E728:')
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001546 if has('float')
1547 call assert_fails("call or(1.0, 1)", 'E805:')
1548 call assert_fails("call or(1, 1.0)", 'E805:')
1549 endif
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001550 call assert_fails("call or(1, [])", 'E745:')
1551 call assert_fails("call or(1, {})", 'E728:')
1552 " xor
1553 call assert_equal(0, xor(127, 127))
1554 call assert_equal(111, xor(127, 16))
Bram Moolenaar073e4b92019-08-18 23:01:56 +02001555 eval 127->xor(16)->assert_equal(111)
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001556 call assert_equal(255, xor(127, 128))
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001557 if has('float')
1558 call assert_fails("call xor(1.0, 1)", 'E805:')
1559 call assert_fails("call xor(1, 1.0)", 'E805:')
1560 endif
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001561 call assert_fails("call xor([], 1)", 'E745:')
1562 call assert_fails("call xor({}, 1)", 'E728:')
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001563 call assert_fails("call xor(1, [])", 'E745:')
1564 call assert_fails("call xor(1, {})", 'E728:')
1565 " invert
1566 call assert_equal(65408, and(invert(127), 65535))
Bram Moolenaar073e4b92019-08-18 23:01:56 +02001567 eval 127->invert()->and(65535)->assert_equal(65408)
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001568 call assert_equal(65519, and(invert(16), 65535))
1569 call assert_equal(65407, and(invert(128), 65535))
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001570 if has('float')
1571 call assert_fails("call invert(1.0)", 'E805:')
1572 endif
Bram Moolenaar863e80b2017-06-04 20:30:00 +02001573 call assert_fails("call invert([])", 'E745:')
1574 call assert_fails("call invert({})", 'E728:')
1575endfunc
1576
Bram Moolenaar663bb232017-06-22 19:12:10 +02001577" Test trailing text after :endfunction {{{1
1578func Test_endfunction_trailing()
1579 call assert_false(exists('*Xtest'))
1580
1581 exe "func Xtest()\necho 'hello'\nendfunc\nlet done = 'yes'"
1582 call assert_true(exists('*Xtest'))
1583 call assert_equal('yes', done)
1584 delfunc Xtest
1585 unlet done
1586
1587 exe "func Xtest()\necho 'hello'\nendfunc|let done = 'yes'"
1588 call assert_true(exists('*Xtest'))
1589 call assert_equal('yes', done)
1590 delfunc Xtest
1591 unlet done
1592
Bram Moolenaar53564f72017-06-24 14:48:11 +02001593 " trailing line break
1594 exe "func Xtest()\necho 'hello'\nendfunc\n"
1595 call assert_true(exists('*Xtest'))
1596 delfunc Xtest
1597
Bram Moolenaar663bb232017-06-22 19:12:10 +02001598 set verbose=1
1599 exe "func Xtest()\necho 'hello'\nendfunc \" garbage"
Bram Moolenaarf8be4612017-06-23 20:52:40 +02001600 call assert_notmatch('W22:', split(execute('1messages'), "\n")[0])
Bram Moolenaar663bb232017-06-22 19:12:10 +02001601 call assert_true(exists('*Xtest'))
1602 delfunc Xtest
1603
Bram Moolenaarf8be4612017-06-23 20:52:40 +02001604 exe "func Xtest()\necho 'hello'\nendfunc garbage"
1605 call assert_match('W22:', split(execute('1messages'), "\n")[0])
Bram Moolenaar663bb232017-06-22 19:12:10 +02001606 call assert_true(exists('*Xtest'))
1607 delfunc Xtest
1608 set verbose=0
Bram Moolenaar53564f72017-06-24 14:48:11 +02001609
1610 function Foo()
1611 echo 'hello'
1612 endfunction | echo 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'
1613 delfunc Foo
Bram Moolenaar663bb232017-06-22 19:12:10 +02001614endfunc
1615
Bram Moolenaard6abcd12017-06-22 19:15:24 +02001616func Test_delfunction_force()
1617 delfunc! Xtest
1618 delfunc! Xtest
1619 func Xtest()
1620 echo 'nothing'
1621 endfunc
1622 delfunc! Xtest
1623 delfunc! Xtest
1624endfunc
1625
Bram Moolenaar6f9a4762017-06-22 20:39:17 +02001626" Test using bang after user command {{{1
1627func Test_user_command_with_bang()
1628 command -bang Nieuw let nieuw = 1
1629 Ni!
1630 call assert_equal(1, nieuw)
1631 unlet nieuw
1632 delcommand Nieuw
1633endfunc
1634
Bram Moolenaarbb3e6412017-09-23 19:24:46 +02001635" Test for script-local function
1636func <SID>DoLast()
1637 call append(line('$'), "last line")
1638endfunc
1639
1640func s:DoNothing()
1641 call append(line('$'), "nothing line")
1642endfunc
1643
1644func Test_script_local_func()
Bram Moolenaar34059e72019-11-08 23:00:25 +01001645 set nocp nomore viminfo+=nviminfo
Bram Moolenaarbb3e6412017-09-23 19:24:46 +02001646 new
1647 nnoremap <buffer> _x :call <SID>DoNothing()<bar>call <SID>DoLast()<bar>delfunc <SID>DoNothing<bar>delfunc <SID>DoLast<cr>
1648
1649 normal _x
1650 call assert_equal('nothing line', getline(2))
1651 call assert_equal('last line', getline(3))
1652 enew! | close
1653endfunc
1654
Bram Moolenaarb9adef72020-01-02 14:31:22 +01001655func Test_script_expand_sfile()
1656 let lines =<< trim END
1657 func s:snr()
1658 return expand('<sfile>')
1659 endfunc
1660 let g:result = s:snr()
1661 END
1662 call writefile(lines, 'Xexpand')
1663 source Xexpand
1664 call assert_match('<SNR>\d\+_snr', g:result)
1665 source Xexpand
1666 call assert_match('<SNR>\d\+_snr', g:result)
1667
1668 call delete('Xexpand')
1669 unlet g:result
1670endfunc
1671
Bram Moolenaarff697e62019-02-12 22:28:33 +01001672func Test_compound_assignment_operators()
1673 " Test for number
1674 let x = 1
1675 let x += 10
1676 call assert_equal(11, x)
1677 let x -= 5
1678 call assert_equal(6, x)
1679 let x *= 4
1680 call assert_equal(24, x)
1681 let x /= 3
1682 call assert_equal(8, x)
1683 let x %= 3
1684 call assert_equal(2, x)
1685 let x .= 'n'
1686 call assert_equal('2n', x)
1687
Bram Moolenaare21c1582019-03-02 11:57:09 +01001688 " Test special cases: division or modulus with 0.
1689 let x = 1
1690 let x /= 0
Bram Moolenaar82f654e2020-02-17 22:12:50 +01001691 call assert_equal(0x7FFFFFFFFFFFFFFF, x)
Bram Moolenaare21c1582019-03-02 11:57:09 +01001692
1693 let x = -1
1694 let x /= 0
Bram Moolenaar82f654e2020-02-17 22:12:50 +01001695 call assert_equal(-0x7FFFFFFFFFFFFFFF, x)
Bram Moolenaare21c1582019-03-02 11:57:09 +01001696
1697 let x = 0
1698 let x /= 0
Bram Moolenaar82f654e2020-02-17 22:12:50 +01001699 call assert_equal(-0x7FFFFFFFFFFFFFFF - 1, x)
Bram Moolenaare21c1582019-03-02 11:57:09 +01001700
1701 let x = 1
1702 let x %= 0
1703 call assert_equal(0, x)
1704
1705 let x = -1
1706 let x %= 0
1707 call assert_equal(0, x)
1708
1709 let x = 0
1710 let x %= 0
1711 call assert_equal(0, x)
1712
Bram Moolenaarff697e62019-02-12 22:28:33 +01001713 " Test for string
1714 let x = 'str'
1715 let x .= 'ing'
1716 call assert_equal('string', x)
1717 let x += 1
1718 call assert_equal(1, x)
Bram Moolenaarff697e62019-02-12 22:28:33 +01001719
1720 if has('float')
Bram Moolenaar5feabe02020-01-30 18:24:53 +01001721 " Test for float
1722 let x -= 1.5
1723 call assert_equal(-0.5, x)
1724 let x = 0.5
1725 let x += 4.5
1726 call assert_equal(5.0, x)
1727 let x -= 1.5
1728 call assert_equal(3.5, x)
1729 let x *= 3.0
1730 call assert_equal(10.5, x)
1731 let x /= 2.5
1732 call assert_equal(4.2, x)
1733 call assert_fails('let x %= 0.5', 'E734')
1734 call assert_fails('let x .= "f"', 'E734')
Bram Moolenaarff697e62019-02-12 22:28:33 +01001735 endif
1736
1737 " Test for environment variable
1738 let $FOO = 1
1739 call assert_fails('let $FOO += 1', 'E734')
1740 call assert_fails('let $FOO -= 1', 'E734')
1741 call assert_fails('let $FOO *= 1', 'E734')
1742 call assert_fails('let $FOO /= 1', 'E734')
1743 call assert_fails('let $FOO %= 1', 'E734')
1744 let $FOO .= 's'
1745 call assert_equal('1s', $FOO)
1746 unlet $FOO
1747
1748 " Test for option variable (type: number)
1749 let &scrolljump = 1
1750 let &scrolljump += 5
1751 call assert_equal(6, &scrolljump)
1752 let &scrolljump -= 2
1753 call assert_equal(4, &scrolljump)
1754 let &scrolljump *= 3
1755 call assert_equal(12, &scrolljump)
1756 let &scrolljump /= 2
1757 call assert_equal(6, &scrolljump)
1758 let &scrolljump %= 5
1759 call assert_equal(1, &scrolljump)
1760 call assert_fails('let &scrolljump .= "j"', 'E734')
1761 set scrolljump&vim
1762
1763 " Test for register
1764 let @/ = 1
1765 call assert_fails('let @/ += 1', 'E734')
1766 call assert_fails('let @/ -= 1', 'E734')
1767 call assert_fails('let @/ *= 1', 'E734')
1768 call assert_fails('let @/ /= 1', 'E734')
1769 call assert_fails('let @/ %= 1', 'E734')
1770 let @/ .= 's'
1771 call assert_equal('1s', @/)
1772 let @/ = ''
1773endfunc
1774
Bram Moolenaarc3e92c12019-03-23 14:23:07 +01001775func Test_refcount()
1776 " Immediate values
1777 call assert_equal(-1, test_refcount(1))
1778 call assert_equal(-1, test_refcount('s'))
1779 call assert_equal(-1, test_refcount(v:true))
1780 call assert_equal(0, test_refcount([]))
1781 call assert_equal(0, test_refcount({}))
1782 call assert_equal(0, test_refcount(0zff))
1783 call assert_equal(0, test_refcount({-> line('.')}))
1784 if has('float')
1785 call assert_equal(-1, test_refcount(0.1))
1786 endif
1787 if has('job')
1788 call assert_equal(0, test_refcount(job_start([&shell, &shellcmdflag, 'echo .'])))
1789 endif
1790
1791 " No refcount types
1792 let x = 1
1793 call assert_equal(-1, test_refcount(x))
1794 let x = 's'
1795 call assert_equal(-1, test_refcount(x))
1796 let x = v:true
1797 call assert_equal(-1, test_refcount(x))
1798 if has('float')
1799 let x = 0.1
1800 call assert_equal(-1, test_refcount(x))
1801 endif
1802
1803 " Check refcount
1804 let x = []
1805 call assert_equal(1, test_refcount(x))
1806
1807 let x = {}
Bram Moolenaarce90e362019-09-08 18:58:44 +02001808 call assert_equal(1, x->test_refcount())
Bram Moolenaarc3e92c12019-03-23 14:23:07 +01001809
1810 let x = 0zff
1811 call assert_equal(1, test_refcount(x))
1812
1813 let X = {-> line('.')}
1814 call assert_equal(1, test_refcount(X))
1815 let Y = X
1816 call assert_equal(2, test_refcount(X))
1817
1818 if has('job')
1819 let job = job_start([&shell, &shellcmdflag, 'echo .'])
1820 call assert_equal(1, test_refcount(job))
1821 call assert_equal(1, test_refcount(job_getchannel(job)))
1822 call assert_equal(1, test_refcount(job))
1823 endif
1824
1825 " Function arguments, copying and unassigning
1826 func ExprCheck(x, i)
1827 let i = a:i + 1
1828 call assert_equal(i, test_refcount(a:x))
1829 let Y = a:x
1830 call assert_equal(i + 1, test_refcount(a:x))
1831 call assert_equal(test_refcount(a:x), test_refcount(Y))
1832 let Y = 0
1833 call assert_equal(i, test_refcount(a:x))
1834 endfunc
1835 call ExprCheck([], 0)
1836 call ExprCheck({}, 0)
1837 call ExprCheck(0zff, 0)
1838 call ExprCheck({-> line('.')}, 0)
1839 if has('job')
1840 call ExprCheck(job, 1)
1841 call ExprCheck(job_getchannel(job), 1)
1842 call job_stop(job)
1843 endif
1844 delfunc ExprCheck
1845
1846 " Regarding function
1847 func Func(x) abort
1848 call assert_equal(2, test_refcount(function('Func')))
1849 call assert_equal(0, test_refcount(funcref('Func')))
1850 endfunc
1851 call assert_equal(1, test_refcount(function('Func')))
1852 call assert_equal(0, test_refcount(function('Func', [1])))
1853 call assert_equal(0, test_refcount(funcref('Func')))
1854 call assert_equal(0, test_refcount(funcref('Func', [1])))
1855 let X = function('Func')
1856 let Y = X
1857 call assert_equal(1, test_refcount(X))
1858 let X = function('Func', [1])
1859 let Y = X
1860 call assert_equal(2, test_refcount(X))
1861 let X = funcref('Func')
1862 let Y = X
1863 call assert_equal(2, test_refcount(X))
1864 let X = funcref('Func', [1])
1865 let Y = X
1866 call assert_equal(2, test_refcount(X))
1867 unlet X
1868 unlet Y
1869 call Func(1)
1870 delfunc Func
1871
1872 " Function with dict
1873 func DictFunc() dict
1874 call assert_equal(3, test_refcount(self))
1875 endfunc
1876 let d = {'Func': function('DictFunc')}
1877 call assert_equal(1, test_refcount(d))
1878 call assert_equal(0, test_refcount(d.Func))
1879 call d.Func()
1880 unlet d
1881 delfunc DictFunc
1882endfunc
1883
Bram Moolenaar7d491c42019-06-25 06:28:02 +02001884func Test_funccall_garbage_collect()
Bram Moolenaar6e5000d2019-06-17 21:18:41 +02001885 func Func(x, ...)
1886 call add(a:x, a:000)
1887 endfunc
1888 call Func([], [])
1889 " Must not crash cause by invalid freeing
1890 call test_garbagecollect_now()
1891 call assert_true(v:true)
1892 delfunc Func
1893endfunc
1894
Bram Moolenaarbc2cfe42019-07-04 14:57:12 +02001895func Test_function_defined_line()
Bram Moolenaar8c5a2782019-08-07 23:07:07 +02001896 CheckNotGui
Bram Moolenaarbc2cfe42019-07-04 14:57:12 +02001897
1898 let lines =<< trim [CODE]
1899 " F1
1900 func F1()
1901 " F2
1902 func F2()
1903 "
1904 "
1905 "
1906 return
1907 endfunc
1908 " F3
1909 execute "func F3()\n\n\n\nreturn\nendfunc"
1910 " F4
1911 execute "func F4()\n
1912 \\n
1913 \\n
1914 \\n
1915 \return\n
1916 \endfunc"
1917 endfunc
1918 " F5
1919 execute "func F5()\n\n\n\nreturn\nendfunc"
1920 " F6
1921 execute "func F6()\n
1922 \\n
1923 \\n
1924 \\n
1925 \return\n
1926 \endfunc"
1927 call F1()
1928 verbose func F1
1929 verbose func F2
1930 verbose func F3
1931 verbose func F4
1932 verbose func F5
1933 verbose func F6
1934 qall!
1935 [CODE]
1936
1937 call writefile(lines, 'Xtest.vim')
Bram Moolenaar93344c22019-08-14 21:12:05 +02001938 let res = system(GetVimCommandClean() .. ' -es -X -S Xtest.vim')
Bram Moolenaarbc2cfe42019-07-04 14:57:12 +02001939 call assert_equal(0, v:shell_error)
1940
1941 let m = matchstr(res, 'function F1()[^[:print:]]*[[:print:]]*')
1942 call assert_match(' line 2$', m)
1943
1944 let m = matchstr(res, 'function F2()[^[:print:]]*[[:print:]]*')
1945 call assert_match(' line 4$', m)
1946
1947 let m = matchstr(res, 'function F3()[^[:print:]]*[[:print:]]*')
1948 call assert_match(' line 11$', m)
1949
1950 let m = matchstr(res, 'function F4()[^[:print:]]*[[:print:]]*')
1951 call assert_match(' line 13$', m)
1952
1953 let m = matchstr(res, 'function F5()[^[:print:]]*[[:print:]]*')
1954 call assert_match(' line 21$', m)
1955
1956 let m = matchstr(res, 'function F6()[^[:print:]]*[[:print:]]*')
1957 call assert_match(' line 23$', m)
1958
1959 call delete('Xtest.vim')
1960endfunc
1961
Bram Moolenaar9f6277b2020-02-11 22:04:02 +01001962" Test for missing :endif, :endfor, :endwhile and :endtry {{{1
1963func Test_missing_end()
1964 call writefile(['if 2 > 1', 'echo ">"'], 'Xscript')
1965 call assert_fails('source Xscript', 'E171:')
1966 call writefile(['for i in range(5)', 'echo i'], 'Xscript')
1967 call assert_fails('source Xscript', 'E170:')
1968 call writefile(['while v:true', 'echo "."'], 'Xscript')
1969 call assert_fails('source Xscript', 'E170:')
1970 call writefile(['try', 'echo "."'], 'Xscript')
1971 call assert_fails('source Xscript', 'E600:')
1972 call delete('Xscript')
1973endfunc
1974
1975" Test for deep nesting of if/for/while/try statements {{{1
1976func Test_deep_nest()
1977 if !CanRunVimInTerminal()
1978 throw 'Skipped: cannot run vim in terminal'
1979 endif
1980
1981 let lines =<< trim [SCRIPT]
1982 " Deep nesting of if ... endif
1983 func Test1()
1984 let @a = join(repeat(['if v:true'], 51), "\n")
1985 let @a ..= "\n"
1986 let @a ..= join(repeat(['endif'], 51), "\n")
1987 @a
1988 let @a = ''
1989 endfunc
1990
1991 " Deep nesting of for ... endfor
1992 func Test2()
1993 let @a = join(repeat(['for i in [1]'], 51), "\n")
1994 let @a ..= "\n"
1995 let @a ..= join(repeat(['endfor'], 51), "\n")
1996 @a
1997 let @a = ''
1998 endfunc
1999
2000 " Deep nesting of while ... endwhile
2001 func Test3()
2002 let @a = join(repeat(['while v:true'], 51), "\n")
2003 let @a ..= "\n"
2004 let @a ..= join(repeat(['endwhile'], 51), "\n")
2005 @a
2006 let @a = ''
2007 endfunc
2008
2009 " Deep nesting of try ... endtry
2010 func Test4()
2011 let @a = join(repeat(['try'], 51), "\n")
2012 let @a ..= "\necho v:true\n"
2013 let @a ..= join(repeat(['endtry'], 51), "\n")
2014 @a
2015 let @a = ''
2016 endfunc
2017 [SCRIPT]
2018 call writefile(lines, 'Xscript')
2019
2020 let buf = RunVimInTerminal('-S Xscript', {'rows': 6})
2021
2022 " Deep nesting of if ... endif
2023 call term_sendkeys(buf, ":call Test1()\n")
2024 call WaitForAssert({-> assert_match('^E579:', term_getline(buf, 5))})
2025
2026 " Deep nesting of for ... endfor
2027 call term_sendkeys(buf, ":call Test2()\n")
2028 call WaitForAssert({-> assert_match('^E585:', term_getline(buf, 5))})
2029
2030 " Deep nesting of while ... endwhile
2031 call term_sendkeys(buf, ":call Test3()\n")
2032 call WaitForAssert({-> assert_match('^E585:', term_getline(buf, 5))})
2033
2034 " Deep nesting of try ... endtry
2035 call term_sendkeys(buf, ":call Test4()\n")
2036 call WaitForAssert({-> assert_match('^E601:', term_getline(buf, 5))})
2037
2038 "let l = ''
2039 "for i in range(1, 6)
2040 " let l ..= term_getline(buf, i) . "\n"
2041 "endfor
2042 "call assert_report(l)
2043
2044 call StopVimInTerminal(buf)
2045 call delete('Xscript')
2046endfunc
2047
Bram Moolenaarbc2b71d2020-02-17 21:33:30 +01002048" Test for <sfile>, <slnum> in a function {{{1
2049func Test_sfile_in_function()
2050 func Xfunc()
2051 call assert_match('..Test_sfile_in_function\[5]..Xfunc', expand('<sfile>'))
2052 call assert_equal('2', expand('<slnum>'))
2053 endfunc
2054 call Xfunc()
2055 delfunc Xfunc
2056endfunc
2057
Bram Moolenaar863e80b2017-06-04 20:30:00 +02002058"-------------------------------------------------------------------------------
Bram Moolenaarf49e2402015-12-30 15:59:25 +01002059" Modelines {{{1
Bram Moolenaar1f068232019-11-03 16:17:26 +01002060" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker
Bram Moolenaarf49e2402015-12-30 15:59:25 +01002061"-------------------------------------------------------------------------------