X-Git-Url: http://git.vpit.fr/?a=blobdiff_plain;f=lib%2FSub%2FPrototype%2FUtil.pm;h=bfbd2a20b60129f898ba3db11df2495ddd794224;hb=eb44d389e2988873318074f6fe1f090886e4beba;hp=d0026f36180bde09f8d3984e682cdd5452a9b0d6;hpb=40ed7a47f9570e982d239192363fbe64b7f1507b;p=perl%2Fmodules%2FSub-Prototype-Util.git diff --git a/lib/Sub/Prototype/Util.pm b/lib/Sub/Prototype/Util.pm index d0026f3..bfbd2a2 100644 --- a/lib/Sub/Prototype/Util.pm +++ b/lib/Sub/Prototype/Util.pm @@ -76,26 +76,31 @@ It croaks if the arguments can't possibly match the required prototype, e.g. whe sub flatten { my $proto = shift; + return @_ unless defined $proto; - my @args; + + my @args; while ($proto =~ /(\\?)(\[[^\]]+\]|[^\];])/g) { - my $p = $2; + my $sigil = $2; + if ($1) { - my $a = shift; - my $r = _check_ref $a, $p; - push @args, $r eq 'SCALAR' - ? $$a - : ($r eq 'ARRAY' - ? @$a - : ($r eq 'HASH' - ? %$a - : ($r eq 'GLOB' - ? *$a - : &$a # _check_ref ensures this must be a code ref + my $arg = shift; + my $reftype = _check_ref $arg, $sigil; + + push @args, $reftype eq 'SCALAR' + ? $$arg + : ($reftype eq 'ARRAY' + ? @$arg + : ($reftype eq 'HASH' + ? %$arg + : ($reftype eq 'GLOB' + ? *$arg + : &$arg # _check_ref ensures this must be a code ref ) ) ); - } elsif ($p =~ /[\@\%]/) { + + } elsif ($sigil =~ /[\@\%]/) { push @args, @_; last; } else { @@ -103,6 +108,7 @@ sub flatten { push @args, shift; } } + return @args; } @@ -158,52 +164,58 @@ For example, this allows you to recall into C and C by us =cut sub _wrap { - my ($name, $proto, $i, $args, $cr, $opts) = @_; + my ($name, $proto, $i, $args, $coderefs, $opts) = @_; + while ($proto =~ s/(\\?)(\[[^\]]+\]|[^\];])//) { - my ($ref, $p) = ($1, $2); - $p = $1 if $p =~ /^\[([^\]]+)\]/; - my $cur = '$_[' . $i . ']'; + my ($ref, $sigil) = ($1, $2); + $sigil = $1 if $sigil =~ /^\[([^\]]+)\]/; + + my $cur = "\$_[$i]"; + if ($ref) { - if (length $p > 1) { - return 'my $r = ' . $opts->{ref} . '(' . $cur . '); ' - . join ' els', - map( { - "if (\$r eq '" . $reftypes{$_} ."') { " - . _wrap($name, $proto, ($i + 1), - $args . $_ . '{' . $cur . '}, ', - $cr, $opts) - . ' }' - } split //, $p), - 'e { ' . $opts->{wrong_ref} . ' }' + if (length $sigil > 1) { + my $code = "my \$r = $opts->{ref}($cur); "; + my @branches = map { + my $subcall = _wrap( + $name, $proto, ($i + 1), $args . "$_\{$cur}, ", $coderefs, $opts + ); + "if (\$r eq '$reftypes{$_}') { $subcall }"; + } split //, $sigil; + $code .= join ' els', @branches, "e { $opts->{wrong_ref} }"; + return $code; } else { - $args .= $p . '{' . $cur . '}, '; + $args .= "$sigil\{$cur}, "; } - } elsif ($p =~ /[\@\%]/) { + } elsif ($sigil =~ /[\@\%]/) { $args .= '@_[' . $i . '..$#_]'; - } elsif ($p =~ /\&/) { - my %h = do { my $c; map { $_ => $c++ } @$cr }; + } elsif ($sigil =~ /\&/) { + my %h = do { my $c; map { $_ => $c++ } @$coderefs }; my $j; - if (not exists $h{$i}) { - push @$cr, $i; - $j = $#{$cr}; - } else { + if (exists $h{$i}) { $j = int $h{$i}; + } else { + push @$coderefs, $i; + $j = $#{$coderefs}; } - $args .= 'sub{&{$c[' . $j . ']}}, '; - } elsif ($p eq '_') { - $args .= '((@_ > ' . $i . ') ? ' . $cur . ' : $_), '; + $args .= "sub{&{\$c[$j]}}, "; + } elsif ($sigil eq '_') { + $args .= "((\@_ > $i) ? $cur : \$_), "; } else { - $args .= $cur . ', '; + $args .= "$cur, "; } + } continue { ++$i; } + $args =~ s/,\s*$//; - return $name . '(' . $args . ')'; + + return "$name($args)"; } sub _check_name { - my $name = $_[0]; + my ($name) = @_; croak 'No subroutine specified' unless $name; + my $proto; my $r = ref $name; if (!$r) { @@ -214,8 +226,10 @@ sub _check_name { } else { croak 'Unhandled ' . $r . ' reference as first argument'; } + $name =~ s/^\s+//; $name =~ s/[\s\$\@\%\*\&;].*//; + return $name, $proto; } @@ -223,28 +237,39 @@ sub wrap { my ($name, $proto) = _check_name shift; croak 'Optional arguments must be passed as key => value pairs' if @_ % 2; my %opts = @_; + $opts{ref} ||= 'ref'; - $opts{sub} = 1 if not defined $opts{sub}; - $opts{compile} = 1 if not defined $opts{compile} and $opts{sub}; - $opts{wrong_ref} = 'undef' if not defined $opts{wrong_ref}; - my @cr; + $opts{sub} = 1 unless defined $opts{sub}; + $opts{compile} = 1 if not defined $opts{compile} and $opts{sub}; + $opts{wrong_ref} = 'undef' unless defined $opts{wrong_ref}; + + my @coderefs; my $call; if (defined $proto) { - $call = _wrap $name, $proto, 0, '', \@cr, \%opts; + $call = _wrap $name, $proto, 0, '', \@coderefs, \%opts; } else { $call = _wrap $name, '', 0, '@_'; } - if (@cr) { - $call = 'my @c; ' - . join('', map { 'push @c, $_[' . $_ . ']; ' } @cr) - . $call + + if (@coderefs) { + my $decls = @coderefs > 1 ? 'my @c = @_[' . join(', ', @coderefs) . ']; ' + : 'my @c = ($_[' . $coderefs[0] . ']); '; + $call = $decls . $call; } - $call = '{ ' . $call . ' }'; - $call = 'sub ' . $call if $opts{sub}; + + $call = "{ $call }"; + $call = "sub $call" if $opts{sub}; + if ($opts{compile}) { - $call = eval $call; - croak _clean_msg $@ if $@; + my $err; + { + local $@; + $call = eval $call; + $err = $@; + } + croak _clean_msg $err if $err; } + return $call; } @@ -263,9 +288,17 @@ If you plan to recall several times, consider using L instead. =cut sub recall { - my $wrap = eval { wrap shift }; - croak _clean_msg $@ if $@; - return $wrap->(@_); + my $name = shift; + + my ($wrap, $err); + { + local $@; + $wrap = eval { wrap $name }; + $err = $@; + } + croak _clean_msg $err if $err; + + goto $wrap; } =head1 EXPORT @@ -310,7 +343,7 @@ Tests code coverage report is available at L