annotate regex.h @ 0:cb836a3f733e

Initial revision
author Karl Berry <karl@freefriends.org>
date Wed, 16 Sep 1992 12:19:41 +0000
parents
children 64f55f73d1ab
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
1 /* Definitions for data structures and routines for the regular
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
2 expression library, version 0.11.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
3
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
4 Copyright (C) 1985, 89, 90, 91, 92 Free Software Foundation, Inc.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
5
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
6 This program is free software; you can redistribute it and/or modify
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
7 it under the terms of the GNU General Public License as published by
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
8 the Free Software Foundation; either version 2, or (at your option)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
9 any later version.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
10
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
11 This program is distributed in the hope that it will be useful,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
14 GNU General Public License for more details.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
15
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
17 along with this program; if not, write to the Free Software
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
19
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
20 #ifndef __REGEXP_LIBRARY_H__
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
21 #define __REGEXP_LIBRARY_H__
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
22
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
23 /* POSIX says that <sys/types.h> must be included before <regex.h>. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
24
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
25 /* The following bits are used to determine the regexp syntax we
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
26 recognize. The set/not-set meanings are chosen so that Emacs syntax
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
27 remains the value 0. The bits are given in alphabetical order, and
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
28 the definitions shifted by one from the previous bit; thus, when we
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
29 add or remove a bit, only one other definition need change. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
30 typedef unsigned reg_syntax_t;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
31
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
32 /* If this bit is not set, then \ inside a bracket expression is literal.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
33 If set, then such a \ quotes the following character. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
34 #define RE_BACKSLASH_ESCAPE_IN_LISTS (1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
35
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
36 /* If this bit is not set, then + and ? are operators, and \+ and \? are
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
37 literals.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
38 If set, then \+ and \? are operators and + and ? are literals. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
39 #define RE_BK_PLUS_QM (RE_BACKSLASH_ESCAPE_IN_LISTS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
40
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
41 /* If this bit is set, then character classes are supported. They are:
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
42 [:alpha:], [:upper:], [:lower:], [:digit:], [:alnum:], [:xdigit:],
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
43 [:space:], [:print:], [:punct:], [:graph:], and [:cntrl:].
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
44 If not set, then character classes are not supported. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
45 #define RE_CHAR_CLASSES (RE_BK_PLUS_QM << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
46
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
47 /* If this bit is set, then ^ and $ are always anchors (outside bracket
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
48 expressions, of course).
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
49 If this bit is not set, then it depends:
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
50 ^ is an anchor if it is at the beginning of a regular
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
51 expression or after an open-group or an alternation operator;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
52 $ is an anchor if it is at the end of a regular expression, or
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
53 before a close-group or an alternation operator.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
54
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
55 This bit could be (re)combined with RE_CONTEXT_INDEP_OPS, because
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
56 POSIX draft 11.2 says that * etc. in leading positions is undefined.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
57 We already implemented a previous draft which made those constructs
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
58 invalid, though, so we haven't changed the code back. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
59 #define RE_CONTEXT_INDEP_ANCHORS (RE_CHAR_CLASSES << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
60
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
61 /* If this bit is set, then special characters are always special
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
62 regardless of where they are in the pattern.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
63 If this bit is not set, then special characters are special only in
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
64 some contexts; otherwise they are ordinary. Specifically,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
65 * + ? and intervals are only special when not after the beginning,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
66 open-group, or alternation operator. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
67 #define RE_CONTEXT_INDEP_OPS (RE_CONTEXT_INDEP_ANCHORS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
68
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
69 /* If this bit is set, then *, +, ?, and { cannot be first in an re or
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
70 immediately after an alternation or begin-group operator. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
71 #define RE_CONTEXT_INVALID_OPS (RE_CONTEXT_INDEP_OPS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
72
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
73 /* If this bit is set, then . matches newline.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
74 If not set, then it doesn't. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
75 #define RE_DOT_NEWLINE (RE_CONTEXT_INVALID_OPS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
76
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
77 /* If this bit is set, then . doesn't match NUL.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
78 If not set, then it does. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
79 #define RE_DOT_NOT_NULL (RE_DOT_NEWLINE << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
80
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
81 /* If this bit is set, nonmatching lists [^...] do not match newline.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
82 If not set, they do. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
83 #define RE_HAT_LISTS_NOT_NEWLINE (RE_DOT_NOT_NULL << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
84
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
85 /* If this bit is set, either \{...\} or {...} defines an
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
86 interval, depending on RE_NO_BK_BRACES.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
87 If not set, \{, \}, {, and } are literals. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
88 #define RE_INTERVALS (RE_HAT_LISTS_NOT_NEWLINE << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
89
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
90 /* If this bit is set, +, ? and | aren't recognized as operators.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
91 If not set, they are. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
92 #define RE_LIMITED_OPS (RE_INTERVALS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
93
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
94 /* If this bit is set, newline is an alternation operator.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
95 If not set, newline is literal. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
96 #define RE_NEWLINE_ALT (RE_LIMITED_OPS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
97
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
98 /* If this bit is set, then `{...}' defines an interval, and \{ and \}
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
99 are literals.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
100 If not set, then `\{...\}' defines an interval. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
101 #define RE_NO_BK_BRACES (RE_NEWLINE_ALT << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
102
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
103 /* If this bit is set, (...) defines a group, and \( and \) are literals.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
104 If not set, \(...\) defines a group, and ( and ) are literals. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
105 #define RE_NO_BK_PARENS (RE_NO_BK_BRACES << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
106
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
107 /* If this bit is set, then \<digit> matches <digit>.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
108 If not set, then \<digit> is a back-reference. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
109 #define RE_NO_BK_REFS (RE_NO_BK_PARENS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
110
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
111 /* If this bit is set, then | is an alternation operator, and \| is literal.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
112 If not set, then \| is an alternation operator, and | is literal. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
113 #define RE_NO_BK_VBAR (RE_NO_BK_REFS << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
114
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
115 /* If this bit is set, then an ending range point collating higher
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
116 than the starting range point, as in [z-a], is invalid.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
117 If not set, then when ending range point collates higher than the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
118 starting range point, the range is ignored. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
119 #define RE_NO_EMPTY_RANGES (RE_NO_BK_VBAR << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
120
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
121 /* If this bit is set, then an unmatched ) is ordinary.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
122 If not set, then an unmatched ) is invalid. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
123 #define RE_UNMATCHED_RIGHT_PAREN_ORD (RE_NO_EMPTY_RANGES << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
124
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
125 /* This global variable defines the particular regexp syntax to use (for
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
126 some interfaces). When a regexp is compiled, the syntax used is
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
127 stored in the pattern buffer, so changing this does not affect
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
128 already-compiled regexps. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
129 extern reg_syntax_t re_syntax_options;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
130
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
131 /* Define combinations of the above bits for the standard possibilities.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
132 (The [[[ comments delimit what gets put into the Texinfo file, so
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
133 don't delete them!) */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
134 /* [[[begin syntaxes]]] */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
135 #define RE_SYNTAX_EMACS 0
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
136
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
137 #define RE_SYNTAX_AWK \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
138 (RE_BACKSLASH_ESCAPE_IN_LISTS | RE_DOT_NOT_NULL \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
139 | RE_NO_BK_PARENS | RE_NO_BK_REFS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
140 | RE_NO_BK_VAR | RE_NO_EMPTY_RANGES \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
141 | RE_UNMATCHED_RIGHT_PAREN_ORD)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
142
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
143 #define RE_SYNTAX_POSIX_AWK \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
144 (RE_SYNTAX_POSIX_EXTENDED | RE_BACKSLASH_ESCAPE_IN_LISTS)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
145
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
146 #define RE_SYNTAX_GREP \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
147 (RE_BK_PLUS_QM | RE_CHAR_CLASSES \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
148 | RE_HAT_LISTS_NOT_NEWLINE | RE_INTERVALS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
149 | RE_NEWLINE_ALT)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
150
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
151 #define RE_SYNTAX_EGREP \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
152 (RE_CHAR_CLASSES | RE_CONTEXT_INDEP_ANCHORS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
153 | RE_CONTEXT_INDEP_OPS | RE_HAT_LISTS_NOT_NEWLINE \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
154 | RE_NEWLINE_ALT | RE_NO_BK_PARENS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
155 | RE_NO_BK_VBAR)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
156
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
157 #define RE_SYNTAX_POSIX_EGREP \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
158 (RE_SYNTAX_EGREP | RE_INTERVALS | RE_NO_BK_BRACES)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
159
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
160 #define RE_SYNTAX_SED RE_SYNTAX_POSIX_BASIC
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
161
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
162 /* Syntax bits common to both basic and extended POSIX regex syntax. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
163 #define _RE_SYNTAX_POSIX_COMMON \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
164 (RE_CHAR_CLASSES | RE_DOT_NEWLINE | RE_DOT_NOT_NULL \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
165 | RE_INTERVALS | RE_NO_EMPTY_RANGES)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
166
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
167 #define RE_SYNTAX_POSIX_BASIC \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
168 (_RE_SYNTAX_POSIX_COMMON | RE_BK_PLUS_QM)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
169
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
170 /* Differs from ..._POSIX_BASIC only in that RE_BK_PLUS_QM becomes
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
171 RE_LIMITED_OPS, i.e., \? \+ \| are not recognized. Actually, this
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
172 isn't minimal, since other operators, such as \`, aren't disabled. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
173 #define RE_SYNTAX_POSIX_MINIMAL_BASIC \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
174 (_RE_SYNTAX_POSIX_COMMON | RE_LIMITED_OPS)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
175
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
176 #define RE_SYNTAX_POSIX_EXTENDED \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
177 (_RE_SYNTAX_POSIX_COMMON | RE_CONTEXT_INDEP_ANCHORS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
178 | RE_CONTEXT_INDEP_OPS | RE_NO_BK_BRACES \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
179 | RE_NO_BK_PARENS | RE_NO_BK_VBAR \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
180 | RE_UNMATCHED_RIGHT_PAREN_ORD)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
181
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
182 /* Differs from ..._POSIX_EXTENDED in that RE_CONTEXT_INVALID_OPS
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
183 replaces RE_CONTEXT_INDEP_OPS and RE_NO_BK_REFS is added. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
184 #define RE_SYNTAX_POSIX_MINIMAL_EXTENDED \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
185 (_RE_SYNTAX_POSIX_COMMON | RE_CONTEXT_INDEP_ANCHORS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
186 | RE_CONTEXT_INVALID_OPS | RE_NO_BK_BRACES \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
187 | RE_NO_BK_PARENS | RE_NO_BK_REFS \
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
188 | RE_NO_BK_VBAR | RE_UNMATCHED_RIGHT_PAREN_ORD)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
189 /* [[[end syntaxes]]] */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
190
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
191 /* Maximum number of duplicates an interval can allow. Some systems
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
192 (erroneously) define this in other header files, but we want our
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
193 value, so remove any previous define. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
194 #ifdef RE_DUP_MAX
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
195 #undef RE_DUP_MAX
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
196 #endif
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
197 #define RE_DUP_MAX ((1 << 15) - 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
198
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
199
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
200 /* POSIX `cflags' bits (i.e., information for `regcomp'). */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
201
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
202 /* If this bit is set, then use extended regular expression syntax.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
203 If not set, then use basic regular expression syntax. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
204 #define REG_EXTENDED 1
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
205
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
206 /* If this bit is set, then ignore case when matching.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
207 If not set, then case is significant. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
208 #define REG_ICASE (REG_EXTENDED << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
209
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
210 /* If this bit is set, then anchors do not match at newline
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
211 characters in the string.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
212 If not set, then anchors do match at newlines. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
213 #define REG_NEWLINE (REG_ICASE << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
214
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
215 /* If this bit is set, then report only success or fail in regexec.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
216 If not set, then returns differ between not matching and errors. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
217 #define REG_NOSUB (REG_NEWLINE << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
218
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
219
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
220 /* POSIX `eflags' bits (i.e., information for regexec). */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
221
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
222 /* If this bit is set, then the beginning-of-line operator doesn't match
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
223 the beginning of the string (presumably because it's not the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
224 beginning of a line).
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
225 If not set, then the beginning-of-line operator does match the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
226 beginning of the string. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
227 #define REG_NOTBOL 1
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
228
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
229 /* Like REG_NOTBOL, except for the end-of-line. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
230 #define REG_NOTEOL (1 << 1)
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
231
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
232
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
233 /* If any error codes are removed, changed, or added, update the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
234 `re_error_msg' table in regex.c. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
235 typedef enum
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
236 {
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
237 REG_NOERROR = 0, /* Success. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
238 REG_NOMATCH, /* Didn't find a match (for regexec). */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
239
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
240 /* POSIX regcomp return error codes. (In the order listed in the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
241 standard.) */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
242 REG_BADPAT, /* Invalid pattern. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
243 REG_ECOLLATE, /* Not implemented. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
244 REG_ECTYPE, /* Invalid character class name. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
245 REG_EESCAPE, /* Trailing backslash. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
246 REG_ESUBREG, /* Invalid back reference. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
247 REG_EBRACK, /* Unmatched left bracket. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
248 REG_EPAREN, /* Parenthesis imbalance. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
249 REG_EBRACE, /* Unmatched \{. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
250 REG_BADBR, /* Invalid contents of \{\}. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
251 REG_ERANGE, /* Invalid range end. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
252 REG_ESPACE, /* Ran out of memory. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
253 REG_BADRPT, /* No preceding re for repetition op. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
254
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
255 /* Error codes we've added. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
256 REG_EEND, /* Premature end. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
257 REG_ESIZE, /* Compiled pattern bigger than 2^16 bytes. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
258 REG_ERPAREN /* Unmatched ) or \); not returned from regcomp. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
259 } reg_errcode_t;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
260
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
261 /* This data structure represents a compiled pattern. Before calling
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
262 the pattern compiler, the fields `buffer', `allocated', `fastmap',
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
263 `translate', and `no_sub' can be set. After the pattern has been
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
264 compiled, the `re_nsub' field is available. All other fields are
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
265 private to the regex routines. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
266
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
267 struct re_pattern_buffer
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
268 {
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
269 /* [[[begin pattern_buffer]]] */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
270 /* Space that holds the compiled pattern. It is declared as
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
271 `unsigned char *' because its elements are
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
272 sometimes used as array indexes. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
273 unsigned char *buffer;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
274
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
275 /* Number of bytes to which `buffer' points. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
276 unsigned long allocated;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
277
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
278 /* Number of bytes actually used in `buffer'. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
279 unsigned long used;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
280
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
281 /* Syntax setting with which the pattern was compiled. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
282 reg_syntax_t syntax;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
283
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
284 /* Pointer to a fastmap, if any, otherwise zero. re_search uses
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
285 the fastmap, if there is one, to skip over impossible
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
286 starting points for matches. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
287 char *fastmap;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
288
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
289 /* Either a translate table to apply to all characters before
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
290 comparing them, or zero for no translation. The translation
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
291 is applied to a pattern when it is compiled and to a string
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
292 when it is matched. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
293 char *translate;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
294
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
295 /* Number of subexpressions found by the compiler. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
296 size_t re_nsub;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
297
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
298 /* Zero if this pattern cannot match the empty string, one else.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
299 Well, in truth it's used only in `re_search_2', to see
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
300 whether or not we should use the fastmap, so we don't set
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
301 this absolutely perfectly; see `re_compile_fastmap' (the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
302 `duplicate' case). */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
303 unsigned can_be_null : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
304
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
305 /* If REGS_UNALLOCATED, allocate space in the `regs' structure
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
306 for `max (RE_NREGS, re_nsub + 1)' groups.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
307 If REGS_REALLOCATE, reallocate space if necessary.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
308 If REGS_FIXED, use what's there. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
309 #define REGS_UNALLOCATED 0
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
310 #define REGS_REALLOCATE 1
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
311 #define REGS_FIXED 2
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
312 unsigned regs_allocated : 2;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
313
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
314 /* Set to zero when regex_compile compiles a pattern; set to one
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
315 by re_compile_fastmap when it updates the fastmap, if any. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
316 unsigned fastmap_accurate : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
317
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
318 /* If set, regexec reports only success or failure and does not
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
319 return anything in pmatch. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
320 unsigned no_sub : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
321
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
322 /* If set, a beginning-of-line anchor doesn't match at the
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
323 beginning of the string. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
324 unsigned not_bol : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
325
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
326 /* Similarly for an end-of-line anchor. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
327 unsigned not_eol : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
328
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
329 /* If true, an anchor at a newline matches. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
330 unsigned newline_anchor : 1;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
331
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
332 /* [[[end pattern_buffer]]] */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
333 };
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
334
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
335 typedef struct re_pattern_buffer regex_t;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
336
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
337
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
338 /* search.c (search_buffer) in Emacs needs this one opcode value. It is
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
339 defined both in `regex.c' and here. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
340 #define RE_EXACTN_VALUE 1
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
341
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
342 /* Type for byte offsets within the string. POSIX mandates this. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
343 typedef int regoff_t;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
344
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
345
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
346 /* This is the structure we store register match data in. See
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
347 regex.texinfo for a full description of what registers match. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
348 struct re_registers
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
349 {
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
350 unsigned num_regs;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
351 regoff_t *start;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
352 regoff_t *end;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
353 };
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
354
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
355
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
356 /* If `regs_allocated' is REGS_UNALLOCATED in the pattern buffer,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
357 `re_match_2' returns information about at least this many registers
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
358 the first time a `regs' structure is passed. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
359 #ifndef RE_NREGS
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
360 #define RE_NREGS 30
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
361 #endif
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
362
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
363
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
364 /* POSIX specification for registers. Aside from the different names than
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
365 `re_registers', POSIX uses an array of structures, instead of a
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
366 structure of arrays. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
367 typedef struct
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
368 {
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
369 regoff_t rm_so; /* Byte offset from string's start to substring's start. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
370 regoff_t rm_eo; /* Byte offset from string's start to substring's end. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
371 } regmatch_t;
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
372
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
373 /* Declarations for routines. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
374
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
375 /* To avoid duplicating every routine declaration -- once with a
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
376 prototype (if we are ANSI), and once without (if we aren't) -- we
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
377 use the following macro to declare argument types. This
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
378 unfortunately clutters up the declarations a bit, but I think it's
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
379 worth it.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
380
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
381 We also have to undo `const' if we are not ANSI. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
382
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
383 #if __STDC__
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
384 #define _RE_ARGS(args) args
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
385 #else
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
386 #define _RE_ARGS(args) ()
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
387 #define const
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
388 #endif
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
389
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
390 /* Sets the current default syntax to SYNTAX, and return the old syntax.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
391 You can also simply assign to the `re_syntax_options' variable. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
392 extern reg_syntax_t re_set_syntax _RE_ARGS ((reg_syntax_t syntax));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
393
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
394 /* Compile the regular expression PATTERN, with length LENGTH
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
395 and syntax given by the global `re_syntax_options', into the buffer
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
396 BUFFER. Return NULL if successful, and an error string if not. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
397 extern const char *re_compile_pattern
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
398 _RE_ARGS ((const char *pattern, int length,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
399 struct re_pattern_buffer *buffer));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
400
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
401
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
402 /* Compile a fastmap for the compiled pattern in BUFFER; used to
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
403 accelerate searches. Return 0 if successful and -2 if was an
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
404 internal error. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
405 extern int re_compile_fastmap _RE_ARGS ((struct re_pattern_buffer *buffer));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
406
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
407
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
408 /* Search in the string STRING (with length LENGTH) for the pattern
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
409 compiled into BUFFER. Start searching at position START, for RANGE
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
410 characters. Return the starting position of the match, -1 for no
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
411 match, or -2 for an internal error. Also return register
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
412 information in REGS (if REGS and BUFFER->no_sub are nonzero). */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
413 extern int re_search
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
414 _RE_ARGS ((struct re_pattern_buffer *buffer, const char *string,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
415 int length, int start, int range, struct re_registers *regs));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
416
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
417
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
418 /* Like `re_search', but search in the concatenation of STRING1 and
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
419 STRING2. Also, stop searching at index START + STOP. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
420 extern int re_search_2
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
421 _RE_ARGS ((struct re_pattern_buffer *buffer, const char *string1,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
422 int length1, const char *string2, int length2,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
423 int start, int range, struct re_registers *regs, int stop));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
424
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
425
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
426 /* Like `re_search', but return how many characters in STRING the regexp
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
427 in BUFFER matched, starting at position START. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
428 extern int re_match
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
429 _RE_ARGS ((struct re_pattern_buffer *buffer, const char *string,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
430 int length, int start, struct re_registers *regs));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
431
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
432
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
433 /* Relates to `re_match' as `re_search_2' relates to `re_search'. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
434 extern int re_match_2
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
435 _RE_ARGS ((struct re_pattern_buffer *buffer, const char *string1,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
436 int length1, const char *string2, int length2,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
437 int start, struct re_registers *regs, int stop));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
438
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
439
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
440 /* Set REGS to hold NUM_REGS registers, storing them in STARTS and
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
441 ENDS. Subsequent matches using BUFFER and REGS will use this memory
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
442 for recording register information. STARTS and ENDS must be
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
443 allocated with malloc, and must each be at least `NUM_REGS * sizeof
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
444 (regoff_t)' bytes long.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
445
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
446 If NUM_REGS == 0, then subsequent matches should allocate their own
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
447 register data.
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
448
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
449 Unless this function is called, the first search or match using
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
450 PATTERN_BUFFER will allocate its own register data, without
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
451 freeing the old data. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
452 extern void re_set_registers
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
453 _RE_ARGS ((struct re_pattern_buffer *buffer, struct re_registers *regs,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
454 unsigned num_regs, regoff_t *starts, regoff_t *ends));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
455
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
456 /* 4.2 bsd compatibility. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
457 extern char *re_comp _RE_ARGS ((const char *));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
458 extern int re_exec _RE_ARGS ((const char *));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
459
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
460 /* POSIX compatibility. */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
461 extern int regcomp _RE_ARGS ((regex_t *preg, const char *pattern, int cflags));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
462 extern int regexec
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
463 _RE_ARGS ((const regex_t *preg, const char *string, size_t nmatch,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
464 regmatch_t pmatch[], int eflags));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
465 extern size_t regerror
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
466 _RE_ARGS ((int errcode, const regex_t *preg, char *errbuf,
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
467 size_t errbuf_size));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
468 extern void regfree _RE_ARGS ((regex_t *preg));
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
469
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
470 #endif /* not __REGEXP_LIBRARY_H__ */
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
471
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
472 /*
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
473 Local variables:
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
474 make-backup-files: t
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
475 version-control: t
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
476 trim-versions-without-asking: nil
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
477 End:
cb836a3f733e Initial revision
Karl Berry <karl@freefriends.org>
parents:
diff changeset
478 */