1
// Scintilla source code edit control
3
** Regular expression search library.
7
* regex - Regular expression pattern matching and replacement
9
* By: Ozan S. Yigit (oz)
10
* Dept. of Computer Science
13
* Original code available from http://www.cs.yorku.ca/~oz/
14
* Translation to C++ by Neil Hodgson neilh@scintilla.org
15
* Removed all use of register.
16
* Converted to modern function prototypes.
17
* Put all global/static variables into an object so this code can be
18
* used from multiple threads, etc.
19
* Some extensions by Philippe Lhoste PhiLho(a)GMX.net
21
* These routines are the PUBLIC DOMAIN equivalents of regex
22
* routines as found in 4.nBSD UN*X, with minor extensions.
24
* These routines are derived from various implementations found
25
* in software tools books, and Conroy's grep. They are NOT derived
26
* from licensed/restricted software.
27
* For more interesting/academic/complicated implementations,
28
* see Henry Spencer's regexp routines, or GNU Emacs pattern
31
* Modification history removed.
34
* RESearch::Compile: compile a regular expression into a NFA.
36
* const char *RESearch::Compile(const char *pattern, int length,
37
* bool caseSensitive, bool posix)
39
* Returns a short error string if they fail.
41
* RESearch::Execute: execute the NFA to match a pattern.
43
* int RESearch::Execute(characterIndexer &ci, int lp, int endp)
45
* RESearch::Substitute: substitute the matched portions in a new string.
47
* int RESearch::Substitute(CharacterIndexer &ci, char *src, char *dst)
49
* re_fail: failure routine for RESearch::Execute. (no longer used)
51
* void re_fail(char *msg, char op)
53
* Regular Expressions:
55
* [1] char matches itself, unless it is a special
56
* character (metachar): . \ [ ] * + ^ $
57
* and ( ) if posix option.
59
* [2] . matches any character.
61
* [3] \ matches the character following it, except:
62
* - \a, \b, \f, \n, \r, \t, \v match the corresponding C
63
* escape char, respectively BEL, BS, FF, LF, CR, TAB and VT;
64
* Note that \r and \n are never matched because Scintilla
65
* regex searches are made line per line
66
* (stripped of end-of-line chars).
67
* - if not in posix mode, when followed by a
68
* left or right round bracket (see [7]);
69
* - when followed by a digit 1 to 9 (see [8]);
70
* - when followed by a left or right angle bracket
72
* - when followed by d, D, s, S, w or W (see [10]);
73
* - when followed by x and two hexa digits (see [11].
74
* Backslash is used as an escape character for all
75
* other meta-characters, and itself.
77
* [4] [set] matches one of the characters in the set.
78
* If the first character in the set is "^",
79
* it matches the characters NOT in the set, i.e.
80
* complements the set. A shorthand S-E (start dash end)
81
* is used to specify a set of characters S up to
82
* E, inclusive. S and E must be characters, otherwise
83
* the dash is taken literally (eg. in expression [\d-a]).
84
* The special characters "]" and "-" have no special
85
* meaning if they appear as the first chars in the set.
86
* To include both, put - first: [-]A-Z]
87
* (or just backslash them).
90
* [-]|] matches these 3 chars,
92
* []-|] matches from ] to | chars
94
* [a-z] any lowercase alpha
96
* [^-]] any char except - and ]
98
* [^A-Z] any char except uppercase
103
* [5] * any regular expression form [1] to [4]
104
* (except [7], [8] and [9] forms of [3]),
105
* followed by closure char (*)
106
* matches zero or more matches of that form.
108
* [6] + same as [5], except it matches one or more.
109
* Both [5] and [6] are greedy (they match as much as possible).
111
* [7] a regular expression in the form [1] to [12], enclosed
112
* as \(form\) (or (form) with posix flag) matches what
113
* form matches. The enclosure creates a set of tags,
114
* used for [8] and for pattern substitution.
115
* The tagged forms are numbered starting from 1.
117
* [8] a \ followed by a digit 1 to 9 matches whatever a
118
* previously tagged regular expression ([7]) matched.
120
* [9] \< a regular expression starting with a \< construct
121
* \> and/or ending with a \> construct, restricts the
122
* pattern matching to the beginning of a word, and/or
123
* the end of a word. A word is defined to be a character
124
* string beginning and/or ending with the characters
125
* A-Z a-z 0-9 and _. Scintilla extends this definition
126
* by user setting. The word must also be preceded and/or
127
* followed by any character outside those mentioned.
129
* [10] \l a backslash followed by d, D, s, S, w or W,
130
* becomes a character class (both inside and
133
* D: any char except decimal digits
134
* s: whitespace (space, \t \n \r \f \v)
135
* S: any char except whitespace (see above)
136
* w: alphanumeric & underscore (changed by user setting)
137
* W: any char except alphanumeric & underscore (see above)
139
* [11] \xHH a backslash followed by x and two hexa digits,
140
* becomes the character whose Ascii code is equal
141
* to these digits. If not followed by two digits,
142
* it is 'x' char itself.
144
* [12] a composite regular expression xy where x and y
145
* are in the form [1] to [11] matches the longest
146
* match of x followed by a match for y.
148
* [13] ^ a regular expression starting with a ^ character
149
* $ and/or ending with a $ character, restricts the
150
* pattern matching to the beginning of the line,
151
* or the end of line. [anchors] Elsewhere in the
152
* pattern, ^ and $ are treated as ordinary characters.
157
* HCR's Hugh Redelmeier has been most helpful in various
158
* stages of development. He convinced me to include BOW
159
* and EOW constructs, originally invented by Rob Pike at
160
* the University of Toronto.
163
* Software tools Kernighan & Plauger
164
* Software tools in Pascal Kernighan & Plauger
165
* Grep [rsx-11 C dist] David Conroy
166
* ed - text editor Un*x Programmer's Manual
167
* Advanced editing on Un*x B. W. Kernighan
168
* RegExp routines Henry Spencer
172
* This implementation uses a bit-set representation for character
173
* classes for speed and compactness. Each character is represented
174
* by one bit in a 256-bit block. Thus, CCL always takes a
175
* constant 32 bytes in the internal nfa, and RESearch::Execute does a single
176
* bit comparison to locate the character in the set.
181
* compile: CHR f CHR o CLO CHR o END CLO ANY END END
182
* matches: fo foo fooo foobar fobar foxx ...
184
* pattern: fo[ob]a[rz]
185
* compile: CHR f CHR o CCL bitset CHR a CCL bitset END
186
* matches: fobar fooar fobaz fooaz
189
* compile: CHR f CHR o CHR o CHR \ CLO CHR \ END END
190
* matches: foo\ foo\\ foo\\\ ...
192
* pattern: \(foo\)[1-3]\1 (same as foo[1-3]foo)
193
* compile: BOT 1 CHR f CHR o CHR o EOT 1 CCL bitset REF 1 END
194
* matches: foo1foo foo2foo foo3foo
196
* pattern: \(fo.*\)-\1
197
* compile: BOT 1 CHR f CHR o CLO ANY END EOT 1 CHR - REF 1 END
198
* matches: foo-foo fo-fo fob-fob foobar-foobar ...
203
#include "CharClassify.h"
204
#include "RESearch.h"
206
// Shut up annoying Visual C++ warnings:
208
#pragma warning(disable: 4514)
212
using namespace Scintilla;
233
* The following defines are not meant to be changeable.
234
* They are for readability only.
239
const char bitarr[] = { 1, 2, 4, 8, 16, 32, 64, '\200' };
241
#define badpat(x) (*nfa = END, x)
244
* Character classification table for word boundary operators BOW
245
* and EOW is passed in by the creator of this object (Scintilla
246
* Document). The Document default state is that word chars are:
247
* 0-9, a-z, A-Z and _
250
RESearch::RESearch(CharClassify *charClassTable) {
252
charClass = charClassTable;
256
RESearch::~RESearch() {
260
void RESearch::Init() {
261
sta = NOP; /* status of lastpat */
263
for (int i = 0; i < MAXTAG; i++)
265
for (int j = 0; j < BITBLK; j++)
269
void RESearch::Clear() {
270
for (int i = 0; i < MAXTAG; i++) {
278
bool RESearch::GrabMatches(CharacterIndexer &ci) {
280
for (unsigned int i = 0; i < MAXTAG; i++) {
281
if ((bopat[i] != NOTFOUND) && (eopat[i] != NOTFOUND)) {
282
unsigned int len = eopat[i] - bopat[i];
283
pat[i] = new char[len + 1];
285
for (unsigned int j = 0; j < len; j++)
286
pat[i][j] = ci.CharAt(bopat[i] + j);
296
void RESearch::ChSet(unsigned char c) {
297
bittab[((c) & BLKIND) >> 3] |= bitarr[(c) & BITIND];
300
void RESearch::ChSetWithCase(unsigned char c, bool caseSensitive) {
304
if ((c >= 'a') && (c <= 'z')) {
306
ChSet(static_cast<unsigned char>(c - 'a' + 'A'));
307
} else if ((c >= 'A') && (c <= 'Z')) {
309
ChSet(static_cast<unsigned char>(c - 'A' + 'a'));
316
const unsigned char escapeValue(unsigned char ch) {
318
case 'a': return '\a';
319
case 'b': return '\b';
320
case 'f': return '\f';
321
case 'n': return '\n';
322
case 'r': return '\r';
323
case 't': return '\t';
324
case 'v': return '\v';
329
static int GetHexaChar(unsigned char hd1, unsigned char hd2) {
331
if (hd1 >= '0' && hd1 <= '9') {
332
hexValue += 16 * (hd1 - '0');
333
} else if (hd1 >= 'A' && hd1 <= 'F') {
334
hexValue += 16 * (hd1 - 'A' + 10);
335
} else if (hd1 >= 'a' && hd1 <= 'f') {
336
hexValue += 16 * (hd1 - 'a' + 10);
339
if (hd2 >= '0' && hd2 <= '9') {
340
hexValue += hd2 - '0';
341
} else if (hd2 >= 'A' && hd2 <= 'F') {
342
hexValue += hd2 - 'A' + 10;
343
} else if (hd2 >= 'a' && hd2 <= 'f') {
344
hexValue += hd2 - 'a' + 10;
351
* Called when the parser finds a backslash not followed
352
* by a valid expression (like \( in non-Posix mode).
353
* @param pattern: pointer on the char after the backslash.
354
* @param incr: (out) number of chars to skip after expression evaluation.
355
* @return the char if it resolves to a simple char,
356
* or -1 for a char class. In this case, bittab is changed.
358
int RESearch::GetBackslashExpression(
361
// Since error reporting is primitive and messages are not used anyway,
362
// I choose to interpret unexpected syntax in a logical way instead
363
// of reporting errors. Otherwise, we can stick on, eg., PCRE behavior.
364
incr = 0; // Most of the time, will skip the char "naturally".
367
unsigned char bsc = *pattern;
370
result = '\\'; // \ at end of pattern, take it literally
382
result = escapeValue(bsc);
385
unsigned char hd1 = *(pattern + 1);
386
unsigned char hd2 = *(pattern + 2);
387
int hexValue = GetHexaChar(hd1, hd2);
390
incr = 2; // Must skip the digits
392
result = 'x'; // \x without 2 digits: see it as 'x'
397
for (c = '0'; c <= '9'; c++) {
398
ChSet(static_cast<unsigned char>(c));
402
for (c = 0; c < MAXCHR; c++) {
403
if (c < '0' || c > '9') {
404
ChSet(static_cast<unsigned char>(c));
417
for (c = 0; c < MAXCHR; c++) {
418
if (c != ' ' && !(c >= 0x09 && c <= 0x0D)) {
419
ChSet(static_cast<unsigned char>(c));
424
for (c = 0; c < MAXCHR; c++) {
425
if (iswordc(static_cast<unsigned char>(c))) {
426
ChSet(static_cast<unsigned char>(c));
431
for (c = 0; c < MAXCHR; c++) {
432
if (!iswordc(static_cast<unsigned char>(c))) {
433
ChSet(static_cast<unsigned char>(c));
443
const char *RESearch::Compile(const char *pattern, int length, bool caseSensitive, bool posix) {
444
char *mp=nfa; /* nfa pointer */
445
char *lp; /* saved pointer */
446
char *sp=nfa; /* another one */
447
char *mpMax = mp + MAXNFA - BITBLK - 10;
449
int tagi = 0; /* tag stack index */
450
int tagc = 1; /* actual tag count */
453
char mask; /* xor mask -CCL/NCL */
454
int c1, c2, prevChar;
456
if (!pattern || !length) {
460
return badpat("No previous regular expression");
464
const char *p=pattern; /* pattern pointer */
465
for (int i=0; i<length; i++, p++) {
467
return badpat("Pattern too long");
471
case '.': /* match any char */
475
case '^': /* match beginning */
484
case '$': /* match endofline */
493
case '[': /* match char class */
505
if (*p == '-') { /* real dash */
510
if (*p == ']') { /* real brace */
515
while (*p && *p != ']') {
518
// Previous def. was a char class like \d, take dash literally
527
if (!*(p+1)) // End of RE
528
return badpat("Missing ]");
533
c2 = GetBackslashExpression(p, incr);
537
// Convention: \c (c is any char) is case sensitive, whatever the option
538
ChSet(static_cast<unsigned char>(c2));
541
// bittab is already changed
547
// Char after dash is char class like \d, take dash literally
551
// Put all chars between c1 and c2 included in the char set
553
ChSetWithCase(static_cast<unsigned char>(c1++), caseSensitive);
557
// Dash before the ], take it literally
562
return badpat("Missing ]");
564
} else if (*p == '\\' && *(p+1)) {
568
int c = GetBackslashExpression(p, incr);
572
// Convention: \c (c is any char) is case sensitive, whatever the option
573
ChSet(static_cast<unsigned char>(c));
576
// bittab is already changed
581
ChSetWithCase(*p, caseSensitive);
587
return badpat("Missing ]");
589
for (n = 0; n < BITBLK; bittab[n++] = 0)
590
*mp++ = static_cast<char>(mask ^ bittab[n]);
594
case '*': /* match 0 or more... */
595
case '+': /* match 1 or more... */
597
return badpat("Empty closure");
598
lp = sp; /* previous opcode */
599
if (*lp == CLO) /* equivalence... */
609
return badpat("Illegal closure");
615
for (sp = mp; lp < sp; lp++)
627
case '\\': /* tags, backrefs... */
635
return badpat("Null pattern inside \\<\\>");
648
if (tagi > 0 && tagstk[tagi] == n)
649
return badpat("Cyclical reference");
651
*mp++ = static_cast<char>(REF);
652
*mp++ = static_cast<char>(n);
654
return badpat("Undetermined reference");
657
if (!posix && *p == '(') {
659
tagstk[++tagi] = tagc;
661
*mp++ = static_cast<char>(tagc++);
663
return badpat("Too many \\(\\) pairs");
664
} else if (!posix && *p == ')') {
666
return badpat("Null pattern inside \\(\\)");
668
*mp++ = static_cast<char>(EOT);
669
*mp++ = static_cast<char>(tagstk[tagi--]);
671
return badpat("Unmatched \\)");
674
int c = GetBackslashExpression(p, incr);
679
*mp++ = static_cast<unsigned char>(c);
683
for (n = 0; n < BITBLK; bittab[n++] = 0)
684
*mp++ = static_cast<char>(mask ^ bittab[n]);
690
default : /* an ordinary char */
691
if (posix && *p == '(') {
693
tagstk[++tagi] = tagc;
695
*mp++ = static_cast<char>(tagc++);
697
return badpat("Too many () pairs");
698
} else if (posix && *p == ')') {
700
return badpat("Null pattern inside ()");
702
*mp++ = static_cast<char>(EOT);
703
*mp++ = static_cast<char>(tagstk[tagi--]);
705
return badpat("Unmatched )");
707
unsigned char c = *p;
709
c = '\\'; // We take it as raw backslash
710
if (caseSensitive || !iswordc(c)) {
716
ChSetWithCase(c, false);
717
for (n = 0; n < BITBLK; bittab[n++] = 0)
718
*mp++ = static_cast<char>(mask ^ bittab[n]);
726
return badpat((posix ? "Unmatched (" : "Unmatched \\("));
734
* execute nfa to find a match.
736
* special cases: (nfa[0])
738
* Match only once, starting from the
741
* First locate the character without
742
* calling PMatch, and if found, call
743
* PMatch for the remaining string.
745
* RESearch::Compile failed, poor luser did not
746
* check for it. Fail fast.
748
* If a match is found, bopat[0] and eopat[0] are set
749
* to the beginning and the end of the matched fragment,
753
int RESearch::Execute(CharacterIndexer &ci, int lp, int endp) {
765
case BOL: /* anchored: match from BOL only */
766
ep = PMatch(ci, lp, endp, ap);
768
case EOL: /* just searching for end of line normal path doesn't work */
769
if (*(ap+1) == END) {
776
case CHR: /* ordinary char: locate it fast */
778
while ((lp < endp) && (ci.CharAt(lp) != c))
780
if (lp >= endp) /* if EOS, fail, else fall thru. */
782
default: /* regular matching all the way. */
784
ep = PMatch(ci, lp, endp, ap);
790
case END: /* munged automaton. fail always */
802
* PMatch: internal routine for the hard part
804
* This code is partly snarfed from an early grep written by
805
* David Conroy. The backref and tag stuff, and various other
806
* innovations are by oz.
808
* special case optimizations: (nfa[n], nfa[n+1])
810
* We KNOW .* will match everything upto the
811
* end of line. Thus, directly go to the end of
812
* line, without recursive PMatch calls. As in
813
* the other closure cases, the remaining pattern
814
* must be matched by moving backwards on the
815
* string recursively, to find a match for xy
816
* (x is ".*" and y is the remaining pattern)
817
* where the match satisfies the LONGEST match for
818
* x followed by a match for y.
820
* We can again scan the string forward for the
821
* single char and at the point of failure, we
822
* execute the remaining nfa recursively, same as
825
* At the end of a successful match, bopat[n] and eopat[n]
826
* are set to the beginning and end of subpatterns matched
827
* by tagged expressions (n = 1 to 9).
830
extern void re_fail(char *,char);
832
#define isinset(x,y) ((x)[((y)&BLKIND)>>3] & bitarr[(y)&BITIND])
835
* skip values for CLO XXX to skip past the closure
838
#define ANYSKIP 2 /* [CLO] ANY END */
839
#define CHRSKIP 3 /* [CLO] CHR chr END */
840
#define CCLSKIP 34 /* [CLO] CCL 32 bytes END */
842
int RESearch::PMatch(CharacterIndexer &ci, int lp, int endp, char *ap) {
844
int e; /* extra pointer for CLO */
845
int bp; /* beginning of subpat... */
846
int ep; /* ending of subpat... */
847
int are; /* to save the line ptr. */
849
while ((op = *ap++) != END)
853
if (ci.CharAt(lp++) != *ap++)
883
if ((lp!=bol && iswordc(ci.CharAt(lp-1))) || !iswordc(ci.CharAt(lp)))
887
if (lp==bol || !iswordc(ci.CharAt(lp-1)) || iswordc(ci.CharAt(lp)))
895
if (ci.CharAt(bp++) != ci.CharAt(lp++))
909
while ((lp < endp) && (c == ci.CharAt(lp)))
914
while ((lp < endp) && isinset(ap+1,ci.CharAt(lp)))
920
//re_fail("closure: bad nfa.", *ap);
927
if ((e = PMatch(ci, lp, endp, ap)) != NOTFOUND)
933
//re_fail("RESearch::Execute: bad nfa.", static_cast<char>(op));
940
* RESearch::Substitute:
941
* substitute the matched portions of the src in dst.
943
* & substitute the entire matched pattern.
945
* \digit substitute a subpattern, with the given tag number.
946
* Tags are numbered from 1 to 9. If the particular
947
* tagged subpattern does not exist, null is substituted.
949
int RESearch::Substitute(CharacterIndexer &ci, char *src, char *dst) {
955
if (!*src || !bopat[0])
958
while ((c = *src++) != 0) {
967
if (c >= '0' && c <= '9') {
977
if ((bp = bopat[pin]) != 0 && (ep = eopat[pin]) != 0) {
978
while (ci.CharAt(bp) && bp < ep)
979
*dst++ = ci.CharAt(bp++);