t/op/attrs.t

   1 #!./perl
   2
   3 # Regression tests for attributes.pm and the C< : attrs> syntax.
   4
   5 use warnings;
   6
   7 BEGIN {
   8     chdir 't' if -d 't';
   9     @INC = '../lib';
  10     require './test.pl';
  11 }
  12
  13 plan 83;
  14
  15 $SIG{__WARN__} = sub { die @_ };
  16
  17 sub eval_ok ($;$) {
  18     eval shift;
  19     is( $@, '', @_);
  20 }
  21
  22 our $anon1; eval_ok '$anon1 = sub : method { $_[0]++ }';
  23
  24 eval 'sub e1 ($) : plugh ;';
  25 like $@, qr/^Invalid CODE attributes?: ["']?plugh["']? at/;
  26
  27 eval 'sub e2 ($) : plugh(0,0) xyzzy ;';
  28 like $@, qr/^Invalid CODE attributes: ["']?plugh\(0,0\)["']? /;
  29
  30 eval 'sub e3 ($) : plugh(0,0 xyzzy ;';
  31 like $@, qr/Unterminated attribute parameter in attribute list at/;
  32
  33 eval 'sub e4 ($) : plugh + xyzzy ;';
  34 like $@, qr/Invalid separator character '[+]' in attribute list at/;
  35
  36 eval_ok 'my main $x : = 0;';
  37 eval_ok 'my $x : = 0;';
  38 eval_ok 'my $x ;';
  39 eval_ok 'my ($x) : = 0;';
  40 eval_ok 'my ($x) ;';
  41 eval_ok 'my ($x) : ;';
  42 eval_ok 'my ($x,$y) : = 0;';
  43 eval_ok 'my ($x,$y) ;';
  44 eval_ok 'my ($x,$y) : ;';
  45
  46 eval 'my ($x,$y) : plugh;';
  47 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
  48
  49 # bug #16080
  50 eval '{my $x : plugh}';
  51 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
  52 eval '{my ($x,$y) : plugh(})}';
  53 like $@, qr/^Invalid SCALAR attribute: ["']?plugh\(}\)["']? at/;
  54
  55 # More syntax tests from the attributes manpage
  56 eval 'my $x : switch(10,foo(7,3))  :  expensive;';
  57 like $@, qr/^Invalid SCALAR attributes: ["']?switch\(10,foo\(7,3\)\) : expensive["']? at/;
  58 eval q/my $x : Ugly('\(") :Bad;/;
  59 like $@, qr/^Invalid SCALAR attributes: ["']?Ugly\('\\\("\) : Bad["']? at/;
  60 eval 'my $x : _5x5;';
  61 like $@, qr/^Invalid SCALAR attribute: ["']?_5x5["']? at/;
  62 eval 'my $x : locked method;';
  63 like $@, qr/^Invalid SCALAR attributes: ["']?locked : method["']? at/;
  64 eval 'my $x : switch(10,foo();';
  65 like $@, qr/^Unterminated attribute parameter in attribute list at/;
  66 eval q/my $x : Ugly('(');/;
  67 like $@, qr/^Unterminated attribute parameter in attribute list at/;
  68 eval 'my $x : 5x5;';
  69 like $@, qr/error/;
  70 eval 'my $x : Y2::north;';
  71 like $@, qr/Invalid separator character ':' in attribute list at/;
  72
  73 sub A::MODIFY_SCALAR_ATTRIBUTES { return }
  74 eval 'my A $x : plugh;';
  75 like $@, qr/^SCALAR package attribute may clash with future reserved word: ["']?plugh["']? at/;
  76
  77 eval 'my A $x : plugh plover;';
  78 like $@, qr/^SCALAR package attributes may clash with future reserved words: ["']?plugh["']? /;
  79
  80 no warnings 'reserved';
  81 eval 'my A $x : plugh;';
  82 is $@, '';
  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 @attrs = eval 'attributes::get $anon1';
  95 is "@attrs", "method";
  96
  97 sub Z::DESTROY { }
  98 sub Z::FETCH_CODE_ATTRIBUTES { return 'Z' }
  99 my $thunk = eval 'bless +sub : method { 1 }, "Z"';
 100 is ref($thunk), "Z";
 101
 102 @attrs = eval 'attributes::get $thunk';
 103 is "@attrs", "method Z";
 104
 105 # Test attributes on predeclared subroutines:
 106 eval 'package A; sub PS : lvalue';
 107 @attrs = eval 'attributes::get \&A::PS';
 108 is "@attrs", "lvalue";
 109
 110 # Test ability to modify existing sub's (or XSUB's) attributes.
 111 eval 'package A; sub X { $_[0] } sub X : lvalue';
 112 @attrs = eval 'attributes::get \&A::X';
 113 is "@attrs", "lvalue";
 114
 115 # Above not with just 'pure' built-in attributes.
 116 sub Z::MODIFY_CODE_ATTRIBUTES { (); }
 117 eval 'package Z; sub L { $_[0] } sub L : Z lvalue';
 118 @attrs = eval 'attributes::get \&Z::L';
 119 is "@attrs", "lvalue Z";
 120
 121 # Begin testing attributes that tie
 122
 123 {
 124     package Ttie;
 125     sub DESTROY {}
 126     sub TIESCALAR { my $x = $_[1]; bless \$x, $_[0]; }
 127     sub FETCH { ${$_[0]} }
 128     sub STORE {
 129         ::pass;
 130         ${$_[0]} = $_[1]*2;
 131     }
 132     package Tloop;
 133     sub MODIFY_SCALAR_ATTRIBUTES { tie ${$_[1]}, 'Ttie', -1; (); }
 134 }
 135
 136 eval_ok '
 137     package Tloop;
 138     for my $i (0..2) {
 139         my $x : TieLoop = $i;
 140         $x != $i*2 and ::is $x, $i*2;
 141     }
 142 ';
 143
 144 # bug #15898
 145 eval 'our ${""} : foo = 1';
 146 like $@, qr/Can't declare scalar dereference in "our"/;
 147 eval 'my $$foo : bar = 1';
 148 like $@, qr/Can't declare scalar dereference in "my"/;
 149
 150
 151 my @code = qw(lvalue method);
 152 my @other = qw(shared);
 153 my @deprecated = qw(locked unique);
 154 my %valid;
 155 $valid{CODE} = {map {$_ => 1} @code};
 156 $valid{SCALAR} = {map {$_ => 1} @other};
 157 $valid{ARRAY} = $valid{HASH} = $valid{SCALAR};
 158 my %deprecated;
 159 $deprecated{CODE} = { locked => 1 };
 160 $deprecated{ARRAY} = $deprecated{HASH} = $deprecated{SCALAR} = { unique => 1 };
 161
 162 our ($scalar, @array, %hash);
 163 foreach my $value (\&foo, \$scalar, \@array, \%hash) {
 164     my $type = ref $value;
 165     foreach my $negate ('', '-') {
 166         foreach my $attr (@code, @other, @deprecated) {
 167             my $attribute = $negate . $attr;
 168             eval "use attributes __PACKAGE__, \$value, '$attribute'";
 169             if ($deprecated{$type}{$attr}) {
 170                 like $@, qr/^Attribute "$attr" is deprecated at \(eval \d+\)/,
 171                     "$type attribute $attribute deprecated";
 172             } elsif ($valid{$type}{$attr}) {
 173                 if ($attribute eq '-shared') {
 174                     like $@, qr/^A variable may not be unshared/;
 175                 } else {
 176                     is( $@, '', "$type attribute $attribute");
 177                 }
 178             } else {
 179                 like $@, qr/^Invalid $type attribute: $attribute/,
 180                     "Bogus $type attribute $attribute should fail";
 181             }
 182         }
 183     }
 184 }
 185
 186 # this will segfault if it fails
 187 sub PVBM () { 'foo' }
 188 { my $dummy = index 'foo', PVBM }
 189
 190 ok !defined(attributes::get(\PVBM)),
 191     'PVBMs don\'t segfault attributes::get';