3 # Contributed by Graham Barr <Graham.Barr@tiuk.ti.com>
5 # So far there are tests for the following prototypes.
6 # none, () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@)
8 # It is impossible to test every prototype that can be specified, but
9 # we should test as many as we can.
17 # We need this, as in places we're testing the interaction of prototypes with
26 my $p = prototype(shift);
28 my $what = defined $c ? '(' . $p . ')' : 'no prototype';
30 print '# Testing ',$what,"\n";
33 if((defined($p) && defined($c) && $p ne $c)
34 || (defined($p) != defined($c)));
35 printf "ok %d\n",$i++;
46 testing \&no_proto, undef;
49 print "# \@_ = (",join(",",@_),")\n";
53 print "not " unless 0 == no_proto();
54 printf "ok %d\n",$i++;
56 print "not " unless 1 == no_proto(5);
57 printf "ok %d\n",$i++;
59 print "not " unless 4 == &no_proto;
60 printf "ok %d\n",$i++;
62 print "not " unless 1 == no_proto +6;
63 printf "ok %d\n",$i++;
65 print "not " unless 4 == no_proto(@_);
66 printf "ok %d\n",$i++;
73 testing \&no_args, '';
76 print "# \@_ = (",join(",",@_),")\n";
80 print "not " unless 0 == no_args();
81 printf "ok %d\n",$i++;
83 print "not " unless 0 == no_args;
84 printf "ok %d\n",$i++;
86 print "not " unless 5 == no_args +5;
87 printf "ok %d\n",$i++;
89 print "not " unless 4 == &no_args;
90 printf "ok %d\n",$i++;
92 print "not " unless 2 == &no_args(1,2);
93 printf "ok %d\n",$i++;
96 print "not " unless $@;
97 printf "ok %d\n",$i++;
103 testing \&one_args, '$';
106 print "# \@_ = (",join(",",@_),")\n";
110 print "not " unless 1 == one_args(1);
111 printf "ok %d\n",$i++;
113 print "not " unless 1 == one_args +5;
114 printf "ok %d\n",$i++;
116 print "not " unless 4 == &one_args;
117 printf "ok %d\n",$i++;
119 print "not " unless 2 == &one_args(1,2);
120 printf "ok %d\n",$i++;
122 eval "one_args(1,2)";
123 print "not " unless $@;
124 printf "ok %d\n",$i++;
127 print "not " unless $@;
128 printf "ok %d\n",$i++;
131 print "# \@_ = (",join(",",@_),")\n";
132 print "not " unless @_ == 1 && $_[0] == 4;
133 printf "ok %d\n",$i++;
142 testing \&over_one_args, '$@';
144 sub over_one_args ($@) {
145 print "# \@_ = (",join(",",@_),")\n";
149 print "not " unless 1 == over_one_args(1);
150 printf "ok %d\n",$i++;
152 print "not " unless 2 == over_one_args(1,2);
153 printf "ok %d\n",$i++;
155 print "not " unless 1 == over_one_args +5;
156 printf "ok %d\n",$i++;
158 print "not " unless 4 == &over_one_args;
159 printf "ok %d\n",$i++;
161 print "not " unless 2 == &over_one_args(1,2);
162 printf "ok %d\n",$i++;
164 print "not " unless 5 == &over_one_args(1,@_);
165 printf "ok %d\n",$i++;
167 eval "over_one_args()";
168 print "not " unless $@;
169 printf "ok %d\n",$i++;
171 sub over_one_a_args ($@) {
172 print "# \@_ = (",join(",",@_),")\n";
173 print "not " unless @_ >= 1 && $_[0] == 4;
174 printf "ok %d\n",$i++;
178 over_one_a_args(@_,1);
179 over_one_a_args(@_,1,2);
180 over_one_a_args(@_,@_);
186 testing \&scalar_and_hash, '$%';
188 sub scalar_and_hash ($%) {
189 print "# \@_ = (",join(",",@_),")\n";
193 print "not " unless 1 == scalar_and_hash(1);
194 printf "ok %d\n",$i++;
196 print "not " unless 3 == scalar_and_hash(1,2,3);
197 printf "ok %d\n",$i++;
199 print "not " unless 1 == scalar_and_hash +5;
200 printf "ok %d\n",$i++;
202 print "not " unless 4 == &scalar_and_hash;
203 printf "ok %d\n",$i++;
205 print "not " unless 2 == &scalar_and_hash(1,2);
206 printf "ok %d\n",$i++;
208 print "not " unless 5 == &scalar_and_hash(1,@_);
209 printf "ok %d\n",$i++;
211 eval "scalar_and_hash()";
212 print "not " unless $@;
213 printf "ok %d\n",$i++;
215 sub scalar_and_hash_a ($@) {
216 print "# \@_ = (",join(",",@_),")\n";
217 print "not " unless @_ >= 1 && $_[0] == 4;
218 printf "ok %d\n",$i++;
221 scalar_and_hash_a(@_);
222 scalar_and_hash_a(@_,1);
223 scalar_and_hash_a(@_,1,2);
224 scalar_and_hash_a(@_,@_);
230 testing \&one_or_two, '$;$';
232 sub one_or_two ($;$) {
233 print "# \@_ = (",join(",",@_),")\n";
237 print "not " unless 1 == one_or_two(1);
238 printf "ok %d\n",$i++;
240 print "not " unless 2 == one_or_two(1,3);
241 printf "ok %d\n",$i++;
243 print "not " unless 1 == one_or_two +5;
244 printf "ok %d\n",$i++;
246 print "not " unless 4 == &one_or_two;
247 printf "ok %d\n",$i++;
249 print "not " unless 3 == &one_or_two(1,2,3);
250 printf "ok %d\n",$i++;
252 print "not " unless 5 == &one_or_two(1,@_);
253 printf "ok %d\n",$i++;
256 print "not " unless $@;
257 printf "ok %d\n",$i++;
259 eval "one_or_two(1,2,3)";
260 print "not " unless $@;
261 printf "ok %d\n",$i++;
263 sub one_or_two_a ($;$) {
264 print "# \@_ = (",join(",",@_),")\n";
265 print "not " unless @_ >= 1 && $_[0] == 4;
266 printf "ok %d\n",$i++;
277 testing \&a_sub, '&';
280 print "# \@_ = (",join(",",@_),")\n";
284 sub tmp_sub_1 { printf "ok %d\n",$i++ }
286 a_sub { printf "ok %d\n",$i++ };
289 @array = ( \&tmp_sub_1 );
291 print "not " unless $@;
292 printf "ok %d\n",$i++;
298 testing \&a_subx, '\&';
301 print "# \@_ = (",join(",",@_),")\n";
305 sub tmp_sub_2 { printf "ok %d\n",$i++ }
308 @array = ( \&tmp_sub_2 );
309 eval 'a_subx @array';
310 print "not " unless $@;
311 printf "ok %d\n",$i++;
317 testing \&sub_aref, '&\@';
320 print "# \@_ = (",join(",",@_),")\n";
321 my($sub,$array) = @_;
322 print "not " unless @_ == 2 && @{$array} == 4;
323 print map { &{$sub}($_) } @{$array}
326 @array = (qw(O K)," ", $i++);
327 sub_aref { lc shift } @array;
334 testing \&sub_array, '&@';
337 print "# \@_ = (",join(",",@_),")\n";
338 print "not " unless @_ == 5;
340 print map { &{$sub}($_) } @_
343 @array = (qw(O K)," ", $i++);
344 sub_array { lc shift } @array;
345 sub_array { lc shift } ('O', 'K', ' ', $i++);
352 testing \&a_hash, '%';
355 print "# \@_ = (",join(",",@_),")\n";
359 print "not " unless 1 == a_hash 'a';
360 printf "ok %d\n",$i++;
362 print "not " unless 2 == a_hash 'a','b';
363 printf "ok %d\n",$i++;
369 testing \&a_hash_ref, '\%';
371 sub a_hash_ref (\%) {
372 print "# \@_ = (",join(",",@_),")\n";
373 print "not " unless ref($_[0]) && $_[0]->{'a'};
374 printf "ok %d\n",$i++;
380 print "not " unless $hash{'b'} == 2;
381 printf "ok %d\n",$i++;
387 testing \&array_ref_plus, '\@@';
389 sub array_ref_plus (\@@) {
390 print "# \@_ = (",join(",",@_),")\n";
391 print "not " unless @_ == 2 && ref($_[0]) && 1 == @{$_[0]} && $_[1] eq 'x';
392 printf "ok %d\n",$i++;
393 @{$_[0]} = (qw(ok)," ",$i++,"\n");
398 array_ref_plus @array, @more; }
399 print "not " unless @array == 4;
403 print "not " if defined prototype('CORE::print');
404 print "ok ", $i++, "\n";
406 print "not " if defined prototype('CORE::system');
407 print "ok ", $i++, "\n";
409 print "# CORE::open => ($p)\nnot " if ($p = prototype('CORE::open')) ne '*;$@';
410 print "ok ", $i++, "\n";
412 print "# CORE:Foo => ($p), \$@ => `$@'\nnot "
413 if defined ($p = eval { prototype('CORE::Foo') or 1 }) or $@ !~ /^Can't find an opnumber/;
414 print "ok ", $i++, "\n";
416 # correctly note too-short parameter lists that don't end with '$',
417 # a possible regression.
421 print "not " unless $@ =~ /^Not enough/;
422 print "ok ", $i++, "\n";
426 print "not " unless $@ =~ /^Not enough/;
427 print "ok ", $i++, "\n";
430 *X::foo3 = sub {'ok'};
431 print "# $@not " unless eval {X->foo3} eq 'ok';
432 print "ok ", $i++, "\n";
435 *X::foo4 = sub ($) {'ok'};
436 print "not " unless X->foo4 eq 'ok';
437 print "ok ", $i++, "\n";
439 # test if the (*) prototype allows barewords, constants, scalar expressions,
440 # globs and globrefs (just as CORE::open() does), all under stricture
441 sub star (*&) { &{$_[1]} }
442 sub star2 (**&) { &{$_[2]} }
444 sub Bar::BAZ { "quuz" }
447 print "not " unless $_[0] eq 'FOO';
448 print "ok $i - star FOO\n";
451 print "not " unless $_[0] eq 'FOO';
452 print "ok $i - star(FOO)\n";
455 print "not " unless $_[0] eq 'FOO';
456 print qq/ok $i - star "FOO"\n/;
459 print "not " unless $_[0] eq 'FOO';
460 print qq/ok $i - star("FOO")\n/;
463 print "not " unless $_[0] eq 'FOO';
464 print "ok $i - star \$star\n";
467 print "not " unless $_[0] eq 'FOO';
468 print "ok $i - star(\$star)\n";
471 print "not " unless $_[0] eq \*FOO;
472 print "ok $i - star *FOO\n";
475 print "not " unless $_[0] eq \*FOO;
476 print "ok $i - star(*FOO)\n";
479 print "not " unless $_[0] eq \*FOO;
480 print "ok $i - star \\*FOO\n";
483 print "not " unless $_[0] eq \*FOO;
484 print "ok $i - star(\\*FOO)\n";
486 star2 FOO, BAR, sub {
487 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'BAR';
488 print "ok $i - star2 FOO, BAR\n";
490 star2(Bar::BAZ, FOO, sub {
491 print "not " unless $_[0] eq 'Bar::BAZ' and $_[1] eq 'FOO';
492 print "ok $i - star2(Bar::BAZ, FOO)\n"
494 star2 BAR(), FOO, sub {
495 print "not " unless $_[0] eq 'quux' and $_[1] eq 'FOO';
496 print "ok $i - star2 BAR(), FOO\n"
498 star2(FOO, BAR(), sub {
499 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'quux';
500 print "ok $i - star2(FOO, BAR())\n";
502 star2 "FOO", "BAR", sub {
503 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'BAR';
504 print qq/ok $i - star2 "FOO", "BAR"\n/;
506 star2("FOO", "BAR", sub {
507 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'BAR';
508 print qq/ok $i - star2("FOO", "BAR")\n/;
510 star2 $star, $star, sub {
511 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'FOO';
512 print "ok $i - star2 \$star, \$star\n";
514 star2($star, $star, sub {
515 print "not " unless $_[0] eq 'FOO' and $_[1] eq 'FOO';
516 print "ok $i - star2(\$star, \$star)\n";
518 star2 *FOO, *BAR, sub {
519 print "not " unless $_[0] eq \*FOO and $_[1] eq \*BAR;
520 print "ok $i - star2 *FOO, *BAR\n";
522 star2(*FOO, *BAR, sub {
523 print "not " unless $_[0] eq \*FOO and $_[1] eq \*BAR;
524 print "ok $i - star2(*FOO, *BAR)\n";
526 star2 \*FOO, \*BAR, sub {
528 print "not " unless $_[0] eq \*{'FOO'} and $_[1] eq \*{'BAR'};
529 print "ok $i - star2 \*FOO, \*BAR\n";
531 star2(\*FOO, \*BAR, sub {
533 print "not " unless $_[0] eq \*{'FOO'} and $_[1] eq \*{'BAR'};
534 print "ok $i - star2(\*FOO, \*BAR)\n";
537 # test scalarref prototype
539 print "not " unless ref $_[0];
540 print "ok $_[1] - sreftest\n";
544 sreftest my $sref, $i++;
545 sreftest($helem{$i}, $i++);
546 sreftest $aelem[0], $i++;
549 # test prototypes when they are evaled and there is a syntax error
550 # Byacc generates the string "syntax error". Bison gives the
551 # string "parse error".
553 for my $p ( "", qw{ () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@) } ) {
555 local $SIG{__WARN__} = sub {
556 my $thiswarn = join("",@_);
557 return if $thiswarn =~ /^Prototype mismatch: sub main::evaled_subroutine/;
560 my $eval = "sub evaled_subroutine $p { &void *; }";
562 print "# eval[$eval]\nnot " unless $@ && $@ =~ /(parse|syntax) error/i;
563 print "ok ", $i++, "\n";
565 print "ok ", $i++, "\n";
567 print "not ok ", $i++, "# $warn \n";
572 print "not " unless prototype "CORE::substr" eq '$$;$$';
573 print "ok ", $i++, "\n";
575 # recv takes a scalar reference for its second argument
576 print "not " unless prototype "CORE::recv" eq '*\\$$$';
577 print "ok ", $i++, "\n";
583 sub mysub { print "not calling mysub I hope\n" }
586 sub myref (\[$@%&*]) { print "# $_[0]\n"; return "$_[0]" }
588 print "not " unless myref($myvar) =~ /^SCALAR\(/;
589 print "ok ", $i++, "\n";
590 print "not " unless myref(@myarray) =~ /^ARRAY\(/;
591 print "ok ", $i++, "\n";
592 print "not " unless myref(%myhash) =~ /^HASH\(/;
593 print "ok ", $i++, "\n";
594 print "not " unless myref(&mysub) =~ /^CODE\(/;
595 print "ok ", $i++, "\n";
596 print "not " unless myref(*myglob) =~ /^GLOB\(/;
597 print "ok ", $i++, "\n";
599 eval q/sub multi1 (\[%@]) { 1 } multi1 $myvar;/;
601 unless $@ =~ /Type of arg 1 to main::multi1 must be one of \[%\@\] /;
602 print "ok ", $i++, "\n";
603 eval q/sub multi2 (\[$*&]) { 1 } multi2 @myarray;/;
605 unless $@ =~ /Type of arg 1 to main::multi2 must be one of \[\$\*&\] /;
606 print "ok ", $i++, "\n";
607 eval q/sub multi3 (\[$@]) { 1 } multi3 %myhash;/;
609 unless $@ =~ /Type of arg 1 to main::multi3 must be one of \[\$\@\] /;
610 print "ok ", $i++, "\n";
611 eval q/sub multi4 ($\[%]) { 1 } multi4 1, &mysub;/;
613 unless $@ =~ /Type of arg 2 to main::multi4 must be one of \[%\] /;
614 print "ok ", $i++, "\n";
615 eval q/sub multi5 (\[$@]$) { 1 } multi5 *myglob;/;
617 unless $@ =~ /Type of arg 1 to main::multi5 must be one of \[\$\@\] /
618 && $@ =~ /Not enough arguments/;
619 print "ok ", $i++, "\n";
622 # check that obviously bad prototypes are getting warnings
626 local $SIG{__WARN__} = sub { $warn .= join("",@_) };
628 eval 'sub badproto (@bar) { 1; }';
629 print "not " unless $warn =~ /Illegal character in prototype for main::badproto : \@bar/;
630 print "ok ", $i++, "\n";
632 eval 'sub badproto2 (bar) { 1; }';
633 print "not " unless $warn =~ /Illegal character in prototype for main::badproto2 : bar/;
634 print "ok ", $i++, "\n";
636 eval 'sub badproto3 (&$bar$@) { 1; }';
637 print "not " unless $warn =~ /Illegal character in prototype for main::badproto3 : &\$bar\$\@/;
638 print "ok ", $i++, "\n";
640 eval 'sub badproto4 (@ $b ar) { 1; }';
641 print "not " unless $warn =~ /Illegal character in prototype for main::badproto4 : \@\$bar/;
642 print "ok ", $i++, "\n";
645 # make sure whitespace in prototypes works
646 eval "sub good (\$\t\$\n\$) { 1; }";
648 print "ok ", $i++, "\n";
650 # Ought to fail, doesn't in 5.8.1.
651 eval 'sub bug (\[%@]) { } my $array = [0 .. 1]; bug %$array;';
652 print "not " unless $@ =~ /Not a HASH reference/;
653 print "ok ", $i++, "\n";