X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=regexp.h;h=b1170f1e063df037ef90362fbe008aa17f8a46ce;hb=469bf43793110471bf2ceb5e99f0e9cc630d60fe;hp=018312ec243e3f4e77e0ec29416756760390a69b;hpb=a0d0e21ea6ea90a22318550944fe6cb09ae10cda;p=p5sagit%2Fp5-mst-13.2.git diff --git a/regexp.h b/regexp.h index 018312e..b1170f1 100644 --- a/regexp.h +++ b/regexp.h @@ -9,13 +9,35 @@ */ +struct regnode { + U8 flags; + U8 type; + U16 next_off; +}; + +typedef struct regnode regnode; + +struct reg_data { + U32 count; + U8 *what; + void* data[1]; +}; + +struct reg_substr_datum { + I32 min_offset; + I32 max_offset; + SV *substr; +}; + +struct reg_substr_data { + struct reg_substr_datum data[3]; /* Actual array */ +}; + typedef struct regexp { + I32 refcnt; char **startp; char **endp; - SV *regstart; /* Internal use only. */ - char *regstclass; - SV *regmust; /* Internal use only. */ - I32 regback; /* Can regmust locate first try? */ + regnode *regstclass; I32 minlen; /* mininum possible length of $& */ I32 prelen; /* length of precomp */ U32 nparens; /* number of parentheses */ @@ -24,12 +46,64 @@ typedef struct regexp { char *subbase; /* saved string so \digit works forever */ char *subbeg; /* same, but not responsible for allocation */ char *subend; /* end of subbase */ - U16 naughty; /* how exponential is this pattern? */ - char reganch; /* Internal use only. */ - char do_folding; /* do case-insensitive match? */ - char program[1]; /* Unwarranted chumminess with compiler. */ + U32 reganch; /* Internal use only + + Tainted information used by regexec? */ +#if 0 + SV *anchored_substr; /* Substring at fixed position wrt start. */ + I32 anchored_offset; /* Position of it. */ + SV *float_substr; /* Substring at variable position wrt start. */ + I32 float_min_offset; /* Minimal position of it. */ + I32 float_max_offset; /* Maximal position of it. */ + SV *check_substr; /* Substring to check before matching. */ + I32 check_offset_min; /* Offset of the above. */ + I32 check_offset_max; /* Offset of the above. */ +#else + struct reg_substr_data *substrs; +#endif + struct reg_data *data; /* Additional data. */ + regnode program[1]; /* Unwarranted chumminess with compiler. */ } regexp; -#define ROPT_ANCH 1 -#define ROPT_SKIP 2 -#define ROPT_IMPLICIT 4 +#define anchored_substr substrs->data[0].substr +#define anchored_offset substrs->data[0].min_offset +#define float_substr substrs->data[1].substr +#define float_min_offset substrs->data[1].min_offset +#define float_max_offset substrs->data[1].max_offset +#define check_substr substrs->data[2].substr +#define check_offset_min substrs->data[2].min_offset +#define check_offset_max substrs->data[2].max_offset + +#define ROPT_ANCH (ROPT_ANCH_BOL|ROPT_ANCH_MBOL|ROPT_ANCH_GPOS) +#define ROPT_ANCH_SINGLE (ROPT_ANCH_BOL|ROPT_ANCH_GPOS) +#define ROPT_ANCH_BOL 0x00001 +#define ROPT_ANCH_MBOL 0x00002 +#define ROPT_ANCH_GPOS 0x00004 +#define ROPT_SKIP 0x00008 +#define ROPT_IMPLICIT 0x00010 /* Converted .* to ^.* */ +#define ROPT_NOSCAN 0x00020 /* Check-string always at start. */ +#define ROPT_GPOS_SEEN 0x00040 +#define ROPT_CHECK_ALL 0x00080 +#define ROPT_LOOKBEHIND_SEEN 0x00100 +#define ROPT_EVAL_SEEN 0x00200 +#define ROPT_TAINTED_SEEN 0x00400 +#define ROPT_ANCH_SBOL 0x00800 + +/* 0xf800 of reganch is used by PMf_COMPILETIME */ + +#define ROPT_UTF8 0x10000 +#define ROPT_NAUGHTY 0x20000 /* how exponential is this pattern? */ + +#define RX_MATCH_TAINTED(prog) ((prog)->reganch & ROPT_TAINTED_SEEN) +#define RX_MATCH_TAINTED_on(prog) ((prog)->reganch |= ROPT_TAINTED_SEEN) +#define RX_MATCH_TAINTED_off(prog) ((prog)->reganch &= ~ROPT_TAINTED_SEEN) +#define RX_MATCH_TAINTED_set(prog, t) ((t) \ + ? RX_MATCH_TAINTED_on(prog) \ + : RX_MATCH_TAINTED_off(prog)) + +#define REXEC_COPY_STR 1 /* Need to copy the string. */ +#define REXEC_CHECKED 2 /* check_substr already checked. */ +#define REXEC_SCREAM 4 /* use scream table. */ +#define REXEC_IGNOREPOS 8 /* \G matches at start. */ + +#define ReREFCNT_inc(re) ((re && re->refcnt++), re) +#define ReREFCNT_dec(re) pregfree(re)