=head1 VERSION
-Version 0.01
+Version 0.02
=cut
sub dl_load_flags { 0x01 }
BEGIN {
- $VERSION = '0.01';
+ $VERSION = '0.02';
require DynaLoader;
push @ISA, 'DynaLoader';
__PACKAGE__->bootstrap($VERSION);
BOOT:
{
sub_op_config_t c;
- c.name = "reftype";
- c.len = sizeof("reftype")-1;
- c.pp = scalar_util_reftype;
- c.check = 0;
- c.ud = NULL;
+ sub_op_init(&c);
+ c.name = "reftype";
+ c.namelen = sizeof("reftype")-1;
+ c.pp = scalar_util_reftype;
+ c.check = 0;
+ c.ud = NULL;
sub_op_register(aTHX_ &c);
}
my $pkg = $data->{pkg};
my $fqn = join '::', $pkg, $name;
- no strict 'refs';
- *$fqn = $placeholder unless exists &$fqn;
+ {
+ local $SIG{__WARN__} = sub {
+ CORE::warn(@_) unless $_[0] =~ /^Constant subroutine.*redefined/;
+ } if _constant_sub(do { no strict 'refs'; \&$fqn });
+ no strict 'refs';
+ no warnings 'redefine';
+ *$fqn = $placeholder;
+ }
return;
},
my $fqn = join '::', $pkg, $name;
return {
+ old => _defined_sub($fqn) ? \&$fqn : undef,
proto => prototype($fqn),
};
}
=item *
-C<STRLEN len>
+C<STRLEN namelen>
C<name>'s length, in bytes.
=back
+=head2 C<void sub_op_init(sub_op_config_t *c)>
+
+Initializes the fields of the C<sub_op_config_t> object.
+For future compatibility, it is required to call this function with your config object before storing your actual values.
+It will store safe defaults for members you won't set.
+
=head2 C<void sub_op_register(pTHX_ const sub_op_config_t *c)>
Registers a name and its configuration into L<Sub::Op>.
The caller is responsible for allocating and freeing the C<sub_op_config_t> object.
No pointer to it or to its members is kept.
+=head2 C<sub_op_config_t *sub_op_dup(pTHX_ const sub_op_config_t *orig)>
+
+Deeply clones the specified C<sub_op_config_t> object.
+
+=head2 C<void sub_op_free(pTHX_ sub_op_config_t *c)>
+
+Free the memory associated with the specified C<sub_op_config_t> object.
+
=head1 PERL API
=head2 C<enable $name, [ $pkg ]>
my $pkg = @_ > 0 ? $_[0] : caller;
my $map = _map($pkg);
+ my $fqn = join '::', $pkg, $name;
+
if (defined $map) {
- my $proto = $map->{$name}->{proto};
+ my $tag = $map->{$name};
+
+ my $old = $tag->{old};
+ if (defined $old) {
+ no strict 'refs';
+ no warnings 'redefine';
+ *$fqn = $old;
+ }
+
+ my $proto = $tag->{proto};
if (defined $proto) {
no strict 'refs';
- Scalar::Util::set_prototype(\&{"${pkg}::$name"}, $proto);
+ Scalar::Util::set_prototype(\&$fqn, $proto);
}
delete $map->{$name};
}
}
+sub _defined_sub {
+ my ($fqn) = @_;
+ my @parts = split /::/, $fqn;
+ my $name = pop @parts;
+ my $pkg = '';
+ for (@parts) {
+ $pkg .= $_ . '::';
+ return 0 unless do { no strict 'refs'; %$pkg };
+ }
+ return do { no strict 'refs'; defined &{"$pkg$name"} };
+}
+
{
my $injector;
BEGIN {
$obj->SUPER::can($meth);
};
- if (%B:: and %B::OP:: and *B::OP::type{CODE}) {
+ if (_defined_sub('B::OP::type')) {
_inject('B::OP', \%B_OP_inject);
} else {
- Variable::Magic::cast %B::OP::, $injector, 'B::OP', \%B_OP_inject;
+ no strict 'refs';
+ Variable::Magic::cast %{'B::OP::'}, $injector, 'B::OP', \%B_OP_inject;
}
my $B_Deparse_inject = {
my ($self, $op, $cx) = @_;
my $name = _custom_name($op);
die 'unhandled custom op' unless defined $name;
- if ($op->flags & B::OPf_STACKED()) {
+ if ($op->flags & do { no strict 'refs'; &{'B::OPf_STACKED'}() }) {
my $kid = $op->first;
$kid = $kid->first->sibling; # skip ex-list, pushmark
my @exprs;
- for (; not B::Deparse::null($kid); $kid = $kid->sibling) {
+ while (not do { no strict 'refs'; &{'B::Deparse::null'}($kid) }) {
push @exprs, $self->deparse($kid, 6);
+ $kid = $kid->sibling;
}
my $args = join(", ", @exprs);
return "$name($args)";
},
};
- if (%B:: and %B::Deparse:: and *B::Deparse::pp_entersub{CODE}) {
+ if (_defined_sub('B::Deparse::pp_entersub')) {
_inject('B::Deparse', $B_Deparse_inject);
} else {
- Variable::Magic::cast %B::Deparse::, $injector, 'B::Deparse', $B_Deparse_inject;
+ no strict 'refs';
+ Variable::Magic::cast %{'B::Deparse::'}, $injector, 'B::Deparse', $B_Deparse_inject;
}
}
}
See the F<t/Sub-Op-LexicalSub> directory that implements a complete example.
+=head1 CAVEATS
+
+Preexistent definitions of a sub whose name is handled by L<Sub::Op> are restored at the end of the lexical scope in which the module is used.
+But if you define a sub in the scope of action of L<Sub::Op> with a name that is currently being replaced, the new declaration will be obliterated at the scope end.
+
+Function calls without parenthesis inside an C<eval STRING> in the scope of the pragma won't be replaced.
+I know a few ways of fixing this, but I've not yet decided on which.
+
=head1 DEPENDENCIES
L<perl> 5.10.
L<subs::auto>.
+L<B::Hooks::XSUB::CallAsOp> provides a C API to declare XSUBs that effectively call a specific PP function.
+Thus, it allows you to write XSUBs with the PP stack conventions used for implementing perl core keywords.
+There's no opcode replacement and no parsing hacks.
+
L<B::Hooks::OP::Check::EntersubForCV>.
=head1 AUTHOR