Remove TODO tests about && in when() clauses
[p5sagit/p5-mst-13.2.git] / t / op / switch.t
1 #!./perl
2
3 BEGIN {
4     chdir 't' if -d 't';
5     @INC = '../lib';
6 }
7
8 use strict;
9 use warnings;
10
11 use Test::More tests => 109;
12
13 # The behaviour of the feature pragma should be tested by lib/switch.t
14 # using the tests in t/lib/switch/*. This file tests the behaviour of
15 # the switch ops themselves.
16               
17
18 use feature 'switch';
19 no warnings "numeric";
20
21 eval { continue };
22 like($@, qr/^Can't "continue" outside/, "continue outside");
23
24 eval { break };
25 like($@, qr/^Can't "break" outside/, "break outside");
26
27 # Scoping rules
28
29 {
30     my $x = "foo";
31     given(my $x = "bar") {
32         is($x, "bar", "given scope starts");
33     }
34     is($x, "foo", "given scope ends");
35 }
36
37 sub be_true {1}
38
39 given(my $x = "foo") {
40     when(be_true(my $x = "bar")) {
41         is($x, "bar", "given scope starts");
42     }
43     is($x, "foo", "given scope ends");
44 }
45
46 $_ = "outside";
47 given("inside") { check_outside1() }
48 sub check_outside1 { is($_, "outside", "\$_ lexically scoped") }
49
50 {
51     my $_ = "outside";
52     given("inside") { check_outside2() }
53     sub check_outside2 {
54         is($_, "outside", "\$_ lexically scoped (lexical \$_)")
55     }
56 }
57
58 # Basic string/numeric comparisons and control flow
59
60 {    
61     my $ok;
62     given(3) {
63         when(2) { $ok = 'two'; }
64         when(3) { $ok = 'three'; }
65         when(4) { $ok = 'four'; }
66         default { $ok = 'd'; }
67     }
68     is($ok, 'three', "numeric comparison");
69 }
70
71 {    
72     my $ok;
73     use integer;
74     given(3.14159265) {
75         when(2) { $ok = 'two'; }
76         when(3) { $ok = 'three'; }
77         when(4) { $ok = 'four'; }
78         default { $ok = 'd'; }
79     }
80     is($ok, 'three', "integer comparison");
81 }
82
83 {    
84     my ($ok1, $ok2);
85     given(3) {
86         when(3.1)   { $ok1 = 'n'; }
87         when(3.0)   { $ok1 = 'y'; continue }
88         when("3.0") { $ok2 = 'y'; }
89         default     { $ok2 = 'n'; }
90     }
91     is($ok1, 'y', "more numeric (pt. 1)");
92     is($ok2, 'y', "more numeric (pt. 2)");
93 }
94
95 {
96     my $ok;
97     given("c") {
98         when("b") { $ok = 'B'; }
99         when("c") { $ok = 'C'; }
100         when("d") { $ok = 'D'; }
101         default   { $ok = 'def'; }
102     }
103     is($ok, 'C', "string comparison");
104 }
105
106 {
107     my $ok;
108     given("c") {
109         when("b") { $ok = 'B'; }
110         when("c") { $ok = 'C'; continue }
111         when("c") { $ok = 'CC'; }
112         default   { $ok = 'D'; }
113     }
114     is($ok, 'CC', "simple continue");
115 }
116
117 # Definedness
118 {
119     my $ok = 1;
120     given (0) { when(undef) {$ok = 0} }
121     is($ok, 1, "Given(0) when(undef)");
122 }
123 {
124     my $undef;
125     my $ok = 1;
126     given (0) { when($undef) {$ok = 0} }
127     is($ok, 1, 'Given(0) when($undef)');
128 }
129 {
130     my $undef;
131     my $ok = 0;
132     given (0) { when($undef++) {$ok = 1} }
133     is($ok, 1, "Given(0) when($undef++)");
134 }
135 {
136     my $ok = 1;
137     given (undef) { when(0) {$ok = 0} }
138     is($ok, 1, "Given(undef) when(0)");
139 }
140 {
141     my $undef;
142     my $ok = 1;
143     given ($undef) { when(0) {$ok = 0} }
144     is($ok, 1, 'Given($undef) when(0)');
145 }
146 ########
147 {
148     my $ok = 1;
149     given ("") { when(undef) {$ok = 0} }
150     is($ok, 1, 'Given("") when(undef)');
151 }
152 {
153     my $undef;
154     my $ok = 1;
155     given ("") { when($undef) {$ok = 0} }
156     is($ok, 1, 'Given("") when($undef)');
157 }
158 {
159     my $ok = 1;
160     given (undef) { when("") {$ok = 0} }
161     is($ok, 1, 'Given(undef) when("")');
162 }
163 {
164     my $undef;
165     my $ok = 1;
166     given ($undef) { when("") {$ok = 0} }
167     is($ok, 1, 'Given($undef) when("")');
168 }
169 ########
170 {
171     my $ok = 0;
172     given (undef) { when(undef) {$ok = 1} }
173     is($ok, 1, "Given(undef) when(undef)");
174 }
175 {
176     my $undef;
177     my $ok = 0;
178     given (undef) { when($undef) {$ok = 1} }
179     is($ok, 1, 'Given(undef) when($undef)');
180 }
181 {
182     my $undef;
183     my $ok = 0;
184     given ($undef) { when(undef) {$ok = 1} }
185     is($ok, 1, 'Given($undef) when(undef)');
186 }
187 {
188     my $undef;
189     my $ok = 0;
190     given ($undef) { when($undef) {$ok = 1} }
191     is($ok, 1, 'Given($undef) when($undef)');
192 }
193
194
195 # Regular expressions
196 {
197     my ($ok1, $ok2);
198     given("Hello, world!") {
199         when(/lo/)
200             { $ok1 = 'y'; continue}
201         when(/no/)
202             { $ok1 = 'n'; continue}
203         when(/^(Hello,|Goodbye cruel) world[!.?]/)
204             { $ok2 = 'Y'; continue}
205         when(/^(Hello cruel|Goodbye,) world[!.?]/)
206             { $ok2 = 'n'; continue}
207     }
208     is($ok1, 'y', "regex 1");
209     is($ok2, 'Y', "regex 2");
210 }
211
212 # Comparisons
213 {
214     my $test = "explicit numeric comparison (<)";
215     my $twenty_five = 25;
216     my $ok;
217     given($twenty_five) {
218         when ($_ < 10) { $ok = "ten" }
219         when ($_ < 20) { $ok = "twenty" }
220         when ($_ < 30) { $ok = "thirty" }
221         when ($_ < 40) { $ok = "forty" }
222         default        { $ok = "default" }
223     }
224     is($ok, "thirty", $test);
225 }
226
227 {
228     use integer;
229     my $test = "explicit numeric comparison (integer <)";
230     my $twenty_five = 25;
231     my $ok;
232     given($twenty_five) {
233         when ($_ < 10) { $ok = "ten" }
234         when ($_ < 20) { $ok = "twenty" }
235         when ($_ < 30) { $ok = "thirty" }
236         when ($_ < 40) { $ok = "forty" }
237         default        { $ok = "default" }
238     }
239     is($ok, "thirty", $test);
240 }
241
242 {
243     my $test = "explicit numeric comparison (<=)";
244     my $twenty_five = 25;
245     my $ok;
246     given($twenty_five) {
247         when ($_ <= 10) { $ok = "ten" }
248         when ($_ <= 20) { $ok = "twenty" }
249         when ($_ <= 30) { $ok = "thirty" }
250         when ($_ <= 40) { $ok = "forty" }
251         default         { $ok = "default" }
252     }
253     is($ok, "thirty", $test);
254 }
255
256 {
257     use integer;
258     my $test = "explicit numeric comparison (integer <=)";
259     my $twenty_five = 25;
260     my $ok;
261     given($twenty_five) {
262         when ($_ <= 10) { $ok = "ten" }
263         when ($_ <= 20) { $ok = "twenty" }
264         when ($_ <= 30) { $ok = "thirty" }
265         when ($_ <= 40) { $ok = "forty" }
266         default         { $ok = "default" }
267     }
268     is($ok, "thirty", $test);
269 }
270
271
272 {
273     my $test = "explicit numeric comparison (>)";
274     my $twenty_five = 25;
275     my $ok;
276     given($twenty_five) {
277         when ($_ > 40) { $ok = "forty" }
278         when ($_ > 30) { $ok = "thirty" }
279         when ($_ > 20) { $ok = "twenty" }
280         when ($_ > 10) { $ok = "ten" }
281         default        { $ok = "default" }
282     }
283     is($ok, "twenty", $test);
284 }
285
286 {
287     my $test = "explicit numeric comparison (>=)";
288     my $twenty_five = 25;
289     my $ok;
290     given($twenty_five) {
291         when ($_ >= 40) { $ok = "forty" }
292         when ($_ >= 30) { $ok = "thirty" }
293         when ($_ >= 20) { $ok = "twenty" }
294         when ($_ >= 10) { $ok = "ten" }
295         default         { $ok = "default" }
296     }
297     is($ok, "twenty", $test);
298 }
299
300 {
301     use integer;
302     my $test = "explicit numeric comparison (integer >)";
303     my $twenty_five = 25;
304     my $ok;
305     given($twenty_five) {
306         when ($_ > 40) { $ok = "forty" }
307         when ($_ > 30) { $ok = "thirty" }
308         when ($_ > 20) { $ok = "twenty" }
309         when ($_ > 10) { $ok = "ten" }
310         default        { $ok = "default" }
311     }
312     is($ok, "twenty", $test);
313 }
314
315 {
316     use integer;
317     my $test = "explicit numeric comparison (integer >=)";
318     my $twenty_five = 25;
319     my $ok;
320     given($twenty_five) {
321         when ($_ >= 40) { $ok = "forty" }
322         when ($_ >= 30) { $ok = "thirty" }
323         when ($_ >= 20) { $ok = "twenty" }
324         when ($_ >= 10) { $ok = "ten" }
325         default         { $ok = "default" }
326     }
327     is($ok, "twenty", $test);
328 }
329
330
331 {
332     my $test = "explicit string comparison (lt)";
333     my $twenty_five = "25";
334     my $ok;
335     given($twenty_five) {
336         when ($_ lt "10") { $ok = "ten" }
337         when ($_ lt "20") { $ok = "twenty" }
338         when ($_ lt "30") { $ok = "thirty" }
339         when ($_ lt "40") { $ok = "forty" }
340         default           { $ok = "default" }
341     }
342     is($ok, "thirty", $test);
343 }
344
345 {
346     my $test = "explicit string comparison (le)";
347     my $twenty_five = "25";
348     my $ok;
349     given($twenty_five) {
350         when ($_ le "10") { $ok = "ten" }
351         when ($_ le "20") { $ok = "twenty" }
352         when ($_ le "30") { $ok = "thirty" }
353         when ($_ le "40") { $ok = "forty" }
354         default           { $ok = "default" }
355     }
356     is($ok, "thirty", $test);
357 }
358
359 {
360     my $test = "explicit string comparison (gt)";
361     my $twenty_five = 25;
362     my $ok;
363     given($twenty_five) {
364         when ($_ ge "40") { $ok = "forty" }
365         when ($_ ge "30") { $ok = "thirty" }
366         when ($_ ge "20") { $ok = "twenty" }
367         when ($_ ge "10") { $ok = "ten" }
368         default           { $ok = "default" }
369     }
370     is($ok, "twenty", $test);
371 }
372
373 {
374     my $test = "explicit string comparison (ge)";
375     my $twenty_five = 25;
376     my $ok;
377     given($twenty_five) {
378         when ($_ ge "40") { $ok = "forty" }
379         when ($_ ge "30") { $ok = "thirty" }
380         when ($_ ge "20") { $ok = "twenty" }
381         when ($_ ge "10") { $ok = "ten" }
382         default           { $ok = "default" }
383     }
384     is($ok, "twenty", $test);
385 }
386
387 # Make sure it still works with a lexical $_:
388 {
389     my $_;
390     my $test = "explicit comparison with lexical \$_";
391     my $twenty_five = 25;
392     my $ok;
393     given($twenty_five) {
394         when ($_ ge "40") { $ok = "forty" }
395         when ($_ ge "30") { $ok = "thirty" }
396         when ($_ ge "20") { $ok = "twenty" }
397         when ($_ ge "10") { $ok = "ten" }
398         default           { $ok = "default" }
399     }
400     is($ok, "twenty", $test);
401 }
402
403 # Optimized-away comparisons
404 {
405     my $ok;
406     given(23) {
407         when (2 + 2 == 4) { $ok = 'y'; continue }
408         when (2 + 2 == 5) { $ok = 'n' }
409     }
410     is($ok, 'y', "Optimized-away comparison");
411 }
412
413 # File tests
414 #  (How to be both thorough and portable? Pinch a few ideas
415 #  from t/op/filetest.t. We err on the side of portability for
416 #  the time being.)
417
418 {
419     my ($ok_d, $ok_f, $ok_r);
420     given("op") {
421         when(-d)  {$ok_d = 1; continue}
422         when(!-f) {$ok_f = 1; continue}
423         when(-r)  {$ok_r = 1; continue}
424     }
425     ok($ok_d, "Filetest -d");
426     ok($ok_f, "Filetest -f");
427     ok($ok_r, "Filetest -r");
428 }
429
430 # Sub and method calls
431 sub bar {"bar"}
432 {
433     my $ok = 0;
434     given("foo") {
435         when(bar()) {$ok = 1}
436     }
437     ok($ok, "Sub call acts as boolean")
438 }
439
440 {
441     my $ok = 0;
442     given("foo") {
443         when(main->bar()) {$ok = 1}
444     }
445     ok($ok, "Class-method call acts as boolean")
446 }
447
448 {
449     my $ok = 0;
450     my $obj = bless [];
451     given("foo") {
452         when($obj->bar()) {$ok = 1}
453     }
454     ok($ok, "Object-method call acts as boolean")
455 }
456
457 # Other things that should not be smart matched
458 {
459     my $ok = 0;
460     given(12) {
461         when( /(\d+)/ and ( 1 <= $1 and $1 <= 12 ) ) {
462             $ok = 1;
463         }
464     }
465     ok($ok, "bool not smartmatches");
466 }
467
468 {
469     my $ok = 0;
470     given(0) {
471         when(eof(DATA)) {
472             $ok = 1;
473         }
474     }
475     ok($ok, "eof() not smartmatched");
476 }
477
478 {
479     my $ok = 0;
480     my %foo = ("bar", 0);
481     given(0) {
482         when(exists $foo{bar}) {
483             $ok = 1;
484         }
485     }
486     ok($ok, "exists() not smartmatched");
487 }
488
489 {
490     my $ok = 0;
491     given(0) {
492         when(defined $ok) {
493             $ok = 1;
494         }
495     }
496     ok($ok, "defined() not smartmatched");
497 }
498
499 {
500     my $ok = 1;
501     given("foo") {
502         when((1 == 1) && "bar") {
503             $ok = 0;
504         }
505         when((1 == 1) && $_ eq "foo") {
506             $ok = 2;
507         }
508     }
509     is($ok, 2, "((1 == 1) && \"bar\") not smartmatched");
510 }
511
512 {
513     my $ok = 0;
514     given("foo") {
515         when((1 == $ok) || "foo") {
516             $ok = 1;
517         }
518     }
519     ok($ok, '((1 == $ok) || "foo") smartmatched');
520 }
521
522 {
523     my $ok = 0;
524     given("foo") {
525         when((1 == $ok || undef) // "foo") {
526             $ok = 1;
527         }
528     }
529     ok($ok, '((1 == $ok || undef) // "foo") smartmatched');
530 }
531
532 # Make sure we aren't invoking the get-magic more than once
533
534 { # A helper class to count the number of accesses.
535     package FetchCounter;
536     sub TIESCALAR {
537         my ($class) = @_;
538         bless {value => undef, count => 0}, $class;
539     }
540     sub STORE {
541         my ($self, $val) = @_;
542         $self->{count} = 0;
543         $self->{value} = $val;
544     }
545     sub FETCH {
546         my ($self) = @_;
547         # Avoid pre/post increment here
548         $self->{count} = 1 + $self->{count};
549         $self->{value};
550     }
551     sub count {
552         my ($self) = @_;
553         $self->{count};
554     }
555 }
556
557 my $f = tie my $v, "FetchCounter";
558
559 {   my $test_name = "Only one FETCH (in given)";
560     my $ok;
561     given($v = 23) {
562         when(undef) {}
563         when(sub{0}->()) {}
564         when(21) {}
565         when("22") {}
566         when(23) {$ok = 1}
567         when(/24/) {$ok = 0}
568     }
569     is($ok, 1, "precheck: $test_name");
570     is($f->count(), 1, $test_name);
571 }
572
573 {   my $test_name = "Only one FETCH (numeric when)";
574     my $ok;
575     $v = 23;
576     is($f->count(), 0, "Sanity check: $test_name");
577     given(23) {
578         when(undef) {}
579         when(sub{0}->()) {}
580         when(21) {}
581         when("22") {}
582         when($v) {$ok = 1}
583         when(/24/) {$ok = 0}
584     }
585     is($ok, 1, "precheck: $test_name");
586     is($f->count(), 1, $test_name);
587 }
588
589 {   my $test_name = "Only one FETCH (string when)";
590     my $ok;
591     $v = "23";
592     is($f->count(), 0, "Sanity check: $test_name");
593     given("23") {
594         when(undef) {}
595         when(sub{0}->()) {}
596         when("21") {}
597         when("22") {}
598         when($v) {$ok = 1}
599         when(/24/) {$ok = 0}
600     }
601     is($ok, 1, "precheck: $test_name");
602     is($f->count(), 1, $test_name);
603 }
604
605 {   my $test_name = "Only one FETCH (undef)";
606     my $ok;
607     $v = undef;
608     is($f->count(), 0, "Sanity check: $test_name");
609     given(my $undef) {
610         when(sub{0}->()) {}
611         when("21")  {}
612         when("22")  {}
613         when($v)    {$ok = 1}
614         when(undef) {$ok = 0}
615     }
616     is($ok, 1, "precheck: $test_name");
617     is($f->count(), 1, $test_name);
618 }
619
620 # Loop topicalizer
621 {
622     my $first = 1;
623     for (1, "two") {
624         when ("two") {
625             is($first, 0, "Loop: second");
626             eval {break};
627             like($@, qr/^Can't "break" in a loop topicalizer/,
628                 q{Can't "break" in a loop topicalizer});
629         }
630         when (1) {
631             is($first, 1, "Loop: first");
632             $first = 0;
633             # Implicit break is okay
634         }
635     }
636 }
637
638 {
639     my $first = 1;
640     for $_ (1, "two") {
641         when ("two") {
642             is($first, 0, "Explicit \$_: second");
643             eval {break};
644             like($@, qr/^Can't "break" in a loop topicalizer/,
645                 q{Can't "break" in a loop topicalizer});
646         }
647         when (1) {
648             is($first, 1, "Explicit \$_: first");
649             $first = 0;
650             # Implicit break is okay
651         }
652     }
653 }
654
655 {
656     my $first = 1;
657     my $_;
658     for (1, "two") {
659         when ("two") {
660             is($first, 0, "Implicitly lexical loop: second");
661             eval {break};
662             like($@, qr/^Can't "break" in a loop topicalizer/,
663                 q{Can't "break" in a loop topicalizer});
664         }
665         when (1) {
666             is($first, 1, "Implicitly lexical loop: first");
667             $first = 0;
668             # Implicit break is okay
669         }
670     }
671 }
672
673 {
674     my $first = 1;
675     my $_;
676     for $_ (1, "two") {
677         when ("two") {
678             is($first, 0, "Implicitly lexical, explicit \$_: second");
679             eval {break};
680             like($@, qr/^Can't "break" in a loop topicalizer/,
681                 q{Can't "break" in a loop topicalizer});
682         }
683         when (1) {
684             is($first, 1, "Implicitly lexical, explicit \$_: first");
685             $first = 0;
686             # Implicit break is okay
687         }
688     }
689 }
690
691 {
692     my $first = 1;
693     for my $_ (1, "two") {
694         when ("two") {
695             is($first, 0, "Lexical loop: second");
696             eval {break};
697             like($@, qr/^Can't "break" in a loop topicalizer/,
698                 q{Can't "break" in a loop topicalizer});
699         }
700         when (1) {
701             is($first, 1, "Lexical loop: first");
702             $first = 0;
703             # Implicit break is okay
704         }
705     }
706 }
707
708
709 # Code references
710 {
711     no warnings "redefine";
712     my $called_foo = 0;
713     sub foo {$called_foo = 1}
714     my $called_bar = 0;
715     sub bar {$called_bar = 1}
716     my ($matched_foo, $matched_bar) = (0, 0);
717     given(\&foo) {
718         when(\&bar) {$matched_bar = 1}
719         when(\&foo) {$matched_foo = 1}
720     }
721     is($called_foo, 0,  "Code ref comparison: foo not called");
722     is($called_bar, 0,  "Code ref comparison: bar not called");
723     is($matched_bar, 0, "Code ref didn't match different one");
724     is($matched_foo, 1, "Code ref did match itself");
725 }
726
727 sub contains_x {
728     my $x = shift;
729     return ($x =~ /x/);
730 }
731 {
732     my ($ok1, $ok2) = (0,0);
733     given("foxy!") {
734         when(contains_x($_))
735             { $ok1 = 1; continue }
736         when(\&contains_x)
737             { $ok2 = 1; continue }
738     }
739     is($ok1, 1, "Calling sub directly (true)");
740     is($ok2, 1, "Calling sub indirectly (true)");
741
742     given("foggy") {
743         when(contains_x($_))
744             { $ok1 = 2; continue }
745         when(\&contains_x)
746             { $ok2 = 2; continue }
747     }
748     is($ok1, 1, "Calling sub directly (false)");
749     is($ok2, 1, "Calling sub indirectly (false)");
750 }
751
752 SKIP: {
753     skip "Scalar/Util.pm not yet available", 20
754         unless -r "$INC[0]/Scalar/Util.pm";
755     # Test overloading
756     { package OverloadTest;
757
758       use overload '""' => sub{"string value of obj"};
759
760       use overload "~~" => sub {
761           my ($self, $other, $reversed) = @_;
762           if ($reversed) {
763               $self->{left}  = $other;
764               $self->{right} = $self;
765               $self->{reversed} = 1;
766           } else {
767               $self->{left}  = $self;
768               $self->{right} = $other;
769               $self->{reversed} = 0;
770           }
771           $self->{called} = 1;
772           return $self->{retval};
773       };
774     
775       sub new {
776           my ($pkg, $retval) = @_;
777           bless {
778                  called => 0,
779                  retval => $retval,
780                 }, $pkg;
781       }
782   }
783
784     {
785         my $test = "Overloaded obj in given (true)";
786         my $obj = OverloadTest->new(1);
787         my $matched;
788         given($obj) {
789             when ("other arg") {$matched = 1}
790             default {$matched = 0}
791         }
792     
793         is($obj->{called},  1, "$test: called");
794         ok($matched, "$test: matched");
795         is($obj->{left}, "string value of obj", "$test: left");
796         is($obj->{right}, "other arg", "$test: right");
797         ok(!$obj->{reversed}, "$test: not reversed");
798     }
799
800     {
801         my $test = "Overloaded obj in given (false)";
802         my $obj = OverloadTest->new(0);
803         my $matched;
804         given($obj) {
805             when ("other arg") {$matched = 1}
806         }
807     
808         is($obj->{called},  1, "$test: called");
809         ok(!$matched, "$test: not matched");
810         is($obj->{left}, "string value of obj", "$test: left");
811         is($obj->{right}, "other arg", "$test: right");
812         ok(!$obj->{reversed}, "$test: not reversed");
813     }
814
815     {
816         my $test = "Overloaded obj in when (true)";
817         my $obj = OverloadTest->new(1);
818         my $matched;
819         given("topic") {
820             when ($obj) {$matched = 1}
821             default {$matched = 0}
822         }
823     
824         is($obj->{called},  1, "$test: called");
825         ok($matched, "$test: matched");
826         is($obj->{left}, "topic", "$test: left");
827         is($obj->{right}, "string value of obj", "$test: right");
828         ok($obj->{reversed}, "$test: reversed");
829     }
830
831     {
832         my $test = "Overloaded obj in when (false)";
833         my $obj = OverloadTest->new(0);
834         my $matched;
835         given("topic") {
836             when ($obj) {$matched = 1}
837             default {$matched = 0}
838         }
839     
840         is($obj->{called}, 1, "$test: called");
841         ok(!$matched, "$test: not matched");
842         is($obj->{left}, "topic", "$test: left");
843         is($obj->{right}, "string value of obj", "$test: right");
844         ok($obj->{reversed}, "$test: reversed");
845     }
846 }
847 # Okay, that'll do for now. The intricacies of the smartmatch
848 # semantics are tested in t/op/smartmatch.t
849 __END__