str.c revision 1.10 1 1.10 agc /* $NetBSD: str.c,v 1.10 2003/08/07 11:16:46 agc Exp $ */
2 1.6 jtc
3 1.1 glass /*-
4 1.6 jtc * Copyright (c) 1991, 1993
5 1.6 jtc * The Regents of the University of California. All rights reserved.
6 1.1 glass *
7 1.1 glass * Redistribution and use in source and binary forms, with or without
8 1.1 glass * modification, are permitted provided that the following conditions
9 1.1 glass * are met:
10 1.1 glass * 1. Redistributions of source code must retain the above copyright
11 1.1 glass * notice, this list of conditions and the following disclaimer.
12 1.1 glass * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 glass * notice, this list of conditions and the following disclaimer in the
14 1.1 glass * documentation and/or other materials provided with the distribution.
15 1.10 agc * 3. Neither the name of the University nor the names of its contributors
16 1.1 glass * may be used to endorse or promote products derived from this software
17 1.1 glass * without specific prior written permission.
18 1.1 glass *
19 1.1 glass * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
20 1.1 glass * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 1.1 glass * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 1.1 glass * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
23 1.1 glass * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 1.1 glass * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 1.1 glass * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 1.1 glass * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 1.1 glass * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 1.1 glass * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 1.1 glass * SUCH DAMAGE.
30 1.1 glass */
31 1.1 glass
32 1.8 lukem #include <sys/cdefs.h>
33 1.1 glass #ifndef lint
34 1.6 jtc #if 0
35 1.7 jtc static char sccsid[] = "@(#)str.c 8.2 (Berkeley) 4/28/95";
36 1.6 jtc #endif
37 1.10 agc __RCSID("$NetBSD: str.c,v 1.10 2003/08/07 11:16:46 agc Exp $");
38 1.1 glass #endif /* not lint */
39 1.1 glass
40 1.1 glass #include <sys/cdefs.h>
41 1.1 glass #include <sys/types.h>
42 1.1 glass
43 1.8 lukem #include <err.h>
44 1.1 glass #include <errno.h>
45 1.1 glass #include <stddef.h>
46 1.1 glass #include <stdio.h>
47 1.1 glass #include <stdlib.h>
48 1.1 glass #include <string.h>
49 1.4 jtc #include <ctype.h>
50 1.1 glass
51 1.1 glass #include "extern.h"
52 1.1 glass
53 1.1 glass static int backslash __P((STR *));
54 1.1 glass static int bracket __P((STR *));
55 1.1 glass static int c_class __P((const void *, const void *));
56 1.1 glass static void genclass __P((STR *));
57 1.1 glass static void genequiv __P((STR *));
58 1.1 glass static int genrange __P((STR *));
59 1.1 glass static void genseq __P((STR *));
60 1.1 glass
61 1.1 glass int
62 1.1 glass next(s)
63 1.8 lukem STR *s;
64 1.1 glass {
65 1.8 lukem int ch;
66 1.1 glass
67 1.1 glass switch (s->state) {
68 1.1 glass case EOS:
69 1.1 glass return (0);
70 1.1 glass case INFINITE:
71 1.1 glass return (1);
72 1.1 glass case NORMAL:
73 1.1 glass switch (ch = *s->str) {
74 1.1 glass case '\0':
75 1.1 glass s->state = EOS;
76 1.1 glass return (0);
77 1.1 glass case '\\':
78 1.1 glass s->lastch = backslash(s);
79 1.1 glass break;
80 1.1 glass case '[':
81 1.1 glass if (bracket(s))
82 1.1 glass return (next(s));
83 1.1 glass /* FALLTHROUGH */
84 1.1 glass default:
85 1.1 glass ++s->str;
86 1.1 glass s->lastch = ch;
87 1.1 glass break;
88 1.1 glass }
89 1.1 glass
90 1.1 glass /* We can start a range at any time. */
91 1.1 glass if (s->str[0] == '-' && genrange(s))
92 1.1 glass return (next(s));
93 1.1 glass return (1);
94 1.1 glass case RANGE:
95 1.1 glass if (s->cnt-- == 0) {
96 1.1 glass s->state = NORMAL;
97 1.1 glass return (next(s));
98 1.1 glass }
99 1.1 glass ++s->lastch;
100 1.1 glass return (1);
101 1.1 glass case SEQUENCE:
102 1.1 glass if (s->cnt-- == 0) {
103 1.1 glass s->state = NORMAL;
104 1.1 glass return (next(s));
105 1.1 glass }
106 1.1 glass return (1);
107 1.1 glass case SET:
108 1.1 glass if ((s->lastch = s->set[s->cnt++]) == OOBCH) {
109 1.1 glass s->state = NORMAL;
110 1.1 glass return (next(s));
111 1.1 glass }
112 1.1 glass return (1);
113 1.1 glass }
114 1.1 glass /* NOTREACHED */
115 1.8 lukem return (0);
116 1.1 glass }
117 1.1 glass
118 1.1 glass static int
119 1.1 glass bracket(s)
120 1.8 lukem STR *s;
121 1.1 glass {
122 1.8 lukem char *p;
123 1.1 glass
124 1.1 glass switch (s->str[1]) {
125 1.1 glass case ':': /* "[:class:]" */
126 1.1 glass if ((p = strstr(s->str + 2, ":]")) == NULL)
127 1.1 glass return (0);
128 1.1 glass *p = '\0';
129 1.1 glass s->str += 2;
130 1.1 glass genclass(s);
131 1.1 glass s->str = p + 2;
132 1.1 glass return (1);
133 1.1 glass case '=': /* "[=equiv=]" */
134 1.1 glass if ((p = strstr(s->str + 2, "=]")) == NULL)
135 1.1 glass return (0);
136 1.1 glass s->str += 2;
137 1.1 glass genequiv(s);
138 1.1 glass return (1);
139 1.1 glass default: /* "[\###*n]" or "[#*n]" */
140 1.1 glass if ((p = strpbrk(s->str + 2, "*]")) == NULL)
141 1.1 glass return (0);
142 1.8 lukem if (p[0] != '*' || strchr(p, ']') == NULL)
143 1.1 glass return (0);
144 1.1 glass s->str += 1;
145 1.1 glass genseq(s);
146 1.1 glass return (1);
147 1.1 glass }
148 1.1 glass /* NOTREACHED */
149 1.1 glass }
150 1.1 glass
151 1.1 glass typedef struct {
152 1.1 glass char *name;
153 1.1 glass int (*func) __P((int));
154 1.1 glass int *set;
155 1.1 glass } CLASS;
156 1.1 glass
157 1.1 glass static CLASS classes[] = {
158 1.1 glass { "alnum", isalnum, },
159 1.1 glass { "alpha", isalpha, },
160 1.1 glass { "blank", isblank, },
161 1.1 glass { "cntrl", iscntrl, },
162 1.1 glass { "digit", isdigit, },
163 1.1 glass { "graph", isgraph, },
164 1.1 glass { "lower", islower, },
165 1.9 kleink { "print", isprint, },
166 1.1 glass { "punct", ispunct, },
167 1.1 glass { "space", isspace, },
168 1.1 glass { "upper", isupper, },
169 1.1 glass { "xdigit", isxdigit, },
170 1.1 glass };
171 1.1 glass
172 1.1 glass static void
173 1.1 glass genclass(s)
174 1.1 glass STR *s;
175 1.1 glass {
176 1.8 lukem int cnt, (*func) __P((int));
177 1.1 glass CLASS *cp, tmp;
178 1.1 glass int *p;
179 1.1 glass
180 1.1 glass tmp.name = s->str;
181 1.1 glass if ((cp = (CLASS *)bsearch(&tmp, classes, sizeof(classes) /
182 1.1 glass sizeof(CLASS), sizeof(CLASS), c_class)) == NULL)
183 1.8 lukem errx(1, "unknown class %s", s->str);
184 1.1 glass
185 1.1 glass if ((cp->set = p = malloc((NCHARS + 1) * sizeof(int))) == NULL)
186 1.8 lukem err(1, "malloc");
187 1.8 lukem memset(p, 0, (NCHARS + 1) * sizeof(int));
188 1.1 glass for (cnt = 0, func = cp->func; cnt < NCHARS; ++cnt)
189 1.1 glass if ((func)(cnt))
190 1.1 glass *p++ = cnt;
191 1.1 glass *p = OOBCH;
192 1.1 glass
193 1.1 glass s->cnt = 0;
194 1.1 glass s->state = SET;
195 1.1 glass s->set = cp->set;
196 1.1 glass }
197 1.1 glass
198 1.1 glass static int
199 1.1 glass c_class(a, b)
200 1.1 glass const void *a, *b;
201 1.1 glass {
202 1.1 glass return (strcmp(((CLASS *)a)->name, ((CLASS *)b)->name));
203 1.1 glass }
204 1.1 glass
205 1.1 glass /*
206 1.1 glass * English doesn't have any equivalence classes, so for now
207 1.1 glass * we just syntax check and grab the character.
208 1.1 glass */
209 1.1 glass static void
210 1.1 glass genequiv(s)
211 1.1 glass STR *s;
212 1.1 glass {
213 1.1 glass if (*s->str == '\\') {
214 1.1 glass s->equiv[0] = backslash(s);
215 1.1 glass if (*s->str != '=')
216 1.8 lukem errx(1, "misplaced equivalence equals sign");
217 1.1 glass } else {
218 1.1 glass s->equiv[0] = s->str[0];
219 1.1 glass if (s->str[1] != '=')
220 1.8 lukem errx(1, "misplaced equivalence equals sign");
221 1.1 glass }
222 1.1 glass s->str += 2;
223 1.1 glass s->cnt = 0;
224 1.1 glass s->state = SET;
225 1.1 glass s->set = s->equiv;
226 1.1 glass }
227 1.1 glass
228 1.1 glass static int
229 1.1 glass genrange(s)
230 1.1 glass STR *s;
231 1.1 glass {
232 1.1 glass int stopval;
233 1.1 glass char *savestart;
234 1.1 glass
235 1.1 glass savestart = s->str;
236 1.5 jtc stopval = *++s->str == '\\' ? backslash(s) : *s->str++;
237 1.7 jtc if (stopval < (u_char)s->lastch) {
238 1.1 glass s->str = savestart;
239 1.1 glass return (0);
240 1.1 glass }
241 1.1 glass s->cnt = stopval - s->lastch + 1;
242 1.1 glass s->state = RANGE;
243 1.1 glass --s->lastch;
244 1.1 glass return (1);
245 1.1 glass }
246 1.1 glass
247 1.1 glass static void
248 1.1 glass genseq(s)
249 1.1 glass STR *s;
250 1.1 glass {
251 1.1 glass char *ep;
252 1.1 glass
253 1.1 glass if (s->which == STRING1)
254 1.8 lukem errx(1, "sequences only valid in string2");
255 1.1 glass
256 1.1 glass if (*s->str == '\\')
257 1.1 glass s->lastch = backslash(s);
258 1.1 glass else
259 1.1 glass s->lastch = *s->str++;
260 1.1 glass if (*s->str != '*')
261 1.8 lukem errx(1, "misplaced sequence asterisk");
262 1.1 glass
263 1.1 glass switch (*++s->str) {
264 1.1 glass case '\\':
265 1.1 glass s->cnt = backslash(s);
266 1.1 glass break;
267 1.1 glass case ']':
268 1.1 glass s->cnt = 0;
269 1.1 glass ++s->str;
270 1.1 glass break;
271 1.1 glass default:
272 1.1 glass if (isdigit(*s->str)) {
273 1.1 glass s->cnt = strtol(s->str, &ep, 0);
274 1.1 glass if (*ep == ']') {
275 1.1 glass s->str = ep + 1;
276 1.1 glass break;
277 1.1 glass }
278 1.1 glass }
279 1.8 lukem errx(1, "illegal sequence count");
280 1.1 glass /* NOTREACHED */
281 1.1 glass }
282 1.1 glass
283 1.1 glass s->state = s->cnt ? SEQUENCE : INFINITE;
284 1.1 glass }
285 1.1 glass
286 1.1 glass /*
287 1.1 glass * Translate \??? into a character. Up to 3 octal digits, if no digits either
288 1.1 glass * an escape code or a literal character.
289 1.1 glass */
290 1.1 glass static int
291 1.1 glass backslash(s)
292 1.8 lukem STR *s;
293 1.1 glass {
294 1.8 lukem int ch, cnt, val;
295 1.1 glass
296 1.1 glass for (cnt = val = 0;;) {
297 1.1 glass ch = *++s->str;
298 1.1 glass if (!isascii(ch) || !isdigit(ch))
299 1.1 glass break;
300 1.1 glass val = val * 8 + ch - '0';
301 1.1 glass if (++cnt == 3) {
302 1.1 glass ++s->str;
303 1.1 glass break;
304 1.1 glass }
305 1.1 glass }
306 1.1 glass if (cnt)
307 1.1 glass return (val);
308 1.1 glass if (ch != '\0')
309 1.1 glass ++s->str;
310 1.1 glass switch (ch) {
311 1.1 glass case 'a': /* escape characters */
312 1.1 glass return ('\7');
313 1.1 glass case 'b':
314 1.1 glass return ('\b');
315 1.1 glass case 'f':
316 1.1 glass return ('\f');
317 1.1 glass case 'n':
318 1.1 glass return ('\n');
319 1.1 glass case 'r':
320 1.1 glass return ('\r');
321 1.1 glass case 't':
322 1.1 glass return ('\t');
323 1.1 glass case 'v':
324 1.1 glass return ('\13');
325 1.1 glass case '\0': /* \" -> \ */
326 1.1 glass s->state = EOS;
327 1.1 glass return ('\\');
328 1.1 glass default: /* \x" -> x */
329 1.1 glass return (ch);
330 1.1 glass }
331 1.1 glass }
332