package indirect;
-use 5.008;
+use 5.008001;
use strict;
use warnings;
=head1 VERSION
-Version 0.15
+Version 0.25
=cut
our $VERSION;
BEGIN {
- $VERSION = '0.15';
+ $VERSION = '0.25';
}
=head1 SYNOPSIS
use indirect;
my $y = new Pear; # ok
{
- no indirect hook => sub { die "You really wanted $_[0]\->$_[1] at $_[2]:$_[3]" };
- my $z = new Pineapple 'fresh'; # croaks 'You really wanted Pineapple->new at blurp.pm:13'
+ no indirect hook => sub {
+ die "You really wanted $_[0]\->$_[1] at $_[2]:$_[3]"
+ };
+ # croaks 'You really wanted Pineapple->new at blurp.pm:13'
+ my $z = new Pineapple 'fresh';
}
}
try { ... }; # warns
- no indirect ':fatal';
+ no indirect ':fatal'; # or 'FATAL', or ':Fatal' ...
if (defied $foo) { ... } # croaks, note the typo
- # From the command-line
- perl -M-indirect -e 'my $x = new Banana;' # warns
+ # Globally enabled from the command-line
+ perl -M-indirect=global -e 'my $x = new Banana;' # warns
- # Or each time perl is ran
- export PERL5OPT="-M-indirect"
+ # Or globally enabled each time perl is executed
+ export PERL5OPT="-M-indirect=global"
perl -e 'my $y = new Coconut;' # warns
=head1 DESCRIPTION
When enabled (or disabled as some may prefer to say, since you actually turn it on by calling C<no indirect>), this pragma warns about indirect object syntax constructs that may have slipped into your code.
-This syntax is now considered harmful, since its parsing has many quirks and its use is error prone (when C<swoosh> isn't defined, C<swoosh $x> actually compiles to C<< $x->swoosh >>).
+
+This syntax is now considered harmful, since its parsing has many quirks and its use is error prone (when C<swoosh> is not defined, C<swoosh $x> actually compiles to C<< $x->swoosh >>).
+In L<http://www.shadowcat.co.uk/blog/matt-s-trout/indirect-but-still-fatal>, Matt S. Trout gives an example of an indirect construct that can cause a particularly bewildering error.
It currently does not warn for core functions (C<print>, C<say>, C<exec> or C<system>).
This may change in the future, or may be added as optional features that would be enabled by passing options to C<unimport>.
=cut
BEGIN {
- require XSLoader;
- XSLoader::load(__PACKAGE__, $VERSION);
+ if ($ENV{PERL_INDIRECT_PM_DISABLE}) {
+ *_tag = sub ($) { 1 };
+ *I_THREADSAFE = sub () { 1 };
+ *I_FORKSAFE = sub () { 1 };
+ } else {
+ require XSLoader;
+ XSLoader::load(__PACKAGE__, $VERSION);
+ }
}
=head1 METHODS
-=head2 C<< unimport [ hook => $hook | ':fatal' ] >>
+=head2 C<< unimport [ 'global', hook => $hook | 'fatal' ] >>
Magically called when C<no indirect @opts> is encountered.
Turns the module on.
=item *
-If it's the string C<':fatal'>, the compilation will croak on the first indirect syntax met.
+If it is a string that matches C</^:?fatal$/i>, the compilation will croak on the first indirect syntax met.
=item *
=item *
-Otherwise, a warning will be emitted for each indirect construct.
+If none of C<fatal> and C<hook> are specified, a warning will be emitted for each indirect construct.
+
+=item *
+
+If C<@opts> contains a string that matches C</^:?global$/i>, the pragma will be globally enabled for B<all> code compiled after the current C<no indirect> statement, except for code that is in the lexical scope of C<use indirect>.
+This option may come indifferently before or after the C<fatal> or C<hook> options, in the case they are also passed to L</unimport>.
+
+The global policy applied is the one resulting of the C<fatal> or C<hook> options, thus defaults to a warning when none of those are specified :
+
+ no indirect 'global'; # warn for any indirect call
+ no indirect qw<global fatal>; # die on any indirect call
+ no indirect 'global', hook => \&hook # custom global action
+
+Note that if another policy is installed by a C<no indirect> statement further in the code, it will overrule the global policy :
+
+ no indirect 'global'; # warn globally
+ {
+ no indirect 'fatal'; # throw exceptions for this lexical scope
+ ...
+ require Some::Module; # the global policy will apply for the
+ # compilation phase of this module
+ }
=back
shift;
my $hook;
+ my $global;
while (@_) {
my $arg = shift;
if ($arg eq 'hook') {
+ last if $hook;
$hook = shift;
- } elsif ($arg eq ':fatal') {
+ } elsif ($arg =~ /^:?fatal$/i) {
+ last if $hook;
$hook = sub { die msg(@_) };
+ } elsif ($arg =~ /^:?global$/i) {
+ $global = 1;
}
- last if $hook;
}
$hook = sub { warn msg(@_) } unless defined $hook;
$^H |= 0x00020000;
- $^H{+(__PACKAGE__)} = _tag($hook);
+ if ($global) {
+ delete $^H{+(__PACKAGE__)};
+ _global($hook);
+ } else {
+ $^H{+(__PACKAGE__)} = _tag($hook);
+ }
- ();
+ return;
}
=head2 C<import>
Magically called at each C<use indirect>. Turns the module off.
+As explained in L</unimport>'s description, an C<use indirect> statement will lexically override a global policy previously installed by C<no indirect 'global', ...> (if there's one).
+
=cut
sub import {
- $^H{+(__PACKAGE__)} = undef;
- ();
+ $^H |= 0x00020000;
+ $^H{+(__PACKAGE__)} = _tag(undef);
+
+ return;
}
=head1 FUNCTIONS
True iff the module could have been built with thread-safety features enabled.
+=head2 C<I_FORKSAFE>
+
+True iff this module could have been built with fork-safety features enabled.
+This will always be true except on Windows where it's false for perl 5.10.0 and below .
+
=head1 DIAGNOSTICS
=head2 C<Indirect call of method "%s" on object "%s" at %s line %d.>
The default warning/exception message thrown when an indirect call on a block is found.
+=head1 ENVIRONMENT
+
+=head2 C<PERL_INDIRECT_PM_DISABLE>
+
+If this environment variable is set to true when the pragma is used for the first time, the XS code won't be loaded and, although the C<'indirect'> lexical hint will be set to true in the scope of use, the pragma itself won't do anything.
+In this case, the pragma will always be considered to be thread-safe, and as such L</I_THREADSAFE> will be true.
+This is useful for disabling C<indirect> in production environments.
+
+Note that clearing this variable after C<indirect> was loaded has no effect.
+If you want to re-enable the pragma later, you also need to reload it by deleting the C<'indirect.pm'> entry from C<%INC>.
+
=head1 CAVEATS
-The implementation was tweaked to work around several limitations of vanilla C<perl> pragmas : it's thread safe, and does
n't suffer from a C<perl 5.8.x-5.10.0> bug that causes all pragmas to propagate into C<require>d scopes.
+The implementation was tweaked to work around several limitations of vanilla C<perl> pragmas : it's thread safe, and does
not suffer from a C<perl 5.8.x-5.10.0> bug that causes all pragmas to propagate into C<require>d scopes.
-C<meth $obj> (no semicolon) at the end of a file won't be seen as an indirect object syntax, although it will as soon as there is another token before the end (as in C<meth $obj;> or C<meth $obj 1>).
+Before C<perl> 5.12, C<meth $obj> (no semicolon) at the end of a file is not seen as an indirect object syntax, although it is as soon as there is another token before the end (as in C<meth $obj;> or C<meth $obj 1>).
+If you use C<perl> 5.12 or greater, those constructs are correctly reported.
With 5.8 perls, the pragma does not propagate into C<eval STRING>.
This is due to a shortcoming in the way perl handles the hints hash, which is addressed in perl 5.10.
+The search for indirect method calls happens before constant folding.
+Hence C<my $x = new Class if 0> will be caught.
+
=head1 DEPENDENCIES
-L<perl> 5.8.
+L<perl> 5.8.1.
+
+A C compiler.
+This module may happen to build with a C++ compiler as well, but don't rely on it, as no guarantee is made in this regard.
L<XSLoader> (standard since perl 5.006).
=head1 COPYRIGHT & LICENSE
-Copyright 2008-2009 Vincent Pit, all rights reserved.
+Copyright 2008,2009,2010,2011 Vincent Pit, all rights reserved.
This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
projects / perl / modules / indirect.git / blobdiff