use strict;
use warnings;
-use Test::More tests => 2 * 19 + 5 + 1;
+use Test::More tests => (2 * 27 + 9) + 2 * (2 * 5 + 5) + 1;
-use Variable::Magic qw/cast dispell MGf_COPY VMG_UVAR/;
+use Variable::Magic qw<
+ cast dispell
+ VMG_UVAR
+ VMG_COMPAT_HASH_DELETE_NOUVAR_VOID
+>;
use lib 't/lib';
use Variable::Magic::TestWatcher;
-my $wiz = init
- [ qw/get set len free copy dup local fetch store exists delete/ ], # clear
+my $wiz = init_watcher
+ [ qw<get set len clear free copy dup local fetch store exists delete> ],
'hash';
-my %n = map { $_ => int rand 1000 } qw/foo bar baz qux/;
+my %n = map { $_ => int rand 1000 } qw<foo bar baz qux>;
my %h = %n;
-check { cast %h, $wiz } { }, 'cast';
+watch { cast %h, $wiz } { }, 'cast';
-my $s;
-check { $s = $h{foo} } +{ (fetch => 1) x VMG_UVAR },
- # (copy => 1) x MGf_COPY # if clear magic
+my $s = watch { $h{foo} } +{ (fetch => 1) x VMG_UVAR },
'assign element to';
is $s, $n{foo}, 'hash: assign element to correctly';
my %b;
-check { %b = %h } { }, 'assign to';
+watch { %b = %h } { }, 'assign to';
is_deeply \%b, \%n, 'hash: assign to correctly';
-check { $s = \%h } { }, 'reference';
+$s = watch { \%h } { }, 'reference';
-my @b;
-check { @b = @h{qw/bar qux/} }
+my @b = watch { @h{qw<bar qux>} }
+{ (fetch => 2) x VMG_UVAR }, 'slice';
- # (copy => 2) x MGf_COPY # if clear magic
-is_deeply \@b, [ @n{qw/bar qux/} ], 'hash: slice correctly';
+is_deeply \@b, [ @n{qw<bar qux>} ], 'hash: slice correctly';
-check { %h = () } { }, 'empty in list context'; # clear => 1
+# exists
-check { %h = (a => 1, d => 3); () }
- +{ (store => 2, copy => 2) x VMG_UVAR }, # clear => 1
+watch { exists $h{bar} } +{ (exists => 1) x VMG_UVAR },'exists in void context';
+
+for (1 .. 2) {
+ $s = watch { exists $h{bar} } +{ (exists => 1) x VMG_UVAR },
+ "exists in scalar context ($_)";
+ ok $s, "hash: exists correctly ($_)";
+}
+
+# delete
+
+watch { delete $h{bar} } +{
+ ((delete => 1) x !VMG_COMPAT_HASH_DELETE_NOUVAR_VOID, copy => 1) x VMG_UVAR
+}, 'delete in void context';
+
+for (1 .. 2) {
+ $s = watch { delete $h{baz} } +{ (delete => 1, copy => 1) x VMG_UVAR },
+ "delete in scalar context ($_)";
+ my $exp = $_ == 1 ? $n{baz} : undef;
+ is $s, $exp, "hash: delete correctly ($_)";
+}
+
+# clear
+
+watch { %h = () } { clear => 1 }, 'empty in list context';
+
+watch { $h{a} = -1; %h = (b => $h{a}) }
+ +{ (fetch => 1, store => 2, copy => 2) x VMG_UVAR, clear => 1 },
+ 'empty and set in void context';
+
+watch { %h = (a => 1, d => 3) }
+ +{ (store => 2, copy => 2) x VMG_UVAR, clear => 1 },
+ 'assign from list in void context';
+
+@b = watch { %h = (a => 1, d => 3) }
+ +{ (exists => 2, store => 2, copy => 2) x VMG_UVAR, clear => 1 },
'assign from list in void context';
-check { %h = map { $_ => 1 } qw/a b d/; }
- +{ (exists => 3, store => 3, copy => 3) x VMG_UVAR }, # clear =>1
- 'assign from map in list context';
+watch { %h = map { $_ => 1 } qw<a b d>; }
+ +{ (store => 3, copy => 3) x VMG_UVAR, clear => 1 },
+ 'assign from map in void context';
-check { $h{d} = 2; () } +{ (store => 1) x VMG_UVAR },
+watch { $h{d} = 2 } +{ (store => 1) x VMG_UVAR },
'assign old element';
-check { $h{c} = 3; () } +{ (store => 1, copy => 1) x VMG_UVAR },
+watch { $h{c} = 3 } +{ (store => 1, copy => 1) x VMG_UVAR },
'assign new element';
-check { $s = %h } { }, 'buckets';
+$s = watch { %h } { }, 'buckets';
-check { @b = keys %h } { }, 'keys';
-is_deeply [ sort @b ], [ qw/a b c d/ ], 'hash: keys correctly';
+@b = watch { keys %h } { }, 'keys';
+is_deeply [ sort @b ], [ qw<a b c d> ], 'hash: keys correctly';
-check { @b = values %h } { }, 'values';
+@b = watch { values %h } { }, 'values';
is_deeply [ sort { $a <=> $b } @b ], [ 1, 1, 2, 3 ], 'hash: values correctly';
-check { while (my ($k, $v) = each %h) { } } { }, 'each';
+watch { while (my ($k, $v) = each %h) { } } { }, 'each';
-check {
+watch {
my %b = %n;
- check { cast %b, $wiz } { }, 'cast 2';
+ watch { cast %b, $wiz } { }, 'cast 2';
} { free => 1 }, 'scope end';
-check { undef %h } { }, 'undef'; # clear => 1
+watch { undef %h } { clear => 1 }, 'undef';
+
+watch { dispell %h, $wiz } { }, 'dispell';
+
+SKIP: {
+ my $SKIP;
+
+ if (!VMG_UVAR) {
+ $SKIP = 'uvar magic';
+ } else {
+ local $@;
+ unless (eval { require B; require B::Deparse; 1 }) {
+ $SKIP = 'B and B::Deparse';
+ }
+ }
+ if ($SKIP) {
+ $SKIP .= ' required to test uvar/clear interaction fix';
+ skip $SKIP => 2 * ( 2 * 5 + 5);
+ }
+
+ my $bd = B::Deparse->new;
+
+ my %h1 = (a => 13, b => 15);
+ my %h2 = (a => 17, b => 19);
+
+ my @tests = (
+ [ \%h1 => 'first hash' => (14, 16) ],
+ [ \%h2 => 'second hash' => (18, 20) ],
+ );
+
+ for my $test (@tests) {
+ my ($h, $desc, @exp) = @$test;
+
+ watch { &cast($h, $wiz) } { }, "cast clear/uvar on $desc";
+
+ my $code = sub { my $x = $h->{$_[0]}; ++$x; $x };
+ my $before = $bd->coderef2text($code);
+ my $res;
+
+ watch { $res = $code->('a') } { fetch => 1 }, "fetch constant 'a' from $desc";
+ is $res, $exp[0], "uvar: fetch constant 'a' from $desc was correct";
+
+ my $after = $bd->coderef2text($code);
+ is $before, $after,
+ "uvar: code deparses correctly after constant fetch from $desc";
+
+ my $key = 'b';
+ watch { $res = $code->($key) } { fetch => 1 },"fetch variable 'b' from $desc";
+ is $res, $exp[1], "uvar: fetch variable 'b' from $desc was correct";
+
+ $after = $bd->coderef2text($code);
+ is $before, $after,
+ "uvar: code deparses correctly after variable fetch from $desc";
+
+ watch { %$h = () } { clear => 1 }, "fixed clear for $desc";
+
+ watch { &dispell($h, $wiz) } { }, "dispell clear/uvar from $desc";
-check { dispell %h, $wiz } { }, 'dispell';
+ ok(!(B::svref_2object($h)->FLAGS & B::SVs_RMG()),
+ "$desc no longer has the RMG flag set");
+ }
+}
projects / perl / modules / Variable-Magic.git / blobdiff