Commit | Line | Data |
a165a07f |
1 | package Sub::Quote; |
2 | |
3 | use strictures 1; |
4 | |
5 | sub _clean_eval { eval $_[0] } |
6 | |
7 | use Sub::Defer; |
8 | use B 'perlstring'; |
9 | use base qw(Exporter); |
10 | |
625d6219 |
11 | our @EXPORT = qw(quote_sub unquote_sub quoted_from_sub); |
a165a07f |
12 | |
13 | our %QUOTE_OUTSTANDING; |
14 | |
15 | our %QUOTED; |
16 | |
8c6626cf |
17 | sub capture_unroll { |
18 | my ($from, $captures, $indent) = @_; |
19 | join( |
20 | '', |
21 | map { |
22 | /^([\@\%\$])/ |
17a8e3f0 |
23 | or die "capture key should start with \@, \% or \$: $_"; |
8c6626cf |
24 | (' ' x $indent).qq{my ${_} = ${1}{${from}->{${\perlstring $_}}};\n}; |
25 | } keys %$captures |
26 | ); |
27 | } |
28 | |
e57f338d |
29 | sub inlinify { |
30 | my ($code, $args, $extra, $local) = @_; |
31 | my $do = 'do { '.($extra||''); |
32 | if (my ($code_args, $body) = $code =~ / +my \(([^)]+)\) = \@_;(.*)$/s) { |
33 | if ($code_args eq $args) { |
34 | $do.$body.' }' |
35 | } else { |
36 | $do.'my '.$code_args.' = ('.$args.'); '.$body.' }'; |
37 | } |
38 | } else { |
39 | $do.($local ? 'local ' : '').'@_ = ('.$args.'); '.$code.' }'; |
40 | } |
41 | } |
42 | |
a165a07f |
43 | sub _unquote_all_outstanding { |
44 | return unless %QUOTE_OUTSTANDING; |
45 | my ($assembled_code, @assembled_captures, @localize_these) = ''; |
6d377074 |
46 | # we sort the keys in order to make debugging more predictable |
47 | foreach my $outstanding (sort keys %QUOTE_OUTSTANDING) { |
a165a07f |
48 | my ($name, $code, $captures) = @{$QUOTE_OUTSTANDING{$outstanding}}; |
49 | |
50 | push @localize_these, $name if $name; |
51 | |
52 | my $make_sub = "{\n"; |
53 | |
54 | if (keys %$captures) { |
55 | my $ass_cap_count = @assembled_captures; |
8c6626cf |
56 | $make_sub .= capture_unroll("\$_[1][${ass_cap_count}]", $captures, 2); |
a165a07f |
57 | push @assembled_captures, $captures; |
58 | } |
59 | |
60 | my $o_quoted = perlstring $outstanding; |
61 | $make_sub .= ( |
62 | $name |
934ea2c1 |
63 | # disable the 'variable $x will not stay shared' warning since |
64 | # we're not letting it escape from this scope anyway so there's |
65 | # nothing trying to share it |
a165a07f |
66 | ? " no warnings 'closure';\n sub ${name} {\n" |
934ea2c1 |
67 | : " \$Sub::Quote::QUOTED{${o_quoted}}[3] = sub {\n" |
a165a07f |
68 | ); |
69 | $make_sub .= $code; |
70 | $make_sub .= " }".($name ? '' : ';')."\n"; |
71 | if ($name) { |
72 | $make_sub .= " \$Sub::Quote::QUOTED{${o_quoted}}[3] = \\&${name}\n"; |
73 | } |
74 | $make_sub .= "}\n"; |
75 | $assembled_code .= $make_sub; |
76 | } |
a16d301e |
77 | my $debug_code = $assembled_code; |
a165a07f |
78 | if (@localize_these) { |
a16d301e |
79 | $debug_code = |
e8b2bab6 |
80 | "# localizing: ".join(', ', @localize_these)."\n" |
81 | .$assembled_code; |
a165a07f |
82 | $assembled_code = join("\n", |
83 | (map { "local *${_};" } @localize_these), |
a16d301e |
84 | 'eval '.perlstring($assembled_code).'; die $@ if $@;' |
a165a07f |
85 | ); |
e8b2bab6 |
86 | } else { |
87 | $ENV{SUB_QUOTE_DEBUG} && warn $assembled_code; |
a165a07f |
88 | } |
a16d301e |
89 | $assembled_code .= "\n1;"; |
90 | unless (_clean_eval $assembled_code, \@assembled_captures) { |
91 | die "Eval went very, very wrong:\n\n${debug_code}\n\n$@"; |
a165a07f |
92 | } |
a16d301e |
93 | $ENV{SUB_QUOTE_DEBUG} && warn $debug_code; |
a165a07f |
94 | %QUOTE_OUTSTANDING = (); |
95 | } |
96 | |
97 | sub quote_sub { |
98 | # HOLY DWIMMERY, BATMAN! |
6f68f022 |
99 | # $name => $code => \%captures => \%options |
a165a07f |
100 | # $name => $code => \%captures |
101 | # $name => $code |
6f68f022 |
102 | # $code => \%captures => \%options |
a165a07f |
103 | # $code |
6f68f022 |
104 | my $options = |
105 | (ref($_[-1]) eq 'HASH' and ref($_[-2]) eq 'HASH') |
106 | ? pop |
107 | : {}; |
a165a07f |
108 | my $captures = pop if ref($_[-1]) eq 'HASH'; |
625d6219 |
109 | undef($captures) if $captures && !keys %$captures; |
a165a07f |
110 | my $code = pop; |
111 | my $name = $_[0]; |
112 | my $outstanding; |
6f68f022 |
113 | my $deferred = defer_sub +($options->{no_install} ? undef : $name) => sub { |
a165a07f |
114 | unquote_sub($outstanding); |
115 | }; |
116 | $outstanding = "$deferred"; |
117 | $QUOTE_OUTSTANDING{$outstanding} = $QUOTED{$outstanding} = [ |
118 | $name, $code, $captures |
119 | ]; |
120 | return $deferred; |
121 | } |
122 | |
123 | sub quoted_from_sub { |
124 | my ($sub) = @_; |
6d377074 |
125 | $QUOTED{$sub||''}; |
a165a07f |
126 | } |
127 | |
128 | sub unquote_sub { |
129 | my ($sub) = @_; |
130 | _unquote_all_outstanding; |
131 | $QUOTED{$sub}[3]; |
132 | } |
133 | |
134 | 1; |