This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Add a new perldelta
[perl5.git] / pod / perlreapi.pod
CommitLineData
108003db
RGS
1=head1 NAME
2
3perlreapi - perl regular expression plugin interface
4
5=head1 DESCRIPTION
6
a0e97681
RGS
7As of Perl 5.9.5 there is a new interface for plugging and using other
8regular expression engines than the default one.
9
10Each engine is supposed to provide access to a constant structure of the
11following format:
108003db
RGS
12
13 typedef struct regexp_engine {
3ab4a224 14 REGEXP* (*comp) (pTHX_ const SV * const pattern, const U32 flags);
49d7dfbc 15 I32 (*exec) (pTHX_ REGEXP * const rx, char* stringarg, char* strend,
2fdbfb4d
AB
16 char* strbeg, I32 minend, SV* screamer,
17 void* data, U32 flags);
49d7dfbc 18 char* (*intuit) (pTHX_ REGEXP * const rx, SV *sv, char *strpos,
2fdbfb4d
AB
19 char *strend, U32 flags,
20 struct re_scream_pos_data_s *data);
49d7dfbc
AB
21 SV* (*checkstr) (pTHX_ REGEXP * const rx);
22 void (*free) (pTHX_ REGEXP * const rx);
2fdbfb4d
AB
23 void (*numbered_buff_FETCH) (pTHX_ REGEXP * const rx, const I32 paren,
24 SV * const sv);
25 void (*numbered_buff_STORE) (pTHX_ REGEXP * const rx, const I32 paren,
26 SV const * const value);
27 I32 (*numbered_buff_LENGTH) (pTHX_ REGEXP * const rx, const SV * const sv,
28 const I32 paren);
192b9cd1
AB
29 SV* (*named_buff) (pTHX_ REGEXP * const rx, SV * const key,
30 SV * const value, U32 flags);
31 SV* (*named_buff_iter) (pTHX_ REGEXP * const rx, const SV * const lastkey,
32 const U32 flags);
49d7dfbc 33 SV* (*qr_package)(pTHX_ REGEXP * const rx);
108003db 34 #ifdef USE_ITHREADS
49d7dfbc 35 void* (*dupe) (pTHX_ REGEXP * const rx, CLONE_PARAMS *param);
108003db 36 #endif
3c13cae6
DM
37 REGEXP* (*op_comp) (...);
38
108003db
RGS
39
40When a regexp is compiled, its C<engine> field is then set to point at
a0e97681 41the appropriate structure, so that when it needs to be used Perl can find
108003db
RGS
42the right routines to do so.
43
44In order to install a new regexp handler, C<$^H{regcomp}> is set
45to an integer which (when casted appropriately) resolves to one of these
46structures. When compiling, the C<comp> method is executed, and the
47resulting regexp structure's engine field is expected to point back at
48the same structure.
49
50The pTHX_ symbol in the definition is a macro used by perl under threading
51to provide an extra argument to the routine holding a pointer back to
52the interpreter that is executing the regexp. So under threading all
53routines get an extra argument.
54
882227b7 55=head1 Callbacks
108003db
RGS
56
57=head2 comp
58
3ab4a224 59 REGEXP* comp(pTHX_ const SV * const pattern, const U32 flags);
108003db 60
3ab4a224
AB
61Compile the pattern stored in C<pattern> using the given C<flags> and
62return a pointer to a prepared C<REGEXP> structure that can perform
63the match. See L</The REGEXP structure> below for an explanation of
64the individual fields in the REGEXP struct.
65
66The C<pattern> parameter is the scalar that was used as the
67pattern. previous versions of perl would pass two C<char*> indicating
a0e97681 68the start and end of the stringified pattern, the following snippet can
3ab4a224
AB
69be used to get the old parameters:
70
71 STRLEN plen;
72 char* exp = SvPV(pattern, plen);
73 char* xend = exp + plen;
74
75Since any scalar can be passed as a pattern it's possible to implement
76an engine that does something with an array (C<< "ook" =~ [ qw/ eek
77hlagh / ] >>) or with the non-stringified form of a compiled regular
78expression (C<< "ook" =~ qr/eek/ >>). perl's own engine will always
79stringify everything using the snippet above but that doesn't mean
80other engines have to.
108003db 81
a0e97681 82The C<flags> parameter is a bitfield which indicates which of the
c998b245
AB
83C<msixp> flags the regex was compiled with. It also contains
84additional info such as whether C<use locale> is in effect.
108003db
RGS
85
86The C<eogc> flags are stripped out before being passed to the comp
87routine. The regex engine does not need to know whether any of these
3ab4a224 88are set as those flags should only affect what perl does with the
c998b245
AB
89pattern and its match variables, not how it gets compiled and
90executed.
108003db 91
c998b245
AB
92By the time the comp callback is called, some of these flags have
93already had effect (noted below where applicable). However most of
94their effect occurs after the comp callback has run in routines that
95read the C<< rx->extflags >> field which it populates.
108003db 96
c998b245
AB
97In general the flags should be preserved in C<< rx->extflags >> after
98compilation, although the regex engine might want to add or delete
99some of them to invoke or disable some special behavior in perl. The
100flags along with any special behavior they cause are documented below:
108003db 101
c998b245 102The pattern modifiers:
108003db 103
c998b245 104=over 4
108003db 105
c998b245 106=item C</m> - RXf_PMf_MULTILINE
108003db 107
c998b245
AB
108If this is in C<< rx->extflags >> it will be passed to
109C<Perl_fbm_instr> by C<pp_split> which will treat the subject string
110as a multi-line string.
108003db 111
c998b245 112=item C</s> - RXf_PMf_SINGLELINE
108003db 113
c998b245 114=item C</i> - RXf_PMf_FOLD
108003db 115
c998b245 116=item C</x> - RXf_PMf_EXTENDED
108003db 117
c998b245
AB
118If present on a regex C<#> comments will be handled differently by the
119tokenizer in some cases.
108003db 120
c998b245 121TODO: Document those cases.
108003db 122
c998b245 123=item C</p> - RXf_PMf_KEEPCOPY
108003db 124
e72ec78c
KW
125TODO: Document this
126
f0f9b3b8
KW
127=item Character set
128
129The character set semantics are determined by an enum that is contained
130in this field. This is still experimental and subject to change, but
131the current interface returns the rules by use of the in-line function
132C<get_regex_charset(const U32 flags)>. The only currently documented
133value returned from it is REGEX_LOCALE_CHARSET, which is set if
e72ec78c
KW
134C<use locale> is in effect. If present in C<< rx->extflags >>,
135C<split> will use the locale dependent definition of whitespace
136when RXf_SKIPWHITE or RXf_WHITE is in effect. ASCII whitespace
96090e4f 137is defined as per L<isSPACE|perlapi/isSPACE>, and by the internal
e72ec78c 138macros C<is_utf8_space> under UTF-8, and C<isSPACE_LC> under C<use
c998b245 139locale>.
108003db 140
f0f9b3b8
KW
141=back
142
143Additional flags:
144
145=over 4
146
0ac6acae
AB
147=item RXf_SPLIT
148
149If C<split> is invoked as C<split ' '> or with no arguments (which
5137fa37 150really means C<split(' ', $_)>, see L<split|perlfunc/split>), perl will
0ac6acae
AB
151set this flag. The regex engine can then check for it and set the
152SKIPWHITE and WHITE extflags. To do this the perl engine does:
153
154 if (flags & RXf_SPLIT && r->prelen == 1 && r->precomp[0] == ' ')
155 r->extflags |= (RXf_SKIPWHITE|RXf_WHITE);
156
108003db
RGS
157=back
158
c998b245
AB
159These flags can be set during compilation to enable optimizations in
160the C<split> operator.
161
162=over 4
163
0ac6acae
AB
164=item RXf_SKIPWHITE
165
166If the flag is present in C<< rx->extflags >> C<split> will delete
167whitespace from the start of the subject string before it's operated
168on. What is considered whitespace depends on whether the subject is a
169UTF-8 string and whether the C<RXf_PMf_LOCALE> flag is set.
170
171If RXf_WHITE is set in addition to this flag C<split> will behave like
172C<split " "> under the perl engine.
173
c998b245
AB
174=item RXf_START_ONLY
175
176Tells the split operator to split the target string on newlines
177(C<\n>) without invoking the regex engine.
178
179Perl's engine sets this if the pattern is C</^/> (C<plen == 1 && *exp
180== '^'>), even under C</^/s>, see L<split|perlfunc>. Of course a
181different regex engine might want to use the same optimizations
182with a different syntax.
183
184=item RXf_WHITE
185
186Tells the split operator to split the target string on whitespace
187without invoking the regex engine. The definition of whitespace varies
188depending on whether the target string is a UTF-8 string and on
189whether RXf_PMf_LOCALE is set.
190
0ac6acae 191Perl's engine sets this flag if the pattern is C<\s+>.
c998b245 192
640f820d
AB
193=item RXf_NULL
194
a0e97681 195Tells the split operator to split the target string on
640f820d
AB
196characters. The definition of character varies depending on whether
197the target string is a UTF-8 string.
198
199Perl's engine sets this flag on empty patterns, this optimization
a0e97681 200makes C<split //> much faster than it would otherwise be. It's even
640f820d
AB
201faster than C<unpack>.
202
c998b245 203=back
108003db
RGS
204
205=head2 exec
206
49d7dfbc 207 I32 exec(pTHX_ REGEXP * const rx,
108003db
RGS
208 char *stringarg, char* strend, char* strbeg,
209 I32 minend, SV* screamer,
210 void* data, U32 flags);
211
8fd1a950
DM
212Execute a regexp. The arguments are
213
214=over 4
215
216=item rx
217
218The regular expression to execute.
219
220=item screamer
221
222This strangely-named arg is the SV to be matched against. Note that the
223actual char array to be matched against is supplied by the arguments
224described below; the SV is just used to determine UTF8ness, C<pos()> etc.
225
226=item strbeg
227
228Pointer to the physical start of the string.
229
230=item strend
231
232Pointer to the character following the physical end of the string (i.e.
233the \0).
234
235=item stringarg
236
237Pointer to the position in the string where matching should start; it might
238not be equal to C<strbeg> (for example in a later iteration of C</.../g>).
239
240=item minend
241
242Minimum length of string (measured in bytes from C<stringarg>) that must
243match; if the engine reaches the end of the match but hasn't reached this
244position in the string, it should fail.
245
246=item data
247
248Optimisation data; subject to change.
249
250=item flags
251
252Optimisation flags; subject to change.
253
254=back
108003db
RGS
255
256=head2 intuit
257
49d7dfbc 258 char* intuit(pTHX_ REGEXP * const rx,
108003db 259 SV *sv, char *strpos, char *strend,
49d7dfbc 260 const U32 flags, struct re_scream_pos_data_s *data);
108003db
RGS
261
262Find the start position where a regex match should be attempted,
263or possibly whether the regex engine should not be run because the
264pattern can't match. This is called as appropriate by the core
265depending on the values of the extflags member of the regexp
266structure.
267
268=head2 checkstr
269
49d7dfbc 270 SV* checkstr(pTHX_ REGEXP * const rx);
108003db
RGS
271
272Return a SV containing a string that must appear in the pattern. Used
273by C<split> for optimising matches.
274
275=head2 free
276
49d7dfbc 277 void free(pTHX_ REGEXP * const rx);
108003db
RGS
278
279Called by perl when it is freeing a regexp pattern so that the engine
280can release any resources pointed to by the C<pprivate> member of the
281regexp structure. This is only responsible for freeing private data;
282perl will handle releasing anything else contained in the regexp structure.
283
192b9cd1 284=head2 Numbered capture callbacks
108003db 285
192b9cd1
AB
286Called to get/set the value of C<$`>, C<$'>, C<$&> and their named
287equivalents, ${^PREMATCH}, ${^POSTMATCH} and $^{MATCH}, as well as the
c27a5cfe 288numbered capture groups (C<$1>, C<$2>, ...).
49d7dfbc 289
c149d39e
DM
290The C<paren> parameter will be C<1> for C<$1>, C<2> for C<$2> and so
291forth, and have these symbolic values for the special variables:
292
293 ${^PREMATCH} RX_BUFF_IDX_CARET_PREMATCH
294 ${^POSTMATCH} RX_BUFF_IDX_CARET_POSTMATCH
295 ${^MATCH} RX_BUFF_IDX_CARET_FULLMATCH
296 $` RX_BUFF_IDX_PREMATCH
297 $' RX_BUFF_IDX_POSTMATCH
298 $& RX_BUFF_IDX_FULLMATCH
299
300Note that in perl 5.17.3 and earlier, the last three constants were also
301used for the caret variants of the variables.
302
49d7dfbc 303
192b9cd1
AB
304The names have been chosen by analogy with L<Tie::Scalar> methods
305names with an additional B<LENGTH> callback for efficiency. However
306named capture variables are currently not tied internally but
307implemented via magic.
308
309=head3 numbered_buff_FETCH
310
311 void numbered_buff_FETCH(pTHX_ REGEXP * const rx, const I32 paren,
312 SV * const sv);
313
314Fetch a specified numbered capture. C<sv> should be set to the scalar
315to return, the scalar is passed as an argument rather than being
316returned from the function because when it's called perl already has a
317scalar to store the value, creating another one would be
318redundant. The scalar can be set with C<sv_setsv>, C<sv_setpvn> and
319friends, see L<perlapi>.
49d7dfbc
AB
320
321This callback is where perl untaints its own capture variables under
c998b245 322taint mode (see L<perlsec>). See the C<Perl_reg_numbered_buff_fetch>
49d7dfbc
AB
323function in F<regcomp.c> for how to untaint capture variables if
324that's something you'd like your engine to do as well.
108003db 325
192b9cd1 326=head3 numbered_buff_STORE
108003db 327
2fdbfb4d
AB
328 void (*numbered_buff_STORE) (pTHX_ REGEXP * const rx, const I32 paren,
329 SV const * const value);
108003db 330
192b9cd1
AB
331Set the value of a numbered capture variable. C<value> is the scalar
332that is to be used as the new value. It's up to the engine to make
333sure this is used as the new value (or reject it).
2fdbfb4d
AB
334
335Example:
336
337 if ("ook" =~ /(o*)/) {
ccf3535a 338 # 'paren' will be '1' and 'value' will be 'ee'
2fdbfb4d
AB
339 $1 =~ tr/o/e/;
340 }
341
342Perl's own engine will croak on any attempt to modify the capture
a0e97681 343variables, to do this in another engine use the following callback
2fdbfb4d
AB
344(copied from C<Perl_reg_numbered_buff_store>):
345
346 void
347 Example_reg_numbered_buff_store(pTHX_ REGEXP * const rx, const I32 paren,
348 SV const * const value)
349 {
350 PERL_UNUSED_ARG(rx);
351 PERL_UNUSED_ARG(paren);
352 PERL_UNUSED_ARG(value);
353
354 if (!PL_localizing)
355 Perl_croak(aTHX_ PL_no_modify);
356 }
357
99d59c4d 358Actually perl will not I<always> croak in a statement that looks
2fdbfb4d
AB
359like it would modify a numbered capture variable. This is because the
360STORE callback will not be called if perl can determine that it
361doesn't have to modify the value. This is exactly how tied variables
362behave in the same situation:
363
364 package CaptureVar;
365 use base 'Tie::Scalar';
366
367 sub TIESCALAR { bless [] }
368 sub FETCH { undef }
369 sub STORE { die "This doesn't get called" }
370
371 package main;
372
c69ca1d4 373 tie my $sv => "CaptureVar";
2fdbfb4d
AB
374 $sv =~ y/a/b/;
375
376Because C<$sv> is C<undef> when the C<y///> operator is applied to it
377the transliteration won't actually execute and the program won't
192b9cd1
AB
378C<die>. This is different to how 5.8 and earlier versions behaved
379since the capture variables were READONLY variables then, now they'll
380just die when assigned to in the default engine.
2fdbfb4d 381
192b9cd1 382=head3 numbered_buff_LENGTH
2fdbfb4d
AB
383
384 I32 numbered_buff_LENGTH (pTHX_ REGEXP * const rx, const SV * const sv,
385 const I32 paren);
386
387Get the C<length> of a capture variable. There's a special callback
388for this so that perl doesn't have to do a FETCH and run C<length> on
192b9cd1 389the result, since the length is (in perl's case) known from an offset
0a3a8dc0 390stored in C<< rx->offs >> this is much more efficient:
2fdbfb4d
AB
391
392 I32 s1 = rx->offs[paren].start;
393 I32 s2 = rx->offs[paren].end;
394 I32 len = t1 - s1;
395
396This is a little bit more complex in the case of UTF-8, see what
397C<Perl_reg_numbered_buff_length> does with
398L<is_utf8_string_loclen|perlapi/is_utf8_string_loclen>.
399
192b9cd1
AB
400=head2 Named capture callbacks
401
402Called to get/set the value of C<%+> and C<%-> as well as by some
403utility functions in L<re>.
404
405There are two callbacks, C<named_buff> is called in all the cases the
406FETCH, STORE, DELETE, CLEAR, EXISTS and SCALAR L<Tie::Hash> callbacks
407would be on changes to C<%+> and C<%-> and C<named_buff_iter> in the
408same cases as FIRSTKEY and NEXTKEY.
409
410The C<flags> parameter can be used to determine which of these
411operations the callbacks should respond to, the following flags are
412currently defined:
413
414Which L<Tie::Hash> operation is being performed from the Perl level on
415C<%+> or C<%+>, if any:
416
f1b875a0
YO
417 RXapif_FETCH
418 RXapif_STORE
419 RXapif_DELETE
420 RXapif_CLEAR
421 RXapif_EXISTS
422 RXapif_SCALAR
423 RXapif_FIRSTKEY
424 RXapif_NEXTKEY
192b9cd1
AB
425
426Whether C<%+> or C<%-> is being operated on, if any.
2fdbfb4d 427
f1b875a0
YO
428 RXapif_ONE /* %+ */
429 RXapif_ALL /* %- */
2fdbfb4d 430
192b9cd1 431Whether this is being called as C<re::regname>, C<re::regnames> or
c998b245 432C<re::regnames_count>, if any. The first two will be combined with
f1b875a0 433C<RXapif_ONE> or C<RXapif_ALL>.
192b9cd1 434
f1b875a0
YO
435 RXapif_REGNAME
436 RXapif_REGNAMES
437 RXapif_REGNAMES_COUNT
192b9cd1
AB
438
439Internally C<%+> and C<%-> are implemented with a real tied interface
440via L<Tie::Hash::NamedCapture>. The methods in that package will call
441back into these functions. However the usage of
442L<Tie::Hash::NamedCapture> for this purpose might change in future
443releases. For instance this might be implemented by magic instead
444(would need an extension to mgvtbl).
445
446=head3 named_buff
447
448 SV* (*named_buff) (pTHX_ REGEXP * const rx, SV * const key,
449 SV * const value, U32 flags);
450
451=head3 named_buff_iter
452
453 SV* (*named_buff_iter) (pTHX_ REGEXP * const rx, const SV * const lastkey,
454 const U32 flags);
108003db 455
49d7dfbc 456=head2 qr_package
108003db 457
49d7dfbc 458 SV* qr_package(pTHX_ REGEXP * const rx);
108003db
RGS
459
460The package the qr// magic object is blessed into (as seen by C<ref
49d7dfbc
AB
461qr//>). It is recommended that engines change this to their package
462name for identification regardless of whether they implement methods
463on the object.
464
192b9cd1 465The package this method returns should also have the internal
d5213412 466C<Regexp> package in its C<@ISA>. C<< qr//->isa("Regexp") >> should always
192b9cd1
AB
467be true regardless of what engine is being used.
468
469Example implementation might be:
108003db
RGS
470
471 SV*
192b9cd1 472 Example_qr_package(pTHX_ REGEXP * const rx)
108003db
RGS
473 {
474 PERL_UNUSED_ARG(rx);
475 return newSVpvs("re::engine::Example");
476 }
477
478Any method calls on an object created with C<qr//> will be dispatched to the
479package as a normal object.
480
481 use re::engine::Example;
482 my $re = qr//;
483 $re->meth; # dispatched to re::engine::Example::meth()
484
f7e71195
AB
485To retrieve the C<REGEXP> object from the scalar in an XS function use
486the C<SvRX> macro, see L<"REGEXP Functions" in perlapi|perlapi/REGEXP
487Functions>.
108003db
RGS
488
489 void meth(SV * rv)
490 PPCODE:
f7e71195 491 REGEXP * re = SvRX(sv);
108003db 492
108003db
RGS
493=head2 dupe
494
49d7dfbc 495 void* dupe(pTHX_ REGEXP * const rx, CLONE_PARAMS *param);
108003db
RGS
496
497On threaded builds a regexp may need to be duplicated so that the pattern
a0e97681 498can be used by multiple threads. This routine is expected to handle the
108003db
RGS
499duplication of any private data pointed to by the C<pprivate> member of
500the regexp structure. It will be called with the preconstructed new
501regexp structure as an argument, the C<pprivate> member will point at
a0e97681 502the B<old> private structure, and it is this routine's responsibility to
108003db
RGS
503construct a copy and return a pointer to it (which perl will then use to
504overwrite the field as passed to this routine.)
505
506This allows the engine to dupe its private data but also if necessary
507modify the final structure if it really must.
508
509On unthreaded builds this field doesn't exist.
510
3c13cae6
DM
511=head2 op_comp
512
513This is private to the perl core and subject to change. Should be left
514null.
515
108003db
RGS
516=head1 The REGEXP structure
517
518The REGEXP struct is defined in F<regexp.h>. All regex engines must be able to
519correctly build such a structure in their L</comp> routine.
520
521The REGEXP structure contains all the data that perl needs to be aware of
522to properly work with the regular expression. It includes data about
523optimisations that perl can use to determine if the regex engine should
524really be used, and various other control info that is needed to properly
525execute patterns in various contexts such as is the pattern anchored in
526some way, or what flags were used during the compile, or whether the
527program contains special constructs that perl needs to be aware of.
528
882227b7
AB
529In addition it contains two fields that are intended for the private
530use of the regex engine that compiled the pattern. These are the
531C<intflags> and C<pprivate> members. C<pprivate> is a void pointer to
532an arbitrary structure whose use and management is the responsibility
533of the compiling engine. perl will never modify either of these
534values.
108003db
RGS
535
536 typedef struct regexp {
537 /* what engine created this regexp? */
538 const struct regexp_engine* engine;
539
540 /* what re is this a lightweight copy of? */
541 struct regexp* mother_re;
542
543 /* Information about the match that the perl core uses to manage things */
544 U32 extflags; /* Flags used both externally and internally */
545 I32 minlen; /* mininum possible length of string to match */
546 I32 minlenret; /* mininum possible length of $& */
547 U32 gofs; /* chars left of pos that we search from */
548
549 /* substring data about strings that must appear
550 in the final match, used for optimisations */
551 struct reg_substr_data *substrs;
552
c27a5cfe 553 U32 nparens; /* number of capture groups */
108003db
RGS
554
555 /* private engine specific data */
556 U32 intflags; /* Engine Specific Internal flags */
557 void *pprivate; /* Data private to the regex engine which
558 created this object. */
559
560 /* Data about the last/current match. These are modified during matching*/
82f14494
DM
561 U32 lastparen; /* highest close paren matched ($+) */
562 U32 lastcloseparen; /* last close paren matched ($^N) */
108003db
RGS
563 regexp_paren_pair *swap; /* Swap copy of *offs */
564 regexp_paren_pair *offs; /* Array of offsets for (@-) and (@+) */
565
566 char *subbeg; /* saved or original string so \digit works forever. */
567 SV_SAVED_COPY /* If non-NULL, SV which is COW from original */
568 I32 sublen; /* Length of string pointed by subbeg */
6502e081
DM
569 I32 suboffset; /* byte offset of subbeg from logical start of str */
570 I32 subcoffset; /* suboffset equiv, but in chars (for @-/@+) */
108003db
RGS
571
572 /* Information about the match that isn't often used */
573 I32 prelen; /* length of precomp */
574 const char *precomp; /* pre-compilation regular expression */
575
108003db
RGS
576 char *wrapped; /* wrapped version of the pattern */
577 I32 wraplen; /* length of wrapped */
578
579 I32 seen_evals; /* number of eval groups in the pattern - for security checks */
580 HV *paren_names; /* Optional hash of paren names */
581
582 /* Refcount of this regexp */
583 I32 refcnt; /* Refcount of this regexp */
584 } regexp;
585
586The fields are discussed in more detail below:
587
882227b7 588=head2 C<engine>
108003db
RGS
589
590This field points at a regexp_engine structure which contains pointers
591to the subroutines that are to be used for performing a match. It
592is the compiling routine's responsibility to populate this field before
593returning the regexp object.
594
595Internally this is set to C<NULL> unless a custom engine is specified in
596C<$^H{regcomp}>, perl's own set of callbacks can be accessed in the struct
597pointed to by C<RE_ENGINE_PTR>.
598
882227b7 599=head2 C<mother_re>
108003db
RGS
600
601TODO, see L<http://www.mail-archive.com/perl5-changes@perl.org/msg17328.html>
602
882227b7 603=head2 C<extflags>
108003db 604
192b9cd1
AB
605This will be used by perl to see what flags the regexp was compiled
606with, this will normally be set to the value of the flags parameter by
c998b245
AB
607the L<comp|/comp> callback. See the L<comp|/comp> documentation for
608valid flags.
108003db 609
882227b7 610=head2 C<minlen> C<minlenret>
108003db
RGS
611
612The minimum string length required for the pattern to match. This is used to
613prune the search space by not bothering to match any closer to the end of a
614string than would allow a match. For instance there is no point in even
615starting the regex engine if the minlen is 10 but the string is only 5
616characters long. There is no way that the pattern can match.
617
618C<minlenret> is the minimum length of the string that would be found
619in $& after a match.
620
621The difference between C<minlen> and C<minlenret> can be seen in the
622following pattern:
623
624 /ns(?=\d)/
625
626where the C<minlen> would be 3 but C<minlenret> would only be 2 as the \d is
627required to match but is not actually included in the matched content. This
628distinction is particularly important as the substitution logic uses the
a0e97681 629C<minlenret> to tell whether it can do in-place substitution which can result in
108003db
RGS
630considerable speedup.
631
882227b7 632=head2 C<gofs>
108003db
RGS
633
634Left offset from pos() to start match at.
635
882227b7 636=head2 C<substrs>
108003db 637
192b9cd1
AB
638Substring data about strings that must appear in the final match. This
639is currently only used internally by perl's engine for but might be
c998b245 640used in the future for all engines for optimisations.
108003db 641
1cecf2c0 642=head2 C<nparens>, C<lastparen>, and C<lastcloseparen>
108003db
RGS
643
644These fields are used to keep track of how many paren groups could be matched
645in the pattern, which was the last open paren to be entered, and which was
646the last close paren to be entered.
647
882227b7 648=head2 C<intflags>
108003db
RGS
649
650The engine's private copy of the flags the pattern was compiled with. Usually
192b9cd1 651this is the same as C<extflags> unless the engine chose to modify one of them.
108003db 652
882227b7 653=head2 C<pprivate>
108003db
RGS
654
655A void* pointing to an engine-defined data structure. The perl engine uses the
656C<regexp_internal> structure (see L<perlreguts/Base Structures>) but a custom
657engine should use something else.
658
882227b7 659=head2 C<swap>
108003db 660
e9105d30 661Unused. Left in for compatibility with perl 5.10.0.
108003db 662
882227b7 663=head2 C<offs>
108003db
RGS
664
665A C<regexp_paren_pair> structure which defines offsets into the string being
666matched which correspond to the C<$&> and C<$1>, C<$2> etc. captures, the
667C<regexp_paren_pair> struct is defined as follows:
668
669 typedef struct regexp_paren_pair {
670 I32 start;
671 I32 end;
672 } regexp_paren_pair;
673
674If C<< ->offs[num].start >> or C<< ->offs[num].end >> is C<-1> then that
c27a5cfe 675capture group did not match. C<< ->offs[0].start/end >> represents C<$&> (or
c149d39e 676C<${^MATCH}> under C<//p>) and C<< ->offs[paren].end >> matches C<$$paren> where
108003db
RGS
677C<$paren >= 1>.
678
882227b7 679=head2 C<precomp> C<prelen>
108003db 680
192b9cd1
AB
681Used for optimisations. C<precomp> holds a copy of the pattern that
682was compiled and C<prelen> its length. When a new pattern is to be
683compiled (such as inside a loop) the internal C<regcomp> operator
684checks whether the last compiled C<REGEXP>'s C<precomp> and C<prelen>
685are equivalent to the new one, and if so uses the old pattern instead
686of compiling a new one.
687
688The relevant snippet from C<Perl_pp_regcomp>:
689
690 if (!re || !re->precomp || re->prelen != (I32)len ||
691 memNE(re->precomp, t, len))
692 /* Compile a new pattern */
108003db 693
882227b7 694=head2 C<paren_names>
108003db 695
c27a5cfe 696This is a hash used internally to track named capture groups and their
108003db
RGS
697offsets. The keys are the names of the buffers the values are dualvars,
698with the IV slot holding the number of buffers with the given name and the
699pv being an embedded array of I32. The values may also be contained
700independently in the data array in cases where named backreferences are
701used.
702
c998b245 703=head2 C<substrs>
108003db
RGS
704
705Holds information on the longest string that must occur at a fixed
706offset from the start of the pattern, and the longest string that must
707occur at a floating offset from the start of the pattern. Used to do
708Fast-Boyer-Moore searches on the string to find out if its worth using
709the regex engine at all, and if so where in the string to search.
710
6502e081
DM
711=head2 C<subbeg> C<sublen> C<saved_copy> C<suboffset> C<subcoffset>
712
713Used during the execution phase for managing search and replace patterns,
714and for providing the text for C<$&>, C<$1> etc. C<subbeg> points to a
715buffer (either the original string, or a copy in the case of
716C<RX_MATCH_COPIED(rx)>), and C<sublen> is the length of the buffer. The
717C<RX_OFFS> start and end indices index into this buffer.
718
719In the presence of the C<REXEC_COPY_STR> flag, but with the addition of
720the C<REXEC_COPY_SKIP_PRE> or C<REXEC_COPY_SKIP_POST> flags, an engine
721can choose not to copy the full buffer (although it must still do so in
722the presence of C<RXf_PMf_KEEPCOPY> or the relevant bits being set in
723C<PL_sawampersand>). In this case, it may set C<suboffset> to indicate the
724number of bytes from the logical start of the buffer to the physical start
725(i.e. C<subbeg>). It should also set C<subcoffset>, the number of
726characters in the offset. The latter is needed to support C<@-> and C<@+>
727which work in characters, not bytes.
108003db 728
882227b7 729=head2 C<wrapped> C<wraplen>
108003db 730
c998b245 731Stores the string C<qr//> stringifies to. The perl engine for example
ed215d3c 732stores C<(?^:eek)> in the case of C<qr/eek/>.
108003db 733
c998b245
AB
734When using a custom engine that doesn't support the C<(?:)> construct
735for inline modifiers, it's probably best to have C<qr//> stringify to
736the supplied pattern, note that this will create undesired patterns in
737cases such as:
108003db
RGS
738
739 my $x = qr/a|b/; # "a|b"
192b9cd1 740 my $y = qr/c/i; # "c"
108003db
RGS
741 my $z = qr/$x$y/; # "a|bc"
742
192b9cd1
AB
743There's no solution for this problem other than making the custom
744engine understand a construct like C<(?:)>.
108003db 745
882227b7 746=head2 C<seen_evals>
108003db
RGS
747
748This stores the number of eval groups in the pattern. This is used for security
749purposes when embedding compiled regexes into larger patterns with C<qr//>.
750
882227b7 751=head2 C<refcnt>
108003db
RGS
752
753The number of times the structure is referenced. When this falls to 0 the
754regexp is automatically freed by a call to pregfree. This should be set to 1 in
755each engine's L</comp> routine.
756
108003db
RGS
757=head1 HISTORY
758
759Originally part of L<perlreguts>.
760
761=head1 AUTHORS
762
763Originally written by Yves Orton, expanded by E<AElig>var ArnfjE<ouml>rE<eth>
764Bjarmason.
765
766=head1 LICENSE
767
768Copyright 2006 Yves Orton and 2007 E<AElig>var ArnfjE<ouml>rE<eth> Bjarmason.
769
770This program is free software; you can redistribute it and/or modify it under
771the same terms as Perl itself.
772
773=cut