line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
package Pugs::Emitter::Rule::Perl5::Regex; |
2
|
|
|
|
|
|
|
|
3
|
|
|
|
|
|
|
# p6-rule perl5 emitter for emitting perl5 regexes |
4
|
|
|
|
|
|
|
|
5
|
|
|
|
|
|
|
=for TODO |
6
|
|
|
|
|
|
|
|
7
|
|
|
|
|
|
|
plug into the :ratchet emitter |
8
|
|
|
|
|
|
|
|
9
|
|
|
|
|
|
|
@ (non-)interpolation (test) |
10
|
|
|
|
|
|
|
aliased, named captures |
11
|
|
|
|
|
|
|
nested captures |
12
|
|
|
|
|
|
|
quantified captures |
13
|
|
|
|
|
|
|
ranges |
14
|
|
|
|
|
|
|
|
15
|
|
|
|
|
|
|
die() on captures that would have wrong numbering |
16
|
|
|
|
|
|
|
|
17
|
|
|
|
|
|
|
BUGS: |
18
|
|
|
|
|
|
|
- nested captures are not detected |
19
|
|
|
|
|
|
|
- set operations on character classes are not detected |
20
|
|
|
|
|
|
|
|
21
|
|
|
|
|
|
|
=cut |
22
|
|
|
|
|
|
|
|
23
|
1
|
|
|
1
|
|
820
|
use strict; |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
40
|
|
24
|
1
|
|
|
1
|
|
6
|
use warnings; |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
31
|
|
25
|
1
|
|
|
1
|
|
6
|
use Data::Dumper; |
|
1
|
|
|
|
|
3
|
|
|
1
|
|
|
|
|
261
|
|
26
|
|
|
|
|
|
|
$Data::Dumper::Indent = 1; |
27
|
|
|
|
|
|
|
|
28
|
|
|
|
|
|
|
our $capture_count; |
29
|
|
|
|
|
|
|
our $capture_to_array; |
30
|
|
|
|
|
|
|
|
31
|
|
|
|
|
|
|
sub emit { |
32
|
0
|
|
|
0
|
0
|
|
my ($grammar, $ast, $param) = @_; |
33
|
0
|
|
|
|
|
|
my $sigspace = $param->{sigspace}; |
34
|
0
|
|
|
|
|
|
local $capture_count = -1; |
35
|
0
|
|
|
|
|
|
local $capture_to_array = 0; |
36
|
|
|
|
|
|
|
#print "rule: ", Dumper( $ast ); |
37
|
0
|
0
|
|
|
|
|
die "sigspace not supported in P5 mode (can't call subrule)" |
38
|
|
|
|
|
|
|
if $sigspace; |
39
|
0
|
|
|
|
|
|
my $p5regex = '(?m)' . emit_rule( $ast ); |
40
|
|
|
|
|
|
|
# print ":P5/$p5regex/ \n"; |
41
|
0
|
|
|
|
|
|
return $p5regex; |
42
|
|
|
|
|
|
|
} |
43
|
|
|
|
|
|
|
|
44
|
|
|
|
|
|
|
sub emit_rule { |
45
|
0
|
|
|
0
|
0
|
|
my $n = $_[0]; |
46
|
0
|
0
|
|
|
|
|
die "unknown node: ", Dumper( $n ) |
47
|
|
|
|
|
|
|
unless ref( $n ) eq 'HASH'; |
48
|
|
|
|
|
|
|
#print "NODE ", Dumper($n); |
49
|
0
|
|
|
|
|
|
my ($k) = keys %$n; |
50
|
0
|
|
|
|
|
|
my $v = $$n{$k}; |
51
|
|
|
|
|
|
|
# XXX - use real references |
52
|
1
|
|
|
1
|
|
8
|
no strict 'refs'; |
|
1
|
|
|
|
|
3
|
|
|
1
|
|
|
|
|
1254
|
|
53
|
|
|
|
|
|
|
#print "NODE ", Dumper($k), ", ", Dumper($v); |
54
|
0
|
|
|
|
|
|
my $code = &$k( $v, '' ); |
55
|
0
|
|
|
|
|
|
return $code; |
56
|
|
|
|
|
|
|
} |
57
|
|
|
|
|
|
|
|
58
|
|
|
|
|
|
|
#rule nodes |
59
|
|
|
|
|
|
|
|
60
|
|
|
|
|
|
|
sub non_capturing_group { |
61
|
0
|
|
|
0
|
0
|
|
return "(?:" . emit_rule( $_[0] ) . ")"; |
62
|
|
|
|
|
|
|
} |
63
|
|
|
|
|
|
|
sub quant { |
64
|
0
|
|
|
0
|
0
|
|
my $term = $_[0]->{'term'}; |
65
|
0
|
|
0
|
|
|
|
my $quantifier = $_[0]->{quant} || ''; |
66
|
0
|
|
0
|
|
|
|
my $greedy = $_[0]->{greedy} || ''; # + ? |
67
|
0
|
0
|
|
|
|
|
$greedy = '' if $greedy eq '+'; |
68
|
|
|
|
|
|
|
#print "QUANT: ",Dumper($_[0]); |
69
|
|
|
|
|
|
|
# TODO: fix grammar to not emit empty quantifier |
70
|
0
|
0
|
|
|
|
|
die "ranges not implemented" |
71
|
|
|
|
|
|
|
if ref( $quantifier ); |
72
|
0
|
|
|
|
|
|
my $rul; |
73
|
|
|
|
|
|
|
{ |
74
|
|
|
|
|
|
|
#print "Term: ", Dumper($term), "\n"; |
75
|
0
|
|
|
|
|
|
my $cap = $capture_to_array; |
|
0
|
|
|
|
|
|
|
76
|
0
|
|
0
|
|
|
|
local $capture_to_array = $cap || ( $quantifier ne '' ); |
77
|
0
|
|
|
|
|
|
$rul = emit_rule( $term ); |
78
|
|
|
|
|
|
|
} |
79
|
0
|
|
|
|
|
|
my $quant = $quantifier . $greedy; |
80
|
0
|
0
|
|
|
|
|
return "(?:$rul)$quant" if $quant; |
81
|
0
|
|
|
|
|
|
return $rul; |
82
|
|
|
|
|
|
|
} |
83
|
|
|
|
|
|
|
sub alt { |
84
|
0
|
|
|
0
|
0
|
|
my @s; |
85
|
0
|
|
|
|
|
|
my $count = $capture_count; |
86
|
0
|
|
|
|
|
|
my $max = -1; |
87
|
0
|
|
|
|
|
|
for ( @{$_[0]} ) { |
|
0
|
|
|
|
|
|
|
88
|
0
|
|
|
|
|
|
$capture_count = $count; |
89
|
0
|
|
|
|
|
|
my $tmp = emit_rule( $_ ); |
90
|
|
|
|
|
|
|
# print ' ',$capture_count; |
91
|
0
|
0
|
|
|
|
|
$max = $capture_count |
92
|
|
|
|
|
|
|
if $capture_count > $max; |
93
|
0
|
|
|
|
|
|
push @s, $tmp; # if $tmp; |
94
|
|
|
|
|
|
|
} |
95
|
0
|
|
|
|
|
|
$capture_count = $max; |
96
|
|
|
|
|
|
|
# print " max = $capture_count\n"; |
97
|
|
|
|
|
|
|
return |
98
|
0
|
|
|
|
|
|
"(?:" . join( "|", @s ) . ")"; |
99
|
|
|
|
|
|
|
} |
100
|
0
|
|
|
0
|
0
|
|
sub alt1 { &alt } |
101
|
|
|
|
|
|
|
sub concat { |
102
|
0
|
|
|
|
|
|
return join( "", |
103
|
0
|
|
|
0
|
0
|
|
map { emit_rule( $_ ) } @{$_[0]} |
|
0
|
|
|
|
|
|
|
104
|
|
|
|
|
|
|
); |
105
|
|
|
|
|
|
|
} |
106
|
|
|
|
|
|
|
sub code { |
107
|
0
|
|
|
0
|
0
|
|
die "code not implemented"; |
108
|
|
|
|
|
|
|
} |
109
|
|
|
|
|
|
|
sub dot { |
110
|
0
|
|
|
0
|
0
|
|
'(?:\n\r?|\r\n?|.)' |
111
|
|
|
|
|
|
|
} |
112
|
|
|
|
|
|
|
|
113
|
|
|
|
|
|
|
sub variable { |
114
|
0
|
|
|
0
|
0
|
|
die "variable interpolation not implemented"; |
115
|
|
|
|
|
|
|
} |
116
|
|
|
|
|
|
|
sub special_char { |
117
|
0
|
|
|
0
|
0
|
|
my $char = substr($_[0],1); |
118
|
0
|
0
|
|
|
|
|
return '(?:\n\r?|\r\n?)' |
119
|
|
|
|
|
|
|
if $char eq 'n'; |
120
|
0
|
0
|
|
|
|
|
return '(?!\n\r?|\r\n?).' |
121
|
|
|
|
|
|
|
if $char eq 'N'; |
122
|
0
|
|
|
|
|
|
for ( qw( r t e f w d s ) ) { |
123
|
0
|
0
|
|
|
|
|
return "\\$_" if $char eq $_; |
124
|
0
|
0
|
|
|
|
|
return "[^\\$_]" if $char eq uc($_); |
125
|
|
|
|
|
|
|
} |
126
|
0
|
|
|
|
|
|
return '\\' . $char; |
127
|
|
|
|
|
|
|
} |
128
|
|
|
|
|
|
|
sub match_variable { |
129
|
0
|
|
|
0
|
0
|
|
die "no match variables yet"; |
130
|
|
|
|
|
|
|
} |
131
|
|
|
|
|
|
|
sub closure { |
132
|
0
|
|
|
0
|
0
|
|
die "no closures"; |
133
|
|
|
|
|
|
|
} |
134
|
|
|
|
|
|
|
sub capturing_group { |
135
|
0
|
|
|
0
|
0
|
|
my $program = $_[0]; |
136
|
0
|
0
|
|
|
|
|
die "capture to array not implemented" |
137
|
|
|
|
|
|
|
if $capture_to_array; |
138
|
0
|
|
|
|
|
|
$capture_count++; |
139
|
|
|
|
|
|
|
{ |
140
|
0
|
|
|
|
|
|
local $capture_count = -1; |
|
0
|
|
|
|
|
|
|
141
|
0
|
|
|
|
|
|
local $capture_to_array = 0; |
142
|
0
|
0
|
|
|
|
|
$program = emit_rule( $program ) |
143
|
|
|
|
|
|
|
if ref( $program ); |
144
|
|
|
|
|
|
|
} |
145
|
0
|
|
|
|
|
|
return "(" . $program . ")" |
146
|
|
|
|
|
|
|
} |
147
|
|
|
|
|
|
|
sub capture_as_result { |
148
|
0
|
|
|
0
|
0
|
|
die "return objects not implemented"; |
149
|
|
|
|
|
|
|
} |
150
|
|
|
|
|
|
|
sub named_capture { |
151
|
0
|
|
|
0
|
0
|
|
die "no named captures"; |
152
|
|
|
|
|
|
|
} |
153
|
|
|
|
|
|
|
sub negate { |
154
|
0
|
|
|
0
|
0
|
|
die "no negate"; |
155
|
|
|
|
|
|
|
} |
156
|
|
|
|
|
|
|
sub before { |
157
|
0
|
|
|
0
|
0
|
|
my $program = $_[0]{rule}; |
158
|
0
|
0
|
|
|
|
|
$program = emit_rule( $program ) |
159
|
|
|
|
|
|
|
if ref( $program ); |
160
|
0
|
|
|
|
|
|
return "(?=" . $program . ")"; |
161
|
|
|
|
|
|
|
} |
162
|
|
|
|
|
|
|
sub not_before { |
163
|
0
|
|
|
0
|
0
|
|
my $program = $_[0]{rule}; |
164
|
0
|
0
|
|
|
|
|
$program = emit_rule( $program ) |
165
|
|
|
|
|
|
|
if ref( $program ); |
166
|
0
|
|
|
|
|
|
return "(?!" . $program . ")"; |
167
|
|
|
|
|
|
|
} |
168
|
|
|
|
|
|
|
sub after { |
169
|
0
|
|
|
0
|
0
|
|
my $program = $_[0]{rule}; |
170
|
0
|
0
|
|
|
|
|
$program = emit_rule( $program ) |
171
|
|
|
|
|
|
|
if ref( $program ); |
172
|
0
|
|
|
|
|
|
return "(?<=" . $program . ")"; |
173
|
|
|
|
|
|
|
} |
174
|
|
|
|
|
|
|
sub not_after { |
175
|
0
|
|
|
0
|
0
|
|
my $program = $_[0]{rule}; |
176
|
0
|
0
|
|
|
|
|
$program = emit_rule( $program ) |
177
|
|
|
|
|
|
|
if ref( $program ); |
178
|
0
|
|
|
|
|
|
return "(?
|
179
|
|
|
|
|
|
|
} |
180
|
|
|
|
|
|
|
sub colon { |
181
|
0
|
|
|
0
|
0
|
|
my $str = $_[0]; |
182
|
0
|
0
|
|
|
|
|
return '\z' |
183
|
|
|
|
|
|
|
if $str eq '$'; |
184
|
0
|
0
|
|
|
|
|
return '\A' |
185
|
|
|
|
|
|
|
if $str eq '^'; |
186
|
0
|
0
|
|
|
|
|
return '$' |
187
|
|
|
|
|
|
|
if $str eq '$$'; |
188
|
0
|
0
|
|
|
|
|
return '^' |
189
|
|
|
|
|
|
|
if $str eq '^^'; |
190
|
0
|
|
|
|
|
|
die "'$str' not implemented"; |
191
|
|
|
|
|
|
|
} |
192
|
|
|
|
|
|
|
sub modifier { |
193
|
0
|
|
|
0
|
0
|
|
my $str = $_[0]; |
194
|
0
|
|
|
|
|
|
die "modifier '$str' not implemented"; |
195
|
|
|
|
|
|
|
} |
196
|
|
|
|
|
|
|
sub constant { |
197
|
0
|
0
|
|
0
|
0
|
|
return "" |
198
|
|
|
|
|
|
|
unless length($_[0]); |
199
|
0
|
0
|
|
|
|
|
return '\\/' if $_[0] eq '/'; |
200
|
0
|
|
|
|
|
|
return $_[0]; |
201
|
|
|
|
|
|
|
} |
202
|
|
|
|
|
|
|
|
203
|
1
|
|
|
1
|
|
10
|
use vars qw( %char_class ); |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
87
|
|
204
|
|
|
|
|
|
|
BEGIN { |
205
|
1
|
|
|
1
|
|
3
|
%char_class = map { $_ => 1 } qw( |
|
14
|
|
|
|
|
385
|
|
206
|
|
|
|
|
|
|
alpha alnum ascii blank |
207
|
|
|
|
|
|
|
cntrl digit graph lower |
208
|
|
|
|
|
|
|
print punct space upper |
209
|
|
|
|
|
|
|
word xdigit |
210
|
|
|
|
|
|
|
); |
211
|
|
|
|
|
|
|
} |
212
|
|
|
|
|
|
|
|
213
|
|
|
|
|
|
|
sub char_class { |
214
|
0
|
|
|
0
|
0
|
|
my $cmd = Pugs::Emitter::Rule::Perl5::CharClass::emit( $_[0] ); |
215
|
0
|
|
|
|
|
|
return $cmd; |
216
|
|
|
|
|
|
|
} |
217
|
|
|
|
|
|
|
|
218
|
|
|
|
|
|
|
sub metasyntax { |
219
|
|
|
|
|
|
|
# |
220
|
0
|
|
|
0
|
0
|
|
my $cmd = $_[0]; |
221
|
0
|
|
|
|
|
|
my $prefix = substr( $cmd, 0, 1 ); |
222
|
0
|
0
|
|
|
|
|
if ( $prefix eq q(') ) { # single quoted literal ' |
223
|
0
|
|
|
|
|
|
$cmd = substr( $cmd, 1, -1 ); |
224
|
0
|
|
|
|
|
|
$cmd =~ s/([\$\@\%\[\]\+\*\(\)\?\/])/\\$1/g; |
225
|
0
|
|
|
|
|
|
return $cmd; |
226
|
|
|
|
|
|
|
} |
227
|
0
|
0
|
|
|
|
|
if ( $prefix eq '.' ) { # non_capturing_subrule / code assertion |
228
|
0
|
|
|
|
|
|
$cmd = substr( $cmd, 1 ); |
229
|
0
|
0
|
|
|
|
|
if ( exists $char_class{$cmd} ) { |
230
|
|
|
|
|
|
|
# XXX - inlined char classes are not inheritable, but this should be ok |
231
|
0
|
|
|
|
|
|
return "[[:$cmd:]]"; |
232
|
|
|
|
|
|
|
} |
233
|
|
|
|
|
|
|
} |
234
|
0
|
0
|
|
|
|
|
if ( $prefix eq '?' ) { # non_capturing_subrule / code assertion |
235
|
|
|
|
|
|
|
# XXX FIXME |
236
|
0
|
|
|
|
|
|
$cmd = substr( $cmd, 1 ); |
237
|
0
|
0
|
|
|
|
|
if ( exists $char_class{$cmd} ) { |
238
|
|
|
|
|
|
|
# XXX - inlined char classes are not inheritable, but this should be ok |
239
|
0
|
|
|
|
|
|
return "[[:$cmd:]]"; |
240
|
|
|
|
|
|
|
} |
241
|
|
|
|
|
|
|
} |
242
|
0
|
0
|
|
|
|
|
if ( $prefix =~ /[_[:alnum:]]/ ) { |
243
|
0
|
0
|
|
|
|
|
if ( $cmd eq 'null' ) { |
244
|
0
|
|
|
|
|
|
return "" |
245
|
|
|
|
|
|
|
} |
246
|
|
|
|
|
|
|
} |
247
|
0
|
|
|
|
|
|
die "<$cmd> not implemented"; |
248
|
|
|
|
|
|
|
} |
249
|
|
|
|
|
|
|
|
250
|
|
|
|
|
|
|
1; |