t/op/attrs.t

   1 #!./perl -w
   2
   3 # Regression tests for attributes.pm and the C< : attrs> syntax.
   4
   5 BEGIN {
   6     chdir 't' if -d 't';
   7     @INC = '../lib';
   8     require './test.pl';
   9 }
  10
  11 plan tests => 47;
  12
  13 $SIG{__WARN__} = sub { die @_ };
  14
  15 sub eval_ok ($) {
  16     eval $_[0];
  17     is( $@, '' );
  18 }
  19
  20 eval_ok 'sub t1 ($) : locked { $_[0]++ }';
  21 eval_ok 'sub t2 : locked { $_[0]++ }';
  22 eval_ok 'sub t3 ($) : locked ;';
  23 eval_ok 'sub t4 : locked ;';
  24 our $anon1; eval_ok '$anon1 = sub ($) : locked:method { $_[0]++ }';
  25 our $anon2; eval_ok '$anon2 = sub : locked : method { $_[0]++ }';
  26 our $anon3; eval_ok '$anon3 = sub : method { $_[0]->[1] }';
  27
  28 eval 'sub e1 ($) : plugh ;';
  29 like $@, qr/^Invalid CODE attributes?: ["']?plugh["']? at/;
  30
  31 eval 'sub e2 ($) : plugh(0,0) xyzzy ;';
  32 like $@, qr/^Invalid CODE attributes: ["']?plugh\(0,0\)["']? /;
  33
  34 eval 'sub e3 ($) : plugh(0,0 xyzzy ;';
  35 like $@, qr/Unterminated attribute parameter in attribute list at/;
  36
  37 eval 'sub e4 ($) : plugh + xyzzy ;';
  38 like $@, qr/Invalid separator character '[+]' in attribute list at/;
  39
  40 eval_ok 'my main $x : = 0;';
  41 eval_ok 'my $x : = 0;';
  42 eval_ok 'my $x ;';
  43 eval_ok 'my ($x) : = 0;';
  44 eval_ok 'my ($x) ;';
  45 eval_ok 'my ($x) : ;';
  46 eval_ok 'my ($x,$y) : = 0;';
  47 eval_ok 'my ($x,$y) ;';
  48 eval_ok 'my ($x,$y) : ;';
  49
  50 eval 'my ($x,$y) : plugh;';
  51 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
  52
  53 # bug #16080
  54 eval '{my $x : plugh}';
  55 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
  56 eval '{my ($x,$y) : plugh(})}';
  57 like $@, qr/^Invalid SCALAR attribute: ["']?plugh\(}\)["']? at/;
  58
  59 # More syntax tests from the attributes manpage
  60 eval 'my $x : switch(10,foo(7,3))  :  expensive;';
  61 like $@, qr/^Invalid SCALAR attributes: ["']?switch\(10,foo\(7,3\)\) : expensive["']? at/;
  62 eval q/my $x : Ugly('\(") :Bad;/;
  63 like $@, qr/^Invalid SCALAR attributes: ["']?Ugly\('\\\("\) : Bad["']? at/;
  64 eval 'my $x : _5x5;';
  65 like $@, qr/^Invalid SCALAR attribute: ["']?_5x5["']? at/;
  66 eval 'my $x : locked method;';
  67 like $@, qr/^Invalid SCALAR attributes: ["']?locked : method["']? at/;
  68 eval 'my $x : switch(10,foo();';
  69 like $@, qr/^Unterminated attribute parameter in attribute list at/;
  70 eval q/my $x : Ugly('(');/;
  71 like $@, qr/^Unterminated attribute parameter in attribute list at/;
  72 eval 'my $x : 5x5;';
  73 like $@, qr/error/;
  74 eval 'my $x : Y2::north;';
  75 like $@, qr/Invalid separator character ':' in attribute list at/;
  76
  77 sub A::MODIFY_SCALAR_ATTRIBUTES { return }
  78 eval 'my A $x : plugh;';
  79 like $@, qr/^SCALAR package attribute may clash with future reserved word: ["']?plugh["']? at/;
  80
  81 eval 'my A $x : plugh plover;';
  82 like $@, qr/^SCALAR package attributes may clash with future reserved words: ["']?plugh["']? /;
  83
  84 eval 'package Cat; my Cat @socks;';
  85 like $@, qr/^Can't declare class for non-scalar \@socks in "my"/;
  86
  87 sub X::MODIFY_CODE_ATTRIBUTES { die "$_[0]" }
  88 sub X::foo { 1 }
  89 *Y::bar = \&X::foo;
  90 *Y::bar = \&X::foo;     # second time for -w
  91 eval 'package Z; sub Y::bar : foo';
  92 like $@, qr/^X at /;
  93
  94 eval 'package Z; sub Y::baz : locked {}';
  95 my @attrs = eval 'attributes::get \&Y::baz';
  96 is "@attrs", "locked";
  97
  98 @attrs = eval 'attributes::get $anon1';
  99 is "@attrs", "locked method";
 100
 101 sub Z::DESTROY { }
 102 sub Z::FETCH_CODE_ATTRIBUTES { return 'Z' }
 103 my $thunk = eval 'bless +sub : method locked { 1 }, "Z"';
 104 is ref($thunk), "Z";
 105
 106 @attrs = eval 'attributes::get $thunk';
 107 is "@attrs", "locked method Z";
 108
 109 # Test ability to modify existing sub's (or XSUB's) attributes.
 110 eval 'package A; sub X { $_[0] } sub X : lvalue';
 111 @attrs = eval 'attributes::get \&A::X';
 112 is "@attrs", "lvalue";
 113
 114 # Above not with just 'pure' built-in attributes.
 115 sub Z::MODIFY_CODE_ATTRIBUTES { (); }
 116 eval 'package Z; sub L { $_[0] } sub L : Z lvalue';
 117 @attrs = eval 'attributes::get \&Z::L';
 118 is "@attrs", "lvalue Z";
 119
 120 # Begin testing attributes that tie
 121
 122 {
 123     package Ttie;
 124     sub DESTROY {}
 125     sub TIESCALAR { my $x = $_[1]; bless \$x, $_[0]; }
 126     sub FETCH { ${$_[0]} }
 127     sub STORE {
 128         ::pass;
 129         ${$_[0]} = $_[1]*2;
 130     }
 131     package Tloop;
 132     sub MODIFY_SCALAR_ATTRIBUTES { tie ${$_[1]}, 'Ttie', -1; (); }
 133 }
 134
 135 eval_ok '
 136     package Tloop;
 137     for my $i (0..2) {
 138         my $x : TieLoop = $i;
 139         $x != $i*2 and ::is $x, $i*2;
 140     }
 141 ';
 142
 143 # bug #15898
 144 eval 'our ${""} : foo = 1';
 145 like $@, qr/Can't declare scalar dereference in our/;
 146 eval 'my $$foo : bar = 1';
 147 like $@, qr/Can't declare scalar dereference in my/;